Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: small-swap2-fixpoint-10
Best Solver: QELL_default Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - CADET_2017 0.09 - - DynQBF-bloqqer-hqspre-it 1.34
- - - - - - DynQBF-bloqqer-variant 1.34
- - - - - - dynQBF-bloqqer-hqspre 1.36
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 1.36
- - - - - - xb-qsts_xbqsts2.0 1.38
- - - - - - xb-qsts_bqsts2.0 1.39
- - - - - - xb-qsts_xbqsts1.0 1.45
- - - - - - qbfrelay 1.51
- - - - - - GhostQ-PG_plain 2.07
- - - - - - GhostQ-PG_cegar 2.11
- - - - - - caqe_2017_v2 2.2
- - - - - - caqe_2017_v3 2.22
- - - - - - heretiq 2.27
- - - - - - caqe_2017_v1 2.28
- - - - - - ijtihad_v1 2.29
- - - - - - ijtihad_v2 2.29
- - - - - - rareqs 2.31
- - - - - - rev_qfun0.1 2.31
- - - - - - qesto 2.32
- - - - - - ASPQ2 2.33
QELL_default(0.08)
QELL_unit(0.08)
CADET_2017(0.09)
DynQBF-bloqqer-hqspre-it(1.34)
DynQBF-bloqqer-variant(1.34)
dynQBF-bloqqer-hqspre(1.36)
iProver-qbf-bloqqer-2017-07-27-v3(1.36)
xb-qsts_xbqsts2.0(1.38)
xb-qsts_bqsts2.0(1.39)
xb-qsts_xbqsts1.0(1.45)
qbfrelay(1.51)
GhostQ-PG_plain(2.07)
GhostQ-PG_cegar(2.11)
caqe_2017_v2(2.2)
caqe_2017_v3(2.22)
heretiq(2.27)
caqe_2017_v1(2.28)
ijtihad_v1(2.29)
ijtihad_v2(2.29)
rareqs(2.31)
rev_qfun0.1(2.31)
qesto(2.32)
ASPQ2(2.33)
qbfrelay-limited-depqbf(74.44)