data_path = ./Data/auto-mpg.data
current_benchmark = auto-mpg
min_max_values = {'Displacement':[200,450],'Weight':[1000,4500]}
column_names = Cylinders,Displacement,Horsepower,Weight,Acceleration,Model Year,Origin
column_types = Int,Real,Real,Real,Real,Int,Int
run_path = ./Runs/
run_data_path = ./Runs/All/
re-run = 1
model = DeepModel_AutoMPG
solver = Solver_OptiMathSat
solve_separate = 1
solver_name = optimathsat
counter_generator = all
fold_data_dir = ./Models/auto-mpg/3_12/
number_of_epochs = 40
monotonic_indices = 1
monotonicity_directions = 1
indices = 1,3
mon_dir = 1,1
n_folds = 1
layers = 3
grid_search_model = src/Models/DeepModel_AutoMPGGridSearch.py
model_parameters = { 'batch_size': 32, 'epochs': 1500, 'lr': 0.01, 'layer_size': 3, 'hidden_size': 12 }
is_parallel = True
counter_example_type = cg
num_cores = 20
tmp_prefix = 
scalability = True
retrain_model = True
is_classification = False