# !/bin/sh
python -u ./explain.py --cut 0 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_0.log
python -u ./explain.py --cut 1 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_1.log
python -u ./explain.py --cut 4 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_4.log
python -u ./explain.py --cut 6 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_6.log
python -u ./explain.py --cut 7 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_7.log
python -u ./explain.py --cut 9 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_9.log
python -u ./explain.py --cut 10 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_10.log
python -u ./explain.py --cut 11 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_11.log
python -u ./explain.py --cut 12 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_12.log
python -u ./explain.py --cut 14 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_14.log
python -u ./explain.py --cut 17 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_17.log
python -u ./explain.py --cut 18 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_18.log
python -u ./explain.py --cut 24 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_24.log
python -u ./explain.py --cut 25 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_25.log
python -u ./explain.py --cut 26 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,3_origin_formal_con_26.log
python -u ./explain.py --cut 0 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_0.log
python -u ./explain.py --cut 1 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_1.log
python -u ./explain.py --cut 2 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_2.log
python -u ./explain.py --cut 3 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_3.log
python -u ./explain.py --cut 5 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_5.log
python -u ./explain.py --cut 6 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_6.log
python -u ./explain.py --cut 7 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_7.log
python -u ./explain.py --cut 9 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_9.log
python -u ./explain.py --cut 10 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_10.log
python -u ./explain.py --cut 11 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_11.log
python -u ./explain.py --cut 12 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_12.log
python -u ./explain.py --cut 13 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_13.log
python -u ./explain.py --cut 14 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_14.log
python -u ./explain.py --cut 15 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_15.log
python -u ./explain.py --cut 19 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/10,10/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/10,10/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_10,10_1,7_origin_formal_con_19.log
python -u ./explain.py --cut 17 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_17.log
python -u ./explain.py --cut 19 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_19.log
python -u ./explain.py --cut 28 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_28.log
python -u ./explain.py --cut 30 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_30.log
python -u ./explain.py --cut 38 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_38.log
python -u ./explain.py --cut 39 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_39.log
python -u ./explain.py --cut 43 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_43.log
python -u ./explain.py --cut 50 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_50.log
python -u ./explain.py --cut 58 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_58.log
python -u ./explain.py --cut 61 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_61.log
python -u ./explain.py --cut 68 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_68.log
python -u ./explain.py --cut 72 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_72.log
python -u ./explain.py --cut 76 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_76.log
python -u ./explain.py --cut 77 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_77.log
python -u ./explain.py --cut 78 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/10,10/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/10,10/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_10,10_origin_formal_con_78.log
