recovered regr_smlp/data/smlp_toy_num_resp_noknobs.csv and regr_smlp/specs/smlp_toy_num_resp_noknobs_verify.spec

regr_smlp/data/smlp_toy_num_resp_noknobs.csv

@@ -0,0 +1,12 @@
+categ,y1,y2,x0,x1,x2
+c14,5,9,10.0,2.0,3
+c15,9,9,12.0,,4
+c1,5,9,,3.0,4
+c9,5,5,11.0,2.0,6
+c5,9,5,10.0,2.0,8
+c10,9,9,9.0,4.0,7
+c13,5,5,9.0,3.0,6
+c4,5,5,10.0,3.0,4
+c15,9,9,11.0,4.0,4
+c11,5,5,12.0,2.0,7
+c19,9,5,10.0,3.0,7

regr_smlp/data/smlp_toy_num_resp_noknobs_pred_labeled.csv

@@ -0,0 +1,10 @@
+categ,y1,y2,x0,x1,x2
+c0,5,9,10.0,2.0,3
+c12,9,9,12.0,,4
+c2,5,9,,3.0,4
+c17,5,5,11.0,2.0,6
+c18,9,5,10.0,2.0,8
+c8,9,9,9.0,4.0,7
+c7,5,5,9.0,3.0,6
+c3,5,5,10.0,3.0,4
+c12,9,9,11.0,4.0,4

regr_smlp/master/Test139_smlp_toy_num_resp_noknobs_data_bounds.json

@@ -0,0 +1,18 @@
+{
+	"x1": {
+		"min": 2.0,
+		"max": 4.0
+	},
+	"x2": {
+		"min": 3.0,
+		"max": 8.0
+	},
+	"y1": {
+		"min": 5.0,
+		"max": 9.0
+	},
+	"y2": {
+		"min": 5.0,
+		"max": 9.0
+	}
+}

regr_smlp/master/Test139_smlp_toy_num_resp_noknobs_dt_sklearn_y1_tree_rules.txt

@@ -0,0 +1,10 @@
+#Forest semantics: majority vote
+#Number of trees: 1
+
+#TREE 0
+if (x2 > 0.7000000178813934) and (x1 > 0.25) then (y1 = 1.0) | based on 2 samples
+if (x2 <= 0.7000000178813934) and (x2 > 0.4000000134110451) then (y1 = 0.0) | based on 2 samples
+if (x2 > 0.7000000178813934) and (x1 <= 0.25) and (x2 > 0.9000000059604645) then (y1 = 1.0) | based on 1 samples
+if (x2 > 0.7000000178813934) and (x1 <= 0.25) and (x2 <= 0.9000000059604645) then (y1 = 0.0) | based on 1 samples
+if (x2 <= 0.7000000178813934) and (x2 <= 0.4000000134110451) and (x2 > 0.10000000149011612) then (y1 = 1.0) | based on 1 samples
+if (x2 <= 0.7000000178813934) and (x2 <= 0.4000000134110451) and (x2 <= 0.10000000149011612) then (y1 = 0.0) | based on 1 samples

regr_smlp/master/Test139_smlp_toy_num_resp_noknobs_dt_sklearn_y2_tree_rules.txt

@@ -0,0 +1,7 @@
+#Forest semantics: majority vote
+#Number of trees: 1
+
+#TREE 0
+if (x2 > 0.4000000134110451) and (x1 <= 0.75) then (y2 = 0.0) | based on 5 samples
+if (x2 <= 0.4000000134110451) then (y2 = 1.0) | based on 2 samples
+if (x2 > 0.4000000134110451) and (x1 > 0.75) then (y2 = 1.0) | based on 1 samples

regr_smlp/master/Test139_smlp_toy_num_resp_noknobs_model_features_dict.json

@@ -0,0 +1,10 @@
+{
+	"y1": [
+		"x1",
+		"x2"
+	],
+	"y2": [
+		"x1",
+		"x2"
+	]
+}

regr_smlp/master/Test139_smlp_toy_num_resp_noknobs_model_levels_dict.json

@@ -0,0 +1 @@
+{}

regr_smlp/master/Test139_smlp_toy_num_resp_noknobs_rerun_model_config.json

