QBF Solver Evaluation Portal
qbflib.orgSota solver results for family terminator
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| stmt19_90_266 | quabs-minisat | UNSAT | 0.01 |  |
| stmt21_79_304 | quabs-minisat | UNSAT | 0.01 | |
| stmt27_16_97 | quabs-minisat | UNSAT | 0.01 | |
| stmt41_160_235 | xb-qsts | UNSAT | 0.36 | |
| stmt52_244_394 | quabs-minisat | UNSAT | 0.02 | |