run_quick.sh, started 2026-10-11 15:50:51 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                          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                          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                          original/variant_weak.py 5 3 1 1
identical                          original/variant_weak.py 5 4 1 2
identical up to running times      original/run_random.py general 11 100000 9 7
identical up to running times      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                          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
--- independent_run_2/ (verification run 2)
identical                          independent_run_2/selftest2.py
identical                          independent_run_2/example2.py (worked example)
identical                          independent_run_2/exh2.py 3 2 1 0 1 full
identical                          independent_run_2/exh2.py 3 2 2 0 1 full
identical                          independent_run_2/exh2.py 3 2 3 0 1 full
identical                          independent_run_2/exh2.py 4 2 2 0 1 full
identical                          independent_run_2/checks2.py S1
identical                          independent_run_2/checks2.py oneroot
identical up to running times      independent_run_2/checks2.py sources
identical up to running times      independent_run_2/checks2.py twosets
identical                          independent_run_2/tightcheck2.py 3 3
identical                          independent_run_2/tight2.py 4 3 0 1
identical                          independent_run_2/tight2.py 5 3 0 1
identical                          independent_run_2/tight2.py 6 3 0 1
identical                          independent_run_2/tight2b.py 5 4 0 1
identical up to running times      independent_run_2/tight2b.py 5 5 0 1
identical                          independent_run_2/rand2.py minimal 9 2000
identical                          independent_run_2/rand2.py degenerate 9 5000
--- 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:56:14 UTC: 85 comparisons, 0 not identical
