QBF Solver Evaluation Portal
qbflib.orgUnique instances for GhostQ___cegar_pcnf_2019
Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| nreachq_query54_1344n | 594.82 | SAT |
| query64_query42_1344n | 184.29 | SAT |
| reachqu_query64_1344n | 320.25 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| nreachq_query54_1344n | 594.82 | SAT |
| query64_query42_1344n | 184.29 | SAT |
| reachqu_query64_1344n | 320.25 | UNSAT |