Instance | Result | Time | |
---|---|---|---|
robots_1_5_3_94.1 | SAT | 0.81 | |
robots_1_5_3_56.1 | SAT | 0.81 | |
robots_1_5_3_98.1 | SAT | 0.81 | |
robots_1_5_3_98.2 | SAT | 3.01 | |
robots_1_5_3_94.2 | SAT | 3.01 | |
robots_1_5_3_56.2 | SAT | 3.01 | |
robots_1_5_3_56.3 | SAT | 6.41 | |
robots_1_5_3_94.3 | SAT | 6.41 | |
robots_1_5_3_98.3 | SAT | 6.52 | |
robots_1_5_3_56.4 | SAT | 10.92 | |
robots_1_5_3_98.4 | SAT | 11.02 | |
robots_1_5_3_94.4 | SAT | 11.02 | |
robots_1_5_3_94.5 | SAT | 17.52 | |
robots_1_5_3_56.5 | SAT | 18.51 | |
robots_1_5_3_98.5 | SAT | 20.71 | |
robots_1_5_3_56.6 | SAT | 22.02 | |
robots_1_5_3_98.6 | SAT | 23.71 | |
robots_1_5_3_94.6 | SAT | 24.51 | |
robots_1_5_3_56.7 | SAT | 33.71 | |
robots_1_5_3_94.7 | UNSAT | 34.41 | |
robots_1_5_3_98.7 | SAT | 51.11 | |
robots_1_5_3_98.8 | UNSAT | 53.41 | |
robots_1_5_3_98.10 | UNSAT | 53.92 | |
robots_1_5_3_94.10 | UNSAT | 57.12 | |
robots_1_5_3_94.9 | UNSAT | 58.22 | |
robots_1_5_3_94.8 | UNSAT | 64.21 | |
robots_1_5_3_98.9 | UNSAT | 65.41 | |
robots_1_5_3_56.9 | SAT | 89.21 | |
robots_1_5_3_56.10 | SAT | 202.11 | |
robots_1_5_3_56.8 | FAIL | 593.22 |