Instance | Solver | Result | Time | |
---|---|---|---|---|
k_branch_p-10 | prefix-opt-depqbf | UNSAT | 0.61 | |
k_branch_p-11 | prefix-opt-depqbf | UNSAT | 0.69 | |
k_branch_p-12 | prefix-opt-depqbf | UNSAT | 0.91 | |
k_branch_p-14 | heretiq | UNSAT | 1.25 | |
k_branch_p-16 | heretiq | UNSAT | 0.6 | |
k_branch_p-18 | heretiq | UNSAT | 1.85 | |
k_branch_p-19 | caqe_2017_v1 | UNSAT | 2.31 | |
k_branch_p-21 | prefix-opt-depqbf | UNSAT | 11.97 |