Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: depots08_6
Best Solver: QELL_default Time: 4.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 4.95 ijtihad_v1 29.51 qbfrelay 108.68
- - - - ijtihad_v2 29.55 dynQBF-bloqqer-hqspre 134.17
- - - - heretiq 29.56 rev_qfun0.1 196.15
- - - - AIGSolve 35.55 caqe_2017_v1 232.63
- - - - rareqs 36.1 - -
- - - - HQSpre_solver 38.41 - -
- - - - caqe_2017_v2 40.21 - -
- - - - caqe_2017_v3 40.48 - -
- - - - Qute_default 47.66 - -
- - - - Qute_opt500 47.67 - -
- - - - Qute_random 47.76 - -
QELL_default(4.85)
QELL_unit(4.95)
ijtihad_v1(29.51)
ijtihad_v2(29.55)
heretiq(29.56)
AIGSolve(35.55)
rareqs(36.1)
HQSpre_solver(38.41)
caqe_2017_v2(40.21)
caqe_2017_v3(40.48)
Qute_default(47.66)
Qute_opt500(47.67)
Qute_random(47.76)
qbfrelay(108.68)
dynQBF-bloqqer-hqspre(134.17)
rev_qfun0.1(196.15)
caqe_2017_v1(232.63)
iProver-qbf-bloqqer-2017-07-27-v3(663.14)