Instance | Result | Time | |
---|---|---|---|
robots_1_5_5_61.2 | SAT | 2.98 | |
robots_1_5_5_24.2 | SAT | 2.99 | |
robots_1_5_5_38.2 | SAT | 3 | |
robots_1_5_5_15.2 | SAT | 3.01 | |
robots_1_5_5_62.2 | SAT | 3.06 | |
robots_1_5_5_26.4 | SAT | 3.17 | |
robots_1_5_5_100.2 | SAT | 3.23 | |
robots_1_5_5_87.4 | SAT | 3.29 | |
robots_1_5_5_12.4 | SAT | 3.4 | |
robots_1_5_5_8.4 | SAT | 3.44 | |
robots_1_5_5_30.4 | SAT | 3.44 | |
robots_1_5_5_75.2 | SAT | 3.49 | |
robots_1_5_5_34.4 | SAT | 3.52 | |
robots_1_5_5_56.2 | SAT | 3.57 | |
robots_1_5_5_66.4 | SAT | 3.6 | |
robots_1_5_5_93.4 | SAT | 3.63 | |
robots_1_5_5_31.2 | SAT | 3.76 | |
robots_1_5_5_97.2 | SAT | 3.92 | |
robots_1_5_5_66.8 | SAT | 4.22 | |
robots_1_5_5_33.8 | UNSAT | 6.68 | |
robots_1_5_5_45.4 | SAT | 7.17 | |
robots_1_5_5_100.4 | SAT | 7.96 | |
robots_1_5_5_100.8 | UNSAT | 10.41 | |
robots_1_5_5_10.8 | UNSAT | 10.7 | |
robots_1_5_5_95.8 | UNSAT | 11.11 | |
robots_1_5_5_99.8 | UNSAT | 12.71 | |
robots_1_5_5_50.8 | UNSAT | 12.83 | |
robots_1_5_5_12.8 | UNSAT | 13.25 | |
robots_1_5_5_5.8 | UNSAT | 24.58 | |
robots_1_5_5_14.8 | UNSAT | 145.94 |