Instance | Result | Time | |
---|---|---|---|
k_poly_n-2 | SAT | 1.06 | |
k_poly_n-17 | FAIL | 605.91 | |
k_poly_n-5 | FAIL | 609.55 | |
k_poly_n-21 | FAIL | 609.71 | |
k_poly_n-7 | FAIL | 612.13 | |
k_poly_n-16 | FAIL | 612.37 | |
k_poly_n-14 | FAIL | 613.17 | |
k_poly_n-18 | FAIL | 613.49 | |
k_poly_n-6 | FAIL | 618.04 | |
k_poly_n-20 | FAIL | 620.98 |