Instance | Result | Time | |
---|---|---|---|
robots_1_5_3_52.2 | SAT | 12.14 | |
robots_1_5_3_44.4 | SAT | 23.45 | |
robots_1_5_3_100.4 | SAT | 31.71 | |
robots_1_5_3_44.8 | UNSAT | 62.62 | |
robots_1_5_3_100.2 | SAT | 66.06 | |
robots_1_5_3_7.2 | SAT | 69.27 | |
robots_1_5_3_91.2 | SAT | 71.1 | |
robots_1_5_3_30.2 | SAT | 72.32 | |
robots_1_5_3_80.2 | SAT | 95.08 | |
robots_1_5_3_51.2 | SAT | 106.2 | |
robots_1_5_3_100.8 | UNSAT | 119.48 | |
robots_1_5_3_52.4 | SAT | 121 | |
robots_1_5_3_66.4 | SAT | 122.89 | |
robots_1_5_3_24.4 | SAT | 122.9 | |
robots_1_5_3_26.2 | SAT | 125.58 | |
robots_1_5_3_20.4 | SAT | 126.56 | |
robots_1_5_3_2.4 | SAT | 149.75 | |
robots_1_5_3_25.2 | SAT | 165.85 | |
robots_1_5_3_62.2 | SAT | 170.15 | |
robots_1_5_3_57.4 | SAT | 201 | |
robots_1_5_3_16.4 | SAT | 216.63 | |
robots_1_5_3_55.8 | UNSAT | 248.98 | |
robots_1_5_3_8.8 | UNSAT | 261.53 | |
robots_1_5_3_70.8 | UNSAT | 281.91 | |
robots_1_5_3_78.4 | SAT | 376.45 | |
robots_1_5_3_39.8 | SAT | 480.83 | |
robots_1_5_3_64.8 | UNSAT | 574.18 | |
robots_1_5_3_27.8 | UNSAT | 791.87 | |
robots_1_5_3_90.8 | UNSAT | 846.12 | |
robots_1_5_3_16.8 | FAIL | 1200.01 |