Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage18_7
Best Solver: QELL_default Time: 44.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 46.18 ijtihad_v2 344.01 rareqs 476.23
- - HQSpre_solver 139.61 heretiq 354.57 - -
- - Qute_random 189.24 AIGSolve 356.22 - -
- - Qute_default 190.75 ijtihad_v1 368.43 - -
- - caqe_2017_v2 194.65 - - - -
- - Qute_opt500 196.79 - - - -
QELL_default(44.54)
QELL_unit(46.18)
HQSpre_solver(139.61)
Qute_random(189.24)
Qute_default(190.75)
caqe_2017_v2(194.65)
Qute_opt500(196.79)
ijtihad_v2(344.01)
heretiq(354.57)
AIGSolve(356.22)
ijtihad_v1(368.43)
rareqs(476.23)