QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ToiletA
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| toilet_a_04_01.4 | qsts | UNSAT | 0 |  |
| toilet_a_04_01.6 | qsts | UNSAT | 0.01 | |
| toilet_a_06_01.6 | quabs-minisat | UNSAT | 0.04 | |
| toilet_a_08_05.2 | quabs-minisat | UNSAT | 0.05 | |
| toilet_a_10_05.3 | ghostq-plain | UNSAT | 3.03 | |