QBF Solver Evaluation Portal
qbflib.orgUnique instances for PortfolioGhostQQfunQuAbSQute___pfs
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Time | Result |
|---|---|---|
| jctc18-vals-0,2-pass | 72.57 | SAT |
| Instance | Time | Result |
|---|---|---|
| jctc18-vals-0,2-pass | 72.57 | SAT |