Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage14_10
Best Solver: QELL_default Time: 18.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 19.67 ijtihad_v2 105.72 qbfrelay 230.14
- - AIGSolve 40.49 heretiq 106.09 rev_qfun0.1 860.81
- - HQSpre_solver 52.95 ijtihad_v1 106.21 - -
- - Qute_default 72.29 dynQBF-bloqqer-hqspre 143.65 - -
- - caqe_2017_v2 72.35 rareqs 161.62 - -
- - Qute_random 73.09 - - - -
- - Qute_opt500 73.16 - - - -
QELL_default(18.31)
QELL_unit(19.67)
AIGSolve(40.49)
HQSpre_solver(52.95)
Qute_default(72.29)
caqe_2017_v2(72.35)
Qute_random(73.09)
Qute_opt500(73.16)
ijtihad_v2(105.72)
heretiq(106.09)
ijtihad_v1(106.21)
dynQBF-bloqqer-hqspre(143.65)
rareqs(161.62)
qbfrelay(230.14)
rev_qfun0.1(860.81)