Instance | Result | Time | |
---|---|---|---|
robots_1_5_2_49.2 | SAT | 0.23 | |
robots_1_5_2_81.2 | SAT | 0.23 | |
robots_1_5_2_85.2 | SAT | 0.23 | |
robots_1_5_2_28.2 | SAT | 0.32 | |
robots_1_5_2_100.2 | SAT | 0.34 | |
robots_1_5_2_47.2 | SAT | 0.34 | |
robots_1_5_2_31.2 | SAT | 0.36 | |
robots_1_5_2_14.2 | SAT | 0.39 | |
robots_1_5_2_33.2 | SAT | 0.39 | |
robots_1_5_2_10.2 | SAT | 0.4 | |
robots_1_5_2_85.4 | SAT | 3.41 | |
robots_1_5_2_3.4 | SAT | 3.46 | |
robots_1_5_2_21.4 | SAT | 3.46 | |
robots_1_5_2_100.4 | SAT | 18.04 | |
robots_1_5_2_80.4 | SAT | 22.83 | |
robots_1_5_2_2.4 | SAT | 24.33 | |
robots_1_5_2_45.4 | SAT | 28.49 | |
robots_1_5_2_99.4 | SAT | 29.7 | |
robots_1_5_2_82.4 | SAT | 44.6 | |
robots_1_5_2_39.4 | SAT | 44.95 | |
robots_1_5_2_75.8 | SAT | 263.93 | |
robots_1_5_2_54.8 | FAIL | 900.97 | |
robots_1_5_2_82.8 | FAIL | 900.99 | |
robots_1_5_2_91.8 | FAIL | 900.99 | |
robots_1_5_2_9.8 | FAIL | 900.99 | |
robots_1_5_2_40.8 | FAIL | 901 | |
robots_1_5_2_67.8 | FAIL | 901 | |
robots_1_5_2_61.8 | FAIL | 901 | |
robots_1_5_2_100.8 | FAIL | 901.01 | |
robots_1_5_2_32.8 | FAIL | 901.01 |