Instance | Solver | Result | Time | |
---|---|---|---|---|
k_ph_n-1 | caqe-minisat-cert | SAT | 0 | |
k_ph_n-11 | cheq | SAT | 12.75 | |
k_ph_n-14 | cheq | SAT | 41.35 | |
k_ph_n-16 | cheq | SAT | 158.07 | |
k_ph_n-21 | cheq | SAT | 454.89 | |
k_ph_n-3 | cheq | SAT | 0.02 | |
k_ph_n-4 | cheq | SAT | 0.03 | |
k_ph_n-6 | depqbf-cert-v2 | SAT | 0.21 | |
k_ph_n-8 | depqbf-cert-v2 | SAT | 1.12 | |
k_ph_n-9 | depqbf-cert-v2 | SAT | 2.81 |