Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: depots09_11
Best Solver: QELL_default Time: 49.64 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 51.16 ijtihad_v2 363.35 rareqs 607.61
- - HQSpre_solver 181.21 heretiq 385.9 - -
- - caqe_2017_v2 200.36 ijtihad_v1 393.2 - -
- - Qute_random 207.29 - - - -
- - Qute_opt500 209.14 - - - -
- - Qute_default 209.36 - - - -
QELL_default(49.64)
QELL_unit(51.16)
HQSpre_solver(181.21)
caqe_2017_v2(200.36)
Qute_random(207.29)
Qute_opt500(209.14)
Qute_default(209.36)
ijtihad_v2(363.35)
heretiq(385.9)
ijtihad_v1(393.2)
rareqs(607.61)