Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage11_8
Best Solver: QELL_default Time: 7.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 7.9 - - qbfrelay 94.67
- - AIGSolve 12.34 - - dynQBF-bloqqer-hqspre 104.09
- - HQSpre_solver 21.64 - - qbfrelay-limited-depqbf 173.12
- - caqe_2017_v2 26.74 - - rev_qfun0.1 234.99
- - Qute_random 27.37 - - - -
- - Qute_default 27.4 - - - -
- - Qute_opt500 27.46 - - - -
- - ijtihad_v2 30.86 - - - -
- - heretiq 30.97 - - - -
- - ijtihad_v1 31.04 - - - -
- - rareqs 34.51 - - - -
QELL_default(7.79)
QELL_unit(7.9)
AIGSolve(12.34)
HQSpre_solver(21.64)
caqe_2017_v2(26.74)
Qute_random(27.37)
Qute_default(27.4)
Qute_opt500(27.46)
ijtihad_v2(30.86)
heretiq(30.97)
ijtihad_v1(31.04)
rareqs(34.51)
qbfrelay(94.67)
dynQBF-bloqqer-hqspre(104.09)
qbfrelay-limited-depqbf(173.12)
rev_qfun0.1(234.99)