run_exhaustive.py 3 1 3 1 1 0 1 > out/exh_n3_k1_mult3.txt
run_exhaustive.py 3 2 3 1 1 0 1 > out/exh_n3_k2_mult3.txt
run_exhaustive.py 3 3 3 1 1 0 1 > out/exh_n3_k3_mult3.txt
run_exhaustive.py 3 4 3 1 1 0 1 > out/exh_n3_k4_mult3.txt
run_exhaustive.py 4 1 3 1 1 0 1 > out/exh_n4_k1_mult3.txt
run_exhaustive.py 4 2 3 1 1 0 1 > out/exh_n4_k2_mult3.txt
run_exhaustive.py 4 3 3 1 1 0 1 > out/exh_n4_k3_mult3.txt
run_exhaustive.py 4 4 3 1 1 0 1 > out/exh_n4_k4_mult3.txt
run_exhaustive.py 5 1 1 1 1 0 1 > out/exh_n5_k1_simple.txt
run_exhaustive.py 5 2 1 1 1 0 1 > out/exh_n5_k2_simple.txt
run_exhaustive.py 5 3 1 1 1 0 1 > out/exh_n5_k3_simple.txt
run_exhaustive.py 5 4 1 1 1 0 1 > out/exh_n5_k4_simple.txt
run_exhaustive.py 5 3 2 2 0 0 6 > out/exh_n5_k3_mult2_part0.txt
run_exhaustive.py 5 3 2 2 0 1 6 > out/exh_n5_k3_mult2_part1.txt
run_exhaustive.py 5 3 2 2 0 2 6 > out/exh_n5_k3_mult2_part2.txt
run_exhaustive.py 5 3 2 2 0 3 6 > out/exh_n5_k3_mult2_part3.txt
run_exhaustive.py 5 3 2 2 0 4 6 > out/exh_n5_k3_mult2_part4.txt
run_exhaustive.py 5 3 2 2 0 5 6 > out/exh_n5_k3_mult2_part5.txt
run_exhaustive.py 6 2 1 2 0 0 1 > out/exh_n6_k2_simple.txt
run_exhaustive.py 6 3 1 2 0 0 6 > out/exh_n6_k3_simple_part0.txt
run_exhaustive.py 6 3 1 2 0 1 6 > out/exh_n6_k3_simple_part1.txt
run_exhaustive.py 6 3 1 2 0 2 6 > out/exh_n6_k3_simple_part2.txt
run_exhaustive.py 6 3 1 2 0 3 6 > out/exh_n6_k3_simple_part3.txt
run_exhaustive.py 6 3 1 2 0 4 6 > out/exh_n6_k3_simple_part4.txt
run_exhaustive.py 6 3 1 2 0 5 6 > out/exh_n6_k3_simple_part5.txt
run_random.py general 1 300000 10 5 > out/rand_general_seed1.txt
run_random.py general 2 300000 10 5 > out/rand_general_seed2.txt
run_random.py general 3 300000 10 5 > out/rand_general_seed3.txt
run_random.py general 4 300000 10 5 > out/rand_general_seed4.txt
run_random.py general 5 300000 10 5 > out/rand_general_seed5.txt
run_random.py general 6 300000 10 5 > out/rand_general_seed6.txt
run_random.py minimal 1 400000 11 5 > out/rand_minimal_seed1.txt
run_random.py minimal 2 400000 11 5 > out/rand_minimal_seed2.txt
run_random.py minimal 3 400000 11 5 > out/rand_minimal_seed3.txt
run_random.py minimal 4 400000 11 5 > out/rand_minimal_seed4.txt
run_random.py minimal 5 400000 11 5 > out/rand_minimal_seed5.txt
run_random.py minimal 6 400000 11 5 > out/rand_minimal_seed6.txt
run_random.py tight 1 60000 28 6 > out/rand_tight_seed1.txt
run_random.py tight 2 60000 28 6 > out/rand_tight_seed2.txt
run_random.py tight 3 60000 28 6 > out/rand_tight_seed3.txt
run_random.py tight 4 60000 28 6 > out/rand_tight_seed4.txt
run_random.py tight 5 60000 28 6 > out/rand_tight_seed5.txt
run_random.py tight 6 60000 28 6 > out/rand_tight_seed6.txt
run_exhaustive.py 6 4 1 2 0 0 12 > out/exh_n6_k4_simple_part0.txt
run_exhaustive.py 6 4 1 2 0 1 12 > out/exh_n6_k4_simple_part1.txt
run_exhaustive.py 6 4 1 2 0 2 12 > out/exh_n6_k4_simple_part2.txt
run_exhaustive.py 6 4 1 2 0 3 12 > out/exh_n6_k4_simple_part3.txt
run_exhaustive.py 6 4 1 2 0 4 12 > out/exh_n6_k4_simple_part4.txt
run_exhaustive.py 6 4 1 2 0 5 12 > out/exh_n6_k4_simple_part5.txt
run_exhaustive.py 6 4 1 2 0 6 12 > out/exh_n6_k4_simple_part6.txt
run_exhaustive.py 6 4 1 2 0 7 12 > out/exh_n6_k4_simple_part7.txt
run_exhaustive.py 6 4 1 2 0 8 12 > out/exh_n6_k4_simple_part8.txt
run_exhaustive.py 6 4 1 2 0 9 12 > out/exh_n6_k4_simple_part9.txt
run_exhaustive.py 6 4 1 2 0 10 12 > out/exh_n6_k4_simple_part10.txt
run_exhaustive.py 6 4 1 2 0 11 12 > out/exh_n6_k4_simple_part11.txt
run_random.py general 11 100000 9 7 > out/rand_general_k7_seed11.txt
run_random.py minimal 11 150000 10 7 > out/rand_minimal_k7_seed11.txt
variant_weak.py 3 3 3 1 > out/variant_weak_n3_k3_mult3.txt
variant_weak.py 3 4 2 1 > out/variant_weak_n3_k4_mult2.txt
variant_weak.py 4 2 3 1 > out/variant_weak_n4_k2_mult3.txt
variant_weak.py 4 3 2 1 > out/variant_weak_n4_k3_mult2.txt
variant_weak.py 4 4 1 1 > out/variant_weak_n4_k4_mult1.txt
variant_weak.py 5 2 1 1 > out/variant_weak_n5_k2_mult1.txt
variant_weak.py 5 3 1 1 > out/variant_weak_n5_k3_mult1.txt
variant_weak.py 5 4 1 2 > out/variant_weak_n5_k4_mult1.txt
test_lemma4.py 1 40000 > out/lemma4_seed1.txt      (this program needs numpy and scipy)
test_lemma4.py 2 40000 > out/lemma4_seed2.txt      (same)
example.py > out/example.txt
