Instance | Solver | Result | Time | |
---|---|---|---|---|
k_ph_n-1 | caqe-portfolio | SAT | 0.12 | |
k_ph_n-11 | caqe-portfolio | SAT | 0.42 | |
k_ph_n-14 | caqe-portfolio | SAT | 1.32 | |
k_ph_n-16 | caqe-portfolio | SAT | 3.43 | |
k_ph_n-21 | caqe-portfolio | SAT | 84.56 | |
k_ph_n-3 | caqe-portfolio | SAT | 0.12 | |
k_ph_n-4 | caqe-portfolio | SAT | 0.12 | |
k_ph_n-6 | caqe-portfolio | SAT | 0.12 | |
k_ph_n-8 | caqe-portfolio | SAT | 0.12 | |
k_ph_n-9 | caqe-portfolio | SAT | 0.22 |