Instance | Result | Time | |
---|---|---|---|
k_branch_n-1 | SAT | 0.92 | |
k_branch_n-2 | SAT | 1.1 | |
k_branch_n-3 | SAT | 1.51 | |
k_branch_n-4 | SAT | 2.61 | |
k_branch_n-5 | SAT | 47.78 | |
k_branch_n-8 | FAIL | 485.65 | |
k_branch_n-7 | FAIL | 496.42 | |
k_branch_n-15 | FAIL | 497.05 | |
k_branch_n-9 | FAIL | 501.28 | |
k_branch_n-10 | FAIL | 502.74 | |
k_branch_n-17 | FAIL | 502.86 | |
k_branch_n-6 | FAIL | 504.26 | |
k_branch_n-11 | FAIL | 505.88 | |
k_branch_n-12 | FAIL | 506.08 | |
k_branch_n-13 | FAIL | 509.88 | |
k_branch_n-18 | FAIL | 510.78 | |
k_branch_n-19 | FAIL | 511.04 | |
k_branch_n-14 | FAIL | 511.34 | |
k_branch_n-21 | FAIL | 516.24 | |
k_branch_n-20 | FAIL | 516.32 | |
k_branch_n-16 | FAIL | 518.65 |