QBF Solver Evaluation Portal
qbflib.orgInstances of family Abduction solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| ii8d1-00 | FAIL | 889.14 | |
| f600-00 | FAIL | 892.43 | |
| ii8d1-90 | FAIL | 894.07 | |
| f600-50 | FAIL | 895.12 | |
| ssa7552-158-00 | FAIL | 895.32 |