Instance | Solver | Result | Time | |
---|---|---|---|---|
s298_d10_s | qsts | SAT | 0.12 | |
s298_d12_s | qsts | SAT | 0.15 | |
s298_d14_s | qsts | SAT | 0.18 | |
s298_d17_s | qsts | SAT | 0.26 | |
s298_d18_s | qsts | SAT | 0.27 | |
s298_d19_u | qsts | UNSAT | 0.32 | |
s298_d22_u | qsts | UNSAT | 0.4 | |
s298_d25_u | qsts | UNSAT | 0.48 | |
s298_d2_s | qsts | UNSAT | 0.01 | |
s298_d4_s | qsts | SAT | 0.03 |