Instance | Solver | Result | Time | |
---|---|---|---|---|
k_branch_p-10 | hiqqer1ldsq | UNSAT | 1.85 | |
k_branch_p-11 | hiqqer1 | UNSAT | 2.56 | |
k_branch_p-12 | hiqqer1ldsq | UNSAT | 3.35 | |
k_branch_p-14 | xb-qsts | UNSAT | 5.58 | |
k_branch_p-16 | qesto | UNSAT | 0.63 | |
k_branch_p-18 | hiqqer1ldsq | UNSAT | 8.94 | |
k_branch_p-21 | hiqqer1 | UNSAT | 16.22 | |
k_branch_p-5 | qsts | UNSAT | 0.05 | |
k_branch_p-6 | qsts | UNSAT | 0.06 | |
k_branch_p-8 | qesto | UNSAT | 0.22 |