QBF Solver Evaluation Portal
qbflib.orgUnique instances for ncQuBE1.1
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.
| Instance | Time | Result |
|---|---|---|
| ii8d1-00 | 176.71 | SAT |
| Instance | Time | Result |
|---|---|---|
| ii8d1-00 | 176.71 | SAT |