n=6 k=2 maxmult=1 minsize=2 bf=0 part 0/1: {'digraphs': 32768, 'instances': 3412096, 'PC': 1735002, 'ARB': 1735002, 'LOC': 1735002, 'mismatch': 0, 'pc_flow_vs_bruteforce_mismatch': 0, 'constructed_and_verified': 1735002, 'construct_fail': 0, 'open_case_with_PC': 0} (201s)