@@ -0,0 +1,172 @@
+{
+    "alpha": null,
+    "analytics_mode": "verify",
+    "approximate_fractions": true,
+    "assertions_expressions": "(y2**3+x2)/2<6;y1>=9;y2<0",
+    "assertions_names": "asrt1,asrt2,asrt3",
+    "beta": null,
+    "center_offset": "0",
+    "compress_rules": false,
+    "continuous_correlation_estimators": [
+        "pearson",
+        "spearman"
+    ],
+    "correlations_and_mutual_information": true,
+    "data_scaler": "min_max",
+    "delta_absolute": 0.0,
+    "delta_relative": 0.01,
+    "discretization_algo": "uniform",
+    "discretization_bins": 10,
+    "discretization_labels": true,
+    "discretization_type": "category",
+    "discretize_numeric_features": null,
+    "doe_algo": null,
+    "doe_box_behnken_centers": 1,
+    "doe_central_composite_alpha": "o",
+    "doe_central_composite_center": "2,2",
+    "doe_central_composite_face": "ccf",
+    "doe_design_resolution": null,
+    "doe_factor_level_ranges": null,
+    "doe_num_samples": null,
+    "doe_prob_distribution": "Normal",
+    "doe_spec_file": null,
+    "dt_sklearn_ccp_alpha": 0.0,
+    "dt_sklearn_criterion": "squared_error",
+    "dt_sklearn_max_depth": 15,
+    "dt_sklearn_max_features": null,
+    "dt_sklearn_max_leaf_nodes": null,
+    "dt_sklearn_min_impurity_decrease": 0.0,
+    "dt_sklearn_min_samples_leaf": 1,
+    "dt_sklearn_min_samples_split": 2,
+    "dt_sklearn_min_weight_fraction_leaf": 0.0,
+    "dt_sklearn_random_state": null,
+    "dt_sklearn_splitter": "best",
+    "epsilon": 0.05,
+    "et_sklearn_bootstrap": true,
+    "et_sklearn_ccp_alpha": 0.0,
+    "et_sklearn_criterion": "squared_error",
+    "et_sklearn_max_depth": null,
+    "et_sklearn_max_features": 1.0,
+    "et_sklearn_max_leaf_nodes": null,
+    "et_sklearn_max_samples": null,
+    "et_sklearn_min_impurity_decrease": 0.0,
+    "et_sklearn_min_samples_leaf": 1,
+    "et_sklearn_min_samples_split": 2,
+    "et_sklearn_min_weight_fraction_leaf": 0.0,
+    "et_sklearn_n_estimators": 100,
+    "et_sklearn_random_state": null,
+    "et_sklearn_verbose": 0,
+    "et_sklearn_warm_start": false,
+    "eta": null,
+    "features": "x0,x1,x2",
+    "fraction_precision": 64,
+    "impute_responses": false,
+    "interactive_plots": false,
+    "keep_features": [],
+    "labeled_data": null,
+    "lemma_precision": 0,
+    "load_configuration": null,
+    "log_files_prefix": null,
+    "log_level": "info",
+    "log_mode": "w",
+    "log_time": false,
+    "model": "dt_sklearn",
+    "model_caret_cross_validation": true,
+    "model_caret_return_train_score": false,
+    "model_caret_verbose": true,
+    "model_name": null,
+    "model_per_response": true,
+    "mrmr_feat_count_for_correlation": 15,
+    "mrmr_feat_count_for_prediction": 2,
+    "mutual_information_method": "normalized",
+    "negative_value": 0,
+    "new_data": null,
+    "nn_keras_batch_size": 200,
+    "nn_keras_batches_grid": null,
+    "nn_keras_epochs": 2000,
+    "nn_keras_hid_activation": "relu",
+    "nn_keras_layers": "2,1",
+    "nn_keras_layers_grid": null,
+    "nn_keras_learning_rate": 0.001,
+    "nn_keras_learning_rates_grid": null,
+    "nn_keras_loss_function": "mse",
+    "nn_keras_loss_functions_grid": null,
+    "nn_keras_metrics": [
+        "mse"
+    ],
+    "nn_keras_optimizer": "adam",
+    "nn_keras_out_activation": "linear",
+    "nn_keras_sequential_api": true,
+    "nn_keras_tuner_algo": null,
+    "nn_keras_weights_precision": null,
+    "nnet_encoding": "nested",
+    "objectives_expressions": null,
+    "objectives_names": "None",
+    "optimization_strategy": "eager",
+    "optimize_pareto": true,
+    "output_directory": "./",
+    "poly_sklearn_copy_X": true,
+    "poly_sklearn_degree": 2,
+    "poly_sklearn_fit_intercept": true,
+    "poly_sklearn_n_jobs": null,
+    "poly_sklearn_positive": false,
+    "positive_value": 1,
+    "prediction_plots": false,
+    "psg_max_dimension": 3,
+    "psg_quality_target": "Lift",
+    "psg_top_ranked": 15,
+    "query_expressions": null,
+    "query_names": "None",
+    "radius_absolute": null,
+    "radius_relative": null,
+    "response": "y1,y2",
+    "response_map": null,
+    "response_plots": false,
+    "response_to_bool": null,
+    "rf_sklearn_bootstrap": true,
+    "rf_sklearn_ccp_alpha": 0.0,
+    "rf_sklearn_criterion": "squared_error",
+    "rf_sklearn_max_depth": null,
+    "rf_sklearn_max_features": 1.0,
+    "rf_sklearn_max_leaf_nodes": null,
+    "rf_sklearn_max_samples": null,
+    "rf_sklearn_min_impurity_decrease": 0.0,
+    "rf_sklearn_min_samples_leaf": 1,
+    "rf_sklearn_min_samples_split": 2,
+    "rf_sklearn_min_weight_fraction_leaf": 0.0,
+    "rf_sklearn_n_estimators": 100,
+    "rf_sklearn_random_state": null,
+    "rf_sklearn_verbose": 0,
+    "rf_sklearn_warm_start": false,
+    "sample_weights_coef": 0,
+    "sample_weights_exponent": 0,
+    "sample_weights_intercept": 0,
+    "save_configuration": false,
+    "save_model": "false",
+    "save_model_rerun_configuration": true,
+    "scale_features": true,
+    "scale_objectives": true,
+    "scale_responses": true,
+    "seed": 10,
+    "setup_caret_data_split_shuffle": true,
+    "setup_caret_fold": 0,
+    "setup_caret_session_id": null,
+    "setup_caret_verbose": true,
+    "simplify_terms": false,
+    "solver": "z3",
+    "solver_logic": "ALL",
+    "solver_path": null,
+    "spec": "../specs/smlp_toy_num_resp_noknobs_verify.spec",
+    "split_test": 0.2,
+    "trace_anonymize": true,
+    "trace_precision": 3,
+    "trace_runtime": 0,
+    "train_first_n": 0,
+    "train_random_n": 0,
+    "train_uniform_n": 0,
+    "tree_encoding": "nested",
+    "tuner_caret_search_algorithm": "random",
+    "tuner_caret_tuner_verbose": true,
+    "use_model": "true",
+    "vacuity_check": true
+}