Instance | Solver | Result | Time | |
---|---|---|---|---|
s820_d10_s | qsts | SAT | 0.33 | |
s820_d11_u | qsts | UNSAT | 0.39 | |
s820_d12_u | qsts | UNSAT | 0.45 | |
s820_d14_u | qsts | UNSAT | 0.56 | |
s820_d15_u | qsts | UNSAT | 0.62 | |
s820_d2_s | qsts | SAT | 0.03 | |
s820_d3_s | qsts | SAT | 0.06 | |
s820_d7_s | qsts | SAT | 0.21 | |
s820_d8_s | qsts | SAT | 0.25 | |
s820_d9_s | qsts | SAT | 0.31 |