QBF Solver Evaluation Portal
qbflib.orgInstances of family Strategic_Companies solved by aspq3_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| x300.15 | FAIL | 3600 | |
| x300.16 | FAIL | 3600 | |
| x300.19 | FAIL | 3600 | |
| x300.1 | FAIL | 3600 | |
| x300.3 | FAIL | 3600 | |
| x300.4 | FAIL | 3600 | |
| x300.5 | FAIL | 3600 | |
| x300.6 | FAIL | 3600 | |
| x300.8 | FAIL | 3600 | |
| x300.12 | FAIL | 3600 | |
| x220.9 | FAIL | 3600 | |
| x210.11 | FAIL | 3600 | |
| x220.0 | FAIL | 3600 | |
| x220.10 | FAIL | 3600 | |
| x220.12 | FAIL | 3600 | |
| x220.13 | FAIL | 3600 | |
| x220.16 | FAIL | 3600 | |
| x220.19 | FAIL | 3600 | |
| x220.2 | FAIL | 3600 | |
| x220.6 | FAIL | 3600 | |
| x220.8 | FAIL | 3600 |