Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: cache-coherence-2-fixpoint-5
Best Solver: CADET_2017 Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - GhostQ-PG_cegar 4.57
- - - - - - GhostQ-PG_plain 6.2
- - - - - - DynQBF-bloqqer-hqspre-it 10.41
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 10.46
- - - - - - xb-qsts_xbqsts1.0 10.48
- - - - - - dynQBF-bloqqer-hqspre 10.49
- - - - - - DynQBF-bloqqer-variant 10.53
- - - - - - xb-qsts_bqsts2.0 10.53
- - - - - - xb-qsts_xbqsts2.0 10.72
- - - - - - qbfrelay 10.96
CADET_2017(0.19)
GhostQ-PG_cegar(4.57)
GhostQ-PG_plain(6.2)
DynQBF-bloqqer-hqspre-it(10.41)
iProver-qbf-bloqqer-2017-07-27-v3(10.46)
xb-qsts_xbqsts1.0(10.48)
dynQBF-bloqqer-hqspre(10.49)
DynQBF-bloqqer-variant(10.53)
xb-qsts_bqsts2.0(10.53)
xb-qsts_xbqsts2.0(10.72)
qbfrelay(10.96)
caqe_2017_v3(37.85)
caqe_2017_v2(37.97)
qbfrelay-limited-depqbf(88.5)