{ "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" } } } } }