QBF Solver Evaluation Portal
qbflib.orgInstances of family ToiletC solved by qbfbdd
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| toilet_c_08_01.2 | UNSAT | 0.01 | |
| toilet_c_10_01.2 | UNSAT | 0.07 | |
| toilet_c_08_01.4 | UNSAT | 0.22 | |
| toilet_c_10_01.4 | UNSAT | 2.27 | |
| toilet_c_08_05.4 | FAIL | 899.97 | |
| toilet_c_08_01.16 | FAIL | 900.1 | |
| toilet_c_08_01.8 | FAIL | 900.2 | |
| toilet_c_08_05.2 | FAIL | 900.31 | |
| toilet_c_10_05.4 | FAIL | 900.34 | |
| toilet_c_10_05.12 | FAIL | 900.36 | |
| toilet_c_10_05.8 | FAIL | 900.36 | |
| toilet_c_08_05.10 | FAIL | 900.39 | |
| toilet_c_08_05.8 | FAIL | 900.51 | |
| toilet_c_10_05.7 | FAIL | 900.54 | |
| toilet_c_10_10.2 | FAIL | 900.57 | |
| toilet_c_10_05.2 | FAIL | 900.61 | |
| toilet_c_10_01.20 | FAIL | 900.61 | |
| toilet_c_10_01.16 | FAIL | 900.62 | |
| toilet_c_08_10.2 | FAIL | 900.71 | |
| toilet_c_10_01.8 | FAIL | 900.81 |