Sota solver details
QBFEVAL'17 - Random QBFs Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 0.17 - - Qute_default 0.79
- - caqe_2017_v3 0.17 - - Qute_opt500 1.25
- - qbfrelay-limited-depqbf 0.18 - - Qute_random 1.25
- - QELL_default 0.18 - - rareqs 1.99
- - QELL_unit 0.18 - - - -
prefix-opt-depqbf(0.05)
caqe_2017_v2(0.17)
caqe_2017_v3(0.17)
qbfrelay-limited-depqbf(0.18)
QELL_default(0.18)
QELL_unit(0.18)
Qute_default(0.79)
Qute_opt500(1.25)
Qute_random(1.25)
rareqs(1.99)
caqe_2017_v1(18.57)
ijtihad_v1(20.66)
heretiq(20.82)
ijtihad_v2(34.06)