n=6 k=4 maxmult=1 minsize=2 bf=0 part 11/12: {'digraphs': 2730, 'instances': 5907421, 'PC': 207773, 'ARB': 207773, 'LOC': 207773, 'mismatch': 0, 'pc_flow_vs_bruteforce_mismatch': 0, 'constructed_and_verified': 207773, 'construct_fail': 0, 'open_case_with_PC': 55377, 'restarts_after_tie': 0} (157s)
