Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-112-28-t1
Best Solver: rareqs Time: 5.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 10.8 QELL_default 37.18 caqe_2017_v1 58.31
- - caqe_2017_v3 11.01 qesto 45.91 ijtihad_v2 171.16
- - - - - - ijtihad_v1 171.88
- - - - - - rev_qfun0.1 176.2
- - - - - - heretiq 389.93
rareqs(5.14)
caqe_2017_v2(10.8)
caqe_2017_v3(11.01)
QELL_default(37.18)
qesto(45.91)
caqe_2017_v1(58.31)
ijtihad_v2(171.16)
ijtihad_v1(171.88)
rev_qfun0.1(176.2)
heretiq(389.93)
QELL_unit(590.22)