# programs of the note (original/)
check_fix_bruteforce_N4.out: IDENTICAL up to timing fields (0 s)
check_fix_bruteforce_N5.out: IDENTICAL up to timing fields (0 s)
check_fix_bruteforce_N6.out: IDENTICAL up to timing fields (1 s)
check_keyclaim_m8.out: IDENTICAL (1 s)
check_keyclaim_m10.out: IDENTICAL up to timing fields (64 s)
check_claimA_m12.out: IDENTICAL (67 s)
check_lemmaB.out: IDENTICAL up to timing fields (4 s)
check_lemma3.out: IDENTICAL up to timing fields (2 s)
check_lemmaZ.out: IDENTICAL up to timing fields (2 s)
probe_heisenberg.out: IDENTICAL up to timing fields (87 s)
# verification run A
out_fix_n4_m6.txt: IDENTICAL (0 s)
out_fix_n4_m8.txt: IDENTICAL up to timing fields (29 s)
out_slices_m8.txt: IDENTICAL up to timing fields (1 s)
out_slices_m10.txt: IDENTICAL up to timing fields (1 s)
out_slices_m12.txt: IDENTICAL up to timing fields (13 s)
out_lemmas.txt: IDENTICAL up to timing fields (6 s)
out_lemmaZ_ext.txt: IDENTICAL up to timing fields (74 s)
out_key_model_m8.txt: IDENTICAL (0 s)
out_key_model_m10.txt: IDENTICAL up to timing fields (10 s)
out_fix_general_small.txt: IDENTICAL up to timing fields (28 s)
out_fix_fft_small.txt: IDENTICAL up to timing fields (0 s)
out_fix_fft_m8.txt: IDENTICAL (11 s)
out_fix_fft_control.txt: IDENTICAL (4 s)
# verification run B
selftest.out: IDENTICAL (1 s)
fix_lie_N2_k1.out: IDENTICAL (0 s)
fix_lie_N3_k1.out: IDENTICAL up to timing fields (0 s)
fix_lie_N4_k2.out: IDENTICAL up to timing fields (4 s)
fix_lie_N5_k2.out: IDENTICAL up to timing fields (2 s)
fix_lie_N6_k2.out: IDENTICAL (1 s)
fix_lie_N6_k3.out: IDENTICAL up to timing fields (4 s)
fix_lie_N7_k2.out: IDENTICAL up to timing fields (8 s)
fix_brauer_N3_k1.out: IDENTICAL up to timing fields (0 s)
fix_brauer_N4_k2.out: IDENTICAL up to timing fields (1 s)
fix_brauer_N5_k2.out: IDENTICAL up to timing fields (0 s)
fix_brauer_N6_k2.out: IDENTICAL (0 s)
lemma4.out: IDENTICAL up to timing fields (23 s)
lemmaZ.out: IDENTICAL up to timing fields (12 s)
u2_m12.out: IDENTICAL up to timing fields (49 s)
gr_N2_n12.out: IDENTICAL (0 s)
gr_N3_n8.out: IDENTICAL up to timing fields (1 s)
gr_N4_n5.out: IDENTICAL (0 s)
gr_N5_n4.out: IDENTICAL (1 s)
chirvasitu_eq8_exact.out: IDENTICAL (6 s)
chirvasitu_z2_exact.out: IDENTICAL (6 s)
fix_heis_N4.out: IDENTICAL up to timing fields (4 s)
# program written with the note
check_magnus_output.txt: IDENTICAL (35 s)
# slower programs
out_fix_general_N5_m78.txt: IDENTICAL up to timing fields (168 s)
out_fix_fft_N4_m10.txt: IDENTICAL up to timing fields (150 s)
out_bcv41.txt: IDENTICAL up to timing fields (549 s)
fix_lie_N4_k2_m12.out: IDENTICAL up to timing fields (110 s)
fix_lie_N5_k2_m9_10.out: IDENTICAL up to timing fields (81 s)
fix_lie_N6_k2_m7_8.out: IDENTICAL up to timing fields (25 s)
fix_heis_N4_m12.out: IDENTICAL up to timing fields (114 s)
done: 53 outputs reproduced, 0 different
