IDENTICAL  example.txt                        root paths to 9: [[0, 5, 9], [1, 4, 6, 9], [2, 3, 7, 9]]
IDENTICAL  exh_n3_k1_mult3.txt                n=3 k=1 maxmult=3 minsize=1 bf=1 part 0/1: {'digraphs': 64, 'instances': 354, 'PC': 354, 'ARB': 354, 'LOC': 354, 'mismatch': 0, 'pc_flow_vs_bruteforce
IDENTICAL  exh_n3_k2_mult3.txt                n=3 k=2 maxmult=3 minsize=1 bf=1 part 0/1: {'digraphs': 64, 'instances': 1176, 'PC': 1087, 'ARB': 1087, 'LOC': 1087, 'mismatch': 0, 'pc_flow_vs_brutef
IDENTICAL  exh_n3_k3_mult3.txt                n=3 k=3 maxmult=3 minsize=1 bf=1 part 0/1: {'digraphs': 64, 'instances': 3025, 'PC': 2464, 'ARB': 2464, 'LOC': 2464, 'mismatch': 0, 'pc_flow_vs_brutef
IDENTICAL  exh_n3_k4_mult3.txt                n=3 k=4 maxmult=3 minsize=1 bf=1 part 0/1: {'digraphs': 64, 'instances': 6630, 'PC': 4597, 'ARB': 4597, 'LOC': 4597, 'mismatch': 0, 'pc_flow_vs_brutef
IDENTICAL  exh_n4_k1_mult3.txt                n=4 k=1 maxmult=3 minsize=1 bf=1 part 0/1: {'digraphs': 4096, 'instances': 39100, 'PC': 39100, 'ARB': 39100, 'LOC': 39100, 'mismatch': 0, 'pc_flow_vs_
IDENTICAL  exh_n4_k2_mult3.txt                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
IDENTICAL  exh_n4_k3_mult3.txt                n=4 k=3 maxmult=3 minsize=1 bf=1 part 0/1: {'digraphs': 4096, 'instances': 819740, 'PC': 631340, 'ARB': 631340, 'LOC': 631340, 'mismatch': 0, 'pc_flow
IDENTICAL  exh_n5_k1_simple.txt               n=5 k=1 maxmult=1 minsize=1 bf=1 part 0/1: {'digraphs': 1024, 'instances': 13100, 'PC': 13100, 'ARB': 13100, 'LOC': 13100, 'mismatch': 0, 'pc_flow_vs_
IDENTICAL  exh_n5_k2_simple.txt               n=5 k=2 maxmult=1 minsize=1 bf=1 part 0/1: {'digraphs': 1024, 'instances': 94692, 'PC': 72968, 'ARB': 72968, 'LOC': 72968, 'mismatch': 0, 'pc_flow_vs_
IDENTICAL  exh_n5_k3_mult2_part0.txt          n=5 k=3 maxmult=2 minsize=2 bf=0 part 0/6: {'digraphs': 9842, 'instances': 2554245, 'PC': 762658, 'ARB': 762658, 'LOC': 762658, 'mismatch': 0, 'pc_flo
IDENTICAL  exh_n5_k3_simple.txt               n=5 k=3 maxmult=1 minsize=1 bf=1 part 0/1: {'digraphs': 1024, 'instances': 504836, 'PC': 258406, 'ARB': 258406, 'LOC': 258406, 'mismatch': 0, 'pc_flow
IDENTICAL  exh_n6_k3_simple_part0.txt         n=6 k=3 maxmult=1 minsize=2 bf=0 part 0/6: {'digraphs': 5462, 'instances': 3844619, 'PC': 464107, 'ARB': 464107, 'LOC': 464107, 'mismatch': 0, 'pc_flo
IDENTICAL  exh_n6_k4_simple_part0.txt         n=6 k=4 maxmult=1 minsize=2 bf=0 part 0/12: {'digraphs': 2731, 'instances': 10384917, 'PC': 125650, 'ARB': 125650, 'LOC': 125650, 'mismatch': 0, 'pc_f
IDENTICAL  lemma4_seed1.txt                   seed 1 trials 40000: {'instances': 18771, 'families': 652494, 'with_potential': 551188, 'with_potential_and_independent': 551188, 'lemma4_violations':
IDENTICAL  rand_general_k7_seed11.txt         mode=general seed=11 trials=100000 nmax=9 kmax=7: {'instances': 100000, 'PC': 44280, 'LOC': 44280, 'ARB': 44280, 'mismatch': 0, 'constructed_and_verif
IDENTICAL  rand_general_seed6.txt             mode=general seed=6 trials=300000 nmax=10 kmax=5: {'instances': 300000, 'PC': 162458, 'LOC': 162458, 'ARB': 162458, 'mismatch': 0, 'constructed_and_ve
IDENTICAL  rand_minimal_k7_seed11.txt         mode=minimal seed=11 trials=150000 nmax=10 kmax=7: {'instances': 6758, 'PC': 6758, 'LOC': 6758, 'ARB': 6758, 'mismatch': 0, 'constructed_and_verified'
IDENTICAL  rand_minimal_seed1.txt             mode=minimal seed=1 trials=400000 nmax=11 kmax=5: {'instances': 26004, 'PC': 26004, 'LOC': 26004, 'ARB': 26004, 'mismatch': 0, 'constructed_and_verifi
IDENTICAL  rand_tight_seed1.txt               mode=tight seed=1 trials=60000 nmax=28 kmax=6: {'instances': 60000, 'PC': 60000, 'LOC': 60000, 'ARB': 12052, 'mismatch': 0, 'constructed_and_verified'
IDENTICAL  variant_weak_n3_k3_mult3.txt       weak variant, n=3 k=3 maxmult=3 minsize=1: {'instances': 3025, 'PC_weak': 2493, 'ARB_weak': 2493, 'mismatch': 0}
IDENTICAL  variant_weak_n3_k4_mult2.txt       weak variant, n=3 k=4 maxmult=2 minsize=1: {'instances': 2521, 'PC_weak': 1540, 'ARB_weak': 1540, 'mismatch': 0}
IDENTICAL  variant_weak_n4_k2_mult3.txt       weak variant, n=4 k=2 maxmult=3 minsize=1: {'instances': 208792, 'PC_weak': 191593, 'ARB_weak': 191593, 'mismatch': 0}
IDENTICAL  variant_weak_n4_k3_mult2.txt       weak variant, n=4 k=3 maxmult=2 minsize=1: {'instances': 133696, 'PC_weak': 94681, 'ARB_weak': 94681, 'mismatch': 0}
IDENTICAL  variant_weak_n4_k4_mult1.txt       weak variant, n=4 k=4 maxmult=1 minsize=1: {'instances': 26837, 'PC_weak': 10521, 'ARB_weak': 10521, 'mismatch': 0}
IDENTICAL  variant_weak_n5_k2_mult1.txt       weak variant, n=5 k=2 maxmult=1 minsize=1: {'instances': 94692, 'PC_weak': 72968, 'ARB_weak': 72968, 'mismatch': 0}
IDENTICAL  variant_weak_n5_k3_mult1.txt       weak variant, n=5 k=3 maxmult=1 minsize=1: {'instances': 504836, 'PC_weak': 258406, 'ARB_weak': 258406, 'mismatch': 0}
IDENTICAL  variant_weak_n5_k4_mult1.txt       weak variant, n=5 k=4 maxmult=1 minsize=2: {'instances': 497248, 'PC_weak': 4296, 'ARB_weak': 4296, 'mismatch': 0}
identical: 28, different: 0
