Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: cache-coherence-3-fixpoint-1
Best Solver: CADET_2017 Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - caqe_2017_v1 0.97
- - - - - - heretiq 0.98
- - - - - - ijtihad_v1 0.98
- - - - - - ijtihad_v2 0.98
- - - - - - ASPQ2 0.99
- - - - - - rev_qfun0.1 1
- - - - - - qesto 1.01
- - - - - - rareqs 1.04
- - - - - - GhostQ-PG_plain 1.06
- - - - - - GhostQ-PG_cegar 1.12
- - - - - - DynQBF-bloqqer-variant 2.39
- - - - - - dynQBF-bloqqer-hqspre 2.4
- - - - - - DynQBF-bloqqer-hqspre-it 2.4
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 2.4
- - - - - - xb-qsts_xbqsts1.0 2.41
- - - - - - xb-qsts_bqsts2.0 2.43
- - - - - - xb-qsts_xbqsts2.0 2.53
- - - - - - qbfrelay 2.55
- - - - - - caqe_2017_v2 3.39
- - - - - - caqe_2017_v3 3.4
CADET_2017(0.06)
caqe_2017_v1(0.97)
heretiq(0.98)
ijtihad_v1(0.98)
ijtihad_v2(0.98)
ASPQ2(0.99)
rev_qfun0.1(1)
qesto(1.01)
rareqs(1.04)
GhostQ-PG_plain(1.06)
GhostQ-PG_cegar(1.12)
DynQBF-bloqqer-variant(2.39)
dynQBF-bloqqer-hqspre(2.4)
DynQBF-bloqqer-hqspre-it(2.4)
iProver-qbf-bloqqer-2017-07-27-v3(2.4)
xb-qsts_xbqsts1.0(2.41)
xb-qsts_bqsts2.0(2.43)
xb-qsts_xbqsts2.0(2.53)
qbfrelay(2.55)
caqe_2017_v2(3.39)
caqe_2017_v3(3.4)
qbfrelay-limited-depqbf(74.77)