QBF Solver Evaluation Portal
qbflib.orgUnique instances for GhostQ___cegar_pcnf_2019
QBFEVAL'19 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| query44_query26_1344n | 26.46 | SAT |
| nreachq_query11_1344n | 113.85 | UNSAT |
| nreachq_query54_1344n | 626.32 | SAT |
| query64_query42_1344n | 190.19 | SAT |
| reachqu_query64_1344n | 312.35 | UNSAT |
| klieber2017q-082-20-eq | 56.23 | SAT |
| klieber2017q-084-21-eq | 5.99 | SAT |
| klieber2017q-086-21-eq | 87.44 | SAT |
| klieber2017q-088-22-eq | 57.77 | SAT |
| klieber2017q-092-23-eq | 25.36 | SAT |
| klieber2017q-096-24-eq | 559.8 | SAT |