n=5 k=4 maxmult=1 minsize=1 bf=1 part 0/1: {'digraphs': 1024, 'instances': 2200388, 'PC': 692526, 'ARB': 692526, 'LOC': 692526, 'mismatch': 0, 'pc_flow_vs_bruteforce_mismatch': 0, 'constructed_and_verified': 692526, 'construct_fail': 0, 'open_case_with_PC': 7560} (128s)
