Instance | Result | Time | |
---|---|---|---|
robots_1_5_5_24.2 | SAT | 0.21 | |
robots_1_5_5_61.2 | SAT | 0.39 | |
robots_1_5_5_38.2 | SAT | 0.39 | |
robots_1_5_5_15.2 | SAT | 0.39 | |
robots_1_5_5_62.2 | SAT | 0.39 | |
robots_1_5_5_56.2 | SAT | 0.4 | |
robots_1_5_5_75.2 | SAT | 0.4 | |
robots_1_5_5_31.2 | SAT | 0.51 | |
robots_1_5_5_66.4 | SAT | 0.52 | |
robots_1_5_5_26.4 | SAT | 0.53 | |
robots_1_5_5_97.2 | SAT | 0.53 | |
robots_1_5_5_100.2 | SAT | 0.54 | |
robots_1_5_5_66.8 | SAT | 1.5 | |
robots_1_5_5_87.4 | SAT | 5.36 | |
robots_1_5_5_30.4 | SAT | 7.78 | |
robots_1_5_5_45.4 | SAT | 8.43 | |
robots_1_5_5_34.4 | SAT | 9.01 | |
robots_1_5_5_100.4 | SAT | 10.81 | |
robots_1_5_5_8.4 | SAT | 10.85 | |
robots_1_5_5_93.4 | SAT | 11.75 | |
robots_1_5_5_12.4 | SAT | 12.3 | |
robots_1_5_5_33.8 | UNSAT | 34.39 | |
robots_1_5_5_10.8 | UNSAT | 59.36 | |
robots_1_5_5_12.8 | UNSAT | 272.74 | |
robots_1_5_5_14.8 | UNSAT | 489.59 | |
robots_1_5_5_5.8 | UNSAT | 600.01 | |
robots_1_5_5_50.8 | UNSAT | 739.86 | |
robots_1_5_5_100.8 | UNSAT | 881.17 | |
robots_1_5_5_95.8 | FAIL | 1200.18 | |
robots_1_5_5_99.8 | FAIL | 1200.18 |