QBF Solver Evaluation Portal
qbflib.orgInstances of family Reduction-finding-qcir solved by GhostQ___plain_qcir_2019
QBFEVAL'19 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| query50_query06_1133 | UNSAT | 0 | |
| query25_query54_1133 | SAT | 0 | |
| query08_axquery_1133 | SAT | 0 | |
| falsequ_query11_1133 | SAT | 0 | |
| eequery_query36_1133 | UNSAT | 0 | |
| eequery_query04_1133 | UNSAT | 0 | |
| axquery_exquery_1133 | UNSAT | 0 | |
| axquery_eequery_1133 | UNSAT | 0 | |
| axquery_axquery_1133 | SAT | 0 | |
| exquery_query60_1133 | UNSAT | 0.09 | |
| query55_query10_1133 | UNSAT | 0.1 | |
| exquery_query42_1133 | UNSAT | 0.1 | |
| query26_query60_1133 | UNSAT | 0.11 |