This repository was archived by the owner on Nov 13, 2018. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathsolutions.txt
More file actions
9 lines (7 loc) · 4.59 KB
/
solutions.txt
File metadata and controls
9 lines (7 loc) · 4.59 KB
1
2
3
4
5
6
7
8
9
ncvoter-1k: Minimal Unique Column Combinations: [{3, 4, 7, 10, 15, 18}, {4, 5, 14, 17}, {1, 11}, {5, 7, 8, 15, 17}, {1, 4}, {5, 7, 8, 12, 15}, {2, 7, 10, 11, 18}, {3, 4, 5, 12}, {3, 4, 12, 17}, {4, 7, 8, 11}, {3, 11}, {4, 5, 7, 17}, {3, 5, 10, 12, 18}, {3, 4, 7, 14, 16}, {5, 8, 11, 17}, {7, 8, 11, 15}, {4, 5, 16, 17}, {0}, {4, 5, 11, 17}, {2, 4, 7, 11}, {3, 4, 7, 10, 16, 18}, {2, 5, 7, 10, 12, 15, 18}, {1, 15}, {4, 5, 8, 12, 15}, {5, 7, 8, 14, 15}, {3, 4, 5, 7}, {3, 4, 7, 17}, {4, 5, 12, 17}, {4, 5, 8, 11}, {2, 4, 5, 7}, {3, 4, 5, 14}, {3, 4, 14, 17}, {3, 4, 7, 9, 10, 18}, {3, 5, 14, 15}, {2, 4, 5, 11}, {3, 4, 7, 12, 16}, {3, 5, 10, 15, 18}, {2, 5, 7, 10, 14, 15, 18}, {7, 8, 9, 11}, {4, 5, 8, 14, 15}, {3, 4, 5, 16}, {4, 7, 11, 17}, {3, 5, 7, 15}, {4, 5, 7, 8}, {5, 7, 8, 11}, {7, 8, 11, 17}, {4, 5, 17, 18}, {3, 4, 7, 14, 18}, {5, 7, 8, 12, 18}, {2, 4, 5, 12, 15, 18}, {4, 5, 10, 17}, {1, 18}, {5, 7, 15, 17, 18}, {7, 8, 11, 18}, {3, 5, 17, 18}, {5, 7, 14, 17, 18}, {3, 4, 7, 12, 18}, {3, 4, 5, 10}, {2, 4, 5, 14, 15, 18}, {3, 4, 5, 18}, {7, 11, 17, 18}, {5, 7, 8, 14, 18}, {3, 5, 7, 18}, {5, 7, 8, 15, 16, 18}, {5, 7, 12, 17, 18}, {3, 5, 14, 18}]
{1, 4}{1, 15}{3, 11}{3, 4, 5, 14}{3, 4, 5, 16}{4, 5, 11, 17}{5, 7, 8, 11}{1, 18}{1, 11}{3, 4, 5, 7}{0}{3, 4, 5, 18}{3, 4, 5, 10}{5, 7, 11, 17, 18}{3, 4, 5, 12}{3, 5, 14, 15}{5, 8, 11, 17}
WDC_planets: Minimal Unique Column Combinations: [{6}, {2}, {5}, {4}, {0}, {7, 9}, {3}]
fd_reduced_15.csv:
{1, 2, 3}{1, 2, 4}{1, 2, 5}{1, 2, 6}{1, 2, 7}{1, 2, 8}{1, 2, 9}{1, 2, 10}{1, 2, 11}{1, 2, 12}{1, 2, 13}{1, 2, 14}{1, 3, 4}{1, 3, 5}{1, 3, 8}{1, 3, 11}{1, 3, 12}{1, 3, 14}{1, 4, 5}{1, 4, 6}{1, 4, 7}{1, 4, 8}{1, 4, 10}{1, 4, 11}{1, 4, 12}{1, 4, 13}{1, 4, 14}{1, 5, 6}{1, 5, 7}{1, 5, 8}{1, 5, 10}{1, 5, 13}{1, 5, 14}{1, 6, 8}{1, 6, 11}{1, 6, 12}{1, 6, 14}{1, 7, 8}{1, 7, 9}{1, 7, 10}{1, 7, 11}{1, 7, 12}{1, 7, 13}{1, 7, 14}{1, 8, 9}{1, 8, 10}{1, 8, 13}{1, 8, 14}{1, 9, 13}{1, 9, 14}{1, 10, 13}{1, 10, 14}{1, 11, 12}{1, 11, 13}{1, 11, 14}{1, 12, 14}{1, 13, 14}{5, 6, 8}{5, 6, 9}{5, 6, 11}{5, 6, 13}{5, 6, 14}{5, 7, 8}{5, 7, 11}{5, 7, 13}{5, 7, 14}{5, 8, 9}{5, 8, 10}{5, 8, 11}{5, 8, 13}{5, 8, 14}{5, 9, 10}{5, 9, 11}{5, 9, 12}{5, 9, 13}{5, 10, 11}{5, 10, 13}{5, 10, 14}{5, 11, 12}{5, 11, 13}{5, 11, 14}{5, 12, 13}{5, 12, 14}{5, 13, 14}{2, 3, 7}{2, 3, 14}{2, 4, 5}{2, 4, 7}{2, 4, 8}{2, 4, 9}{2, 4, 11}{2, 4, 12}{2, 4, 13}{2, 4, 14}{2, 5, 11}{2, 5, 13}{2, 5, 14}{2, 6, 7}{2, 6, 14}{2, 7, 13}{2, 7, 14}{2, 8, 11}{2, 8, 13}{2, 8, 14}{2, 9, 11}{2, 9, 13}{2, 9, 14}{2, 10, 11}{2, 10, 14}{2, 11, 14}{2, 13, 14}{3, 4, 14}{7, 8, 9}{7, 8, 11}{7, 8, 12}{7, 8, 13}{7, 8, 14}{7, 9, 10}{7, 9, 11}{7, 9, 12}{7, 9, 13}{7, 9, 14}{7, 10, 13}{7, 10, 14}{7, 11, 12}{7, 11, 13}{7, 11, 14}{7, 12, 13}{7, 12, 14}{7, 13, 14}{11, 12, 13}{11, 12, 14}{11, 13, 14}{4, 5, 6}{4, 5, 7}{4, 5, 8}{4, 5, 9}{4, 5, 10}{4, 5, 11}{4, 5, 12}{4, 5, 13}{4, 5, 14}{4, 6, 7}{4, 6, 8}{4, 6, 9}{4, 6, 10}{4, 6, 11}{4, 6, 12}{4, 6, 13}{4, 6, 14}{4, 7, 8}{4, 7, 9}{4, 7, 10}{4, 7, 11}{4, 7, 12}{4, 7, 13}{4, 7, 14}{4, 8, 9}{4, 8, 10}{4, 8, 11}{4, 8, 12}{4, 8, 13}{4, 8, 14}{4, 9, 11}{4, 9, 13}{4, 9, 14}{4, 10, 13}{4, 10, 14}{4, 11, 13}{4, 11, 14}{4, 12, 13}{4, 12, 14}{4, 13, 14}{8, 9, 11}{8, 10, 11}{8, 10, 13}{8, 11, 13}{8, 11, 14}{3, 7, 8, 10}{3, 7, 10, 11}{3, 7, 10, 12}{9, 12, 13, 14}{1, 3, 9, 10}{2, 3, 4, 10}{2, 3, 5, 8}{2, 3, 5, 9}{2, 3, 5, 10}{2, 3, 5, 12}{2, 3, 8, 10}{2, 3, 8, 12}{2, 3, 9, 10}{2, 3, 9, 12}{2, 3, 10, 13}{2, 3, 11, 12}{2, 3, 11, 13}{2, 3, 12, 13}{6, 10, 11, 13}{6, 10, 11, 14}{6, 10, 12, 13}{6, 10, 13, 14}{2, 7, 10, 12}{2, 8, 9, 10}{2, 8, 9, 12}{2, 8, 10, 12}{3, 4, 9, 10}{3, 4, 9, 12}{3, 4, 10, 11}{3, 4, 10, 12}{3, 4, 11, 12}{3, 8, 9, 12}{3, 8, 9, 13}{3, 8, 9, 14}{3, 8, 10, 14}{3, 8, 11, 12}{3, 8, 12, 13}{3, 8, 12, 14}{3, 8, 13, 14}{2, 9, 10, 12}{1, 9, 10, 11}{1, 9, 10, 12}{2, 5, 6, 10}{2, 5, 6, 12}{2, 5, 7, 9}{2, 5, 7, 10}{2, 5, 7, 12}{2, 5, 8, 12}{2, 5, 10, 12}{3, 12, 13, 14}{3, 5, 7, 9}{3, 5, 7, 10}{5, 7, 10, 12}{3, 9, 10, 13}{3, 9, 11, 12}{3, 9, 11, 14}{3, 9, 13, 14}{8, 12, 13, 14}{8, 9, 12, 13}{8, 9, 12, 14}{8, 9, 13, 14}{3, 10, 11, 13}{3, 10, 11, 14}{3, 10, 12, 13}{3, 10, 13, 14}{2, 6, 8, 10}{2, 6, 8, 12}{2, 6, 9, 10}{2, 6, 9, 12}{2, 6, 10, 13}{2, 6, 11, 12}{2, 6, 11, 13}{2, 6, 12, 13}{1, 6, 9, 10}{2, 10, 12, 13}{6, 7, 8, 10}{6, 7, 10, 11}{6, 7, 10, 12}{6, 8, 9, 12}{6, 8, 9, 13}{6, 8, 9, 14}{6, 8, 10, 14}{6, 8, 11, 12}{6, 8, 12, 13}{6, 8, 12, 14}{6, 8, 13, 14}{4, 10, 11, 12}{6, 9, 10, 13}{6, 9, 11, 12}{6, 9, 11, 14}{6, 9, 13, 14}{6, 12, 13, 14}{5, 6, 7, 10}{5, 6, 7, 12}{5, 6, 10, 12}{10, 12, 13, 14}{9, 10, 11, 14}
LOD-small1.csv:
{18, 21}{0, 18}{6, 18}{18, 19}{19, 20, 21}{4, 18}{13, 18}{12, 18}{10, 18}{11, 18}{18, 20}{18, 22}{17, 18}{5, 18}