QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Qq2k2k3v80v80m2
QBFEVAL'06
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| Qq2k2k3v80v80m2s0 | sKizzo-0.9-grn | SAT | 0 |  |
| Qq2k2k3v80v80m2s1 | Qbfl | SAT | 0 | |
| Qq2k2k3v80v80m2s2 | sKizzo-0.9-abs | SAT | 0 | |
| Qq2k2k3v80v80m2s3 | yQuaffle | SAT | 0 | |
| Qq2k2k3v80v80m2s4 | GRL | SAT | 0 | |
| Qq2k2k3v80v80m2s5 | QUANTOR | SAT | 0 | |
| Qq2k2k3v80v80m2s6 | GRL | SAT | 0 | |
| Qq2k2k3v80v80m2s7 | SQBF | SAT | 0 | |
| Qq2k2k3v80v80m2s8 | QUANTOR_hc | SAT | 0 | |
| Qq2k2k3v80v80m2s9 | preQuantor | SAT | 0 | |