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