# Command lines of verification run B (11 October 2026), in the order of its batches.
# All programs were run inside this folder with Python 3.13; outputs were written to the files named after ">".
# The original job lists contained the absolute paths of the working directory and of the interpreter;
# these were removed, nothing else was changed, except for the four remarks marked [note] below, which were
# added at the writing of the note.  Start and end times of the batches (UTC): timing/.  The seconds used by
# each run are stored in its output.

# batch 1 (5 processes): exh.py n k maxmult minsize part nparts flowcheck_every arb_on_pcfalse_every
python3 exh.py 6 4 1 2 0 12 50 50 > out_exh/exh_n6_k4_m1_s2_p0of12.txt
python3 exh.py 6 4 1 2 1 12 50 50 > out_exh/exh_n6_k4_m1_s2_p1of12.txt
python3 exh.py 6 4 1 2 2 12 50 50 > out_exh/exh_n6_k4_m1_s2_p2of12.txt
python3 exh.py 6 4 1 2 3 12 50 50 > out_exh/exh_n6_k4_m1_s2_p3of12.txt
python3 exh.py 6 4 1 2 4 12 50 50 > out_exh/exh_n6_k4_m1_s2_p4of12.txt
python3 exh.py 6 4 1 2 5 12 50 50 > out_exh/exh_n6_k4_m1_s2_p5of12.txt
python3 exh.py 6 4 1 2 6 12 50 50 > out_exh/exh_n6_k4_m1_s2_p6of12.txt
python3 exh.py 6 4 1 2 7 12 50 50 > out_exh/exh_n6_k4_m1_s2_p7of12.txt
python3 exh.py 6 4 1 2 8 12 50 50 > out_exh/exh_n6_k4_m1_s2_p8of12.txt
python3 exh.py 6 4 1 2 9 12 50 50 > out_exh/exh_n6_k4_m1_s2_p9of12.txt
python3 exh.py 6 4 1 2 10 12 50 50 > out_exh/exh_n6_k4_m1_s2_p10of12.txt
python3 exh.py 6 4 1 2 11 12 50 50 > out_exh/exh_n6_k4_m1_s2_p11of12.txt
python3 exh.py 5 4 2 2 0 6 50 50 > out_exh/exh_n5_k4_m2_s2_p0of6.txt
python3 exh.py 5 4 2 2 1 6 50 50 > out_exh/exh_n5_k4_m2_s2_p1of6.txt
python3 exh.py 5 4 2 2 2 6 50 50 > out_exh/exh_n5_k4_m2_s2_p2of6.txt
python3 exh.py 5 4 2 2 3 6 50 50 > out_exh/exh_n5_k4_m2_s2_p3of6.txt
python3 exh.py 5 4 2 2 4 6 50 50 > out_exh/exh_n5_k4_m2_s2_p4of6.txt
python3 exh.py 5 4 2 2 5 6 50 50 > out_exh/exh_n5_k4_m2_s2_p5of6.txt
python3 exh.py 6 3 1 2 0 3 20 20 > out_exh/exh_n6_k3_m1_s2_p0of3.txt
python3 exh.py 6 3 1 2 1 3 20 20 > out_exh/exh_n6_k3_m1_s2_p1of3.txt
python3 exh.py 6 3 1 2 2 3 20 20 > out_exh/exh_n6_k3_m1_s2_p2of3.txt
python3 exh.py 5 3 2 2 0 3 20 20 > out_exh/exh_n5_k3_m2_s2_p0of3.txt
python3 exh.py 5 3 2 2 1 3 20 20 > out_exh/exh_n5_k3_m2_s2_p1of3.txt
python3 exh.py 5 3 2 2 2 3 20 20 > out_exh/exh_n5_k3_m2_s2_p2of3.txt
python3 exh.py 5 5 1 1 0 2 20 20 > out_exh/exh_n5_k5_m1_s1_p0of2.txt
python3 exh.py 5 5 1 1 1 2 20 20 > out_exh/exh_n5_k5_m1_s1_p1of2.txt
python3 exh.py 4 5 3 1 0 2 20 20 > out_exh/exh_n4_k5_m3_s1_p0of2.txt
python3 exh.py 4 5 3 1 1 2 20 20 > out_exh/exh_n4_k5_m3_s1_p1of2.txt
python3 exh.py 6 2 1 2 0 1 20 20 > out_exh/exh_n6_k2_m1_s2_p0of1.txt
python3 exh.py 5 2 2 2 0 1 20 20 > out_exh/exh_n5_k2_m2_s2_p0of1.txt
python3 exh.py 4 6 3 2 0 1 20 20 > out_exh/exh_n4_k6_m3_s2_p0of1.txt
python3 exh.py 5 4 1 1 0 1 10 10 > out_exh/exh_n5_k4_m1_s1_p0of1.txt
python3 exh.py 4 4 3 1 0 1 10 10 > out_exh/exh_n4_k4_m3_s1_p0of1.txt
python3 exh.py 4 3 3 1 0 1 5 5 > out_exh/exh_n4_k3_m3_s1_p0of1.txt
python3 exh.py 4 1 3 1 0 1 1 1 > out_exh/exh_n4_k1_m3_s1_p0of1.txt
python3 exh.py 3 4 3 1 0 1 1 1 > out_exh/exh_n3_k4_m3_s1_p0of1.txt
python3 exh.py 5 1 1 1 0 1 1 1 > out_exh/exh_n5_k1_m1_s1_p0of1.txt
python3 exh.py 5 2 1 1 0 1 1 1 > out_exh/exh_n5_k2_m1_s1_p0of1.txt

