Sota solver details
QBFEVAL'18 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 20.62 - - Qute_opt500 587.33
- - - - - - Qute_random 801.2
GhostQ-PG_plain(20.42)
GhostQ-PG_cegar(20.62)
Qute_opt500(587.33)
Qute_random(801.2)