QBF Solver Evaluation Portal
qbflib.orgInstances of family Strategic_Companies solved by CUED1919_NL
QBFEVAL'17 - Random QBFs Track
| Instance | Result | Time | |
|---|---|---|---|
| x220.19 | FAIL | 313.11 | |
| x220.9 | FAIL | 330.84 | |
| x220.10 | FAIL | 332.8 | |
| x220.0 | FAIL | 336.67 | |
| x300.5 | FAIL | 341.42 | |
| x300.15 | FAIL | 350.11 | |
| x300.8 | FAIL | 353.73 | |
| x220.13 | FAIL | 359.5 | |
| x300.16 | FAIL | 362.6 | |
| x220.16 | FAIL | 364.72 | |
| x220.8 | FAIL | 365.88 | |
| x300.19 | FAIL | 369.55 | |
| x300.4 | FAIL | 376.89 | |
| x300.6 | FAIL | 378.43 | |
| x220.2 | FAIL | 380.69 | |
| x220.12 | FAIL | 383.6 | |
| x300.3 | FAIL | 394.76 | |
| x300.12 | FAIL | 404.43 | |
| x220.6 | FAIL | 423.86 | |
| x300.1 | FAIL | 468.61 | |
| x210.17 | FAIL | 900 | |
| x210.16 | FAIL | 900 | |
| x210.15 | FAIL | 900 | |
| x210.12 | FAIL | 900 | |
| x210.11 | FAIL | 900 | |
| x165.9 | FAIL | 900 | |
| x165.8 | FAIL | 900 | |
| x165.6 | FAIL | 900 | |
| x165.3 | FAIL | 900 | |
| x210.1 | FAIL | 900 | |
| x210.9 | FAIL | 900 | |
| x210.7 | FAIL | 900 | |
| x210.6 | FAIL | 900 | |
| x210.3 | FAIL | 900 | |
| x165.19 | FAIL | 900 | |
| x165.17 | FAIL | 900 | |
| x165.13 | FAIL | 900 | |
| x165.11 | FAIL | 900 | |
| x165.10 | FAIL | 900 | |
| x165.0 | FAIL | 900 |