# batch 2 (6 processes)
python3 exh.py 6 5 1 2 0 12 100 100 > out_exh/exh_n6_k5_m1_s2_p0of12.txt
python3 exh.py 6 5 1 2 1 12 100 100 > out_exh/exh_n6_k5_m1_s2_p1of12.txt
python3 exh.py 6 5 1 2 2 12 100 100 > out_exh/exh_n6_k5_m1_s2_p2of12.txt
python3 exh.py 6 5 1 2 3 12 100 100 > out_exh/exh_n6_k5_m1_s2_p3of12.txt
python3 exh.py 6 5 1 2 4 12 100 100 > out_exh/exh_n6_k5_m1_s2_p4of12.txt
python3 exh.py 6 5 1 2 5 12 100 100 > out_exh/exh_n6_k5_m1_s2_p5of12.txt
python3 exh.py 6 5 1 2 6 12 100 100 > out_exh/exh_n6_k5_m1_s2_p6of12.txt
python3 exh.py 6 5 1 2 7 12 100 100 > out_exh/exh_n6_k5_m1_s2_p7of12.txt
python3 exh.py 6 5 1 2 8 12 100 100 > out_exh/exh_n6_k5_m1_s2_p8of12.txt
python3 exh.py 6 5 1 2 9 12 100 100 > out_exh/exh_n6_k5_m1_s2_p9of12.txt
python3 exh.py 6 5 1 2 10 12 100 100 > out_exh/exh_n6_k5_m1_s2_p10of12.txt
python3 exh.py 6 5 1 2 11 12 100 100 > out_exh/exh_n6_k5_m1_s2_p11of12.txt
python3 rand_hard.py tight 101 270 8 16 3 6 > out_rand/rand_tight_101.txt
python3 rand_hard.py tight 102 270 6 12 3 5 > out_rand/rand_tight_102.txt
python3 rand_hard.py minimal 201 270 6 12 3 5 > out_rand/rand_minimal_201.txt
python3 rand_hard.py minimal 202 270 8 13 3 6 > out_rand/rand_minimal_202.txt
python3 rand_hard.py general 301 200 2 10 1 6 > out_rand/rand_general_301.txt
# [note] the output of the preceding line does not exist: see out_rand/NOTE_general_301.txt; the run was
# replaced by rand_hard.py general 311 in batch 3
python3 test_construct.py tight 401 240 8 16 3 6 > out_construct/construct_tight_401.txt
python3 test_construct.py minimal 402 240 6 12 3 5 > out_construct/construct_minimal_402.txt
python3 test_construct.py general 403 200 2 10 1 6 > out_construct/construct_general_403.txt
python3 anneal.py 501 270 8 12 3 4 > out_anneal/anneal_501.txt
python3 anneal.py 502 270 9 13 3 3 > out_anneal/anneal_502.txt
python3 anneal.py 503 270 7 10 3 5 > out_anneal/anneal_503.txt
python3 test_lemma1.py build 601 200 5 11 3 5 rand64 > out_lemma1/lemma1_build_rand64_601.txt
python3 test_lemma1.py general 602 150 3 9 2 5 rand64 > out_lemma1/lemma1_general_rand64_602.txt
python3 test_lemma1.py build 603 120 5 10 3 5 small > out_lemma1/lemma1_build_small_603.txt
python3 test_lemma1.py build 604 150 5 10 3 5 rand64 weak > out_lemma1/lemma1_build_rand64_weak_604.txt
python3 test_lemma1.py general 605 100 3 9 2 5 small weak > out_lemma1/lemma1_general_small_weak_605.txt
python3 exh.py 5 5 2 2 0 6 100 100 > out_exh/exh_n5_k5_m2_s2_p0of6.txt
python3 exh.py 5 5 2 2 1 6 100 100 > out_exh/exh_n5_k5_m2_s2_p1of6.txt
python3 exh.py 5 5 2 2 2 6 100 100 > out_exh/exh_n5_k5_m2_s2_p2of6.txt
python3 exh.py 5 5 2 2 3 6 100 100 > out_exh/exh_n5_k5_m2_s2_p3of6.txt
python3 exh.py 5 5 2 2 4 6 100 100 > out_exh/exh_n5_k5_m2_s2_p4of6.txt
python3 exh.py 5 5 2 2 5 6 100 100 > out_exh/exh_n5_k5_m2_s2_p5of6.txt
python3 exh3.py 5 4 1 1 0 3 0 1 1 > out_exh3/exh3_n5_k4_m1_s1_p0of3_strong_loc_cons.txt
python3 exh3.py 5 4 1 1 1 3 0 1 1 > out_exh3/exh3_n5_k4_m1_s1_p1of3_strong_loc_cons.txt
python3 exh3.py 5 4 1 1 2 3 0 1 1 > out_exh3/exh3_n5_k4_m1_s1_p2of3_strong_loc_cons.txt
python3 exh3.py 5 4 1 1 0 3 1 1 1 > out_exh3/exh3_n5_k4_m1_s1_p0of3_weak_loc_cons.txt
python3 exh3.py 5 4 1 1 1 3 1 1 1 > out_exh3/exh3_n5_k4_m1_s1_p1of3_weak_loc_cons.txt
python3 exh3.py 5 4 1 1 2 3 1 1 1 > out_exh3/exh3_n5_k4_m1_s1_p2of3_weak_loc_cons.txt
python3 exh3.py 4 3 3 1 0 2 0 1 1 > out_exh3/exh3_n4_k3_m3_s1_p0of2_strong_loc_cons.txt
python3 exh3.py 4 3 3 1 1 2 0 1 1 > out_exh3/exh3_n4_k3_m3_s1_p1of2_strong_loc_cons.txt
python3 exh3.py 4 3 3 1 0 2 1 1 1 > out_exh3/exh3_n4_k3_m3_s1_p0of2_weak_loc_cons.txt
python3 exh3.py 4 3 3 1 1 2 1 1 1 > out_exh3/exh3_n4_k3_m3_s1_p1of2_weak_loc_cons.txt
python3 exh3.py 5 3 2 2 0 3 0 1 0 > out_exh3/exh3_n5_k3_m2_s2_p0of3_strong_loc.txt
python3 exh3.py 5 3 2 2 1 3 0 1 0 > out_exh3/exh3_n5_k3_m2_s2_p1of3_strong_loc.txt
python3 exh3.py 5 3 2 2 2 3 0 1 0 > out_exh3/exh3_n5_k3_m2_s2_p2of3_strong_loc.txt
python3 exh3.py 5 3 2 2 0 3 1 1 0 > out_exh3/exh3_n5_k3_m2_s2_p0of3_weak_loc.txt
python3 exh3.py 5 3 2 2 1 3 1 1 0 > out_exh3/exh3_n5_k3_m2_s2_p1of3_weak_loc.txt
python3 exh3.py 5 3 2 2 2 3 1 1 0 > out_exh3/exh3_n5_k3_m2_s2_p2of3_weak_loc.txt
python3 exh3.py 6 3 1 2 0 4 1 1 0 > out_exh3/exh3_n6_k3_m1_s2_p0of4_weak_loc.txt
python3 exh3.py 6 3 1 2 1 4 1 1 0 > out_exh3/exh3_n6_k3_m1_s2_p1of4_weak_loc.txt
python3 exh3.py 6 3 1 2 2 4 1 1 0 > out_exh3/exh3_n6_k3_m1_s2_p2of4_weak_loc.txt
python3 exh3.py 6 3 1 2 3 4 1 1 0 > out_exh3/exh3_n6_k3_m1_s2_p3of4_weak_loc.txt
python3 exh3.py 4 4 3 2 0 1 0 1 1 > out_exh3/exh3_n4_k4_m3_s2_p0of1_strong_loc_cons.txt
python3 exh3.py 4 4 3 2 0 1 1 1 1 > out_exh3/exh3_n4_k4_m3_s2_p0of1_weak_loc_cons.txt
python3 exh3.py 5 3 1 1 0 1 0 1 1 > out_exh3/exh3_n5_k3_m1_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 5 3 1 1 0 1 1 1 1 > out_exh3/exh3_n5_k3_m1_s1_p0of1_weak_loc_cons.txt
python3 exh3.py 5 2 1 1 0 1 0 1 1 > out_exh3/exh3_n5_k2_m1_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 4 2 3 1 0 1 0 1 1 > out_exh3/exh3_n4_k2_m3_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 4 2 3 1 0 1 1 1 1 > out_exh3/exh3_n4_k2_m3_s1_p0of1_weak_loc_cons.txt
python3 exh3.py 4 1 3 1 0 1 0 1 1 > out_exh3/exh3_n4_k1_m3_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 3 1 3 1 0 1 0 1 1 > out_exh3/exh3_n3_k1_m3_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 3 1 3 1 0 1 1 1 1 > out_exh3/exh3_n3_k1_m3_s1_p0of1_weak_loc_cons.txt
python3 exh3.py 3 2 3 1 0 1 0 1 1 > out_exh3/exh3_n3_k2_m3_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 3 2 3 1 0 1 1 1 1 > out_exh3/exh3_n3_k2_m3_s1_p0of1_weak_loc_cons.txt
python3 exh3.py 3 3 3 1 0 1 0 1 1 > out_exh3/exh3_n3_k3_m3_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 3 3 3 1 0 1 1 1 1 > out_exh3/exh3_n3_k3_m3_s1_p0of1_weak_loc_cons.txt
python3 exh3.py 3 4 3 1 0 1 0 1 1 > out_exh3/exh3_n3_k4_m3_s1_p0of1_strong_loc_cons.txt
python3 exh3.py 3 4 3 1 0 1 1 1 1 > out_exh3/exh3_n3_k4_m3_s1_p0of1_weak_loc_cons.txt
python3 exh.py 3 1 3 1 0 1 1 1 > out_exh/exh_n3_k1_m3_s1_p0of1.txt
python3 exh.py 3 2 3 1 0 1 1 1 > out_exh/exh_n3_k2_m3_s1_p0of1.txt
python3 exh.py 3 3 3 1 0 1 1 1 > out_exh/exh_n3_k3_m3_s1_p0of1.txt
python3 exh.py 4 2 3 1 0 1 1 1 > out_exh/exh_n4_k2_m3_s1_p0of1.txt
python3 exh.py 5 3 1 1 0 1 10 10 > out_exh/exh_n5_k3_m1_s1_p0of1.txt

