Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: small-swap1-fixpoint-10
Best Solver: xb-qsts_bqsts2.0 Time: 1.45 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - DynQBF-bloqqer-hqspre-it 1.47 - - qbfrelay-limited-depqbf 80.89
- - DynQBF-bloqqer-variant 1.47 - - - -
- - xb-qsts_xbqsts1.0 1.47 - - - -
- - xb-qsts_xbqsts2.0 1.47 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 1.48 - - - -
- - dynQBF-bloqqer-hqspre 1.55 - - - -
- - qbfrelay 1.62 - - - -
- - caqe_2017_v2 2.39 - - - -
- - caqe_2017_v3 2.39 - - - -
- - ijtihad_v1 3.04 - - - -
- - ijtihad_v2 3.04 - - - -
- - caqe_2017_v1 3.05 - - - -
- - heretiq 3.05 - - - -
- - rareqs 3.1 - - - -
- - rev_qfun0.1 3.1 - - - -
- - qesto 3.11 - - - -
- - ASPQ2 3.12 - - - -
xb-qsts_bqsts2.0(1.45)
DynQBF-bloqqer-hqspre-it(1.47)
DynQBF-bloqqer-variant(1.47)
xb-qsts_xbqsts1.0(1.47)
xb-qsts_xbqsts2.0(1.47)
iProver-qbf-bloqqer-2017-07-27-v3(1.48)
dynQBF-bloqqer-hqspre(1.55)
qbfrelay(1.62)
caqe_2017_v2(2.39)
caqe_2017_v3(2.39)
ijtihad_v1(3.04)
ijtihad_v2(3.04)
caqe_2017_v1(3.05)
heretiq(3.05)
rareqs(3.1)
rev_qfun0.1(3.1)
qesto(3.11)
ASPQ2(3.12)
qbfrelay-limited-depqbf(80.89)