QBF Solver Evaluation Portal
qbflib.orgUnique instances for GhostQ-PG_cegar
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Time | Result |
|---|---|---|
| nreachq_query54_1344n | 597.43 | SAT |
| query60_query44_1344n | 389.45 | SAT |
| query64_query42_1344n | 191.29 | SAT |