QBF Solver Evaluation Portal
qbflib.orgUnique instances for GhostQ-PG_cegar
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Time | Result |
|---|---|---|
| query44_query26_1344n | 26.42 | SAT |
| nreachq_query54_1344n | 625.83 | SAT |
| query60_query44_1344n | 401.15 | SAT |
| query64_query42_1344n | 202.31 | SAT |