QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Tree
QBFEVAL'16 - 2QBF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| tree-exa10-10 | qestos | SAT | 0 |  |
| tree-exa10-15 | cadet | SAT | 0 | |
| tree-exa10-20 | squeezebf+struqs | SAT | 0 | |
| tree-exa10-25 | struqs-10 | SAT | 0 | |
| tree-exa10-30 | qestos | SAT | 0 | |