QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Reduction-finding
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| query01_ntrivil_1344 | quabs-minisat | UNSAT | 0.11 |  |
| query48_query15_1344 | quabs-picosat | UNSAT | 0.37 | |
| query51_query50_1344 | ghostq-cegar | UNSAT | 2.56 | |