Instance | Solver | Result | Time | |
---|---|---|---|---|
k_poly_n-14 | qesto | SAT | 0.01 | |
k_poly_n-16 | qesto | SAT | 0.01 | |
k_poly_n-17 | qesto | SAT | 0.01 | |
k_poly_n-18 | qesto | SAT | 0.01 | |
k_poly_n-2 | rareqs | SAT | 0 | |
k_poly_n-20 | qesto | SAT | 0.01 | |
k_poly_n-21 | qesto | SAT | 0.01 | |
k_poly_n-5 | qesto | SAT | 0 | |
k_poly_n-6 | qesto | SAT | 0 | |
k_poly_n-7 | aqua-f3v | SAT | 0.01 |