QBF Solver Evaluation Portal
qbflib.orgInstances of family Reduction-finding solved by GhostQ___plain_qcir_2019
QBFEVAL'19 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| query04_query03_1133 | UNSAT | 0 | |
| query23_query06_1344 | SAT | 0 | |
| query07_falsequ_1344 | UNSAT | 0 | |
| eequery_query23_1344 | UNSAT | 0 | |
| query27_query03_1344 | SAT | 0 | |
| exquery_query07_1344 | UNSAT | 0 | |
| trivial_query09_1344 | SAT | 0 | |
| query55_query30_1344 | UNSAT | 0 | |
| query49_query23_1344 | UNSAT | 0 | |
| axquery_query02_1344 | SAT | 0 | |
| axquery_query58_1344 | SAT | 0.16 | |
| query09_trivial_1344 | SAT | 0.36 | |
| trivial_query31_1344 | SAT | 0.38 | |
| axquery_query31_1344 | SAT | 0.53 | |
| query08_query26_1344 | SAT | 2.05 | |
| query04_query03_1344 | UNSAT | 3.29 | |
| query03_query57_1344 | SAT | 3.55 | |
| query49_query64_1133 | UNSAT | 5.86 | |
| query08_query64_1344 | SAT | 8.07 | |
| eequery_reachqu_1344 | UNSAT | 118.38 | |
| query52_query36_1344 | UNSAT | 247.42 | |
| nreachq_query02_1344 | FAIL | 900.02 | |
| query51_query31_1344 | FAIL | 900.03 | |
| query42_query64_1344 | FAIL | 900.03 | |
| query64_query55_1344 | FAIL | 900.05 | |
| query11_query64_1344 | FAIL | 900.06 | |
| query33_query71_1344 | FAIL | 900.08 |