QBF Solver Evaluation Portal
qbflib.orgInstances of family ToiletA solved by orSAT
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| toilet_a_08_01.3 | UNSAT | 0.24 | |
| toilet_a_06_01.5 | UNSAT | 0.29 | |
| toilet_a_06_05.2 | UNSAT | 10.84 | |
| toilet_a_10_05.3 | FAIL | 173.13 | |
| toilet_a_08_01.16 | FAIL | 176.66 | |
| toilet_a_10_01.4 | FAIL | 233.56 | |
| toilet_a_10_01.7 | FAIL | 307.4 | |
| toilet_a_10_01.15 | FAIL | 403.12 |