Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: depots03_9
Best Solver: QELL_default Time: 1.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 1.99 dynQBF-bloqqer-hqspre 16.02 caqe_2017_v2 20.23
- - heretiq 2.91 HQSpre_solver 17.09 qbfrelay 20.32
- - ijtihad_v2 2.91 - - Qute_random 23.48
- - ijtihad_v1 2.92 - - Qute_default 23.59
- - rareqs 6.33 - - Qute_opt500 23.59
- - AIGSolve 8.56 - - rev_qfun0.1 65.8
- - - - - - qbfrelay-limited-depqbf 106.34
QELL_default(1.93)
QELL_unit(1.99)
heretiq(2.91)
ijtihad_v2(2.91)
ijtihad_v1(2.92)
rareqs(6.33)
AIGSolve(8.56)
dynQBF-bloqqer-hqspre(16.02)
HQSpre_solver(17.09)
caqe_2017_v2(20.23)
qbfrelay(20.32)
Qute_random(23.48)
Qute_default(23.59)
Qute_opt500(23.59)
rev_qfun0.1(65.8)
qbfrelay-limited-depqbf(106.34)
iProver-qbf-2017-07-27-v3(608.32)
iProver-qbf-bloqqer-2017-07-27-v3(662.18)