# batch 3 (6 processes); the lines marked "[in a copy of original/]" are re-runs of the programs of original/
# on a copy (their outputs are in claim_rerun/, there under the file names of original/out/)
[in a copy of original/] python3 test_lemma4.py 1 40000 > claim_rerun/lemma4_seed1.txt
[in a copy of original/] python3 run_exhaustive.py 6 4 1 2 0 0 12 > claim_rerun/exh_n6_k4_simple_part0.txt
[in a copy of original/] python3 run_random.py tight 1 60000 28 6 > claim_rerun/rand_tight_seed1.txt
[in a copy of original/] python3 run_exhaustive.py 6 3 1 2 0 0 6 > claim_rerun/exh_n6_k3_simple_part0.txt
[in a copy of original/] python3 run_exhaustive.py 5 3 2 2 0 0 6 > claim_rerun/exh_n5_k3_mult2_part0.txt
python3 anneal.py 511 200 9 13 3 4 sources > out_anneal/anneal_v2_511.txt
python3 anneal.py 512 200 8 12 3 4 inside > out_anneal/anneal_v2_512.txt
python3 rand_hard.py general 311 150 2 8 1 6 > out_rand/rand_general_311.txt
[in a copy of original/] python3 run_random.py minimal 1 400000 11 5 > claim_rerun/rand_minimal_seed1.txt
[in a copy of original/] python3 run_exhaustive.py 4 3 3 1 1 0 1 > claim_rerun/exh_n4_k3_mult3.txt
[in a copy of original/] python3 run_random.py general 6 300000 10 5 > claim_rerun/rand_general_seed6.txt
[in a copy of original/] python3 run_exhaustive.py 5 3 1 1 1 0 1 > claim_rerun/exh_n5_k3_simple.txt
python3 tiebits.py 1 1500 > out_tiebits.txt
[in a copy of original/] python3 run_random.py minimal 11 150000 10 7 > claim_rerun/rand_minimal_k7_seed11.txt
[in a copy of original/] python3 run_exhaustive.py 4 2 3 1 1 0 1 > claim_rerun/exh_n4_k2_mult3.txt
[in a copy of original/] python3 run_random.py general 11 100000 9 7 > claim_rerun/rand_general_k7_seed11.txt
[in a copy of original/] python3 run_exhaustive.py 5 2 1 1 1 0 1 > claim_rerun/exh_n5_k2_simple.txt
[in a copy of original/] python3 run_exhaustive.py 4 1 3 1 1 0 1 > claim_rerun/exh_n4_k1_mult3.txt
[in a copy of original/] python3 run_exhaustive.py 5 1 1 1 1 0 1 > claim_rerun/exh_n5_k1_simple.txt
[in a copy of original/] python3 run_exhaustive.py 3 1 3 1 1 0 1 > claim_rerun/exh_n3_k1_mult3.txt
[in a copy of original/] python3 run_exhaustive.py 3 2 3 1 1 0 1 > claim_rerun/exh_n3_k2_mult3.txt
[in a copy of original/] python3 run_exhaustive.py 3 3 3 1 1 0 1 > claim_rerun/exh_n3_k3_mult3.txt
[in a copy of original/] python3 run_exhaustive.py 3 4 3 1 1 0 1 > claim_rerun/exh_n3_k4_mult3.txt
[in a copy of original/] python3 variant_weak.py 3 3 3 1 > claim_rerun/variant_weak_n3_k3_mult3.txt
[in a copy of original/] python3 variant_weak.py 3 4 2 1 > claim_rerun/variant_weak_n3_k4_mult2.txt
[in a copy of original/] python3 variant_weak.py 4 2 3 1 > claim_rerun/variant_weak_n4_k2_mult3.txt
[in a copy of original/] python3 variant_weak.py 4 3 2 1 > claim_rerun/variant_weak_n4_k3_mult2.txt
[in a copy of original/] python3 variant_weak.py 4 4 1 1 > claim_rerun/variant_weak_n4_k4_mult1.txt
[in a copy of original/] python3 variant_weak.py 5 2 1 1 > claim_rerun/variant_weak_n5_k2_mult1.txt
[in a copy of original/] python3 variant_weak.py 5 3 1 1 > claim_rerun/variant_weak_n5_k3_mult1.txt
[in a copy of original/] python3 variant_weak.py 5 4 1 2 > claim_rerun/variant_weak_n5_k4_mult1.txt
[in a copy of original/] python3 example.py > claim_rerun/example.txt
python3 exh4.py 4 3 2 1 0 1 0 1 1 > out_exh4/exh4_n4_k3_m2_strong.txt
python3 exh4.py 4 3 2 1 0 1 1 1 1 > out_exh4/exh4_n4_k3_m2_weak.txt
python3 exh4.py 4 2 3 1 0 1 0 1 1 > out_exh4/exh4_n4_k2_m3_strong.txt
python3 exh4.py 5 2 1 1 0 1 0 1 1 > out_exh4/exh4_n5_k2_m1_strong.txt
python3 exh4.py 5 3 1 2 0 1 0 1 0 > out_exh4/exh4_n5_k3_m1_s2_strong.txt
python3 exh4.py 3 4 3 1 0 1 0 1 1 > out_exh4/exh4_n3_k4_m3_strong.txt
python3 big_minimal.py 701 180 14 24 3 6 > out_rand/big_minimal_701.txt
python3 big_minimal.py 702 180 20 32 3 5 > out_rand/big_minimal_702.txt

