Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-104-26-t1
Best Solver: rareqs Time: 0.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 2.12 caqe_2017_v3 5.38 ijtihad_v2 34.35
- - rev_qfun0.1 2.26 caqe_2017_v2 5.4 ijtihad_v1 34.62
- - QELL_unit 2.63 - - heretiq 63.58
rareqs(0.7)
caqe_2017_v1(2.12)
rev_qfun0.1(2.26)
QELL_unit(2.63)
caqe_2017_v3(5.38)
caqe_2017_v2(5.4)
ijtihad_v2(34.35)
ijtihad_v1(34.62)
heretiq(63.58)
QELL_default(335.06)