Instance | Result | Time | |
---|---|---|---|
robots_1_5_5_24.2 | SAT | 1.97 | |
robots_1_5_5_61.2 | SAT | 2.23 | |
robots_1_5_5_75.2 | SAT | 2.24 | |
robots_1_5_5_62.2 | SAT | 2.24 | |
robots_1_5_5_38.2 | SAT | 2.25 | |
robots_1_5_5_56.2 | SAT | 2.28 | |
robots_1_5_5_15.2 | SAT | 2.3 | |
robots_1_5_5_100.2 | SAT | 2.44 | |
robots_1_5_5_97.2 | SAT | 2.47 | |
robots_1_5_5_31.2 | SAT | 2.47 | |
robots_1_5_5_66.4 | SAT | 5.81 | |
robots_1_5_5_26.4 | SAT | 5.88 | |
robots_1_5_5_66.8 | SAT | 18.56 | |
robots_1_5_5_87.4 | SAT | 48.93 | |
robots_1_5_5_30.4 | SAT | 77.44 | |
robots_1_5_5_45.4 | SAT | 80.47 | |
robots_1_5_5_34.4 | SAT | 96.54 | |
robots_1_5_5_100.4 | SAT | 105.65 | |
robots_1_5_5_93.4 | SAT | 109.84 | |
robots_1_5_5_12.4 | SAT | 110.98 | |
robots_1_5_5_8.4 | SAT | 113.35 | |
robots_1_5_5_33.8 | UNSAT | 302.1 | |
robots_1_5_5_12.8 | FAIL | 883.89 | |
robots_1_5_5_100.8 | FAIL | 884.29 | |
robots_1_5_5_10.8 | FAIL | 884.92 | |
robots_1_5_5_99.8 | FAIL | 885.15 | |
robots_1_5_5_50.8 | FAIL | 885.16 | |
robots_1_5_5_95.8 | FAIL | 885.23 | |
robots_1_5_5_14.8 | FAIL | 885.28 | |
robots_1_5_5_5.8 | FAIL | 886.86 |