data_path = ./Data/boston.data
current_benchmark = boston
layers = 3
column_names = CRIM,ZN,INDUS,CHAS,NOX,RM,AGE,DIS,RAD,TAX,PTRATIO,B,LSTAT
column_types = Real,Real,Real,Int,Real,Real,Real,Real,Int,Int,Real,Real,Real
run_path = ./Runs/
run_data_path = ./Runs/All/
re-run = 1
n_folds = 1
model = DeepModel_Boston
solver = Solver_OptiMathSat
counter_generator = all
monotonic_indices = 5
monotonicity_directions = 0
solve_separate = 1
solver_name = optimathsat
fold_data_dir = ./Models/boston/3_16/
initial_model = ./Models/Boston/3_50/
indices = 5,0,12
mon_dir = 0,1,1
number_of_epochs = 40
grid_search_model = src/Models/DeepModel_BostonGridSearch.py
model_parameters = { 'batch_size': 32, 'epochs': 500, 'lr': 0.01, 'layer_size': 3, 'hidden_size': 16 }
is_parallel = True
counter_example_type = cg
num_cores = 20
tmp_prefix = 
is_classification = False
scalability = True
retrain_model = True