# batch 4 (5 processes): tight_exh.py n k part nparts collect|nocollect crosscheck_every; validate_tight.py n k
python3 tight_exh.py 8 3 0 24 nocollect 20000 > out_tight/tight_n8_k3_p0of24.txt
python3 tight_exh.py 8 3 1 24 nocollect 20000 > out_tight/tight_n8_k3_p1of24.txt
python3 tight_exh.py 8 3 2 24 nocollect 20000 > out_tight/tight_n8_k3_p2of24.txt
python3 tight_exh.py 8 3 3 24 nocollect 20000 > out_tight/tight_n8_k3_p3of24.txt
python3 tight_exh.py 8 3 4 24 nocollect 20000 > out_tight/tight_n8_k3_p4of24.txt
python3 tight_exh.py 6 4 0 6 nocollect 2000 > out_tight/tight_n6_k4_p0of6.txt
python3 tight_exh.py 6 4 1 6 nocollect 2000 > out_tight/tight_n6_k4_p1of6.txt
python3 tight_exh.py 6 4 2 6 nocollect 2000 > out_tight/tight_n6_k4_p2of6.txt
python3 tight_exh.py 6 4 3 6 nocollect 2000 > out_tight/tight_n6_k4_p3of6.txt
python3 tight_exh.py 6 4 4 6 nocollect 2000 > out_tight/tight_n6_k4_p4of6.txt
python3 tight_exh.py 6 4 5 6 nocollect 2000 > out_tight/tight_n6_k4_p5of6.txt
# [note] the job of part 0 of 6 for n = 7, k = 3 is missing in the job lists that were kept; the next line is
# inferred from the recorded output out_tight/tight_n7_k3_p0of6.txt (1750 cross-checks on 3500587 instances,
# that is, one in 2000 as in the other five parts)
python3 tight_exh.py 7 3 0 6 nocollect 2000 > out_tight/tight_n7_k3_p0of6.txt
python3 tight_exh.py 7 3 1 6 nocollect 2000 > out_tight/tight_n7_k3_p1of6.txt
python3 tight_exh.py 7 3 2 6 nocollect 2000 > out_tight/tight_n7_k3_p2of6.txt
python3 tight_exh.py 7 3 3 6 nocollect 2000 > out_tight/tight_n7_k3_p3of6.txt
python3 tight_exh.py 7 3 4 6 nocollect 2000 > out_tight/tight_n7_k3_p4of6.txt
python3 tight_exh.py 7 3 5 6 nocollect 2000 > out_tight/tight_n7_k3_p5of6.txt
python3 tight_exh.py 5 5 0 2 nocollect 2000 > out_tight/tight_n5_k5_p0of2.txt
# [note] the recorded output of this part is from a restart without cross-checks (timing/_timing_jobs5e.txt;
# the output has no field 'crosschecked'), that is, from: python3 tight_exh.py 5 5 0 2 nocollect 0
python3 tight_exh.py 5 5 1 2 nocollect 2000 > out_tight/tight_n5_k5_p1of2.txt
python3 tight_exh.py 6 3 0 1 nocollect 100 > out_tight/tight_n6_k3_p0of1.txt
python3 tight_exh.py 5 4 0 1 nocollect 20 > out_tight/tight_n5_k4_p0of1.txt
python3 tight_exh.py 5 3 0 1 nocollect 1 > out_tight/tight_n5_k3_p0of1.txt
python3 tight_exh.py 4 4 0 1 nocollect 1 > out_tight/tight_n4_k4_p0of1.txt
(python3 tight_exh.py 5 2 0 1 collect 1 > out_tight/tight_n5_k2_collect.txt) && (python3 validate_tight.py 5 2 > out_tight/validate_n5_k2.txt)
(python3 tight_exh.py 4 3 0 1 collect 1 > out_tight/tight_n4_k3_collect.txt) && (python3 validate_tight.py 4 3 > out_tight/validate_n4_k3.txt)
(python3 tight_exh.py 4 2 0 1 collect 1 > out_tight/tight_n4_k2_collect.txt) && (python3 validate_tight.py 4 2 > out_tight/validate_n4_k2.txt)
(python3 tight_exh.py 3 3 0 1 collect 1 > out_tight/tight_n3_k3_collect.txt) && (python3 validate_tight.py 3 3 > out_tight/validate_n3_k3.txt)

