Instance | Solver | Result | Time | |
---|---|---|---|---|
szymanski-10-s | WalkQSAT | UNSAT | 0.63 | |
szymanski-12-s | WalkQSAT | UNSAT | 1.34 | |
szymanski-14-s | WalkQSAT | UNSAT | 2.23 | |
szymanski-16-s | WalkQSAT | UNSAT | 2.33 | |
szymanski-18-s | CSBJ | UNSAT | 12.98 | |
szymanski-22-s | CSBJ | UNSAT | 35.87 | |
szymanski-4-s | CSBJ | UNSAT | 0 | |
szymanski-6-s | CSBJ | UNSAT | 0.07 |