Re-run of all programs of reproducibility/ from a copy of the folder, 2026-10-17 (one process at a time, nice -n 10).
Comparison: output of the re-run against the recorded output, after removing the fields that record running times.

program                                                     exit  time    identical to recorded output
check_note.py                                               0     2 s     yes  (check_note_output.txt)
original/verify_bracket.py                                  0     5 s     yes  (original/verify_bracket_out.txt)
original/verify_dim4.py                                     0     27 s    yes  (original/verify_dim4_out.txt)
verification_run_A/programs/check1_identities.py            0     1 s     yes  (outputs/check1_out.txt)
verification_run_A/programs/check2_centralizers.py 10 7     0     1 s     yes  (outputs/check2_out.txt)
verification_run_A/programs/check3_thmB.py                  0     6 s     yes  (outputs/check3_out.txt)
verification_run_A/programs/check4_lemma42.py               0     1 s     yes  (outputs/check4_out.txt)
verification_run_A/programs/check5_search.py 5 4            0     2 s     yes  (outputs/check5_out.txt)
verification_run_A/programs/check5_search.py 8 6            0     9 s     yes  (outputs/check5_out_D8.txt)
verification_run_B/programs/own_identities.py               0     1 s     yes  (outputs/own_identities_out.txt)
verification_run_B/programs/own_monomials.py                0     134 s   yes  (outputs/own_monomials_out.txt)
verification_run_B/programs/own_centralizer.py              0     3 s     yes  (outputs/own_centralizer_out.txt)
verification_run_B/programs/own_attack.py                   0     24 s    yes  (outputs/own_attack_out.txt)
verification_run_B/programs/own_leading.py                  0     1 s     yes  (outputs/own_leading_out.txt)
verification_run_B/programs/own_rational4.py                0     <1 s    yes  (outputs/own_rational4_out.txt)
