Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: Q_2-3_v-80-100_r-13.5
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.27 heretiq 0.57 Qute_default 0.96
- - - - ijtihad_v1 0.57 QELL_default 1.39
- - - - - - ijtihad_v2 2.32
prefix-opt-depqbf(0.06)
qbfrelay-limited-depqbf(0.27)
heretiq(0.57)
ijtihad_v1(0.57)
Qute_default(0.96)
QELL_default(1.39)
ijtihad_v2(2.32)
QELL_unit(6.58)
Qute_opt500(8.11)
Qute_random(8.37)
caqe_2017_v2(43.48)
caqe_2017_v3(43.89)
rareqs(91.56)