Instance | Solver | Result | Time | |
---|---|---|---|---|
szymanski-10-s | hiqqerfork | UNSAT | 0.58 | |
szymanski-12-s | hiqqerfork | UNSAT | 1.45 | |
szymanski-14-s | hiqqerfork | UNSAT | 2.65 | |
szymanski-16-s | hiqqerfork | UNSAT | 3.75 | |
szymanski-18-s | hiqqerfork | UNSAT | 2.86 | |
szymanski-20-s | hiqqerfork | UNSAT | 4.85 | |
szymanski-24-s | hiqqerfork | UNSAT | 7.1 | |
szymanski-5-s | hiqqerfork | UNSAT | 0.04 | |
szymanski-6-s | hiqqerfork | UNSAT | 0.07 | |
szymanski-8-s | hiqqerfork | UNSAT | 0.21 |