Discrepancies tables for Tree
QBFEVAL'05


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
Download table[csv, latex]