run_quick.sh, started 2026-10-11 15:02:28 UTC, Python 3.13.5
--- original/ (programs of the first tests)
identical                          original/example.py
identical                          original/run_exhaustive.py 3 1 3 1 1 0 1
identical                          original/run_exhaustive.py 3 2 3 1 1 0 1
identical                          original/run_exhaustive.py 3 3 3 1 1 0 1
identical up to running times      original/run_exhaustive.py 3 4 3 1 1 0 1
identical                          original/run_exhaustive.py 4 1 3 1 1 0 1
identical                          original/run_exhaustive.py 5 1 1 1 1 0 1
identical up to running times      original/run_exhaustive.py 4 2 3 1 1 0 1
identical up to running times      original/run_exhaustive.py 5 2 1 1 1 0 1
identical                          original/variant_weak.py 3 3 3 1
identical                          original/variant_weak.py 3 4 2 1
identical up to running times      original/variant_weak.py 4 2 3 1
identical                          original/variant_weak.py 4 3 2 1
identical                          original/variant_weak.py 4 4 1 1
identical                          original/variant_weak.py 5 2 1 1
identical up to running times      original/variant_weak.py 5 3 1 1
identical up to running times      original/variant_weak.py 5 4 1 2
identical                          original/run_random.py general 11 100000 9 7
identical                          original/run_random.py minimal 11 150000 10 7
identical                          original/out_run1/replay_tie.py 6 (the incident of the first run)
identical                          original/out_run1/replay_tie.py 1 (the incident of the first run)
--- verification_run_A/
identical                          verification_run_A/sanity.py
identical                          verification_run_A/check_example.py
identical                          verification_run_A/e_vs_f.py
identical                          verification_run_A/nonconvex.py 3 2 2
identical                          verification_run_A/nonconvex.py 4 3 1
identical                          verification_run_A/ffkk_check.py 3 3 2
identical                          verification_run_A/lemma1_rotation.py 2 3 2
identical                          verification_run_A/lemma1_rotation.py 3 2 2
identical                          verification_run_A/lemma1_rotation.py 3 3 2
identical                          verification_run_A/run_exh.py 1 1 2 0 1
identical                          verification_run_A/run_exh.py 1 2 2 0 1
identical                          verification_run_A/run_exh.py 1 3 2 0 1
identical                          verification_run_A/run_exh.py 2 1 2 0 1
identical                          verification_run_A/run_exh.py 2 2 2 0 1
identical                          verification_run_A/run_exh.py 2 3 2 0 1
identical                          verification_run_A/run_exh.py 3 1 2 0 1
identical                          verification_run_A/run_exh.py 3 2 2 0 1
identical                          verification_run_A/run_exh.py 3 3 2 0 1
identical                          verification_run_A/run_exh2.py 3 1 3 1 0 1
identical                          verification_run_A/run_exh2.py 3 2 3 1 0 1
identical                          verification_run_A/run_exh2.py 3 3 3 1 0 1
identical up to running times      verification_run_A/run_exh2.py 3 4 3 1 0 1
identical                          verification_run_A/run_exh2.py 5 1 1 1 0 1
identical                          verification_run_A/run_rand.py minimal 0 100
identical                          verification_run_A/run_rand.py plain 0 300
--- verification_run_B/
identical                          verification_run_B/check_example.py
identical up to running times      verification_run_B/selftest.py 2 60000
identical                          verification_run_B/incident.py (the two ties of the first run)
identical                          verification_run_B/tiebits.py 1 1500
identical                          verification_run_B/summarize_exh.py out_exh
identical up to running times      verification_run_B/compare_rerun.py ../original/out claim_rerun
identical                          verification_run_B/exh.py 3 4 3 1 0 1 1 1
identical                          verification_run_B/exh.py 4 1 3 1 0 1 1 1
identical                          verification_run_B/exh.py 5 1 1 1 0 1 1 1
identical                          verification_run_B/exh.py 5 2 1 1 0 1 1 1
identical up to running times      verification_run_B/tight_exh.py 4 4 0 1 nocollect 1
identical up to running times      verification_run_B/tight_exh.py 5 3 0 1 nocollect 1
identical up to running times      verification_run_B/tight_exh.py 6 3 0 1 nocollect 100
identical                          verification_run_B/tight_exh.py 3 3 0 1 collect 1
identical                          verification_run_B/validate_tight.py 3 3
identical                          verification_run_B/tight_exh.py 4 2 0 1 collect 1
identical                          verification_run_B/validate_tight.py 4 2
identical                          verification_run_B/tight_exh.py 4 3 0 1 collect 1
identical                          verification_run_B/validate_tight.py 4 3
--- writing_stage/
identical                          writing_stage/check_note.py (worked example, small instances, Remark 3.2)
identical                          writing_stage/tables_from_outputs.py (the numbers of Section 8)
finished 2026-10-11 15:07:45 UTC: 67 comparisons, 0 not identical
