Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: small-seq-fixpoint-2
Best Solver: CADET_2017 Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 0.23 - - GhostQ-PG_plain 3.12
- - QELL_unit 0.23 - - GhostQ-PG_cegar 3.22
- - - - - - caqe_2017_v3 4.05
- - - - - - caqe_2017_v2 4.3
CADET_2017(0.12)
QELL_default(0.23)
QELL_unit(0.23)
GhostQ-PG_plain(3.12)
GhostQ-PG_cegar(3.22)
caqe_2017_v3(4.05)
caqe_2017_v2(4.3)
DynQBF-bloqqer-hqspre-it(29.2)
dynQBF-bloqqer-hqspre(29.44)
qbfrelay(38.31)
heretiq(38.71)
qbfrelay-limited-depqbf(76.97)