{"N": 5, "K": 1, "MAXMULT": 1, "MINSIZE": 1, "PART": 0, "NPARTS": 1} {"instances": 13100, "PC": 13100, "LOC": 13100, "ARB": 13100, "mismatches": 0, "three_set_PC": 0, "digraphs": 1024, "seconds": 0.3}
{"N": 5, "K": 2, "MAXMULT": 1, "MINSIZE": 1, "PART": 0, "NPARTS": 1} {"instances": 94692, "PC": 72968, "LOC": 72968, "ARB": 72968, "mismatches": 0, "three_set_PC": 0, "digraphs": 1024, "seconds": 1.9}
{"N": 5, "K": 3, "MAXMULT": 1, "MINSIZE": 1, "PART": 0, "NPARTS": 1} {"instances": 504836, "PC": 258406, "LOC": 258406, "ARB": 258406, "mismatches": 0, "three_set_PC": 1337, "digraphs": 1024, "seconds": 11.3}
{"N": 5, "K": 4, "MAXMULT": 1, "MINSIZE": 1, "PART": 0, "NPARTS": 1} {"instances": 2200388, "PC": 692526, "LOC": 692526, "ARB": 692526, "mismatches": 0, "three_set_PC": 7560, "digraphs": 1024, "seconds": 46.0}
