QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD5 solved by skizzo_v0.4
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_5_24.2 | SAT | 1.36 | |
| robots_1_5_5_38.2 | SAT | 1.61 | |
| robots_1_5_5_61.2 | SAT | 1.64 | |
| robots_1_5_5_15.2 | SAT | 1.67 | |
| robots_1_5_5_56.2 | SAT | 1.71 | |
| robots_1_5_5_62.2 | SAT | 1.76 | |
| robots_1_5_5_75.2 | SAT | 1.77 | |
| robots_1_5_5_31.2 | SAT | 2.04 | |
| robots_1_5_5_100.2 | SAT | 2.05 | |
| robots_1_5_5_97.2 | SAT | 2.11 | |
| robots_1_5_5_33.8 | FAIL | 83.14 | |
| robots_1_5_5_95.8 | FAIL | 84.62 | |
| robots_1_5_5_5.8 | FAIL | 85.25 | |
| robots_1_5_5_10.8 | FAIL | 85.26 | |
| robots_1_5_5_99.8 | FAIL | 85.65 | |
| robots_1_5_5_66.8 | FAIL | 86.91 | |
| robots_1_5_5_50.8 | FAIL | 87.09 | |
| robots_1_5_5_100.8 | FAIL | 87.37 | |
| robots_1_5_5_12.8 | FAIL | 87.96 | |
| robots_1_5_5_14.8 | FAIL | 88.72 | |
| robots_1_5_5_87.4 | FAIL | 327.98 | |
| robots_1_5_5_93.4 | FAIL | 639.38 | |
| robots_1_5_5_34.4 | FAIL | 684.94 | |
| robots_1_5_5_100.4 | FAIL | 685.26 | |
| robots_1_5_5_8.4 | FAIL | 687.14 | |
| robots_1_5_5_30.4 | FAIL | 694.99 | |
| robots_1_5_5_12.4 | FAIL | 697.22 | |
| robots_1_5_5_66.4 | FAIL | 704.46 | |
| robots_1_5_5_45.4 | FAIL | 706.04 | |
| robots_1_5_5_26.4 | FAIL | 726.49 |