Instance | Result | Time | |
---|---|---|---|
k3_1_1 | SAT | 0.85 | |
k3_2_2 | SAT | 0.86 | |
k3_2_1 | SAT | 0.88 | |
k3_1_2 | SAT | 0.99 | |
k4_2_2 | SAT | 1.35 | |
k5_2_3 | SAT | 18.59 | |
k5_3_3 | SAT | 45.97 | |
k10_4_3 | FAIL | 531.03 | |
k10_4_4 | FAIL | 540.95 | |
k12_3_3 | FAIL | 564.26 | |
k12_4_4 | FAIL | 564.64 | |
k12_4_2 | FAIL | 566.75 | |
k12_3_4 | FAIL | 568.69 | |
k12_3_2 | FAIL | 572.32 | |
k12_4_3 | FAIL | 576.5 | |
k10_3_4 | FAIL | 577.62 | |
k14_4_3 | FAIL | 595.49 | |
k6_2_2 | FAIL | 596.45 | |
k5_3_2 | FAIL | 596.47 | |
k5_2_2 | FAIL | 596.47 | |
k12_2_4 | FAIL | 596.51 | |
k6_2_3 | FAIL | 596.53 | |
k14_3_2 | FAIL | 597.22 | |
k6_3_2 | FAIL | 597.58 | |
k14_4_4 | FAIL | 597.63 | |
k6_2_4 | FAIL | 597.75 | |
k7_2_2 | FAIL | 597.76 | |
k7_2_3 | FAIL | 597.78 | |
k6_3_4 | FAIL | 597.83 | |
k6_3_3 | FAIL | 597.87 | |
k7_2_4 | FAIL | 597.9 | |
k7_4_2 | FAIL | 597.92 | |
k6_4_3 | FAIL | 597.96 | |
k6_4_2 | FAIL | 597.98 | |
k14_3_4 | FAIL | 598.01 | |
k7_3_2 | FAIL | 598.03 | |
k6_4_4 | FAIL | 598.09 | |
k7_3_3 | FAIL | 598.2 | |
k7_3_4 | FAIL | 598.32 | |
k7_4_4 | FAIL | 598.51 | |
k8_2_2 | FAIL | 598.55 | |
k7_4_3 | FAIL | 598.56 | |
k8_2_3 | FAIL | 598.64 | |
k8_3_3 | FAIL | 598.73 | |
k8_4_2 | FAIL | 598.84 | |
k8_3_2 | FAIL | 598.88 | |
k8_2_4 | FAIL | 598.91 | |
k8_3_4 | FAIL | 598.95 | |
k8_4_4 | FAIL | 599.09 | |
k8_4_3 | FAIL | 599.13 | |
k14_3_3 | FAIL | 599.55 | |
k14_4_2 | FAIL | 600 | |
k12_2_3 | FAIL | 600 | |
k10_2_2 | FAIL | 600 | |
k14_2_3 | FAIL | 600 | |
k14_2_4 | FAIL | 600 | |
k14_2_2 | FAIL | 600 | |
k10_4_2 | FAIL | 600 | |
k10_3_2 | FAIL | 600 | |
k12_2_2 | FAIL | 600 | |
k10_2_4 | FAIL | 600 | |
k10_2_3 | FAIL | 600 | |
k10_3_3 | FAIL | 600 |