RESULT exh n=5 k=5 maxmult=2 minsize=2 part=3/6 flow_every=100 arbfalse_every=100 {'digraphs': 9841, 'instances': 28648635, 'pc': 699243, 'arb': 699243, 'pc_not_arb': 0, 'arb_not_pc': 0, 'flow_checked': 286486, 'flow_mismatch': 0, 'arb_run_on_pcfalse': 279517, 'threeset_pc': 522641, 'sol_verify_fail': 0, 'seconds': 114.0}
