QBF Solver Evaluation Portal
qbflib.orgInstances of family Tree solved by orSAT
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| tree-exa2-15 | UNSAT | 1.09 | |
| tree-exa10-30 | FAIL | 12.32 | |
| tree-exa10-25 | FAIL | 14.59 | |
| tree-exa2-35 | FAIL | 21.81 | |
| tree-exa2-25 | FAIL | 22.15 | |
| tree-exa2-40 | FAIL | 22.18 | |
| tree-exa2-30 | FAIL | 22.51 | |
| tree-exa2-45 | FAIL | 24.74 |