QBF Solver Evaluation Portal
qbflib.orgInstances of family Reduction-finding solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| query42_query06_1344n | FAIL | 876.33 | |
| query44_query26_1344n | FAIL | 877.52 |