Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: small-seq-fixpoint-10
Best Solver: CADET_2017 Time: 0.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - GhostQ-PG_plain 21.99
- - - - - - GhostQ-PG_cegar 22.27
CADET_2017(0.66)
GhostQ-PG_plain(21.99)
GhostQ-PG_cegar(22.27)