Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage19_9
Best Solver: QELL_unit Time: 67.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 68.56 AIGSolve 569.75 heretiq 698.31
- - HQSpre_solver 223.45 ijtihad_v2 630.78 rareqs 881.23
- - Qute_random 278.53 ijtihad_v1 640.47 - -
- - Qute_default 284.57 - - - -
- - caqe_2017_v2 284.66 - - - -
- - Qute_opt500 286.68 - - - -
QELL_unit(67.4)
QELL_default(68.56)
HQSpre_solver(223.45)
Qute_random(278.53)
Qute_default(284.57)
caqe_2017_v2(284.66)
Qute_opt500(286.68)
AIGSolve(569.75)
ijtihad_v2(630.78)
ijtihad_v1(640.47)
heretiq(698.31)
rareqs(881.23)