# !/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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_origin_formal_con_3.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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_origin_formal_con_4.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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_origin_formal_con_7.log
python -u ./explain.py --cut 8 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_origin_formal_con_8.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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_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/28,28/1,3/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,3/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,3_origin_formal_con_14.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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,7_origin_formal_con_3.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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,7_origin_formal_con_4.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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,7_origin_formal_con_7.log
python -u ./explain.py --cut 8 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/mnist/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,7_origin_formal_con_8.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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_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/28,28/1,7/test_origin_data.csv --explain_ formal ./btmodels/mnist/28,28/1,7/train_origin_data/train_origin_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_mnist_28,28_1,7_origin_formal_con_14.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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_origin_formal_con_3.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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_origin_formal_con_4.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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_origin_formal_con_7.log
python -u ./explain.py --cut 8 -e mx -M --am1 -E -T 1 -z -vvv -R lin --sort abs --xtype con --unit-mcs --use-mhs --xnum all --explains ../datasets/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_origin_formal_con_8.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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_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/pneumoniamnist/28,28/test_origin.csv --explain_ formal ./btmodels/pneumoniamnist/28,28/train_origin/train_origin_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/img/cut/bt_pneumoniamnist_28,28_origin_formal_con_14.log
