19:43:55
0 s wall: sh -c nice -n 10 python test_lib.py > ../outputs_rerun/test_lib.out 2>&1
1 s wall: sh -c nice -n 10 python enum_free.py pm1 3 4 > ../outputs_rerun/enum_pm1_k3.out 2>&1
26 s wall: sh -c nice -n 10 python check_lemma4.py 5 6 > ../outputs_rerun/check_lemma4.out 2>&1
144 s wall: sh -c nice -n 10 python enum_free.py pm1 4 5 > ../outputs_rerun/enum_pm1_k4.out 2>&1
11 s wall: sh -c nice -n 10 python enum_free.py Bn 5 5 > ../outputs_rerun/enum_Bn_k5.out 2>&1
62 s wall: sh -c nice -n 10 python enum_extra.py pm1 4 5 > ../outputs_rerun/extra_pm1_k4.out 2>&1
4 s wall: sh -c nice -n 10 python enum_extra.py Bn 5 5 > ../outputs_rerun/extra_Bn_k5.out 2>&1
43 s wall: sh -c nice -n 10 python random_growth.py 4 20000 20261011 5 > ../outputs_rerun/random_g
376 s wall: sh -c nice -n 10 python enum_free.py Bn 6 5 > ../outputs_rerun/enum_Bn_k6.out 2>&1
174 s wall: sh -c nice -n 10 python enum_extra.py Bn 6 5 > ../outputs_rerun/extra_Bn_k6.out 2>&1
124 s wall: sh -c nice -n 10 python random_growth.py 5 20000 20261011 5 > ../outputs_rerun/random_
174 s wall: sh -c nice -n 10 python random_growth.py 6 12000 20261011 5 > ../outputs_rerun/random_
184 s wall: sh -c nice -n 10 python random_growth.py 7 6000 20261011 5 > ../outputs_rerun/random_g
20:05:58
IDENTICAL (up to timings): check_lemma4.out (       9 lines)
IDENTICAL (up to timings): enum_Bn_k5.out (     167 lines)
IDENTICAL (up to timings): enum_Bn_k6.out (     764 lines)
IDENTICAL (up to timings): enum_pm1_k3.out (      53 lines)
IDENTICAL (up to timings): enum_pm1_k4.out (    2979 lines)
IDENTICAL (up to timings): extra_Bn_k5.out (      18 lines)
IDENTICAL (up to timings): extra_Bn_k6.out (      18 lines)
IDENTICAL (up to timings): extra_pm1_k4.out (      16 lines)
IDENTICAL (up to timings): random_growth_k4.out (      17 lines)
IDENTICAL (up to timings): random_growth_k5.out (      17 lines)
IDENTICAL (up to timings): random_growth_k6.out (      17 lines)
IDENTICAL (up to timings): random_growth_k7.out (      17 lines)
IDENTICAL (up to timings): test_lib.out (      70 lines)

[exited with code 0]
