Instance | Result | Time | |
---|---|---|---|
robots_1_5_5_29.1 | SAT | 1.88 | |
robots_1_5_5_5.2 | SAT | 6.75 | |
robots_1_5_5_55.6 | SAT | 10.27 | |
robots_1_5_5_75.3 | SAT | 22.16 | |
robots_1_5_5_4.9 | UNSAT | 250.91 | |
robots_1_5_5_18.5 | UNSAT | 319.96 | |
robots_1_5_5_59.5 | UNSAT | 320.44 | |
robots_1_5_5_34.6 | UNSAT | 880.61 |