Instance | Result | Time | |
---|---|---|---|
robots_1_5_4_73.2 | SAT | 5.57 | |
robots_1_5_4_75.2 | SAT | 5.58 | |
robots_1_5_4_100.2 | SAT | 11.4 | |
robots_1_5_4_44.2 | SAT | 37.98 | |
robots_1_5_4_81.2 | SAT | 49.42 | |
robots_1_5_4_31.4 | SAT | 54.33 | |
robots_1_5_4_52.2 | SAT | 56.83 | |
robots_1_5_4_32.2 | SAT | 61.76 | |
robots_1_5_4_71.2 | SAT | 63.6 | |
robots_1_5_4_22.2 | SAT | 66.04 | |
robots_1_5_4_59.2 | SAT | 69.06 | |
robots_1_5_4_17.8 | UNSAT | 113.66 | |
robots_1_5_4_100.4 | SAT | 132.72 | |
robots_1_5_4_87.4 | SAT | 153.36 | |
robots_1_5_4_2.4 | SAT | 170.86 | |
robots_1_5_4_30.4 | SAT | 182.11 | |
robots_1_5_4_51.4 | SAT | 205.86 | |
robots_1_5_4_50.4 | SAT | 210.97 | |
robots_1_5_4_1.8 | UNSAT | 233.58 | |
robots_1_5_4_99.8 | UNSAT | 234.13 | |
robots_1_5_4_46.4 | SAT | 246.48 | |
robots_1_5_4_91.4 | SAT | 264.02 | |
robots_1_5_4_98.4 | SAT | 264.89 | |
robots_1_5_4_24.8 | UNSAT | 347.65 | |
robots_1_5_4_91.8 | UNSAT | 395.24 | |
robots_1_5_4_96.8 | UNSAT | 414.2 | |
robots_1_5_4_46.8 | UNSAT | 422.66 | |
robots_1_5_4_56.8 | UNSAT | 597.09 | |
robots_1_5_4_75.8 | UNSAT | 734.1 | |
robots_1_5_4_100.8 | UNSAT | 903.98 |