Instance | Result | Time | |
---|---|---|---|
robots_1_5_3_94.1 | SAT | 0.04 | |
robots_1_5_3_98.1 | SAT | 0.05 | |
robots_1_5_3_56.1 | SAT | 0.05 | |
robots_1_5_3_98.2 | SAT | 0.25 | |
robots_1_5_3_94.2 | SAT | 0.25 | |
robots_1_5_3_56.2 | SAT | 0.25 | |
robots_1_5_3_98.3 | SAT | 0.65 | |
robots_1_5_3_94.3 | SAT | 0.67 | |
robots_1_5_3_56.3 | SAT | 0.7 | |
robots_1_5_3_94.4 | SAT | 1.35 | |
robots_1_5_3_98.4 | SAT | 1.52 | |
robots_1_5_3_56.4 | SAT | 1.61 | |
robots_1_5_3_56.5 | SAT | 2.64 | |
robots_1_5_3_94.5 | SAT | 2.76 | |
robots_1_5_3_98.5 | SAT | 3.25 | |
robots_1_5_3_56.6 | SAT | 3.76 | |
robots_1_5_3_94.6 | SAT | 5.45 | |
robots_1_5_3_56.7 | SAT | 6.5 | |
robots_1_5_3_98.6 | SAT | 6.64 | |
robots_1_5_3_94.8 | UNSAT | 7.8 | |
robots_1_5_3_94.7 | UNSAT | 9.86 | |
robots_1_5_3_94.9 | UNSAT | 15.53 | |
robots_1_5_3_94.10 | UNSAT | 15.96 | |
robots_1_5_3_56.8 | SAT | 18.79 | |
robots_1_5_3_98.7 | SAT | 19.18 | |
robots_1_5_3_98.8 | UNSAT | 20.05 | |
robots_1_5_3_98.9 | UNSAT | 28.82 | |
robots_1_5_3_56.9 | SAT | 36.12 | |
robots_1_5_3_98.10 | UNSAT | 42.78 | |
robots_1_5_3_56.10 | SAT | 235.21 |