| { | |
| "version": "1.0.0", | |
| "method": "ensemble_calibrated_scoring", | |
| "heads": [ | |
| "solver_rank", | |
| "runtime", | |
| "gap", | |
| "feasible_prob" | |
| ], | |
| "models": [ | |
| "lightgbm_style", | |
| "catboost_style", | |
| "random_forest_style", | |
| "learning_to_rank" | |
| ], | |
| "normalization": { | |
| "n_variables": 1000, | |
| "n_constraints": 500 | |
| }, | |
| "solver_weights": { | |
| "cp_sat": { | |
| "bias": 0.62, | |
| "coefficients": [ | |
| -0.02, | |
| 0.04, | |
| 0.12, | |
| 0.22, | |
| 0.18, | |
| 0.08, | |
| 0.1, | |
| 0.15, | |
| 0.2, | |
| 0.12, | |
| 0.05, | |
| 0.08, | |
| 0.06, | |
| 0.1, | |
| 0.08, | |
| 0.05, | |
| 0.04, | |
| 0.06 | |
| ], | |
| "runtime_base": 0.35, | |
| "gap_base": 2.5, | |
| "feasible_base": 0.92, | |
| "problem_affinity": { | |
| "job_shop": 0.18, | |
| "vrp": 0.12, | |
| "rcpsp": 0.14, | |
| "bin_packing": 0.1, | |
| "tsp": 0.08 | |
| }, | |
| "config_rules": { | |
| "scheduling": { | |
| "num_search_workers": 8, | |
| "search_branching": "portfolio" | |
| } | |
| } | |
| }, | |
| "highs": { | |
| "bias": 0.58, | |
| "coefficients": [ | |
| 0.1, | |
| 0.06, | |
| -0.05, | |
| 0.08, | |
| -0.12, | |
| 0.06, | |
| -0.04, | |
| 0.05, | |
| 0.02, | |
| 0.04, | |
| 0.03, | |
| 0.02, | |
| 0.05, | |
| 0.04, | |
| 0.06, | |
| 0.02, | |
| 0.01, | |
| 0.03 | |
| ], | |
| "runtime_base": 0.42, | |
| "gap_base": 1.8, | |
| "feasible_base": 0.9, | |
| "problem_affinity": { | |
| "assignment": 0.15, | |
| "facility_location": 0.12, | |
| "network_design": 0.1, | |
| "knapsack": 0.08 | |
| }, | |
| "config_rules": { | |
| "mip": { | |
| "threads": 4, | |
| "presolve": "on", | |
| "cut_strategy": "aggressive" | |
| } | |
| } | |
| }, | |
| "cbc": { | |
| "bias": 0.52, | |
| "coefficients": [ | |
| 0.05, | |
| 0.08, | |
| 0.08, | |
| 0.1, | |
| 0.06, | |
| 0.04, | |
| 0.05, | |
| 0.03, | |
| 0.02, | |
| 0.03, | |
| 0.02, | |
| 0.01, | |
| 0.04, | |
| 0.03, | |
| 0.05, | |
| 0.02, | |
| 0.02, | |
| 0.02 | |
| ], | |
| "runtime_base": 0.55, | |
| "gap_base": 3.2, | |
| "feasible_base": 0.86, | |
| "problem_affinity": { | |
| "set_cover": 0.14, | |
| "bin_packing": 0.12, | |
| "knapsack": 0.08 | |
| }, | |
| "config_rules": { | |
| "default": { | |
| "cuts": "on", | |
| "heuristics": "on" | |
| } | |
| } | |
| }, | |
| "scip": { | |
| "bias": 0.6, | |
| "coefficients": [ | |
| 0.08, | |
| 0.1, | |
| 0.04, | |
| 0.1, | |
| 0.02, | |
| 0.05, | |
| 0.06, | |
| 0.04, | |
| 0.03, | |
| 0.04, | |
| 0.03, | |
| 0.03, | |
| 0.05, | |
| 0.04, | |
| 0.04, | |
| 0.03, | |
| 0.02, | |
| 0.03 | |
| ], | |
| "runtime_base": 0.48, | |
| "gap_base": 2.0, | |
| "feasible_base": 0.91, | |
| "problem_affinity": { | |
| "facility_location": 0.14, | |
| "set_cover": 0.1, | |
| "network_design": 0.08 | |
| }, | |
| "config_rules": { | |
| "mip": { | |
| "presolving": true, | |
| "separating": true | |
| } | |
| } | |
| }, | |
| "glpk": { | |
| "bias": 0.45, | |
| "coefficients": [ | |
| 0.02, | |
| 0.04, | |
| 0.02, | |
| 0.04, | |
| -0.08, | |
| 0.02, | |
| 0.02, | |
| 0.02, | |
| 0.01, | |
| 0.02, | |
| 0.01, | |
| 0.01, | |
| 0.03, | |
| 0.02, | |
| 0.03, | |
| 0.01, | |
| 0.01, | |
| 0.01 | |
| ], | |
| "runtime_base": 0.62, | |
| "gap_base": 4.5, | |
| "feasible_base": 0.78, | |
| "problem_affinity": { | |
| "assignment": 0.1, | |
| "network_design": 0.06 | |
| }, | |
| "config_rules": { | |
| "lp": { | |
| "presolve": true, | |
| "mip_gap": 0.03 | |
| } | |
| } | |
| }, | |
| "gurobi": { | |
| "bias": 0.66, | |
| "coefficients": [ | |
| 0.12, | |
| 0.08, | |
| 0.02, | |
| 0.08, | |
| -0.05, | |
| 0.04, | |
| 0.04, | |
| 0.03, | |
| 0.02, | |
| 0.03, | |
| 0.02, | |
| 0.02, | |
| 0.06, | |
| 0.05, | |
| 0.05, | |
| 0.03, | |
| 0.02, | |
| 0.03 | |
| ], | |
| "runtime_base": 0.3, | |
| "gap_base": 1.2, | |
| "feasible_base": 0.94, | |
| "problem_affinity": { | |
| "facility_location": 0.16, | |
| "vrp": 0.1, | |
| "assignment": 0.12, | |
| "tsp": 0.08 | |
| }, | |
| "config_rules": { | |
| "mip": { | |
| "MIPFocus": 1, | |
| "Presolve": 2, | |
| "Heuristics": 0.25 | |
| } | |
| } | |
| }, | |
| "minizinc": { | |
| "bias": 0.54, | |
| "coefficients": [ | |
| -0.01, | |
| 0.03, | |
| 0.14, | |
| 0.18, | |
| 0.16, | |
| 0.1, | |
| 0.08, | |
| 0.18, | |
| 0.22, | |
| 0.1, | |
| 0.06, | |
| 0.06, | |
| 0.08, | |
| 0.06, | |
| 0.04, | |
| 0.04, | |
| 0.05, | |
| 0.04 | |
| ], | |
| "runtime_base": 0.5, | |
| "gap_base": 2.8, | |
| "feasible_base": 0.88, | |
| "problem_affinity": { | |
| "job_shop": 0.14, | |
| "rcpsp": 0.12, | |
| "bin_packing": 0.08 | |
| }, | |
| "config_rules": { | |
| "cp": { | |
| "solver": "chuffed", | |
| "neighborhood_size": 16 | |
| } | |
| } | |
| }, | |
| "alns": { | |
| "bias": 0.56, | |
| "coefficients": [ | |
| 0.06, | |
| 0.02, | |
| 0.04, | |
| 0.06, | |
| 0.08, | |
| 0.12, | |
| 0.06, | |
| 0.1, | |
| 0.08, | |
| 0.14, | |
| 0.08, | |
| 0.1, | |
| 0.12, | |
| 0.14, | |
| 0.1, | |
| 0.08, | |
| 0.06, | |
| 0.08 | |
| ], | |
| "runtime_base": 0.38, | |
| "gap_base": 3.5, | |
| "feasible_base": 0.89, | |
| "problem_affinity": { | |
| "vrp": 0.18, | |
| "tsp": 0.14, | |
| "job_shop": 0.12 | |
| }, | |
| "config_rules": { | |
| "meta": { | |
| "neighborhood_size": 32, | |
| "destroy_pct": 0.35, | |
| "initial_solution": "greedy" | |
| } | |
| } | |
| } | |
| } | |
| } |