Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: uclid-pipe3a
Best Solver: GhostQ-PG_plain Time: 1.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - AIGSolve 23.43
- - - - - - rev_qfun0.1 36.95
- - - - - - ghostq-cegar 74.4
- - - - - - GhostQ-PG_cegar 74.87
GhostQ-PG_plain(1.41)
AIGSolve(23.43)
rev_qfun0.1(36.95)
ghostq-cegar(74.4)
GhostQ-PG_cegar(74.87)