Instance | Solver | Result | Time | |
---|---|---|---|---|
Qq2k2k3v80v80m8s0 | sKizzo-0.9-grn | SAT | 0 | |
Qq2k2k3v80v80m8s1 | 2clsQ | SAT | 0 | |
Qq2k2k3v80v80m8s2 | GRL | SAT | 0 | |
Qq2k2k3v80v80m8s3 | GRL | SAT | 0 | |
Qq2k2k3v80v80m8s4 | yQuaffle | SAT | 0 | |
Qq2k2k3v80v80m8s5 | Qbfl | SAT | 0 | |
Qq2k2k3v80v80m8s6 | SQBF | SAT | 0 | |
Qq2k2k3v80v80m8s7 | yQuaffle | SAT | 0 | |
Qq2k2k3v80v80m8s8 | semprop | SAT | 0 | |
Qq2k2k3v80v80m8s9 | sKizzo-0.9-abs | SAT | 0 |