QBF Solver Evaluation Portal
qbflib.orgUnique instances for PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| Q_2-3_v-80-100_r-11.1 | 179.53 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| Q_2-3_v-80-100_r-11.1 | 179.53 | UNSAT |