# batch 5: tight_exh.py for n = 8, k = 3, parts 5 to 23 of 24 (see timing/ and out_tight/NOTE_*.txt:
# parts 14 to 17 were stopped without result; the enumeration for n = 8 is incomplete)
# [note] the output files of parts 14 to 17 are empty; parts 14 and 15 were restarted without cross-checks
# (last argument 0) and stopped again, see out_tight/NOTE_n8_part14.txt and NOTE_n8_part15.txt
python3 tight_exh.py 8 3 5 24 nocollect 20000 > out_tight/tight_n8_k3_p5of24.txt
python3 tight_exh.py 8 3 6 24 nocollect 20000 > out_tight/tight_n8_k3_p6of24.txt
python3 tight_exh.py 8 3 7 24 nocollect 20000 > out_tight/tight_n8_k3_p7of24.txt
python3 tight_exh.py 8 3 8 24 nocollect 20000 > out_tight/tight_n8_k3_p8of24.txt
python3 tight_exh.py 8 3 9 24 nocollect 20000 > out_tight/tight_n8_k3_p9of24.txt
python3 tight_exh.py 8 3 10 24 nocollect 20000 > out_tight/tight_n8_k3_p10of24.txt
python3 tight_exh.py 8 3 11 24 nocollect 20000 > out_tight/tight_n8_k3_p11of24.txt
python3 tight_exh.py 8 3 12 24 nocollect 20000 > out_tight/tight_n8_k3_p12of24.txt
python3 tight_exh.py 8 3 13 24 nocollect 20000 > out_tight/tight_n8_k3_p13of24.txt
python3 tight_exh.py 8 3 14 24 nocollect 20000 > out_tight/tight_n8_k3_p14of24.txt
python3 tight_exh.py 8 3 15 24 nocollect 20000 > out_tight/tight_n8_k3_p15of24.txt
python3 tight_exh.py 8 3 16 24 nocollect 20000 > out_tight/tight_n8_k3_p16of24.txt
python3 tight_exh.py 8 3 17 24 nocollect 20000 > out_tight/tight_n8_k3_p17of24.txt
python3 tight_exh.py 8 3 18 24 nocollect 20000 > out_tight/tight_n8_k3_p18of24.txt
python3 tight_exh.py 8 3 19 24 nocollect 20000 > out_tight/tight_n8_k3_p19of24.txt
python3 tight_exh.py 8 3 20 24 nocollect 20000 > out_tight/tight_n8_k3_p20of24.txt
python3 tight_exh.py 8 3 21 24 nocollect 20000 > out_tight/tight_n8_k3_p21of24.txt
python3 tight_exh.py 8 3 22 24 nocollect 20000 > out_tight/tight_n8_k3_p22of24.txt
python3 tight_exh.py 8 3 23 24 nocollect 20000 > out_tight/tight_n8_k3_p23of24.txt

# single runs
python3 selftest.py 2 60000 > out_selftest_2.txt
python3 selftest.py 3 60000 > out_selftest_3.txt
python3 check_example.py > out_example_check.txt
python3 incident.py ../original/out_run1/replay_tie_seed6.txt ../original/out_run1/replay_tie_seed1.txt > out_incident.txt
python3 summarize_exh.py out_exh > out_exh/_summary.md
python3 summarize_exh3.py out_exh3 out_exh4 > out_exh3/_summary.md     (the recorded summary was made when out_exh4/ was still empty)
python3 compare_rerun.py ../original/out claim_rerun > claim_rerun/compare.txt
