Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: depots13_9
Best Solver: QELL_unit Time: 19.45 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 19.88 qbfrelay 115.17 rev_qfun0.1 578.86
- - ijtihad_v2 39.93 dynQBF-bloqqer-hqspre 133.78 - -
- - ijtihad_v1 40.06 - - - -
- - heretiq 40.1 - - - -
- - HQSpre_solver 42.23 - - - -
- - caqe_2017_v2 45.78 - - - -
- - Qute_default 49.03 - - - -
- - Qute_opt500 49.2 - - - -
- - Qute_random 49.29 - - - -
- - rareqs 83.02 - - - -
- - AIGSolve 91.4 - - - -
QELL_unit(19.45)
QELL_default(19.88)
ijtihad_v2(39.93)
ijtihad_v1(40.06)
heretiq(40.1)
HQSpre_solver(42.23)
caqe_2017_v2(45.78)
Qute_default(49.03)
Qute_opt500(49.2)
Qute_random(49.29)
rareqs(83.02)
AIGSolve(91.4)
qbfrelay(115.17)
dynQBF-bloqqer-hqspre(133.78)
rev_qfun0.1(578.86)