n=2: max w for chi<=k: {1: 1, 2: 1}; SAT vs brute mismatches: []
n=3: max w for chi<=k: {1: 1, 2: 2, 3: 2}; SAT vs brute mismatches: []
n=4: max w for chi<=k: {1: 1, 2: 3, 3: 3, 4: 3}; SAT vs brute mismatches: []
n=5: max w for chi<=k: {1: 1, 2: 3, 3: 4, 4: 4, 5: 4}; SAT vs brute mismatches: []
n=6: max w for chi<=k: {1: 1, 2: 4, 3: 5, 4: 5, 5: 5, 6: 5}; SAT vs brute mismatches: []
n=7: max w for chi<=k: {1: 1, 2: 5, 3: 5, 4: 6, 5: 6, 6: 6, 7: 6}; SAT vs brute mismatches: []
