Instance | Solver | Result | Time | |
---|---|---|---|---|
k_lin_p-1 | QUANTOR | UNSAT | 0.01 | |
k_lin_p-10 | sSolve | UNSAT | 0.01 | |
k_lin_p-11 | sSolve | UNSAT | 0.01 | |
k_lin_p-15 | sSolve | UNSAT | 0.01 | |
k_lin_p-18 | QSAT | UNSAT | 0.34 | |
k_lin_p-5 | sSolve | UNSAT | 0.01 | |
k_lin_p-6 | sSolve | UNSAT | 0 | |
k_lin_p-8 | sSolve | UNSAT | 0.01 |