Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: small-swap1-fixpoint-9
Best Solver: xb-qsts_bqsts2.0 Time: 1.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - dynQBF-bloqqer-hqspre 1.44 - - qbfrelay-limited-depqbf 74
- - DynQBF-bloqqer-variant 1.45 - - - -
- - xb-qsts_xbqsts1.0 1.45 - - - -
- - xb-qsts_xbqsts2.0 1.45 - - - -
- - DynQBF-bloqqer-hqspre-it 1.46 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 1.48 - - - -
- - qbfrelay 1.8 - - - -
- - ijtihad_v1 3.11 - - - -
- - ijtihad_v2 3.11 - - - -
- - caqe_2017_v1 3.12 - - - -
- - heretiq 3.13 - - - -
- - qesto 3.16 - - - -
- - rareqs 3.17 - - - -
- - rev_qfun0.1 3.17 - - - -
- - ASPQ2 3.18 - - - -
- - caqe_2017_v2 3.38 - - - -
- - caqe_2017_v3 3.55 - - - -
xb-qsts_bqsts2.0(1.43)
dynQBF-bloqqer-hqspre(1.44)
DynQBF-bloqqer-variant(1.45)
xb-qsts_xbqsts1.0(1.45)
xb-qsts_xbqsts2.0(1.45)
DynQBF-bloqqer-hqspre-it(1.46)
iProver-qbf-bloqqer-2017-07-27-v3(1.48)
qbfrelay(1.8)
ijtihad_v1(3.11)
ijtihad_v2(3.11)
caqe_2017_v1(3.12)
heretiq(3.13)
qesto(3.16)
rareqs(3.17)
rev_qfun0.1(3.17)
ASPQ2(3.18)
caqe_2017_v2(3.38)
caqe_2017_v3(3.55)
qbfrelay-limited-depqbf(74)
CADET_2017(822.35)