Instance | Solver | Result | Time | |
---|---|---|---|---|
Qq2k1k4v80v80m8s0 | GRL | SAT | 0 | |
Qq2k1k4v80v80m8s1 | sKizzo-0.9-std | SAT | 0 | |
Qq2k1k4v80v80m8s2 | QUANTOR | SAT | 0 | |
Qq2k1k4v80v80m8s3 | yQuaffle | SAT | 0 | |
Qq2k1k4v80v80m8s4 | GRL | SAT | 0 | |
Qq2k1k4v80v80m8s5 | 2clsQ | SAT | 0 | |
Qq2k1k4v80v80m8s6 | WalkQSAT | SAT | 0 | |
Qq2k1k4v80v80m8s7 | sKizzo-0.9-grn | SAT | 0 | |
Qq2k1k4v80v80m8s8 | Qbfl | SAT | 0 | |
Qq2k1k4v80v80m8s9 | sKizzo-0.9-abs | SAT | 0 |