Instance | Solver | Result | Time | |
---|---|---|---|---|
k_poly_p-11 | depqbf-cert-v1 | UNSAT | 0.11 | |
k_poly_p-14 | depqbf-cert-v2 | UNSAT | 0.08 | |
k_poly_p-15 | depqbf-cert-v2 | UNSAT | 0.07 | |
k_poly_p-16 | depqbf-cert-v2 | UNSAT | 0.1 | |
k_poly_p-19 | depqbf-cert-v1 | UNSAT | 0.11 | |
k_poly_p-2 | depqbf-cert-v2 | UNSAT | 0.07 | |
k_poly_p-4 | depqbf-cert-v1 | UNSAT | 0.09 | |
k_poly_p-7 | depqbf-cert-v1 | UNSAT | 0.07 | |
k_poly_p-8 | depqbf-cert-v1 | UNSAT | 0.09 | |
k_poly_p-9 | depqbf-cert-v2 | UNSAT | 0.07 |