data_path = ./Data/heart.data
current_benchmark = heart
layers = 3
column_names = age,sex,cp,trestbps,chol,fbs,restecg,thalach,exang,oldpeak,slope,ca,thal
column_types = Int,Int,Int,Real,Real,Real,Int,Int,Int,Int,Real,Int,Int
run_path = ./Runs/
run_data_path = ./Runs/All/
re-run = 1
n_folds = 1
model = DeepModel_Heart
solver = Solver_OptiMathSat
counter_generator = all
monotonic_indices = 2
monotonicity_directions = 0
solve_separate = 1
solver_name = optimathsat
fold_data_dir = ./Models/heart/3_16/
initial_model = ./Models/heart/3_16/
indices = 2,4,3
mon_dir = 0,0,0
number_of_epochs = 40
grid_search_model = src/Models/DeepModel_HeartGridSearch.py
model_parameters = { 'batch_size': 32, 'epochs': 400, 'lr': 0.01, 'layer_size': 3, 'hidden_size': 16 }
is_parallel = True
counter_example_type = cg
num_cores = 32
tmp_prefix = 
is_classification = True
scalability = True
retrain_model = True