Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
tree-exa2-10 | 2 | 11 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-15 | 2 | 10 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-20 | 2 | 10 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-25 | 2 | 10 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-30 | 2 | 10 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-35 | 2 | 10 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-40 | 2 | 9 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-45 | 2 | 8 | skizzo_v0.4, skizzo_v0.5 |
tree-exa2-50 | 2 | 7 | skizzo_v0.4, skizzo_v0.5 |