Instance | Result | Time | |
---|---|---|---|
k3_1_1 | SAT | 154.33 | |
k12_3_2 | FAIL | 600 | |
k6_3_2 | FAIL | 600 | |
k5_3_2 | FAIL | 600 | |
k10_2_2 | FAIL | 600 | |
k14_3_3 | FAIL | 600 | |
k10_3_4 | FAIL | 600 | |
k5_2_3 | FAIL | 600 | |
k3_1_2 | FAIL | 600 | |
k6_4_2 | FAIL | 600 | |
k8_2_3 | FAIL | 600 | |
k5_3_3 | FAIL | 600 | |
k6_2_4 | FAIL | 600 | |
k7_2_2 | FAIL | 600 | |
k14_2_3 | FAIL | 600 | |
k14_3_2 | FAIL | 600 | |
k6_4_4 | FAIL | 600 | |
k7_3_2 | FAIL | 600 | |
k7_4_4 | FAIL | 600 | |
k10_4_4 | FAIL | 600 | |
k14_2_4 | FAIL | 600 | |
k8_3_3 | FAIL | 600 | |
k6_2_2 | FAIL | 600 | |
k7_4_2 | FAIL | 600 | |
k14_2_2 | FAIL | 600 | |
k12_4_4 | FAIL | 600 | |
k3_2_1 | FAIL | 600 | |
k6_3_3 | FAIL | 600 | |
k8_4_4 | FAIL | 600 | |
k7_4_3 | FAIL | 600 | |
k8_4_3 | FAIL | 600 | |
k10_4_2 | FAIL | 600 | |
k7_3_3 | FAIL | 600 | |
k10_4_3 | FAIL | 600 | |
k7_2_3 | FAIL | 600 | |
k14_4_3 | FAIL | 600 | |
k6_4_3 | FAIL | 600 | |
k10_3_2 | FAIL | 600 | |
k12_2_2 | FAIL | 600 | |
k12_4_2 | FAIL | 600 | |
k12_2_4 | FAIL | 600 | |
k5_2_2 | FAIL | 600 | |
k12_3_4 | FAIL | 600 | |
k4_2_2 | FAIL | 600 | |
k12_4_3 | FAIL | 600 | |
k8_3_2 | FAIL | 600 | |
k6_2_3 | FAIL | 600 | |
k8_3_4 | FAIL | 600 | |
k8_4_2 | FAIL | 600 | |
k10_2_4 | FAIL | 600 | |
k10_2_3 | FAIL | 600 | |
k3_2_2 | FAIL | 600 | |
k10_3_3 | FAIL | 600 | |
k14_4_4 | FAIL | 600 | |
k12_3_3 | FAIL | 600 | |
k6_3_4 | FAIL | 600 | |
k14_4_2 | FAIL | 600 | |
k7_2_4 | FAIL | 600 | |
k12_2_3 | FAIL | 600 | |
k14_3_4 | FAIL | 600 | |
k8_2_2 | FAIL | 600 | |
k7_3_4 | FAIL | 600 | |
k8_2_4 | FAIL | 600 |