{"N": 4, "K": 1, "MAXMULT": 3, "MINSIZE": 1, "PART": 0, "NPARTS": 1} {"instances": 39100, "PC": 39100, "LOC": 39100, "ARB": 39100, "mismatches": 0, "three_set_PC": 0, "digraphs": 4096, "seconds": 0.8}
{"N": 4, "K": 2, "MAXMULT": 3, "MINSIZE": 1, "PART": 0, "NPARTS": 1} {"instances": 208792, "PC": 189217, "LOC": 189217, "ARB": 189217, "mismatches": 0, "three_set_PC": 0, "digraphs": 4096, "seconds": 4.5}
{"N": 4, "K": 3, "MAXMULT": 3, "MINSIZE": 1, "PART": 0, "NPARTS": 1} {"instances": 819740, "PC": 631340, "LOC": 631340, "ARB": 631340, "mismatches": 0, "three_set_PC": 24195, "digraphs": 4096, "seconds": 21.0}
