Instance | Result | Time | |
---|---|---|---|
Qq2k1k4v80v80m8s8 | SAT | 20.58 | |
Qq2k1k4v80v80m8s7 | SAT | 40.72 | |
Qq2k1k4v80v80m8s4 | SAT | 42.62 | |
Qq2k1k4v80v80m8s9 | SAT | 43.2 | |
Qq2k1k4v80v80m8s3 | SAT | 121.66 | |
Qq2k1k4v80v80m8s2 | SAT | 165.6 | |
Qq2k1k4v80v80m8s1 | SAT | 174.34 | |
Qq2k1k4v80v80m8s5 | SAT | 336.79 | |
Qq2k1k4v80v80m8s6 | SAT | 344.7 | |
Qq2k1k4v80v80m8s0 | FAIL | 542.6 |