Instance | Result | Time | |
---|---|---|---|
robots_1_5_5_26.4 | SAT | 52.85 | |
robots_1_5_5_66.4 | SAT | 53.09 | |
robots_1_5_5_30.4 | SAT | 98.22 | |
robots_1_5_5_34.4 | SAT | 105.99 | |
robots_1_5_5_45.4 | SAT | 106.26 | |
robots_1_5_5_87.4 | SAT | 113.16 | |
robots_1_5_5_93.4 | SAT | 113.89 | |
robots_1_5_5_12.4 | SAT | 116.54 | |
robots_1_5_5_100.4 | SAT | 117.57 | |
robots_1_5_5_8.4 | SAT | 117.8 |