Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: depots09_12
Best Solver: QELL_default Time: 49.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 50.66 ijtihad_v1 366.58 rareqs 587.02
- - HQSpre_solver 181.53 ijtihad_v2 383.24 - -
- - caqe_2017_v2 203.58 heretiq 398.78 - -
- - Qute_random 206.46 - - - -
- - Qute_default 209.51 - - - -
- - Qute_opt500 209.81 - - - -
QELL_default(49.3)
QELL_unit(50.66)
HQSpre_solver(181.53)
caqe_2017_v2(203.58)
Qute_random(206.46)
Qute_default(209.51)
Qute_opt500(209.81)
ijtihad_v1(366.58)
ijtihad_v2(383.24)
heretiq(398.78)
rareqs(587.02)