Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: small-seq-fixpoint-9
Best Solver: GhostQ-PG_plain Time: 20.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 20.28 - - AIGSolve 626.1
- - - - - - Qute_random 805.64
GhostQ-PG_plain(20.2)
GhostQ-PG_cegar(20.28)
AIGSolve(626.1)
Qute_random(805.64)