RERUN_LOG.txt -- re-runs of the programs of this package, 11 October 2026
Python 3.13.5, sympy 1.14.0, numpy 2.5.2, macOS, one laptop, one process at a time.

Part 1.  Output of "sh run_quick.sh <python>", run from an extracted copy of the archive
(before this log was added).  Times are UTC.

started 2026-10-11T00:55:36Z
== original/ (programs with which the results were first obtained)
identical             original check_identities.out
identical             original control_inclusions.out
identical             original verify_semidirect_examples.out
identical             original verify_example_A_direct.out
identical             original verify_exact_factorization.out
identical             original verify_structure_example.out
== verification_run_A/
identical             verification_run_A vA_exampleA.out
identical             verification_run_A vA_survey.out
identical             verification_run_A vA_exactfact.out
identical             verification_run_A vA_theorem7.out
identical             verification_run_A vA_theorem7_model.out
identical             verification_run_A vA_torsionfree.out
identical             verification_run_A vA_nilpotent.out
identical             verification_run_A vA_biskew.out
identical             verification_run_A vA_lemma312.out
identical             verification_run_A vA_semidirect.out
identical             verification_run_A vA_identities.out
== verification_run_B/ (needs sympy and numpy)
identical             verification_run_B t1_counterexample.out
identical             verification_run_B t2_enumerate_small.out
identical             verification_run_B data/sb_small.json
identical             verification_run_B t2_finite_tests_le12.out
identical             verification_run_B t2_finite_tests_le15.out
identical up to times verification_run_B t2_finite_tests_o16.out
identical             verification_run_B t2_theorem6_survey_labelled12.out
identical             verification_run_B t2_theorem6_exact_labelled12.out
identical up to times verification_run_B t2_theorem6_full_reps15.out
identical up to times verification_run_B t2_theorem6_exact_o16.out
identical             verification_run_B t2_infinite_examples.out
== number of differences or failures: 0
exit code of run_quick.sh: 0
finished 2026-10-11T01:01:42Z

Part 2.  The two slow programs, run separately from the same folder layout.

original/scripts/survey_theorem6.py                   298 s
    output identical to original/outputs/survey_theorem6.out, up to the line "time ...s"
verification_run_B/programs/t2_enumerate.py o16 FILE  291 s
    output identical to verification_run_B/outputs/t2_enumerate_o16.out, up to the fields that record
    running times and the final line "exit=0" of the recorded file (appended by the shell when the run
    was recorded); the data file is identical to verification_run_B/data/sb_o16.json

Part 3.  Re-run by verification run 2 (11 October 2026), from an extracted copy of the archive of the version
which that run examined (the package before the folder independent_run_2/ was added).  run_quick.sh and
the two slow programs were run at the same time (three processes).

started 2026-10-11T01:46:32Z
== original/ (programs with which the results were first obtained)
identical up to times original check_identities.out
identical             original control_inclusions.out
identical             original verify_semidirect_examples.out
identical             original verify_example_A_direct.out
identical             original verify_exact_factorization.out
identical             original verify_structure_example.out
== verification_run_A/
identical             verification_run_A vA_exampleA.out
identical             verification_run_A vA_survey.out
identical             verification_run_A vA_exactfact.out
identical             verification_run_A vA_theorem7.out
identical             verification_run_A vA_theorem7_model.out
identical             verification_run_A vA_torsionfree.out
identical             verification_run_A vA_nilpotent.out
identical             verification_run_A vA_biskew.out
identical             verification_run_A vA_lemma312.out
identical             verification_run_A vA_semidirect.out
identical             verification_run_A vA_identities.out
== verification_run_B/ (needs sympy and numpy)
identical             verification_run_B t1_counterexample.out
identical             verification_run_B t2_enumerate_small.out
identical             verification_run_B data/sb_small.json
identical             verification_run_B t2_finite_tests_le12.out
identical             verification_run_B t2_finite_tests_le15.out
identical up to times verification_run_B t2_finite_tests_o16.out
identical             verification_run_B t2_theorem6_survey_labelled12.out
identical up to times verification_run_B t2_theorem6_exact_labelled12.out
identical up to times verification_run_B t2_theorem6_full_reps15.out
identical             verification_run_B t2_theorem6_exact_o16.out
identical             verification_run_B t2_infinite_examples.out
== number of differences or failures: 0
exit code of run_quick.sh: 0
finished 2026-10-11T01:52:45Z

original/scripts/survey_theorem6.py                   304 s
    output identical to original/outputs/survey_theorem6.out, up to the line "time ...s"
verification_run_B/programs/t2_enumerate.py o16 FILE  296 s
    output identical to verification_run_B/outputs/t2_enumerate_o16.out, up to the fields that record
    running times and the final line "exit=0" of the recorded file; the data file is identical to
    verification_run_B/data/sb_o16.json

Part 4.  Output of "sh run_quick.sh <python>" for the present package (with the folder independent_run_2/),
run on 11 October 2026 from an extracted copy of the archive (before this part of the log was added).

started 2026-10-11T02:09:29Z
== original/ (programs with which the results were first obtained)
identical             original check_identities.out
identical             original control_inclusions.out
identical             original verify_semidirect_examples.out
identical             original verify_example_A_direct.out
identical             original verify_exact_factorization.out
identical             original verify_structure_example.out
== verification_run_A/
identical             verification_run_A vA_exampleA.out
identical             verification_run_A vA_survey.out
identical             verification_run_A vA_exactfact.out
identical             verification_run_A vA_theorem7.out
identical             verification_run_A vA_theorem7_model.out
identical             verification_run_A vA_torsionfree.out
identical             verification_run_A vA_nilpotent.out
identical             verification_run_A vA_biskew.out
identical             verification_run_A vA_lemma312.out
identical             verification_run_A vA_semidirect.out
identical             verification_run_A vA_identities.out
== verification_run_B/ (needs sympy and numpy)
identical             verification_run_B t1_counterexample.out
identical             verification_run_B t2_enumerate_small.out
identical             verification_run_B data/sb_small.json
identical             verification_run_B t2_finite_tests_le12.out
identical             verification_run_B t2_finite_tests_le15.out
identical up to times verification_run_B t2_finite_tests_o16.out
identical             verification_run_B t2_theorem6_survey_labelled12.out
identical             verification_run_B t2_theorem6_exact_labelled12.out
identical             verification_run_B t2_theorem6_full_reps15.out
identical up to times verification_run_B t2_theorem6_exact_o16.out
identical             verification_run_B t2_infinite_examples.out
== independent_run_2/ (needs sympy and numpy)
identical             independent_run_2 r2_BA.out
identical             independent_run_2 r2_small.out
identical up to times independent_run_2 r2_semidirect.out
identical             independent_run_2 r2_BT.out
identical             independent_run_2 r2_BU.out
identical             independent_run_2 r2_ybe.out
== number of differences or failures: 0
exit code of run_quick.sh: 0
finished 2026-10-11T02:15:50Z
