Sota solver details
QBFEVAL'17 - Random QBFs Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - qbfrelay-limited-depqbf 0.24 QELL_unit 0.34
- - - - heretiq 0.26 rareqs 0.37
- - - - ijtihad_v1 0.27 caqe_2017_v2 0.59
- - - - ijtihad_v2 0.27 caqe_2017_v3 0.59
- - - - - - Qute_default 0.88
prefix-opt-depqbf(0.03)
qbfrelay-limited-depqbf(0.24)
heretiq(0.26)
ijtihad_v1(0.27)
ijtihad_v2(0.27)
QELL_unit(0.34)
rareqs(0.37)
caqe_2017_v2(0.59)
caqe_2017_v3(0.59)
Qute_default(0.88)
QELL_default(4.95)
Qute_random(13.87)
Qute_opt500(13.89)
caqe_2017_v1(16.75)