Instance | Result | Time | |
---|---|---|---|
robots_1_5_4_73.2 | SAT | 1.72 | |
robots_1_5_4_81.2 | SAT | 1.73 | |
robots_1_5_4_100.2 | SAT | 1.74 | |
robots_1_5_4_75.2 | SAT | 1.75 | |
robots_1_5_4_44.2 | SAT | 1.75 | |
robots_1_5_4_71.2 | SAT | 2.04 | |
robots_1_5_4_32.2 | SAT | 2.06 | |
robots_1_5_4_59.2 | SAT | 2.11 | |
robots_1_5_4_22.2 | SAT | 2.14 | |
robots_1_5_4_52.2 | SAT | 2.21 | |
robots_1_5_4_96.8 | FAIL | 85.26 | |
robots_1_5_4_1.8 | FAIL | 85.72 | |
robots_1_5_4_46.8 | FAIL | 86.13 | |
robots_1_5_4_75.8 | FAIL | 86.15 | |
robots_1_5_4_91.8 | FAIL | 87.14 | |
robots_1_5_4_17.8 | FAIL | 87.51 | |
robots_1_5_4_24.8 | FAIL | 88.2 | |
robots_1_5_4_99.8 | FAIL | 91.18 | |
robots_1_5_4_56.8 | FAIL | 93.74 | |
robots_1_5_4_100.8 | FAIL | 95.02 | |
robots_1_5_4_31.4 | FAIL | 325.83 | |
robots_1_5_4_30.4 | FAIL | 326.9 | |
robots_1_5_4_87.4 | FAIL | 367.68 | |
robots_1_5_4_51.4 | FAIL | 408.63 | |
robots_1_5_4_100.4 | FAIL | 471.04 | |
robots_1_5_4_50.4 | FAIL | 559.48 | |
robots_1_5_4_98.4 | FAIL | 602.09 | |
robots_1_5_4_2.4 | FAIL | 666.09 | |
robots_1_5_4_91.4 | FAIL | 674.47 | |
robots_1_5_4_46.4 | FAIL | 697.85 |