QBF Solver Evaluation Portal
qbflib.orgSota solver results for family uclid
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| uclid-pipe2 | AIGSolve | SAT | 20.73 |  |
| uclid-pipe3a | GhostQ-PG_plain | SAT | 1.41 | |
| uclid-pipe3b | ghostq-cegar | UNSAT | 1.38 | |