RERUN_LOG.txt -- output of  sh run_quick.sh all PYTHON PYTHON_A  on a copy of this folder.
The copy was made before README.md and this file were added; afterwards only the comment at the head of
run_quick.sh that gives the duration was changed.  The programs and the recorded outputs are those of the package.

Started 2026-10-10T18:10:21Z, finished 2026-10-10T18:42:26Z: 32 minutes; one process at a time, nice -n 10.
PYTHON   = Python 3.13.5 with python-sat 1.9.dev15 and numpy 2.3.1
PYTHON_A = Python 3.13.5 with networkx 3.6.1, numpy 2.5.2 and scipy 1.18.1
Result: 41 comparisons, 0 not identical, 0 groups skipped; exit status 0.
"identical up to times" means: byte-identical after removal of the fields that record running times and numbers
of processes (function norm in run_quick.sh).
------------------------------------------------------------------------------------------------------------------
run_quick.sh, mode: all
PYTHON   : Python 3.13.5
PYTHON_A : Python 3.13.5
== writing_stage/ (the exact program of the note; standard library only)
passed                check_note.py (ALL CHECKS PASSED: 60)
identical             writing_stage/check_note_output.txt
identical             writing_stage/figures_tikz.tex (coordinates of Figure 1)
== original/ (the programs with which the results were first obtained; python-sat)
identical             original minor_sat.py (output recorded by verification run B)
identical up to times original validate_output.txt
identical up to times original controls_output.txt
identical up to times original coverage8_output.txt
identical up to times original coverage_output.txt
identical up to times original run_all.py random2 (summary)
identical up to times original run_all.py random1 (summary)
identical up to times original run_all.py zero_one (summary)
identical up to times original run_all.py random8 (summary)
identical up to times original run_all.py named (summary)
identical up to times original recheck.py random2
identical up to times original recheck.py random1
identical up to times original recheck.py zero_one
identical up to times original recheck.py random8
identical up to times original recheck.py named
== verification_run_A/ (networkx; numpy and scipy for izmestiev_check.py)
identical up to times A sachs_parity_output.txt
identical up to times A k7_crosscheck_output.txt
identical up to times A izmestiev_output.txt (floating point)
identical up to times A examples_output.txt
identical up to times A nonapex_tests_output.txt
identical up to times A nonapex_simon_output.txt
identical up to times A same_graph_output.txt
identical up to times A random_output_101.txt
identical up to times A apex_output_101.txt
identical up to times A nonapex_output_101.txt
identical up to times A simon_output_41.txt
identical up to times A knot_output_11.txt
== verification_run_B/ (python-sat; numpy is optional)
passed                B vb_minor.py (self-test of the minor search; no recorded output)
identical up to times B vb_gale7_output.txt
identical up to times B vb_validate_output.txt
identical up to times B vb_control_output.txt
identical up to times B vb_big_trunc_output.txt
identical up to times B vb_big_duo_output.txt
identical up to times B vb_big_cyc_output.txt
identical up to times B vb_run.py upto7 (summary)
identical up to times B vb_run.py rand, first sample (summary)
identical up to times B vb_run.py rand, second sample (summary)
identical up to times B vb_run.py zero_one (summary)
identical up to times B vb_run.py dual_upto7 (summary)
== done: 41 comparison(s), 0 not identical, 0 group(s) skipped
