Sota solver details
QBFEVAL'17 - Random QBFs Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - qbfrelay-limited-depqbf 0.29 Qute_default 1.02
- - - - - - caqe_2017_v2 1.55
- - - - - - caqe_2017_v3 1.55
- - - - - - rareqs 2.57
prefix-opt-depqbf(0.04)
qbfrelay-limited-depqbf(0.29)
Qute_default(1.02)
caqe_2017_v2(1.55)
caqe_2017_v3(1.55)
rareqs(2.57)
QELL_default(9.71)
QELL_unit(9.84)
caqe_2017_v1(11.46)
heretiq(30.18)
Qute_opt500(54.88)
Qute_random(54.97)
ijtihad_v1(82.96)
ijtihad_v2(560.14)