Instance | Result | Time | |
---|---|---|---|
robots_1_5_5_24.2 | SAT | 2.14 | |
robots_1_5_5_26.4 | SAT | 5.85 | |
robots_1_5_5_66.4 | SAT | 5.86 | |
robots_1_5_5_62.2 | SAT | 6.56 | |
robots_1_5_5_61.2 | SAT | 7.13 | |
robots_1_5_5_75.2 | SAT | 7.18 | |
robots_1_5_5_38.2 | SAT | 7.29 | |
robots_1_5_5_56.2 | SAT | 7.31 | |
robots_1_5_5_15.2 | SAT | 7.35 | |
robots_1_5_5_31.2 | SAT | 10.98 | |
robots_1_5_5_97.2 | SAT | 12.55 | |
robots_1_5_5_100.2 | SAT | 12.58 | |
robots_1_5_5_66.8 | SAT | 16.61 | |
robots_1_5_5_87.4 | SAT | 63.2 | |
robots_1_5_5_45.4 | SAT | 73.47 | |
robots_1_5_5_30.4 | SAT | 74.82 | |
robots_1_5_5_34.4 | SAT | 83.96 | |
robots_1_5_5_93.4 | SAT | 97.14 | |
robots_1_5_5_8.4 | SAT | 110.43 | |
robots_1_5_5_12.4 | SAT | 110.78 | |
robots_1_5_5_100.4 | SAT | 111.28 | |
robots_1_5_5_33.8 | UNSAT | 113.15 | |
robots_1_5_5_100.8 | UNSAT | 292.05 | |
robots_1_5_5_5.8 | FAIL | 301.18 | |
robots_1_5_5_50.8 | UNSAT | 307.55 | |
robots_1_5_5_99.8 | FAIL | 316.68 | |
robots_1_5_5_14.8 | FAIL | 317.03 | |
robots_1_5_5_95.8 | FAIL | 319.57 | |
robots_1_5_5_10.8 | UNSAT | 328.55 | |
robots_1_5_5_12.8 | FAIL | 353.9 |