2026-10-10T19:35:49Z
run_quick.sh, mode: short
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)
== 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
== 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)
== done: 25 comparison(s), 0 not identical, 0 group(s) skipped
exit 0
2026-10-10T19:39:31Z
