data_path = ./Data/adult.data
current_benchmark = adult
layers = 3
column_names = Age,WorkClass,Education Num,Marital Status,Occupation,Relationship,Race,Sex,Capital-Gain,Capital Loss,Hours Per Week,Native Country
column_types = Int,Int,Int,Int,Int,Int,Int,Int,Real,Real,Int,Int
run_path = ./Runs/
run_data_path = ./Runs/All/
re-run = 1
n_folds = 1
model = DeepModel_AdultIncome
solver = Solver_OptiMathSat
counter_generator = all
monotonic_indices = 8
monotonicity_directions = 0
solve_separate = 1
solver_name = optimathsat
fold_data_dir = ./Models/adult/3_16/
indices = 8,9,0
mon_dir = 0,1,0
number_of_epochs = 40
grid_search_model = src/Models/DeepModel_AdultIncomeGridSearch.py
model_parameters = { 'batch_size': 1024, 'epochs': 1000, '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