Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: depots07_8
Best Solver: QELL_default Time: 2.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 3.12 HQSpre_solver 14.41 qbfrelay 28.94
- - ijtihad_v1 4.34 caqe_2017_v2 19.35 rev_qfun0.1 57.27
- - ijtihad_v2 4.35 Qute_random 22.07 qbfrelay-limited-depqbf 134.36
- - heretiq 4.36 Qute_default 22.12 - -
- - rareqs 5.39 Qute_opt500 22.3 - -
- - AIGSolve 8.68 dynQBF-bloqqer-hqspre 22.43 - -
QELL_default(2.88)
QELL_unit(3.12)
ijtihad_v1(4.34)
ijtihad_v2(4.35)
heretiq(4.36)
rareqs(5.39)
AIGSolve(8.68)
HQSpre_solver(14.41)
caqe_2017_v2(19.35)
Qute_random(22.07)
Qute_default(22.12)
Qute_opt500(22.3)
dynQBF-bloqqer-hqspre(22.43)
qbfrelay(28.94)
rev_qfun0.1(57.27)
qbfrelay-limited-depqbf(134.36)
iProver-qbf-bloqqer-2017-07-27-v3(702.57)
iProver-qbf-2017-07-27-v3(838.91)
xb-qsts_bqsts2.0(861.61)
xb-qsts_xbqsts2.0(866.79)
xb-qsts_xbqsts1.0(868.05)