Verification run 2 (AMR-029-0044): command lines of the recorded runs, 11 October 2026.
All commands were run inside this folder with Python 3.13.5 and PYTHONDONTWRITEBYTECODE=1, at most 6 at a time.

# sanity checks and the worked example
python3 selftest2.py                                > out/selftest2.txt
python3 example2.py                                 > out/example2.txt

# exhaustive comparison, all convex sets (mode full)
python3 exh2.py N 2 K 0 1 full                      > out/exh2_full_nN_m2_kK.json          (N = 1, 2, 3, 4 and K = 1, 2, 3; for N = 4, K = 3 see the next line)
python3 exh2.py 4 2 3 P 4 full                      > out/exh2_full_n4_m2_k3_partP.json    (P = 0, 1, 2, 3)
python3 exh2.py 5 1 3 P 6 full                      > out/exh2_full_n5_m1_k3_partP.json    (P = 0, ..., 5)
python3 summarize2.py 'out/exh2_full_n*_m2_k*.json'        > out/summary_exh2_full_m2.txt
python3 summarize2.py 'out/exh2_full_n5_m1_k3_part*.json'  > out/summary_exh2_full_n5.txt
[note] The recorded outputs are those of the first run; after the last change to core2.py and construct2.py all 21
       runs of exh2.py were repeated and gave the same outputs up to the running times.

# single statements
python3 checks2.py S1                               > out/checks2_S1.json
python3 checks2.py oneroot                          > out/checks2_oneroot.json
python3 checks2.py sources                          > out/checks2_sources.json
python3 checks2.py twosets                          > out/checks2_twosets.json
python3 checks2.py tight                            > out/checks2_tight.json

# tight instances
python3 tightcheck2.py 3 3                          > out/tightcheck2_n3_k3.json
python3 tight2.py N 3 0 1                           > out/tight2_nN_k3.json                (N = 1, ..., 6)
python3 tight2.py 7 3 P 4                           > out/tight2_n7_k3_partP.json          (P = 0, 1, 2, 3)
python3 tight2.py N 4 0 1                           > out/tight2_nN_k4.json                (N = 1, ..., 5)
python3 tight2b.py N 3 0 1                          > out/tight2b_nN_k3.json               (N = 1, ..., 6)
python3 tight2b.py N 4 0 1                          > out/tight2b_nN_k4.json               (N = 1, ..., 5)
python3 tight2b.py 6 4 P 2                          > out/tight2b_n6_k4_partP.json         (P = 0, 1)
python3 tight2b.py N 5 0 1                          > out/tight2b_nN_k5.json               (N = 1, ..., 5)
python3 tight2b.py 8 3 P 48                         > out/tight2b_n8_k3_partPof48.json     (P = 0, ..., 47)
python3 sumtight2.py                                > out/summary_tight2.txt
[note] python3 tight2.py 5 5 0 1 was stopped after 8 minutes without output (see out/tight2_n5_k5_STOPPED_empty.txt);
       the range was run with tight2b.py.

# random instances (final version of rand2.py)
python3 rand2.py minimal S 30000                    > out/rand2_minimal_seedS.json         (S = 1, 2, 3)
python3 rand2.py minimal S 5000 10 13 4 6           > out/rand2_minimal_large_seedS.json   (S = 1, 2)
python3 rand2.py degenerate S 100000                > out/rand2_degenerate_seedS.json      (S = 1, 2, 3)
python3 rand2.py general 1 150000                   > out/rand2_general_seed1.json
python3 sumrand2.py                                 > out/summary_rand2.txt
python3 rand2.py minimal 9 2000                     > out/quick_rand2_minimal_seed9.json      (short runs for run_quick.sh;
python3 rand2.py degenerate 9 5000                  > out/quick_rand2_degenerate_seed9.json    not counted in the totals)
[note] The runs 'minimal' and 'general' were first made with two earlier versions of rand2.py (outputs in
       out/first_version_of_rand2/ and its subfolder second/; the same counts).  Two runs 'degenerate' of 150000 and
       two of 100000 instances made with these versions did not end within about 11 minutes, because the complete search
       for a family is slow on some dense instances without (PC); they were stopped, the search on such instances
       was given a bound, and all random runs were repeated.

# the package before the revision
sh run_quick.sh (in an extracted copy of the source archive) -> out/RERUN_LOG_release_v1_run2.txt
