n=6 k=3 maxmult=1 minsize=2 bf=0 part 5/6: {'digraphs': 5461, 'instances': 2847133, 'PC': 458727, 'ARB': 458727, 'LOC': 458727, 'mismatch': 0, 'pc_flow_vs_bruteforce_mismatch': 0, 'constructed_and_verified': 458727, 'construct_fail': 0, 'open_case_with_PC': 51657} (122s)
