Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage15_10
Best Solver: QELL_default Time: 16.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 16.84 ijtihad_v2 88.84 qbfrelay 215.19
- - HQSpre_solver 50.15 heretiq 89.42 rev_qfun0.1 857.99
- - caqe_2017_v2 59.44 ijtihad_v1 90.03 - -
- - Qute_random 60.78 AIGSolve 99.76 - -
- - Qute_opt500 60.92 rareqs 139.61 - -
- - Qute_default 61 dynQBF-bloqqer-hqspre 139.97 - -
QELL_default(16.56)
QELL_unit(16.84)
HQSpre_solver(50.15)
caqe_2017_v2(59.44)
Qute_random(60.78)
Qute_opt500(60.92)
Qute_default(61)
ijtihad_v2(88.84)
heretiq(89.42)
ijtihad_v1(90.03)
AIGSolve(99.76)
rareqs(139.61)
dynQBF-bloqqer-hqspre(139.97)
qbfrelay(215.19)
rev_qfun0.1(857.99)