QBF Solver Evaluation Portal
qbflib.orgSota solver results for family hwmcc
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| 6s289rb05233_c0to63.sat | qbfrelay | SAT | 74.53 |  |
| beemskbn1f1_c0to7.sat | qbfrelay-limited-depqbf | SAT | 139.11 | |
| oski3ub5i_c0to511.sat | qbfrelay | SAT | 72.36 | |
| oski3ub5i_c0to63.sat | qbfrelay | SAT | 72.08 | |