Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: ethernet-fixpoint-2
Best Solver: CADET_2017 Time: 0.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - GhostQ-PG_plain 3.66
- - - - - - xb-qsts_bqsts2.0 4.24
- - - - - - DynQBF-bloqqer-hqspre-it 4.26
- - - - - - xb-qsts_xbqsts2.0 4.27
- - - - - - xb-qsts_xbqsts1.0 4.3
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 4.34
- - - - - - DynQBF-bloqqer-variant 4.4
- - - - - - dynQBF-bloqqer-hqspre 4.45
- - - - - - qbfrelay 4.53
- - - - - - GhostQ-PG_cegar 8.07
CADET_2017(0.16)
GhostQ-PG_plain(3.66)
xb-qsts_bqsts2.0(4.24)
DynQBF-bloqqer-hqspre-it(4.26)
xb-qsts_xbqsts2.0(4.27)
xb-qsts_xbqsts1.0(4.3)
iProver-qbf-bloqqer-2017-07-27-v3(4.34)
DynQBF-bloqqer-variant(4.4)
dynQBF-bloqqer-hqspre(4.45)
qbfrelay(4.53)
GhostQ-PG_cegar(8.07)
caqe_2017_v3(21.35)
caqe_2017_v2(21.73)
qbfrelay-limited-depqbf(84.93)