# !/bin/sh
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/adult/adult_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/adult/adult_train_data/adult_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_adult_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv --explains ../datasets/tabular/test/appendicitis/appendicitis_test.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/appendicitis/appendicitis_train/appendicitis_train_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_appendicitis_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/australian/australian_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/australian/australian_train_data/australian_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_australian_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv --explains ../datasets/tabular/test/cars/cars_test.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/cars/cars_train/cars_train_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_cars_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/compas/compas_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/compas/compas_train_data/compas_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_compas_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/heart-statlog/heart-statlog_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/heart-statlog/heart-statlog_train_data/heart-statlog_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_heart-statlog_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/hungarian/hungarian_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/hungarian/hungarian_train_data/hungarian_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_hungarian_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/lending/lending_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/lending/lending_train_data/lending_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_lending_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/liver-disorder/liver-disorder_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/liver-disorder/liver-disorder_train_data/liver-disorder_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_liver-disorder_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv --explains ../datasets/tabular/test/pima/pima_test.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/pima/pima_train/pima_train_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_pima_formal_con.log
python -u ./explain.py -e mx --am1 -E -T 1 -z -vvv -c --explains ../datasets/tabular/test/recidivism/recidivism_test_data.csv --xtype con -R lin --sort abs --xnum all -M --explain_ formal ./btmodels/recidivism/recidivism_train_data/recidivism_train_data_nbestim_25_maxdepth_3_testsplit_0.0.mod.pkl > ../logs/tab/bt_recidivism_formal_con.log
