Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: uclid-pipe3a
Best Solver: ghostq-plain Time: 1.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - AIGSolve 8.68 ghostq-cegar 72.18
ghostq-plain(1.36)
AIGSolve(8.68)
ghostq-cegar(72.18)