Instance | Solver | Result | Time | |
---|---|---|---|---|
k_d4_n-1 | caqe-portfolio | SAT | 0.12 | |
k_d4_n-10 | caqe-portfolio | SAT | 0.53 | |
k_d4_n-14 | caqe-portfolio | SAT | 0.93 | |
k_d4_n-15 | caqe-portfolio | SAT | 1.02 | |
k_d4_n-16 | caqe-portfolio | SAT | 1.12 | |
k_d4_n-2 | caqe-portfolio | SAT | 0.12 | |
k_d4_n-20 | caqe-portfolio | SAT | 1.52 | |
k_d4_n-3 | caqe-portfolio | SAT | 0.12 | |
k_d4_n-7 | caqe-portfolio | SAT | 0.32 | |
k_d4_n-8 | caqe-portfolio | SAT | 0.42 |