QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD5 solved by skizzo_v0.5
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_5_15.2 | FAIL | 1.17 | |
| robots_1_5_5_24.2 | SAT | 1.76 | |
| robots_1_5_5_62.2 | SAT | 2.02 | |
| robots_1_5_5_75.2 | SAT | 2.94 | |
| robots_1_5_5_61.2 | SAT | 3.1 | |
| robots_1_5_5_38.2 | SAT | 3.21 | |
| robots_1_5_5_56.2 | SAT | 3.22 | |
| robots_1_5_5_100.2 | SAT | 3.24 | |
| robots_1_5_5_97.2 | SAT | 3.39 | |
| robots_1_5_5_31.2 | SAT | 3.45 | |
| robots_1_5_5_8.4 | SAT | 9.96 | |
| robots_1_5_5_34.4 | SAT | 10.13 | |
| robots_1_5_5_100.4 | SAT | 10.21 | |
| robots_1_5_5_12.4 | SAT | 12.68 | |
| robots_1_5_5_66.4 | SAT | 17.54 | |
| robots_1_5_5_30.4 | SAT | 59.78 | |
| robots_1_5_5_45.4 | SAT | 59.81 | |
| robots_1_5_5_66.8 | SAT | 74.03 | |
| robots_1_5_5_87.4 | SAT | 77.88 | |
| robots_1_5_5_95.8 | FAIL | 91.18 | |
| robots_1_5_5_100.8 | FAIL | 108.7 | |
| robots_1_5_5_5.8 | FAIL | 158.97 | |
| robots_1_5_5_93.4 | FAIL | 330.78 | |
| robots_1_5_5_33.8 | UNSAT | 466.75 | |
| robots_1_5_5_50.8 | FAIL | 471.42 | |
| robots_1_5_5_26.4 | FAIL | 575.33 | |
| robots_1_5_5_10.8 | FAIL | 635.88 | |
| robots_1_5_5_12.8 | UNSAT | 673.25 | |
| robots_1_5_5_99.8 | UNSAT | 685.03 | |
| robots_1_5_5_14.8 | UNSAT | 705.61 |