Instance | Result | Time | |
---|---|---|---|
robots_1_5_2_85.2 | SAT | 1.1 | |
robots_1_5_2_33.2 | SAT | 1.32 | |
robots_1_5_2_10.2 | SAT | 1.33 | |
robots_1_5_2_81.2 | SAT | 1.36 | |
robots_1_5_2_47.2 | SAT | 1.39 | |
robots_1_5_2_14.2 | SAT | 1.39 | |
robots_1_5_2_100.2 | SAT | 1.4 | |
robots_1_5_2_49.2 | SAT | 1.43 | |
robots_1_5_2_28.2 | SAT | 1.52 | |
robots_1_5_2_31.2 | SAT | 1.56 | |
robots_1_5_2_54.8 | FAIL | 26.25 | |
robots_1_5_2_40.8 | FAIL | 27.05 | |
robots_1_5_2_82.8 | FAIL | 27.09 | |
robots_1_5_2_100.8 | FAIL | 27.15 | |
robots_1_5_2_67.8 | FAIL | 27.2 | |
robots_1_5_2_32.8 | FAIL | 27.2 | |
robots_1_5_2_75.8 | FAIL | 27.22 | |
robots_1_5_2_61.8 | FAIL | 27.28 | |
robots_1_5_2_91.8 | FAIL | 27.34 | |
robots_1_5_2_9.8 | FAIL | 27.36 | |
robots_1_5_2_39.4 | FAIL | 62.94 | |
robots_1_5_2_99.4 | FAIL | 63 | |
robots_1_5_2_100.4 | FAIL | 63.66 | |
robots_1_5_2_80.4 | FAIL | 63.75 | |
robots_1_5_2_21.4 | FAIL | 63.76 | |
robots_1_5_2_82.4 | FAIL | 66.43 | |
robots_1_5_2_2.4 | FAIL | 67.36 | |
robots_1_5_2_3.4 | FAIL | 69 | |
robots_1_5_2_85.4 | FAIL | 71.83 | |
robots_1_5_2_45.4 | FAIL | 72.99 |