n=5 k=3 maxmult=2 minsize=2 bf=0 part 1/6: {'digraphs': 9842, 'instances': 1833481, 'PC': 607916, 'ARB': 607916, 'LOC': 607916, 'mismatch': 0, 'pc_flow_vs_bruteforce_mismatch': 0, 'constructed_and_verified': 607916, 'construct_fail': 0, 'open_case_with_PC': 154577} (101s)
