Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: small-seq-fixpoint-7
Best Solver: GhostQ-PG_plain Time: 15.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 15.47 - - caqe_2017_v3 196.53
- - - - - - caqe_2017_v2 197.02
- - - - - - AIGSolve 311.43
- - - - - - Qute_random 337.12
- - - - - - Qute_opt500 338.39
- - - - - - qbfrelay 431.11
GhostQ-PG_plain(15.13)
GhostQ-PG_cegar(15.47)
caqe_2017_v3(196.53)
caqe_2017_v2(197.02)
AIGSolve(311.43)
Qute_random(337.12)
Qute_opt500(338.39)
qbfrelay(431.11)