{ "experiment": "selection-strategies (E3 vs E4)", "config": { "schema_preset": "demo6", "n_records": 20, "dataset_seed": 20240501, "correlation": 0.6, "levels": [ 1, 2, 3 ], "include_zeros": true, "max_statistics": null, "statistics_seed": 7, "noise": { "kind": "none", "base": 5, "sigma": 1.0, "epsilon": 1.0, "clamp_negative": false }, "noise_label": "加工なし（正確な集計値）", "suppress_at_or_below": null, "disclose_suppression_rule": false }, "solver_config": { "solver": "ortools-cpsat", "mode": "auto", "max_solutions": 30, "time_limit": 60.0, "random_seed": 0, "representation": "record-type frequency" }, "warm_start": 16, "max_rounds": 140, "summary": [ { "strategy": "random", "statistics_for_unique": 126, "final_n_statistics": 126, "final_candidates": "1", "final_determined_fraction": 1.0, "final_accuracy": 1.0 }, { "strategy": "by_level", "statistics_for_unique": null, "final_n_statistics": 156, "final_candidates": ">30", "final_determined_fraction": null, "final_accuracy": 0.5 }, { "strategy": "info_gain", "statistics_for_unique": 53, "final_n_statistics": 53, "final_candidates": "1", "final_determined_fraction": 1.0, "final_accuracy": 1.0 } ], "runs": { "random": { "strategy": "random", "seed": 0, "max_solutions": 30, "config": { "mode": "auto", "adaptive": false, "warm_start": 16, "max_rounds": 140, "n_available_statistics": 483, "selector_fallbacks": 0 }, "unique_at_n_statistics": 126, "steps": [ { "step": 0, "n_statistics": 16, "n_constraints": 17, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1178, "added": [ "q0001", "q0002", "q0003", "q0004", "q0005", "q0006", "q0007", "q0008", "q0009", "q0010", "q0011", "q0012", "q0013", "q0014", "q0015", "q0016" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.03, "expected_is_representative": false, "best_record_type_accuracy": 0.1, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.05, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 19, "exact": false } } }, { "step": 5, "n_statistics": 21, "n_constraints": 22, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.174, "added": [ "q0331" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.1, "expected_is_representative": false, "best_record_type_accuracy": 0.15, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 10, "n_statistics": 26, "n_constraints": 27, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.2498, "added": [ "q0462" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.063333, "expected_is_representative": false, "best_record_type_accuracy": 0.15, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 15, "n_statistics": 31, "n_constraints": 32, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1091, "added": [ "q0395" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.116667, "expected_is_representative": false, "best_record_type_accuracy": 0.3, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.1, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 18, "exact": false } } }, { "step": 20, "n_statistics": 36, "n_constraints": 37, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.2334, "added": [ "q0325" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.173333, "expected_is_representative": false, "best_record_type_accuracy": 0.3, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.1, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 18, "exact": false } } }, { "step": 25, "n_statistics": 41, "n_constraints": 42, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.2342, "added": [ "q0156" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.22, "expected_is_representative": false, "best_record_type_accuracy": 0.4, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.4, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 12, "exact": false } } }, { "step": 30, "n_statistics": 46, "n_constraints": 47, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.3359, "added": [ "q0455" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.18, "expected_is_representative": false, "best_record_type_accuracy": 0.3, "worst_record_type_accuracy": 0.1, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 35, "n_statistics": 51, "n_constraints": 52, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0514, "added": [ "q0346" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.156667, "expected_is_representative": false, "best_record_type_accuracy": 0.25, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.2, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 16, "exact": false } } }, { "step": 40, "n_statistics": 56, "n_constraints": 57, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0406, "added": [ "q0200" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.26, "expected_is_representative": false, "best_record_type_accuracy": 0.55, "worst_record_type_accuracy": 0.1, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.45, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 11, "exact": false } } }, { "step": 45, "n_statistics": 61, "n_constraints": 62, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0266, "added": [ "q0416" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.525, "expected_is_representative": false, "best_record_type_accuracy": 0.65, "worst_record_type_accuracy": 0.4, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.5, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 10, "exact": false } } }, { "step": 50, "n_statistics": 66, "n_constraints": 67, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.033, "added": [ "q0112" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.545, "expected_is_representative": false, "best_record_type_accuracy": 0.8, "worst_record_type_accuracy": 0.35, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.8, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 4, "exact": false } } }, { "step": 55, "n_statistics": 71, "n_constraints": 72, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0223, "added": [ "q0471" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.655, "expected_is_representative": false, "best_record_type_accuracy": 0.9, "worst_record_type_accuracy": 0.45, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.7, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 6, "exact": false } } }, { "step": 60, "n_statistics": 76, "n_constraints": 77, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0129, "added": [ "q0233" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.646667, "expected_is_representative": false, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.45, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.7, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 6, "exact": false } } }, { "step": 65, "n_statistics": 81, "n_constraints": 82, "solver_status": "OPTIMAL", "candidate_count": 12, "candidate_count_label": "12", "unique": false, "determined_fraction": 0.65, "determination_proven": true, "n_ambiguous_record_types": 18, "wall_time": 0.0059, "added": [ "q0373" ], "evaluation": { "n_candidates_evaluated": 12, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.820833, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.65, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.8, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 4, "exact": false } } }, { "step": 70, "n_statistics": 86, "n_constraints": 87, "solver_status": "OPTIMAL", "candidate_count": 12, "candidate_count_label": "12", "unique": false, "determined_fraction": 0.65, "determination_proven": true, "n_ambiguous_record_types": 18, "wall_time": 0.0054, "added": [ "q0291" ], "evaluation": { "n_candidates_evaluated": 12, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.820833, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.65, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.7, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 6, "exact": false } } }, { "step": 75, "n_statistics": 91, "n_constraints": 92, "solver_status": "OPTIMAL", "candidate_count": 12, "candidate_count_label": "12", "unique": false, "determined_fraction": 0.65, "determination_proven": true, "n_ambiguous_record_types": 18, "wall_time": 0.0055, "added": [ "q0299" ], "evaluation": { "n_candidates_evaluated": 12, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.820833, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.65, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.85, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 3, "exact": false } } }, { "step": 80, "n_statistics": 96, "n_constraints": 97, "solver_status": "OPTIMAL", "candidate_count": 12, "candidate_count_label": "12", "unique": false, "determined_fraction": 0.65, "determination_proven": true, "n_ambiguous_record_types": 18, "wall_time": 0.0052, "added": [ "q0039" ], "evaluation": { "n_candidates_evaluated": 12, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.820833, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.65, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.85, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 3, "exact": false } } }, { "step": 85, "n_statistics": 101, "n_constraints": 102, "solver_status": "OPTIMAL", "candidate_count": 2, "candidate_count_label": "2", "unique": false, "determined_fraction": 0.9, "determination_proven": true, "n_ambiguous_record_types": 4, "wall_time": 0.0025, "added": [ "q0470" ], "evaluation": { "n_candidates_evaluated": 2, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.95, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.9, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } }, { "step": 90, "n_statistics": 106, "n_constraints": 107, "solver_status": "OPTIMAL", "candidate_count": 2, "candidate_count_label": "2", "unique": false, "determined_fraction": 0.9, "determination_proven": true, "n_ambiguous_record_types": 4, "wall_time": 0.0026, "added": [ "q0197" ], "evaluation": { "n_candidates_evaluated": 2, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.95, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.9, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } }, { "step": 95, "n_statistics": 111, "n_constraints": 112, "solver_status": "OPTIMAL", "candidate_count": 2, "candidate_count_label": "2", "unique": false, "determined_fraction": 0.9, "determination_proven": true, "n_ambiguous_record_types": 4, "wall_time": 0.0027, "added": [ "q0380" ], "evaluation": { "n_candidates_evaluated": 2, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.95, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.9, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } }, { "step": 100, "n_statistics": 116, "n_constraints": 117, "solver_status": "OPTIMAL", "candidate_count": 2, "candidate_count_label": "2", "unique": false, "determined_fraction": 0.9, "determination_proven": true, "n_ambiguous_record_types": 4, "wall_time": 0.0026, "added": [ "q0309" ], "evaluation": { "n_candidates_evaluated": 2, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.95, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.9, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } }, { "step": 105, "n_statistics": 121, "n_constraints": 122, "solver_status": "OPTIMAL", "candidate_count": 2, "candidate_count_label": "2", "unique": false, "determined_fraction": 0.9, "determination_proven": true, "n_ambiguous_record_types": 4, "wall_time": 0.0024, "added": [ "q0256" ], "evaluation": { "n_candidates_evaluated": 2, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.95, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.9, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } }, { "step": 110, "n_statistics": 126, "n_constraints": 127, "solver_status": "OPTIMAL", "candidate_count": 1, "candidate_count_label": "1", "unique": true, "determined_fraction": 1.0, "determination_proven": true, "n_ambiguous_record_types": 0, "wall_time": 0.0021, "added": [ "q0127" ], "evaluation": { "n_candidates_evaluated": 1, "candidates_exhaustive": true, "expected_record_type_accuracy": 1.0, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 1.0, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } } ] }, "by_level": { "strategy": "by_level", "seed": 0, "max_solutions": 30, "config": { "mode": "auto", "adaptive": false, "warm_start": 16, "max_rounds": 140, "n_available_statistics": 483, "selector_fallbacks": 0 }, "unique_at_n_statistics": null, "steps": [ { "step": 0, "n_statistics": 16, "n_constraints": 17, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1161, "added": [ "q0001", "q0002", "q0003", "q0004", "q0005", "q0006", "q0007", "q0008", "q0009", "q0010", "q0011", "q0012", "q0013", "q0014", "q0015", "q0016" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.03, "expected_is_representative": false, "best_record_type_accuracy": 0.1, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.05, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 19, "exact": false } } }, { "step": 5, "n_statistics": 21, "n_constraints": 22, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.062, "added": [ "q0021" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.071667, "expected_is_representative": false, "best_record_type_accuracy": 0.2, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 20, "exact": false } } }, { "step": 10, "n_statistics": 26, "n_constraints": 27, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0867, "added": [ "q0026" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.09, "expected_is_representative": false, "best_record_type_accuracy": 0.2, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.2, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 16, "exact": false } } }, { "step": 15, "n_statistics": 31, "n_constraints": 32, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0628, "added": [ "q0031" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.055, "expected_is_representative": false, "best_record_type_accuracy": 0.15, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 20, "exact": false } } }, { "step": 20, "n_statistics": 36, "n_constraints": 37, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0465, "added": [ "q0036" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.158333, "expected_is_representative": false, "best_record_type_accuracy": 0.35, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 25, "n_statistics": 41, "n_constraints": 42, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0637, "added": [ "q0041" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.186667, "expected_is_representative": false, "best_record_type_accuracy": 0.3, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.1, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 18, "exact": false } } }, { "step": 30, "n_statistics": 46, "n_constraints": 47, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0289, "added": [ "q0046" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.121667, "expected_is_representative": false, "best_record_type_accuracy": 0.2, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.1, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 18, "exact": false } } }, { "step": 35, "n_statistics": 51, "n_constraints": 52, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0359, "added": [ "q0051" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.123333, "expected_is_representative": false, "best_record_type_accuracy": 0.25, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 40, "n_statistics": 56, "n_constraints": 57, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0508, "added": [ "q0056" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.118333, "expected_is_representative": false, "best_record_type_accuracy": 0.2, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 20, "exact": false } } }, { "step": 45, "n_statistics": 61, "n_constraints": 62, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0364, "added": [ "q0061" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.426667, "expected_is_representative": false, "best_record_type_accuracy": 0.5, "worst_record_type_accuracy": 0.4, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.5, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 10, "exact": false } } }, { "step": 50, "n_statistics": 66, "n_constraints": 67, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0215, "added": [ "q0066" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.221667, "expected_is_representative": false, "best_record_type_accuracy": 0.3, "worst_record_type_accuracy": 0.2, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.3, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 14, "exact": false } } }, { "step": 55, "n_statistics": 71, "n_constraints": 72, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.022, "added": [ "q0071" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.5, "expected_is_representative": false, "best_record_type_accuracy": 0.55, "worst_record_type_accuracy": 0.45, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.45, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 11, "exact": false } } }, { "step": 60, "n_statistics": 76, "n_constraints": 77, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0296, "added": [ "q0076" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.268333, "expected_is_representative": false, "best_record_type_accuracy": 0.35, "worst_record_type_accuracy": 0.2, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.2, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 16, "exact": false } } }, { "step": 65, "n_statistics": 81, "n_constraints": 82, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.023, "added": [ "q0081" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.28, "expected_is_representative": false, "best_record_type_accuracy": 0.3, "worst_record_type_accuracy": 0.25, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.3, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 14, "exact": false } } }, { "step": 70, "n_statistics": 86, "n_constraints": 87, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0238, "added": [ "q0086" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.438333, "expected_is_representative": false, "best_record_type_accuracy": 0.65, "worst_record_type_accuracy": 0.3, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.45, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 11, "exact": false } } }, { "step": 75, "n_statistics": 91, "n_constraints": 92, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0433, "added": [ "q0091" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.211667, "expected_is_representative": false, "best_record_type_accuracy": 0.45, "worst_record_type_accuracy": 0.1, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.1, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 18, "exact": false } } }, { "step": 80, "n_statistics": 96, "n_constraints": 97, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.0292, "added": [ "q0096" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.305, "expected_is_representative": false, "best_record_type_accuracy": 0.55, "worst_record_type_accuracy": 0.15, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.25, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 15, "exact": false } } }, { "step": 85, "n_statistics": 101, "n_constraints": 102, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1233, "added": [ "q0101" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.308333, "expected_is_representative": false, "best_record_type_accuracy": 0.45, "worst_record_type_accuracy": 0.1, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.35, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 13, "exact": false } } }, { "step": 90, "n_statistics": 106, "n_constraints": 107, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.2102, "added": [ "q0106" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.413333, "expected_is_representative": false, "best_record_type_accuracy": 0.65, "worst_record_type_accuracy": 0.2, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.55, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 9, "exact": false } } }, { "step": 95, "n_statistics": 111, "n_constraints": 112, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1625, "added": [ "q0111" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.46, "expected_is_representative": false, "best_record_type_accuracy": 0.6, "worst_record_type_accuracy": 0.35, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.4, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 12, "exact": false } } }, { "step": 100, "n_statistics": 116, "n_constraints": 117, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.2122, "added": [ "q0116" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.383333, "expected_is_representative": false, "best_record_type_accuracy": 0.7, "worst_record_type_accuracy": 0.25, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.45, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 11, "exact": false } } }, { "step": 105, "n_statistics": 121, "n_constraints": 122, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.308, "added": [ "q0121" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.441667, "expected_is_representative": false, "best_record_type_accuracy": 0.7, "worst_record_type_accuracy": 0.15, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.5, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 10, "exact": false } } }, { "step": 110, "n_statistics": 126, "n_constraints": 127, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.3099, "added": [ "q0126" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.441667, "expected_is_representative": false, "best_record_type_accuracy": 0.7, "worst_record_type_accuracy": 0.15, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.5, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 10, "exact": false } } }, { "step": 115, "n_statistics": 131, "n_constraints": 132, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.2133, "added": [ "q0131" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.418333, "expected_is_representative": false, "best_record_type_accuracy": 0.65, "worst_record_type_accuracy": 0.15, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.45, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 11, "exact": false } } }, { "step": 120, "n_statistics": 136, "n_constraints": 137, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1496, "added": [ "q0136" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.5, "expected_is_representative": false, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.3, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.55, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 9, "exact": false } } }, { "step": 125, "n_statistics": 141, "n_constraints": 142, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1498, "added": [ "q0141" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.5, "expected_is_representative": false, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.3, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.55, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 9, "exact": false } } }, { "step": 130, "n_statistics": 146, "n_constraints": 147, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.149, "added": [ "q0146" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.5, "expected_is_representative": false, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.3, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.55, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 9, "exact": false } } }, { "step": 135, "n_statistics": 151, "n_constraints": 152, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1481, "added": [ "q0151" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.5, "expected_is_representative": false, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.3, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.55, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 9, "exact": false } } }, { "step": 140, "n_statistics": 156, "n_constraints": 157, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.148, "added": [ "q0156" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.5, "expected_is_representative": false, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.3, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.55, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 9, "exact": false } } } ] }, "info_gain": { "strategy": "info_gain", "seed": 0, "max_solutions": 30, "config": { "mode": "auto", "adaptive": true, "warm_start": 16, "max_rounds": 140, "n_available_statistics": 483, "selector_fallbacks": 0 }, "unique_at_n_statistics": 53, "steps": [ { "step": 0, "n_statistics": 16, "n_constraints": 17, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.1157, "added": [ "q0001", "q0002", "q0003", "q0004", "q0005", "q0006", "q0007", "q0008", "q0009", "q0010", "q0011", "q0012", "q0013", "q0014", "q0015", "q0016" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.03, "expected_is_representative": false, "best_record_type_accuracy": 0.1, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.05, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 19, "exact": false } } }, { "step": 5, "n_statistics": 21, "n_constraints": 22, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.2122, "added": [ "q0386" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.06, "expected_is_representative": false, "best_record_type_accuracy": 0.15, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 10, "n_statistics": 26, "n_constraints": 27, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.4795, "added": [ "q0040" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.118333, "expected_is_representative": false, "best_record_type_accuracy": 0.25, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 15, "n_statistics": 31, "n_constraints": 32, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.5364, "added": [ "q0217" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.153333, "expected_is_representative": false, "best_record_type_accuracy": 0.25, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 20, "n_statistics": 36, "n_constraints": 37, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.7044, "added": [ "q0053" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.15, "expected_is_representative": false, "best_record_type_accuracy": 0.4, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.4, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 12, "exact": false } } }, { "step": 25, "n_statistics": 41, "n_constraints": 42, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 0.7501, "added": [ "q0129" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.308333, "expected_is_representative": false, "best_record_type_accuracy": 0.6, "worst_record_type_accuracy": 0.2, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.3, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 14, "exact": false } } }, { "step": 30, "n_statistics": 46, "n_constraints": 47, "solver_status": "FEASIBLE", "candidate_count": null, "candidate_count_label": ">30", "unique": false, "determined_fraction": null, "determination_proven": false, "n_ambiguous_record_types": null, "wall_time": 1.0499, "added": [ "q0363" ], "evaluation": { "n_candidates_evaluated": 30, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.478333, "expected_is_representative": false, "best_record_type_accuracy": 0.75, "worst_record_type_accuracy": 0.15, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 17, "exact": false } } }, { "step": 35, "n_statistics": 51, "n_constraints": 52, "solver_status": "OPTIMAL", "candidate_count": 7, "candidate_count_label": "7", "unique": false, "determined_fraction": 0.3, "determination_proven": true, "n_ambiguous_record_types": 31, "wall_time": 0.2387, "added": [ "q0299" ], "evaluation": { "n_candidates_evaluated": 7, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.678571, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 0.5, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 0.5, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 10, "exact": false } } }, { "step": 37, "n_statistics": 53, "n_constraints": 54, "solver_status": "OPTIMAL", "candidate_count": 1, "candidate_count_label": "1", "unique": true, "determined_fraction": 1.0, "determination_proven": true, "n_ambiguous_record_types": 0, "wall_time": 0.0379, "added": [ "q0026" ], "evaluation": { "n_candidates_evaluated": 1, "candidates_exhaustive": true, "expected_record_type_accuracy": 1.0, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 1.0, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } } ] } } }