Instance | Result | Time | |
---|---|---|---|
Qq2k1k4v40v40m16s9 | UNSAT | 21.89 | |
Qq2k1k4v40v40m16s2 | UNSAT | 121.52 | |
Qq2k1k4v40v40m16s5 | FAIL | 540.05 | |
Qq2k1k4v40v40m16s7 | FAIL | 542.45 | |
Qq2k1k4v40v40m16s8 | FAIL | 543.16 | |
Qq2k1k4v40v40m16s1 | FAIL | 543.37 | |
Qq2k1k4v40v40m16s0 | FAIL | 543.47 | |
Qq2k1k4v40v40m16s6 | FAIL | 543.82 | |
Qq2k1k4v40v40m16s4 | FAIL | 544.14 | |
Qq2k1k4v40v40m16s3 | FAIL | 544.74 |