Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: pipesnotankage04_5
Best Solver: QELL_default Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 0.2 dynQBF-bloqqer-hqspre 1.44 HQSpre_solver 2.71
- - heretiq 0.22 qbfrelay 1.71 rev_qfun0.1 5.23
- - ijtihad_v1 0.22 - - caqe_2017_v2 7.42
- - ijtihad_v2 0.22 - - Qute_opt500 7.51
- - rareqs 0.34 - - caqe_2017_v3 7.52
- - AIGSolve 0.36 - - Qute_random 7.55
- - caqe_2017_v1 0.55 - - Qute_default 7.63
- - - - - - iProver-qbf-2017-07-27-v3 16.2
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 16.94
QELL_default(0.19)
QELL_unit(0.2)
heretiq(0.22)
ijtihad_v1(0.22)
ijtihad_v2(0.22)
rareqs(0.34)
AIGSolve(0.36)
caqe_2017_v1(0.55)
dynQBF-bloqqer-hqspre(1.44)
qbfrelay(1.71)
HQSpre_solver(2.71)
rev_qfun0.1(5.23)
caqe_2017_v2(7.42)
Qute_opt500(7.51)
caqe_2017_v3(7.52)
Qute_random(7.55)
Qute_default(7.63)
iProver-qbf-2017-07-27-v3(16.2)
iProver-qbf-bloqqer-2017-07-27-v3(16.94)
xb-qsts_xbqsts1.0(35.09)
xb-qsts_xbqsts2.0(35.15)
xb-qsts_bqsts2.0(36.37)
prefix-opt-depqbf(62.94)
qbfrelay-limited-depqbf(64.53)
qesto(199.41)
GhostQ-PG_plain(531.02)