QBF Solver Evaluation Portal
qbflib.orgInstances of family Abduction solved by depqbf_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| ssa7552-158-00 | FAIL | 3600 | |
| f600-00 | FAIL | 3600 | |
| f600-50 | FAIL | 3600 |
| Instance | Result | Time | |
|---|---|---|---|
| ssa7552-158-00 | FAIL | 3600 | |
| f600-00 | FAIL | 3600 | |
| f600-50 | FAIL | 3600 |