n=4 k=2 maxmult=3 minsize=1 bf=1 part 0/1: {'digraphs': 4096, 'instances': 208792, 'PC': 189217, 'ARB': 189217, 'LOC': 189217, 'mismatch': 0, 'pc_flow_vs_bruteforce_mismatch': 0, 'constructed_and_verified': 189217, 'construct_fail': 0, 'open_case_with_PC': 0, 'restarts_after_tie': 0} (14s)
