Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: Q_2-3_v-80-100_r-13.6
Best Solver: prefix-opt-depqbf Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 0.22 QELL_unit 0.3 Qute_default 1.38
- - QELL_default 0.23 - - heretiq 2.78
- - - - - - ijtihad_v1 2.79
- - - - - - caqe_2017_v2 5.51
- - - - - - caqe_2017_v3 5.51
prefix-opt-depqbf(0.06)
qbfrelay-limited-depqbf(0.22)
QELL_default(0.23)
QELL_unit(0.3)
Qute_default(1.38)
heretiq(2.78)
ijtihad_v1(2.79)
caqe_2017_v2(5.51)
caqe_2017_v3(5.51)
rareqs(6.08)
Qute_random(8.75)
Qute_opt500(8.78)
caqe_2017_v1(64.95)
ijtihad_v2(560.38)