QBF Solver Evaluation Portal
qbflib.orgInstances of family Reduction-finding solved by aspq3_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| query71_query34_1344n | SAT | 2411.5 | |
| query71_query42_1344n | FAIL | 3600 | |
| query60_query42_1344n | FAIL | 3600 | |
| query57_query42_1344n | FAIL | 3600 | |
| query49_query42_1344n | FAIL | 3600 | |
| nreachq_query42_1344n | FAIL | 3600 | |
| query44_query42_1344n | FAIL | 3600 | |
| query10_query06_1344n | FAIL | 3600 | |
| query10_query34_1344n | FAIL | 3600 | |
| query42_query60_1344n | FAIL | 3600 | |
| query60_query10_1344n | FAIL | 3600 | |
| query60_query33_1344n | FAIL | 3600 |