Sota solver details
QBFEVAL'17 - Random QBFs Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 0.23 - - Qute_default 2.97
- - - - - - QELL_unit 3.59
- - - - - - QELL_default 3.61
- - - - - - Qute_random 7.92
- - - - - - Qute_opt500 7.95
prefix-opt-depqbf(0.12)
qbfrelay-limited-depqbf(0.23)
Qute_default(2.97)
QELL_unit(3.59)
QELL_default(3.61)
Qute_random(7.92)
Qute_opt500(7.95)
caqe_2017_v3(21.6)
caqe_2017_v2(21.65)
heretiq(30.18)
caqe_2017_v1(152.11)