{"iteration_time": [34.94902233796893, 22.96937120903749, 50.31412776000798, 22.914450062962715, 19.74345003097551, 25.977799454005435, 24.747565524012316, 16.92610277305357, 19.050249530002475, 21.353167724970262, 20.621211041987408, 39.98900890897494, 36.38079834601376, 46.28904310200596, 46.17615302401828, 44.15685401397059], "errors": {"validity": 1, "duplicate": 5, "format": 0, "empty": 0, "summary format": 0, "values": 1, "thinking": 0, "membership": 0, "summary values": 0}, "terminated": true, "sample_numbers": [0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 2], "queries": {"MQ": 12, "EQ": 16, "EQ-MQ": 7}, "h_rules": ["Not(And(v21, v24, v4, v9))", "Not(And(v19, v24, v7, v9))", "Not(And(v17, v24))", "Not(And(v0, v12, v18, v24))", "Not(And(v18, v24, v6, v9))", "Not(And(v22, v24, v8, v9))", "Not(And(v12, v18, v24, v4))", "Not(And(v13, v18, v24, v6))", "Not(And(v12, v18, v24, v5))", "Not(And(v15, v2, v25, v9))", "Not(And(v23, v24, v9))", "Not(And(v0, v15, v25, v9))", "Not(And(v10, v18, v24, v6))"], "q_rules": [], "rules": ["¬(North_America ∧ before_the_year_1875 ∧ lawyer ∧ woman)", "¬(Australia ∧ banker ∧ before_the_year_1875 ∧ woman)", "¬(priest ∧ woman)", "¬(Africa ∧ between_the_years_1951_and_1970 ∧ footballer ∧ woman)", "¬(South_America ∧ before_the_year_1875 ∧ footballer ∧ woman)", "¬(Eurasia ∧ before_the_year_1875 ∧ mathematician ∧ woman)", "¬(North_America ∧ between_the_years_1951_and_1970 ∧ footballer ∧ woman)", "¬(South_America ∧ after_the_year_1970 ∧ footballer ∧ woman)", "¬(Oceania ∧ between_the_years_1951_and_1970 ∧ footballer ∧ woman)", "¬(Asia ∧ before_the_year_1875 ∧ man ∧ nurse)", "¬(before_the_year_1875 ∧ diplomat ∧ woman)", "¬(Africa ∧ before_the_year_1875 ∧ man ∧ nurse)", "¬(South_America ∧ between_the_years_1875_and_1925 ∧ footballer ∧ woman)"], "features": {"continent": ["Africa", "Americas", "Asia", "Europe", "North America", "Oceania", "South America", "Australia", "Eurasia"], "time period": ["before the year 1875", "between the years 1875 and 1925", "between the years 1925 and 1951", "between the years 1951 and 1970", "after the year 1970"], "occupation": ["fashion designer", "nurse", "dancer", "priest", "footballer", "banker", "singer", "lawyer", "mathematician", "diplomat"], "gender": ["woman", "man"]}, "runtime": 492.5584131439682, "model name": "Mistral-Small-24B-Instruct-2501"}