QBF Solver Evaluation Portal
qbflib.orgSota solver results for family uclid
QBFEVAL'16 - Prenex CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| uclid-pipe3a | ghostq-plain | SAT | 1.36 |  |
| uclid-pipe3b | ghostq-plain | UNSAT | 1.32 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| uclid-pipe3a | ghostq-plain | SAT | 1.36 | |
| uclid-pipe3b | ghostq-plain | UNSAT | 1.32 | |