QBF Solver Evaluation Portal
qbflib.orgInstances of family Strategic_Companies solved by depqbf_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| x210.11 | UNSAT | 499.06 | |
| x220.9 | UNSAT | 1358.36 | |
| x220.13 | UNSAT | 1574.42 | |
| x220.0 | UNSAT | 1693.72 | |
| x220.8 | UNSAT | 2278.42 | |
| x220.19 | UNSAT | 2686.59 | |
| x220.12 | FAIL | 3600 | |
| x300.8 | FAIL | 3600 | |
| x220.16 | FAIL | 3600 | |
| x220.2 | FAIL | 3600 | |
| x220.6 | FAIL | 3600 | |
| x300.12 | FAIL | 3600 | |
| 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 | |
| x220.10 | FAIL | 3600 |