Instance | Result | Time | |
---|---|---|---|
k_ph_n-1 | SAT | 0.73 | |
k_ph_n-2 | SAT | 0.77 | |
k_ph_n-3 | SAT | 0.81 | |
k_ph_n-4 | SAT | 0.91 | |
k_ph_n-5 | SAT | 0.92 | |
k_ph_n-6 | SAT | 0.98 | |
k_ph_n-8 | SAT | 1.34 | |
k_ph_n-9 | SAT | 2.53 | |
k_ph_n-10 | SAT | 3.01 | |
k_ph_n-11 | SAT | 3.1 | |
k_ph_n-14 | SAT | 4.42 | |
k_ph_n-12 | SAT | 5.7 | |
k_ph_n-15 | SAT | 5.82 | |
k_ph_n-16 | SAT | 7.12 | |
k_ph_n-13 | SAT | 8.73 | |
k_ph_n-17 | SAT | 10.44 | |
k_ph_n-18 | SAT | 15.71 | |
k_ph_n-19 | SAT | 20.04 | |
k_ph_n-7 | SAT | 23.65 | |
k_ph_n-20 | SAT | 25.49 | |
k_ph_n-21 | SAT | 36.53 |