Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage19_7
Best Solver: QELL_default Time: 47.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 48.5 Qute_opt500 237.15 - -
- - HQSpre_solver 176.18 AIGSolve 283.43 - -
- - Qute_random 229.69 ijtihad_v1 420.08 - -
- - caqe_2017_v2 231.84 heretiq 422.18 - -
- - Qute_default 234.07 ijtihad_v2 430.16 - -
- - - - rareqs 459.81 - -
QELL_default(47.13)
QELL_unit(48.5)
HQSpre_solver(176.18)
Qute_random(229.69)
caqe_2017_v2(231.84)
Qute_default(234.07)
Qute_opt500(237.15)
AIGSolve(283.43)
ijtihad_v1(420.08)
heretiq(422.18)
ijtihad_v2(430.16)
rareqs(459.81)