Instance | Solver | Result | Time | |
---|---|---|---|---|
s510_d11_s | qsts | SAT | 0.25 | |
s510_d23_s | qsts | SAT | 0.93 | |
s510_d24_s | qsts | SAT | 1.06 | |
s510_d28_s | qsts | SAT | 1.43 | |
s510_d31_s | qsts | SAT | 1.55 | |
s510_d32_s | qsts | SAT | 1.72 | |
s510_d35_s | qsts | SAT | 1.95 | |
s510_d36_s | qsts | SAT | 2.05 | |
s510_d3_s | qsts | UNSAT | 0.03 | |
s510_d6_s | qsts | SAT | 0.1 |