QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Tree
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| tree-exa10-10 | ssolveC | SAT | 0 |  |
| tree-exa10-15 | QuBE6.1 | SAT | 0 | |
| tree-exa10-20 | Nenofex | SAT | 0 | |
| tree-exa10-25 | quantor3.0 | SAT | 0 | |
| tree-exa10-30 | quantor3.0 | SAT | 0 | |
| tree-exa2-10 | ssolveC | UNSAT | 0 | |
| tree-exa2-15 | quantor3.0 | UNSAT | 0 | |
| tree-exa2-20 | Nenofex | UNSAT | 0 | |
| tree-exa2-25 | ssolveB | UNSAT | 0 | |
| tree-exa2-30 | ssolve-A | UNSAT | 0 | |
| tree-exa2-35 | QuBE6.1 | UNSAT | 0 | |
| tree-exa2-40 | quantor3.0 | UNSAT | 0 | |
| tree-exa2-45 | Nenofex | UNSAT | 0 | |
| tree-exa2-50 | QuBE6.1 | UNSAT | 0 | |