TDDC17AICourse/lab4/part2/output_shakey/output-config3gf-shakey.txt

{"act": "begin_group", "ts": 0}
{"act": "open_list_sorting", "key_list": ["h_ALTERNATING", "h_(", "h_SINGLE", "h_(", "h_goal_count", "h_INSERTION_ORDER", "h_)", "h_SINGLE_BOOSTED", "h_(", "h_goal_count", "h_INSERTION_ORDER", "h_)", "h_)"]}
{"ts":0, "act": "state_update", "state_id": 0, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "g": -1, "real_g": -1}
{"ts": 0, "act": "evaluated_states", "state_id": 0, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 0}
{"ts":0, "act": "state_update", "state_id": 0, "h_goal_count": 3}
{"ts": 0, "act": "evaluated_heuristics", "count": 1}
{"act": "preferred_heuristics", "key_list": [,"h_ff"]}
{"act": "main_heuristic", "target": "h_goal_count"}
{"act": "end_group"}
{"act": "begin_group", "ts": 1}
{"ts":1, "act": "state_update", "state_id": 0, "g": 0, "real_g": 0}
{"ts": 1, "act": "expanded_states", "state_id": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 1}
{"ts":1, "act": "state_update", "state_id": 0, "h_ff": 12}
{"ts": 1, "act": "evaluated_heuristics", "count": 1}
{"ts":1, "act": "state_update", "state_id": 1, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [0, "move r2 r1", 1]}
{"ts": 1, "act": "generated_states", "state_id": 0, "op": "move r2 r1"}
{"ts":1, "act": "state_update", "state_id": 1, "g": -1, "real_g": -1}
{"ts": 1, "act": "evaluated_states", "state_id": 1, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 1}
{"ts":1, "act": "state_update", "state_id": 1, "h_goal_count": 3}
{"ts": 1, "act": "evaluated_heuristics", "count": 1}
{"ts":1, "act": "state_update", "state_id": 2, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [0, "move r2 r3", 1]}
{"ts": 1, "act": "generated_states", "state_id": 0, "op": "move r2 r3"}
{"ts":1, "act": "state_update", "state_id": 2, "g": -1, "real_g": -1}
{"ts": 1, "act": "evaluated_states", "state_id": 2, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 1}
{"ts":1, "act": "state_update", "state_id": 2, "h_goal_count": 3}
{"ts": 1, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 2}
{"ts":2, "act": "state_update", "state_id": 1, "g": 1, "real_g": 1}
{"ts": 2, "act": "expanded_states", "state_id": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 2}
{"ts":2, "act": "state_update", "state_id": 1, "h_ff": 12}
{"ts": 2, "act": "evaluated_heuristics", "count": 1}
{"ts":2, "act": "state_update", "state_id": 3, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [1, "push box1 r1 r2", 1]}
{"ts": 2, "act": "generated_states", "state_id": 1, "op": "push box1 r1 r2"}
{"ts":2, "act": "state_update", "state_id": 3, "g": -1, "real_g": -1}
{"ts": 2, "act": "evaluated_states", "state_id": 3, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 2}
{"ts":2, "act": "state_update", "state_id": 3, "h_goal_count": 3}
{"ts": 2, "act": "evaluated_heuristics", "count": 1}
{"ts":2, "act": "state_update", "state_id": 4, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [1, "turn_on_light r1 box1", 1]}
{"ts": 2, "act": "generated_states", "state_id": 1, "op": "turn_on_light r1 box1"}
{"ts":2, "act": "state_update", "state_id": 4, "g": -1, "real_g": -1}
{"ts": 2, "act": "evaluated_states", "state_id": 4, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 2}
{"ts":2, "act": "state_update", "state_id": 4, "h_goal_count": 3}
{"ts": 2, "act": "evaluated_heuristics", "count": 1}
{"ts":2, "act": "state_update", "state_id": 0, "new_parent": [1, "move r1 r2", 1]}
{"ts": 2, "act": "generated_states", "state_id": 1, "op": "move r1 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 3}
{"ts":3, "act": "state_update", "state_id": 2, "g": 1, "real_g": 1}
{"ts": 3, "act": "expanded_states", "state_id": 2}
{"act": "end_group"}
{"act": "begin_group", "ts": 3}
{"ts":3, "act": "state_update", "state_id": 2, "h_ff": 12}
{"ts": 3, "act": "evaluated_heuristics", "count": 1}
{"ts":3, "act": "state_update", "state_id": 0, "new_parent": [2, "move r3 r2", 1]}
{"ts": 3, "act": "generated_states", "state_id": 2, "op": "move r3 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 3, "g": 2, "real_g": 2}
{"ts": 4, "act": "expanded_states", "state_id": 3}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 3, "h_ff": 11}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 5, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [3, "move r2 r1", 1]}
{"ts": 4, "act": "generated_states", "state_id": 3, "op": "move r2 r1"}
{"ts":4, "act": "state_update", "state_id": 5, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 5, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 5, "h_goal_count": 3}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 6, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [3, "move r2 r3", 1]}
{"ts": 4, "act": "generated_states", "state_id": 3, "op": "move r2 r3"}
{"ts":4, "act": "state_update", "state_id": 6, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 6, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 6, "h_goal_count": 3}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 1, "new_parent": [3, "push box1 r2 r1", 1]}
{"ts": 4, "act": "generated_states", "state_id": 3, "op": "push box1 r2 r1"}
{"ts":4, "act": "state_update", "state_id": 7, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [3, "push box1 r2 r3", 1]}
{"ts": 4, "act": "generated_states", "state_id": 3, "op": "push box1 r2 r3"}
{"ts":4, "act": "state_update", "state_id": 7, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 7, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 7, "h_goal_count": 3}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 8, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [3, "turn_on_light r2 box1", 1]}
{"ts": 4, "act": "generated_states", "state_id": 3, "op": "turn_on_light r2 box1"}
{"ts":4, "act": "state_update", "state_id": 8, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 8, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 8, "h_goal_count": 3}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 4, "g": 2, "real_g": 2}
{"ts": 5, "act": "expanded_states", "state_id": 4}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 4, "h_ff": 12}
{"ts": 5, "act": "evaluated_heuristics", "count": 1}
{"ts":5, "act": "state_update", "state_id": 9, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [4, "push box1 r1 r2", 1]}
{"ts": 5, "act": "generated_states", "state_id": 4, "op": "push box1 r1 r2"}
{"ts":5, "act": "state_update", "state_id": 9, "g": -1, "real_g": -1}
{"ts": 5, "act": "evaluated_states", "state_id": 9, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 9, "h_goal_count": 3}
{"ts": 5, "act": "evaluated_heuristics", "count": 1}
{"ts":5, "act": "state_update", "state_id": 10, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [4, "move r1 r2", 1]}
{"ts": 5, "act": "generated_states", "state_id": 4, "op": "move r1 r2"}
{"ts":5, "act": "state_update", "state_id": 10, "g": -1, "real_g": -1}
{"ts": 5, "act": "evaluated_states", "state_id": 10, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 10, "h_goal_count": 3}
{"ts": 5, "act": "evaluated_heuristics", "count": 1}
{"ts":5, "act": "state_update", "state_id": 11, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [4, "grab small1 r1 left", 1]}
{"ts": 5, "act": "generated_states", "state_id": 4, "op": "grab small1 r1 left"}
{"ts":5, "act": "state_update", "state_id": 11, "g": -1, "real_g": -1}
{"ts": 5, "act": "evaluated_states", "state_id": 11, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 11, "h_goal_count": 3}
{"ts": 5, "act": "evaluated_heuristics", "count": 1}
{"ts":5, "act": "state_update", "state_id": 12, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [4, "grab small1 r1 right", 1]}
{"ts": 5, "act": "generated_states", "state_id": 4, "op": "grab small1 r1 right"}
{"ts":5, "act": "state_update", "state_id": 12, "g": -1, "real_g": -1}
{"ts": 5, "act": "evaluated_states", "state_id": 12, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 12, "h_goal_count": 3}
{"ts": 5, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 5, "g": 3, "real_g": 3}
{"ts": 6, "act": "expanded_states", "state_id": 5}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 5, "h_ff": 11}
{"ts": 6, "act": "evaluated_heuristics", "count": 1}
{"ts":6, "act": "state_update", "state_id": 3, "new_parent": [5, "move r1 r2", 1]}
{"ts": 6, "act": "generated_states", "state_id": 5, "op": "move r1 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 6, "g": 3, "real_g": 3}
{"ts": 7, "act": "expanded_states", "state_id": 6}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 6, "h_ff": 11}
{"ts": 7, "act": "evaluated_heuristics", "count": 1}
{"ts":7, "act": "state_update", "state_id": 3, "new_parent": [6, "move r3 r2", 1]}
{"ts": 7, "act": "generated_states", "state_id": 6, "op": "move r3 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 7, "g": 3, "real_g": 3}
{"ts": 8, "act": "expanded_states", "state_id": 7}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 7, "h_ff": 11}
{"ts": 8, "act": "evaluated_heuristics", "count": 1}
{"ts":8, "act": "state_update", "state_id": 3, "new_parent": [7, "push box1 r3 r2", 1]}
{"ts": 8, "act": "generated_states", "state_id": 7, "op": "push box1 r3 r2"}
{"ts":8, "act": "state_update", "state_id": 13, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [7, "turn_on_light r3 box1", 1]}
{"ts": 8, "act": "generated_states", "state_id": 7, "op": "turn_on_light r3 box1"}
{"ts":8, "act": "state_update", "state_id": 13, "g": -1, "real_g": -1}
{"ts": 8, "act": "evaluated_states", "state_id": 13, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 13, "h_goal_count": 3}
{"ts": 8, "act": "evaluated_heuristics", "count": 1}
{"ts":8, "act": "state_update", "state_id": 14, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [7, "move r3 r2", 1]}
{"ts": 8, "act": "generated_states", "state_id": 7, "op": "move r3 r2"}
{"ts":8, "act": "state_update", "state_id": 14, "g": -1, "real_g": -1}
{"ts": 8, "act": "evaluated_states", "state_id": 14, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 14, "h_goal_count": 3}
{"ts": 8, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 8, "g": 3, "real_g": 3}
{"ts": 9, "act": "expanded_states", "state_id": 8}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 8, "h_ff": 10}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 15, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [8, "move r2 r1", 1]}
{"ts": 9, "act": "generated_states", "state_id": 8, "op": "move r2 r1"}
{"ts":9, "act": "state_update", "state_id": 15, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 15, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 15, "h_goal_count": 3}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 16, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [8, "move r2 r3", 1]}
{"ts": 9, "act": "generated_states", "state_id": 8, "op": "move r2 r3"}
{"ts":9, "act": "state_update", "state_id": 16, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 16, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 16, "h_goal_count": 3}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 17, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [8, "push box1 r2 r1", 1]}
{"ts": 9, "act": "generated_states", "state_id": 8, "op": "push box1 r2 r1"}
{"ts":9, "act": "state_update", "state_id": 17, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 17, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 17, "h_goal_count": 3}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 18, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [8, "push box1 r2 r3", 1]}
{"ts": 9, "act": "generated_states", "state_id": 8, "op": "push box1 r2 r3"}
{"ts":9, "act": "state_update", "state_id": 18, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 18, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 18, "h_goal_count": 3}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 19, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [8, "grab small2 r2 left", 1]}
{"ts": 9, "act": "generated_states", "state_id": 8, "op": "grab small2 r2 left"}
{"ts":9, "act": "state_update", "state_id": 19, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 19, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 19, "h_goal_count": 3}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 20, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [8, "grab small2 r2 right", 1]}
{"ts": 9, "act": "generated_states", "state_id": 8, "op": "grab small2 r2 right"}
{"ts":9, "act": "state_update", "state_id": 20, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 20, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 20, "h_goal_count": 3}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 9, "g": 3, "real_g": 3}
{"ts": 10, "act": "expanded_states", "state_id": 9}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 9, "h_ff": 11}
{"ts": 10, "act": "evaluated_heuristics", "count": 1}
{"ts":10, "act": "state_update", "state_id": 21, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [9, "move r2 r1", 1]}
{"ts": 10, "act": "generated_states", "state_id": 9, "op": "move r2 r1"}
{"ts":10, "act": "state_update", "state_id": 21, "g": -1, "real_g": -1}
{"ts": 10, "act": "evaluated_states", "state_id": 21, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 21, "h_goal_count": 3}
{"ts": 10, "act": "evaluated_heuristics", "count": 1}
{"ts":10, "act": "state_update", "state_id": 22, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [9, "move r2 r3", 1]}
{"ts": 10, "act": "generated_states", "state_id": 9, "op": "move r2 r3"}
{"ts":10, "act": "state_update", "state_id": 22, "g": -1, "real_g": -1}
{"ts": 10, "act": "evaluated_states", "state_id": 22, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 22, "h_goal_count": 3}
{"ts": 10, "act": "evaluated_heuristics", "count": 1}
{"ts":10, "act": "state_update", "state_id": 4, "new_parent": [9, "push box1 r2 r1", 1]}
{"ts": 10, "act": "generated_states", "state_id": 9, "op": "push box1 r2 r1"}
{"ts":10, "act": "state_update", "state_id": 23, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [9, "push box1 r2 r3", 1]}
{"ts": 10, "act": "generated_states", "state_id": 9, "op": "push box1 r2 r3"}
{"ts":10, "act": "state_update", "state_id": 23, "g": -1, "real_g": -1}
{"ts": 10, "act": "evaluated_states", "state_id": 23, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 23, "h_goal_count": 3}
{"ts": 10, "act": "evaluated_heuristics", "count": 1}
{"ts":10, "act": "state_update", "state_id": 24, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [9, "turn_on_light r2 box1", 1]}
{"ts": 10, "act": "generated_states", "state_id": 9, "op": "turn_on_light r2 box1"}
{"ts":10, "act": "state_update", "state_id": 24, "g": -1, "real_g": -1}
{"ts": 10, "act": "evaluated_states", "state_id": 24, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 24, "h_goal_count": 3}
{"ts": 10, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 10, "g": 3, "real_g": 3}
{"ts": 11, "act": "expanded_states", "state_id": 10}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 10, "h_ff": 12}
{"ts": 11, "act": "evaluated_heuristics", "count": 1}
{"ts":11, "act": "state_update", "state_id": 4, "new_parent": [10, "move r2 r1", 1]}
{"ts": 11, "act": "generated_states", "state_id": 10, "op": "move r2 r1"}
{"ts":11, "act": "state_update", "state_id": 25, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [10, "move r2 r3", 1]}
{"ts": 11, "act": "generated_states", "state_id": 10, "op": "move r2 r3"}
{"ts":11, "act": "state_update", "state_id": 25, "g": -1, "real_g": -1}
{"ts": 11, "act": "evaluated_states", "state_id": 25, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 25, "h_goal_count": 3}
{"ts": 11, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 13, "g": 4, "real_g": 4}
{"ts": 12, "act": "expanded_states", "state_id": 13}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 13, "h_ff": 10}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 26, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [13, "push box1 r3 r2", 1]}
{"ts": 12, "act": "generated_states", "state_id": 13, "op": "push box1 r3 r2"}
{"ts":12, "act": "state_update", "state_id": 26, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 26, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 26, "h_goal_count": 3}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 27, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [13, "move r3 r2", 1]}
{"ts": 12, "act": "generated_states", "state_id": 13, "op": "move r3 r2"}
{"ts":12, "act": "state_update", "state_id": 27, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 27, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 27, "h_goal_count": 3}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 28, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [13, "grab small3 r3 left", 1]}
{"ts": 12, "act": "generated_states", "state_id": 13, "op": "grab small3 r3 left"}
{"ts":12, "act": "state_update", "state_id": 28, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 28, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 28, "h_goal_count": 3}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 29, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [13, "grab small4 r3 left", 1]}
{"ts": 12, "act": "generated_states", "state_id": 13, "op": "grab small4 r3 left"}
{"ts":12, "act": "state_update", "state_id": 29, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 29, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 29, "h_goal_count": 3}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 30, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "2(Atom hold_on(right, small3))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [13, "grab small3 r3 right", 1]}
{"ts": 12, "act": "generated_states", "state_id": 13, "op": "grab small3 r3 right"}
{"ts":12, "act": "state_update", "state_id": 30, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 30, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 30, "h_goal_count": 3}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 31, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "3(Atom hold_on(right, small4))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [13, "grab small4 r3 right", 1]}
{"ts": 12, "act": "generated_states", "state_id": 13, "op": "grab small4 r3 right"}
{"ts":12, "act": "state_update", "state_id": 31, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 31, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 31, "h_goal_count": 3}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 11, "g": 3, "real_g": 3}
{"ts": 13, "act": "expanded_states", "state_id": 11}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 11, "h_ff": 12}
{"ts": 13, "act": "evaluated_heuristics", "count": 1}
{"ts":13, "act": "state_update", "state_id": 32, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [11, "push box1 r1 r2", 1]}
{"ts": 13, "act": "generated_states", "state_id": 11, "op": "push box1 r1 r2"}
{"ts":13, "act": "state_update", "state_id": 32, "g": -1, "real_g": -1}
{"ts": 13, "act": "evaluated_states", "state_id": 32, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 32, "h_goal_count": 3}
{"ts": 13, "act": "evaluated_heuristics", "count": 1}
{"ts":13, "act": "state_update", "state_id": 33, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [11, "move r1 r2", 1]}
{"ts": 13, "act": "generated_states", "state_id": 11, "op": "move r1 r2"}
{"ts":13, "act": "state_update", "state_id": 33, "g": -1, "real_g": -1}
{"ts": 13, "act": "evaluated_states", "state_id": 33, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 33, "h_goal_count": 3}
{"ts": 13, "act": "evaluated_heuristics", "count": 1}
{"ts":13, "act": "state_update", "state_id": 34, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [11, "grab small1 r1 right", 1]}
{"ts": 13, "act": "generated_states", "state_id": 11, "op": "grab small1 r1 right"}
{"ts":13, "act": "state_update", "state_id": 34, "g": -1, "real_g": -1}
{"ts": 13, "act": "evaluated_states", "state_id": 34, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 34, "h_goal_count": 3}
{"ts": 13, "act": "evaluated_heuristics", "count": 1}
{"ts":13, "act": "state_update", "state_id": 4, "new_parent": [11, "release small1 r1 left", 1]}
{"ts": 13, "act": "generated_states", "state_id": 11, "op": "release small1 r1 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 14, "g": 4, "real_g": 4}
{"ts": 14, "act": "expanded_states", "state_id": 14}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 14, "h_ff": 11}
{"ts": 14, "act": "evaluated_heuristics", "count": 1}
{"ts":14, "act": "state_update", "state_id": 35, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [14, "move r2 r1", 1]}
{"ts": 14, "act": "generated_states", "state_id": 14, "op": "move r2 r1"}
{"ts":14, "act": "state_update", "state_id": 35, "g": -1, "real_g": -1}
{"ts": 14, "act": "evaluated_states", "state_id": 35, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 35, "h_goal_count": 3}
{"ts": 14, "act": "evaluated_heuristics", "count": 1}
{"ts":14, "act": "state_update", "state_id": 7, "new_parent": [14, "move r2 r3", 1]}
{"ts": 14, "act": "generated_states", "state_id": 14, "op": "move r2 r3"}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 12, "g": 3, "real_g": 3}
{"ts": 15, "act": "expanded_states", "state_id": 12}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 12, "h_ff": 12}
{"ts": 15, "act": "evaluated_heuristics", "count": 1}
{"ts":15, "act": "state_update", "state_id": 36, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [12, "push box1 r1 r2", 1]}
{"ts": 15, "act": "generated_states", "state_id": 12, "op": "push box1 r1 r2"}
{"ts":15, "act": "state_update", "state_id": 36, "g": -1, "real_g": -1}
{"ts": 15, "act": "evaluated_states", "state_id": 36, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 36, "h_goal_count": 3}
{"ts": 15, "act": "evaluated_heuristics", "count": 1}
{"ts":15, "act": "state_update", "state_id": 37, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [12, "move r1 r2", 1]}
{"ts": 15, "act": "generated_states", "state_id": 12, "op": "move r1 r2"}
{"ts":15, "act": "state_update", "state_id": 37, "g": -1, "real_g": -1}
{"ts": 15, "act": "evaluated_states", "state_id": 37, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 37, "h_goal_count": 3}
{"ts": 15, "act": "evaluated_heuristics", "count": 1}
{"ts":15, "act": "state_update", "state_id": 34, "new_parent": [12, "grab small1 r1 left", 1]}
{"ts": 15, "act": "generated_states", "state_id": 12, "op": "grab small1 r1 left"}
{"ts":15, "act": "state_update", "state_id": 34, "g": 4, "real_g": 4}
{"ts":15, "act": "state_update", "state_id": 4, "new_parent": [12, "release small1 r1 right", 1]}
{"ts": 15, "act": "generated_states", "state_id": 12, "op": "release small1 r1 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 16}
{"ts":16, "act": "state_update", "state_id": 15, "g": 4, "real_g": 4}
{"ts": 16, "act": "expanded_states", "state_id": 15}
{"act": "end_group"}
{"act": "begin_group", "ts": 16}
{"ts":16, "act": "state_update", "state_id": 15, "h_ff": 10}
{"ts": 16, "act": "evaluated_heuristics", "count": 1}
{"ts":16, "act": "state_update", "state_id": 8, "new_parent": [15, "move r1 r2", 1]}
{"ts": 16, "act": "generated_states", "state_id": 15, "op": "move r1 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 17}
{"ts":17, "act": "state_update", "state_id": 16, "g": 4, "real_g": 4}
{"ts": 17, "act": "expanded_states", "state_id": 16}
{"act": "end_group"}
{"act": "begin_group", "ts": 17}
{"ts":17, "act": "state_update", "state_id": 16, "h_ff": 10}
{"ts": 17, "act": "evaluated_heuristics", "count": 1}
{"ts":17, "act": "state_update", "state_id": 8, "new_parent": [16, "move r3 r2", 1]}
{"ts": 17, "act": "generated_states", "state_id": 16, "op": "move r3 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 18, "g": 4, "real_g": 4}
{"ts": 18, "act": "expanded_states", "state_id": 18}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 18, "h_ff": 9}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"ts":18, "act": "state_update", "state_id": 8, "new_parent": [18, "push box1 r3 r2", 1]}
{"ts": 18, "act": "generated_states", "state_id": 18, "op": "push box1 r3 r2"}
{"ts":18, "act": "state_update", "state_id": 38, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [18, "turn_on_light r3 box1", 1]}
{"ts": 18, "act": "generated_states", "state_id": 18, "op": "turn_on_light r3 box1"}
{"ts":18, "act": "state_update", "state_id": 38, "g": -1, "real_g": -1}
{"ts": 18, "act": "evaluated_states", "state_id": 38, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 38, "h_goal_count": 3}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"ts":18, "act": "state_update", "state_id": 39, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [18, "move r3 r2", 1]}
{"ts": 18, "act": "generated_states", "state_id": 18, "op": "move r3 r2"}
{"ts":18, "act": "state_update", "state_id": 39, "g": -1, "real_g": -1}
{"ts": 18, "act": "evaluated_states", "state_id": 39, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 39, "h_goal_count": 3}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 20, "g": 4, "real_g": 4}
{"ts": 19, "act": "expanded_states", "state_id": 20}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 20, "h_ff": 9}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 40, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "move r2 r1", 1]}
{"ts": 19, "act": "generated_states", "state_id": 20, "op": "move r2 r1"}
{"ts":19, "act": "state_update", "state_id": 40, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 40, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 40, "h_goal_count": 3}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 41, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "move r2 r3", 1]}
{"ts": 19, "act": "generated_states", "state_id": 20, "op": "move r2 r3"}
{"ts":19, "act": "state_update", "state_id": 41, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 41, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 41, "h_goal_count": 3}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 42, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "push box1 r2 r1", 1]}
{"ts": 19, "act": "generated_states", "state_id": 20, "op": "push box1 r2 r1"}
{"ts":19, "act": "state_update", "state_id": 42, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 42, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 42, "h_goal_count": 3}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 43, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "push box1 r2 r3", 1]}
{"ts": 19, "act": "generated_states", "state_id": 20, "op": "push box1 r2 r3"}
{"ts":19, "act": "state_update", "state_id": 43, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 43, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 43, "h_goal_count": 3}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 44, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "grab small2 r2 left", 1]}
{"ts": 19, "act": "generated_states", "state_id": 20, "op": "grab small2 r2 left"}
{"ts":19, "act": "state_update", "state_id": 44, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 44, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 44, "h_goal_count": 3}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 8, "new_parent": [20, "release small2 r2 right", 1]}
{"ts": 19, "act": "generated_states", "state_id": 20, "op": "release small2 r2 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 20}
{"ts":20, "act": "state_update", "state_id": 21, "g": 4, "real_g": 4}
{"ts": 20, "act": "expanded_states", "state_id": 21}
{"act": "end_group"}
{"act": "begin_group", "ts": 20}
{"ts":20, "act": "state_update", "state_id": 21, "h_ff": 11}
{"ts": 20, "act": "evaluated_heuristics", "count": 1}
{"ts":20, "act": "state_update", "state_id": 9, "new_parent": [21, "move r1 r2", 1]}
{"ts": 20, "act": "generated_states", "state_id": 21, "op": "move r1 r2"}
{"ts":20, "act": "state_update", "state_id": 45, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [21, "grab small1 r1 left", 1]}
{"ts": 20, "act": "generated_states", "state_id": 21, "op": "grab small1 r1 left"}
{"ts":20, "act": "state_update", "state_id": 45, "g": -1, "real_g": -1}
{"ts": 20, "act": "evaluated_states", "state_id": 45, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 20}
{"ts":20, "act": "state_update", "state_id": 45, "h_goal_count": 3}
{"ts": 20, "act": "evaluated_heuristics", "count": 1}
{"ts":20, "act": "state_update", "state_id": 46, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [21, "grab small1 r1 right", 1]}
{"ts": 20, "act": "generated_states", "state_id": 21, "op": "grab small1 r1 right"}
{"ts":20, "act": "state_update", "state_id": 46, "g": -1, "real_g": -1}
{"ts": 20, "act": "evaluated_states", "state_id": 46, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 20}
{"ts":20, "act": "state_update", "state_id": 46, "h_goal_count": 3}
{"ts": 20, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 21}
{"ts":21, "act": "state_update", "state_id": 17, "g": 4, "real_g": 4}
{"ts": 21, "act": "expanded_states", "state_id": 17}
{"act": "end_group"}
{"act": "begin_group", "ts": 21}
{"ts":21, "act": "state_update", "state_id": 17, "h_ff": 11}
{"ts": 21, "act": "evaluated_heuristics", "count": 1}
{"ts":21, "act": "state_update", "state_id": 8, "new_parent": [17, "push box1 r1 r2", 1]}
{"ts": 21, "act": "generated_states", "state_id": 17, "op": "push box1 r1 r2"}
{"ts":21, "act": "state_update", "state_id": 47, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [17, "turn_on_light r1 box1", 1]}
{"ts": 21, "act": "generated_states", "state_id": 17, "op": "turn_on_light r1 box1"}
{"ts":21, "act": "state_update", "state_id": 47, "g": -1, "real_g": -1}
{"ts": 21, "act": "evaluated_states", "state_id": 47, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 21}
{"ts":21, "act": "state_update", "state_id": 47, "h_goal_count": 3}
{"ts": 21, "act": "evaluated_heuristics", "count": 1}
{"ts":21, "act": "state_update", "state_id": 48, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [17, "move r1 r2", 1]}
{"ts": 21, "act": "generated_states", "state_id": 17, "op": "move r1 r2"}
{"ts":21, "act": "state_update", "state_id": 48, "g": -1, "real_g": -1}
{"ts": 21, "act": "evaluated_states", "state_id": 48, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 21}
{"ts":21, "act": "state_update", "state_id": 48, "h_goal_count": 3}
{"ts": 21, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 22}
{"ts":22, "act": "state_update", "state_id": 22, "g": 4, "real_g": 4}
{"ts": 22, "act": "expanded_states", "state_id": 22}
{"act": "end_group"}
{"act": "begin_group", "ts": 22}
{"ts":22, "act": "state_update", "state_id": 22, "h_ff": 11}
{"ts": 22, "act": "evaluated_heuristics", "count": 1}
{"ts":22, "act": "state_update", "state_id": 9, "new_parent": [22, "move r3 r2", 1]}
{"ts": 22, "act": "generated_states", "state_id": 22, "op": "move r3 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 23}
{"ts":23, "act": "state_update", "state_id": 23, "g": 4, "real_g": 4}
{"ts": 23, "act": "expanded_states", "state_id": 23}
{"act": "end_group"}
{"act": "begin_group", "ts": 23}
{"ts":23, "act": "state_update", "state_id": 23, "h_ff": 11}
{"ts": 23, "act": "evaluated_heuristics", "count": 1}
{"ts":23, "act": "state_update", "state_id": 9, "new_parent": [23, "push box1 r3 r2", 1]}
{"ts": 23, "act": "generated_states", "state_id": 23, "op": "push box1 r3 r2"}
{"ts":23, "act": "state_update", "state_id": 49, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [23, "turn_on_light r3 box1", 1]}
{"ts": 23, "act": "generated_states", "state_id": 23, "op": "turn_on_light r3 box1"}
{"ts":23, "act": "state_update", "state_id": 49, "g": -1, "real_g": -1}
{"ts": 23, "act": "evaluated_states", "state_id": 49, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 23}
{"ts":23, "act": "state_update", "state_id": 49, "h_goal_count": 3}
{"ts": 23, "act": "evaluated_heuristics", "count": 1}
{"ts":23, "act": "state_update", "state_id": 50, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [23, "move r3 r2", 1]}
{"ts": 23, "act": "generated_states", "state_id": 23, "op": "move r3 r2"}
{"ts":23, "act": "state_update", "state_id": 50, "g": -1, "real_g": -1}
{"ts": 23, "act": "evaluated_states", "state_id": 50, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 23}
{"ts":23, "act": "state_update", "state_id": 50, "h_goal_count": 3}
{"ts": 23, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 24}
{"ts":24, "act": "state_update", "state_id": 19, "g": 4, "real_g": 4}
{"ts": 24, "act": "expanded_states", "state_id": 19}
{"act": "end_group"}
{"act": "begin_group", "ts": 24}
{"ts":24, "act": "state_update", "state_id": 19, "h_ff": 9}
{"ts": 24, "act": "evaluated_heuristics", "count": 1}
{"ts":24, "act": "state_update", "state_id": 51, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "move r2 r1", 1]}
{"ts": 24, "act": "generated_states", "state_id": 19, "op": "move r2 r1"}
{"ts":24, "act": "state_update", "state_id": 51, "g": -1, "real_g": -1}
{"ts": 24, "act": "evaluated_states", "state_id": 51, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 24}
{"ts":24, "act": "state_update", "state_id": 51, "h_goal_count": 3}
{"ts": 24, "act": "evaluated_heuristics", "count": 1}
{"ts":24, "act": "state_update", "state_id": 52, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "move r2 r3", 1]}
{"ts": 24, "act": "generated_states", "state_id": 19, "op": "move r2 r3"}
{"ts":24, "act": "state_update", "state_id": 52, "g": -1, "real_g": -1}
{"ts": 24, "act": "evaluated_states", "state_id": 52, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 24}
{"ts":24, "act": "state_update", "state_id": 52, "h_goal_count": 3}
{"ts": 24, "act": "evaluated_heuristics", "count": 1}
{"ts":24, "act": "state_update", "state_id": 53, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "push box1 r2 r1", 1]}
{"ts": 24, "act": "generated_states", "state_id": 19, "op": "push box1 r2 r1"}
{"ts":24, "act": "state_update", "state_id": 53, "g": -1, "real_g": -1}
{"ts": 24, "act": "evaluated_states", "state_id": 53, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 24}
{"ts":24, "act": "state_update", "state_id": 53, "h_goal_count": 3}
{"ts": 24, "act": "evaluated_heuristics", "count": 1}
{"ts":24, "act": "state_update", "state_id": 54, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "push box1 r2 r3", 1]}
{"ts": 24, "act": "generated_states", "state_id": 19, "op": "push box1 r2 r3"}
{"ts":24, "act": "state_update", "state_id": 54, "g": -1, "real_g": -1}
{"ts": 24, "act": "evaluated_states", "state_id": 54, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 24}
{"ts":24, "act": "state_update", "state_id": 54, "h_goal_count": 3}
{"ts": 24, "act": "evaluated_heuristics", "count": 1}
{"ts":24, "act": "state_update", "state_id": 44, "new_parent": [19, "grab small2 r2 right", 1]}
{"ts": 24, "act": "generated_states", "state_id": 19, "op": "grab small2 r2 right"}
{"ts":24, "act": "state_update", "state_id": 44, "g": 5, "real_g": 5}
{"ts":24, "act": "state_update", "state_id": 8, "new_parent": [19, "release small2 r2 left", 1]}
{"ts": 24, "act": "generated_states", "state_id": 19, "op": "release small2 r2 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 25}
{"ts":25, "act": "state_update", "state_id": 24, "g": 4, "real_g": 4}
{"ts": 25, "act": "expanded_states", "state_id": 24}
{"act": "end_group"}
{"act": "begin_group", "ts": 25}
{"ts":25, "act": "state_update", "state_id": 24, "h_ff": 10}
{"ts": 25, "act": "evaluated_heuristics", "count": 1}
{"ts":25, "act": "state_update", "state_id": 55, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [24, "move r2 r1", 1]}
{"ts": 25, "act": "generated_states", "state_id": 24, "op": "move r2 r1"}
{"ts":25, "act": "state_update", "state_id": 55, "g": -1, "real_g": -1}
{"ts": 25, "act": "evaluated_states", "state_id": 55, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 25}
{"ts":25, "act": "state_update", "state_id": 55, "h_goal_count": 3}
{"ts": 25, "act": "evaluated_heuristics", "count": 1}
{"ts":25, "act": "state_update", "state_id": 56, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [24, "move r2 r3", 1]}
{"ts": 25, "act": "generated_states", "state_id": 24, "op": "move r2 r3"}
{"ts":25, "act": "state_update", "state_id": 56, "g": -1, "real_g": -1}
{"ts": 25, "act": "evaluated_states", "state_id": 56, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 25}
{"ts":25, "act": "state_update", "state_id": 56, "h_goal_count": 3}
{"ts": 25, "act": "evaluated_heuristics", "count": 1}
{"ts":25, "act": "state_update", "state_id": 47, "new_parent": [24, "push box1 r2 r1", 1]}
{"ts": 25, "act": "generated_states", "state_id": 24, "op": "push box1 r2 r1"}
{"ts":25, "act": "state_update", "state_id": 47, "g": 5, "real_g": 5}
{"ts":25, "act": "state_update", "state_id": 57, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [24, "push box1 r2 r3", 1]}
{"ts": 25, "act": "generated_states", "state_id": 24, "op": "push box1 r2 r3"}
{"ts":25, "act": "state_update", "state_id": 57, "g": -1, "real_g": -1}
{"ts": 25, "act": "evaluated_states", "state_id": 57, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 25}
{"ts":25, "act": "state_update", "state_id": 57, "h_goal_count": 3}
{"ts": 25, "act": "evaluated_heuristics", "count": 1}
{"ts":25, "act": "state_update", "state_id": 58, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [24, "grab small2 r2 left", 1]}
{"ts": 25, "act": "generated_states", "state_id": 24, "op": "grab small2 r2 left"}
{"ts":25, "act": "state_update", "state_id": 58, "g": -1, "real_g": -1}
{"ts": 25, "act": "evaluated_states", "state_id": 58, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 25}
{"ts":25, "act": "state_update", "state_id": 58, "h_goal_count": 3}
{"ts": 25, "act": "evaluated_heuristics", "count": 1}
{"ts":25, "act": "state_update", "state_id": 59, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [24, "grab small2 r2 right", 1]}
{"ts": 25, "act": "generated_states", "state_id": 24, "op": "grab small2 r2 right"}
{"ts":25, "act": "state_update", "state_id": 59, "g": -1, "real_g": -1}
{"ts": 25, "act": "evaluated_states", "state_id": 59, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 25}
{"ts":25, "act": "state_update", "state_id": 59, "h_goal_count": 3}
{"ts": 25, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 26}
{"ts":26, "act": "state_update", "state_id": 25, "g": 4, "real_g": 4}
{"ts": 26, "act": "expanded_states", "state_id": 25}
{"act": "end_group"}
{"act": "begin_group", "ts": 26}
{"ts":26, "act": "state_update", "state_id": 25, "h_ff": 12}
{"ts": 26, "act": "evaluated_heuristics", "count": 1}
{"ts":26, "act": "state_update", "state_id": 10, "new_parent": [25, "move r3 r2", 1]}
{"ts": 26, "act": "generated_states", "state_id": 25, "op": "move r3 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 27}
{"ts":27, "act": "state_update", "state_id": 26, "g": 5, "real_g": 5}
{"ts": 27, "act": "expanded_states", "state_id": 26}
{"act": "end_group"}
{"act": "begin_group", "ts": 27}
{"ts":27, "act": "state_update", "state_id": 26, "h_ff": 9}
{"ts": 27, "act": "evaluated_heuristics", "count": 1}
{"ts":27, "act": "state_update", "state_id": 60, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [26, "move r2 r1", 1]}
{"ts": 27, "act": "generated_states", "state_id": 26, "op": "move r2 r1"}
{"ts":27, "act": "state_update", "state_id": 60, "g": -1, "real_g": -1}
{"ts": 27, "act": "evaluated_states", "state_id": 60, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 27}
{"ts":27, "act": "state_update", "state_id": 60, "h_goal_count": 3}
{"ts": 27, "act": "evaluated_heuristics", "count": 1}
{"ts":27, "act": "state_update", "state_id": 61, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [26, "move r2 r3", 1]}
{"ts": 27, "act": "generated_states", "state_id": 26, "op": "move r2 r3"}
{"ts":27, "act": "state_update", "state_id": 61, "g": -1, "real_g": -1}
{"ts": 27, "act": "evaluated_states", "state_id": 61, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 27}
{"ts":27, "act": "state_update", "state_id": 61, "h_goal_count": 3}
{"ts": 27, "act": "evaluated_heuristics", "count": 1}
{"ts":27, "act": "state_update", "state_id": 62, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [26, "push box1 r2 r1", 1]}
{"ts": 27, "act": "generated_states", "state_id": 26, "op": "push box1 r2 r1"}
{"ts":27, "act": "state_update", "state_id": 62, "g": -1, "real_g": -1}
{"ts": 27, "act": "evaluated_states", "state_id": 62, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 27}
{"ts":27, "act": "state_update", "state_id": 62, "h_goal_count": 3}
{"ts": 27, "act": "evaluated_heuristics", "count": 1}
{"ts":27, "act": "state_update", "state_id": 13, "new_parent": [26, "push box1 r2 r3", 1]}
{"ts": 27, "act": "generated_states", "state_id": 26, "op": "push box1 r2 r3"}
{"ts":27, "act": "state_update", "state_id": 63, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [26, "turn_on_light r2 box1", 1]}
{"ts": 27, "act": "generated_states", "state_id": 26, "op": "turn_on_light r2 box1"}
{"ts":27, "act": "state_update", "state_id": 63, "g": -1, "real_g": -1}
{"ts": 27, "act": "evaluated_states", "state_id": 63, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 27}
{"ts":27, "act": "state_update", "state_id": 63, "h_goal_count": 3}
{"ts": 27, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 28}
{"ts":28, "act": "state_update", "state_id": 27, "g": 5, "real_g": 5}
{"ts": 28, "act": "expanded_states", "state_id": 27}
{"act": "end_group"}
{"act": "begin_group", "ts": 28}
{"ts":28, "act": "state_update", "state_id": 27, "h_ff": 10}
{"ts": 28, "act": "evaluated_heuristics", "count": 1}
{"ts":28, "act": "state_update", "state_id": 64, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [27, "move r2 r1", 1]}
{"ts": 28, "act": "generated_states", "state_id": 27, "op": "move r2 r1"}
{"ts":28, "act": "state_update", "state_id": 64, "g": -1, "real_g": -1}
{"ts": 28, "act": "evaluated_states", "state_id": 64, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 28}
{"ts":28, "act": "state_update", "state_id": 64, "h_goal_count": 3}
{"ts": 28, "act": "evaluated_heuristics", "count": 1}
{"ts":28, "act": "state_update", "state_id": 13, "new_parent": [27, "move r2 r3", 1]}
{"ts": 28, "act": "generated_states", "state_id": 27, "op": "move r2 r3"}
{"act": "end_group"}
{"act": "begin_group", "ts": 29}
{"ts":29, "act": "state_update", "state_id": 28, "g": 5, "real_g": 5}
{"ts": 29, "act": "expanded_states", "state_id": 28}
{"act": "end_group"}
{"act": "begin_group", "ts": 29}
{"ts":29, "act": "state_update", "state_id": 28, "h_ff": 9}
{"ts": 29, "act": "evaluated_heuristics", "count": 1}
{"ts":29, "act": "state_update", "state_id": 65, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [28, "push box1 r3 r2", 1]}
{"ts": 29, "act": "generated_states", "state_id": 28, "op": "push box1 r3 r2"}
{"ts":29, "act": "state_update", "state_id": 65, "g": -1, "real_g": -1}
{"ts": 29, "act": "evaluated_states", "state_id": 65, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 29}
{"ts":29, "act": "state_update", "state_id": 65, "h_goal_count": 3}
{"ts": 29, "act": "evaluated_heuristics", "count": 1}
{"ts":29, "act": "state_update", "state_id": 66, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [28, "move r3 r2", 1]}
{"ts": 29, "act": "generated_states", "state_id": 28, "op": "move r3 r2"}
{"ts":29, "act": "state_update", "state_id": 66, "g": -1, "real_g": -1}
{"ts": 29, "act": "evaluated_states", "state_id": 66, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 29}
{"ts":29, "act": "state_update", "state_id": 66, "h_goal_count": 3}
{"ts": 29, "act": "evaluated_heuristics", "count": 1}
{"ts":29, "act": "state_update", "state_id": 67, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "2(Atom hold_on(right, small3))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [28, "grab small3 r3 right", 1]}
{"ts": 29, "act": "generated_states", "state_id": 28, "op": "grab small3 r3 right"}
{"ts":29, "act": "state_update", "state_id": 67, "g": -1, "real_g": -1}
{"ts": 29, "act": "evaluated_states", "state_id": 67, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 29}
{"ts":29, "act": "state_update", "state_id": 67, "h_goal_count": 3}
{"ts": 29, "act": "evaluated_heuristics", "count": 1}
{"ts":29, "act": "state_update", "state_id": 68, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "3(Atom hold_on(right, small4))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [28, "grab small4 r3 right", 1]}
{"ts": 29, "act": "generated_states", "state_id": 28, "op": "grab small4 r3 right"}
{"ts":29, "act": "state_update", "state_id": 68, "g": -1, "real_g": -1}
{"ts": 29, "act": "evaluated_states", "state_id": 68, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 29}
{"ts":29, "act": "state_update", "state_id": 68, "h_goal_count": 3}
{"ts": 29, "act": "evaluated_heuristics", "count": 1}
{"ts":29, "act": "state_update", "state_id": 13, "new_parent": [28, "release small3 r3 left", 1]}
{"ts": 29, "act": "generated_states", "state_id": 28, "op": "release small3 r3 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 30}
{"ts":30, "act": "state_update", "state_id": 29, "g": 5, "real_g": 5}
{"ts": 30, "act": "expanded_states", "state_id": 29}
{"act": "end_group"}
{"act": "begin_group", "ts": 30}
{"ts":30, "act": "state_update", "state_id": 29, "h_ff": 9}
{"ts": 30, "act": "evaluated_heuristics", "count": 1}
{"ts":30, "act": "state_update", "state_id": 69, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [29, "push box1 r3 r2", 1]}
{"ts": 30, "act": "generated_states", "state_id": 29, "op": "push box1 r3 r2"}
{"ts":30, "act": "state_update", "state_id": 69, "g": -1, "real_g": -1}
{"ts": 30, "act": "evaluated_states", "state_id": 69, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 30}
{"ts":30, "act": "state_update", "state_id": 69, "h_goal_count": 3}
{"ts": 30, "act": "evaluated_heuristics", "count": 1}
{"ts":30, "act": "state_update", "state_id": 70, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [29, "move r3 r2", 1]}
{"ts": 30, "act": "generated_states", "state_id": 29, "op": "move r3 r2"}
{"ts":30, "act": "state_update", "state_id": 70, "g": -1, "real_g": -1}
{"ts": 30, "act": "evaluated_states", "state_id": 70, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 30}
{"ts":30, "act": "state_update", "state_id": 70, "h_goal_count": 3}
{"ts": 30, "act": "evaluated_heuristics", "count": 1}
{"ts":30, "act": "state_update", "state_id": 71, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "2(Atom hold_on(right, small3))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [29, "grab small3 r3 right", 1]}
{"ts": 30, "act": "generated_states", "state_id": 29, "op": "grab small3 r3 right"}
{"ts":30, "act": "state_update", "state_id": 71, "g": -1, "real_g": -1}
{"ts": 30, "act": "evaluated_states", "state_id": 71, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 30}
{"ts":30, "act": "state_update", "state_id": 71, "h_goal_count": 3}
{"ts": 30, "act": "evaluated_heuristics", "count": 1}
{"ts":30, "act": "state_update", "state_id": 72, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "3(Atom hold_on(right, small4))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [29, "grab small4 r3 right", 1]}
{"ts": 30, "act": "generated_states", "state_id": 29, "op": "grab small4 r3 right"}
{"ts":30, "act": "state_update", "state_id": 72, "g": -1, "real_g": -1}
{"ts": 30, "act": "evaluated_states", "state_id": 72, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 30}
{"ts":30, "act": "state_update", "state_id": 72, "h_goal_count": 3}
{"ts": 30, "act": "evaluated_heuristics", "count": 1}
{"ts":30, "act": "state_update", "state_id": 13, "new_parent": [29, "release small4 r3 left", 1]}
{"ts": 30, "act": "generated_states", "state_id": 29, "op": "release small4 r3 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 31}
{"ts":31, "act": "state_update", "state_id": 32, "g": 4, "real_g": 4}
{"ts": 31, "act": "expanded_states", "state_id": 32}
{"act": "end_group"}
{"act": "begin_group", "ts": 31}
{"ts":31, "act": "state_update", "state_id": 32, "h_ff": 11}
{"ts": 31, "act": "evaluated_heuristics", "count": 1}
{"ts":31, "act": "state_update", "state_id": 45, "new_parent": [32, "move r2 r1", 1]}
{"ts": 31, "act": "generated_states", "state_id": 32, "op": "move r2 r1"}
{"ts":31, "act": "state_update", "state_id": 45, "g": 5, "real_g": 5}
{"ts":31, "act": "state_update", "state_id": 73, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [32, "move r2 r3", 1]}
{"ts": 31, "act": "generated_states", "state_id": 32, "op": "move r2 r3"}
{"ts":31, "act": "state_update", "state_id": 73, "g": -1, "real_g": -1}
{"ts": 31, "act": "evaluated_states", "state_id": 73, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 31}
{"ts":31, "act": "state_update", "state_id": 73, "h_goal_count": 3}
{"ts": 31, "act": "evaluated_heuristics", "count": 1}
{"ts":31, "act": "state_update", "state_id": 11, "new_parent": [32, "push box1 r2 r1", 1]}
{"ts": 31, "act": "generated_states", "state_id": 32, "op": "push box1 r2 r1"}
{"ts":31, "act": "state_update", "state_id": 74, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [32, "push box1 r2 r3", 1]}
{"ts": 31, "act": "generated_states", "state_id": 32, "op": "push box1 r2 r3"}
{"ts":31, "act": "state_update", "state_id": 74, "g": -1, "real_g": -1}
{"ts": 31, "act": "evaluated_states", "state_id": 74, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 31}
{"ts":31, "act": "state_update", "state_id": 74, "h_goal_count": 3}
{"ts": 31, "act": "evaluated_heuristics", "count": 1}
{"ts":31, "act": "state_update", "state_id": 75, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [32, "turn_on_light r2 box1", 1]}
{"ts": 31, "act": "generated_states", "state_id": 32, "op": "turn_on_light r2 box1"}
{"ts":31, "act": "state_update", "state_id": 75, "g": -1, "real_g": -1}
{"ts": 31, "act": "evaluated_states", "state_id": 75, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 31}
{"ts":31, "act": "state_update", "state_id": 75, "h_goal_count": 3}
{"ts": 31, "act": "evaluated_heuristics", "count": 1}
{"ts":31, "act": "state_update", "state_id": 76, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "0(Atom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [32, "release small1 r2 left", 1]}
{"ts": 31, "act": "generated_states", "state_id": 32, "op": "release small1 r2 left"}
{"ts":31, "act": "state_update", "state_id": 76, "g": -1, "real_g": -1}
{"ts": 31, "act": "evaluated_states", "state_id": 76, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 31}
{"ts":31, "act": "state_update", "state_id": 76, "h_goal_count": 3}
{"ts": 31, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 32}
{"ts":32, "act": "state_update", "state_id": 33, "g": 4, "real_g": 4}
{"ts": 32, "act": "expanded_states", "state_id": 33}
{"act": "end_group"}
{"act": "begin_group", "ts": 32}
{"ts":32, "act": "state_update", "state_id": 33, "h_ff": 12}
{"ts": 32, "act": "evaluated_heuristics", "count": 1}
{"ts":32, "act": "state_update", "state_id": 11, "new_parent": [33, "move r2 r1", 1]}
{"ts": 32, "act": "generated_states", "state_id": 33, "op": "move r2 r1"}
{"ts":32, "act": "state_update", "state_id": 77, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "0(Atom hold_on(left, small1))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [33, "move r2 r3", 1]}
{"ts": 32, "act": "generated_states", "state_id": 33, "op": "move r2 r3"}
{"ts":32, "act": "state_update", "state_id": 77, "g": -1, "real_g": -1}
{"ts": 32, "act": "evaluated_states", "state_id": 77, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 32}
{"ts":32, "act": "state_update", "state_id": 77, "h_goal_count": 3}
{"ts": 32, "act": "evaluated_heuristics", "count": 1}
{"ts":32, "act": "state_update", "state_id": 78, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "0(Atom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [33, "release small1 r2 left", 1]}
{"ts": 32, "act": "generated_states", "state_id": 33, "op": "release small1 r2 left"}
{"ts":32, "act": "state_update", "state_id": 78, "g": -1, "real_g": -1}
{"ts": 32, "act": "evaluated_states", "state_id": 78, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 32}
{"ts":32, "act": "state_update", "state_id": 78, "h_goal_count": 3}
{"ts": 32, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 33}
{"ts":33, "act": "state_update", "state_id": 35, "g": 5, "real_g": 5}
{"ts": 33, "act": "expanded_states", "state_id": 35}
{"act": "end_group"}
{"act": "begin_group", "ts": 33}
{"ts":33, "act": "state_update", "state_id": 35, "h_ff": 11}
{"ts": 33, "act": "evaluated_heuristics", "count": 1}
{"ts":33, "act": "state_update", "state_id": 14, "new_parent": [35, "move r1 r2", 1]}
{"ts": 33, "act": "generated_states", "state_id": 35, "op": "move r1 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 34}
{"ts":34, "act": "state_update", "state_id": 36, "g": 4, "real_g": 4}
{"ts": 34, "act": "expanded_states", "state_id": 36}
{"act": "end_group"}
{"act": "begin_group", "ts": 34}
{"ts":34, "act": "state_update", "state_id": 36, "h_ff": 11}
{"ts": 34, "act": "evaluated_heuristics", "count": 1}
{"ts":34, "act": "state_update", "state_id": 46, "new_parent": [36, "move r2 r1", 1]}
{"ts": 34, "act": "generated_states", "state_id": 36, "op": "move r2 r1"}
{"ts":34, "act": "state_update", "state_id": 46, "g": 5, "real_g": 5}
{"ts":34, "act": "state_update", "state_id": 79, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [36, "move r2 r3", 1]}
{"ts": 34, "act": "generated_states", "state_id": 36, "op": "move r2 r3"}
{"ts":34, "act": "state_update", "state_id": 79, "g": -1, "real_g": -1}
{"ts": 34, "act": "evaluated_states", "state_id": 79, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 34}
{"ts":34, "act": "state_update", "state_id": 79, "h_goal_count": 3}
{"ts": 34, "act": "evaluated_heuristics", "count": 1}
{"ts":34, "act": "state_update", "state_id": 12, "new_parent": [36, "push box1 r2 r1", 1]}
{"ts": 34, "act": "generated_states", "state_id": 36, "op": "push box1 r2 r1"}
{"ts":34, "act": "state_update", "state_id": 80, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [36, "push box1 r2 r3", 1]}
{"ts": 34, "act": "generated_states", "state_id": 36, "op": "push box1 r2 r3"}
{"ts":34, "act": "state_update", "state_id": 80, "g": -1, "real_g": -1}
{"ts": 34, "act": "evaluated_states", "state_id": 80, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 34}
{"ts":34, "act": "state_update", "state_id": 80, "h_goal_count": 3}
{"ts": 34, "act": "evaluated_heuristics", "count": 1}
{"ts":34, "act": "state_update", "state_id": 81, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [36, "turn_on_light r2 box1", 1]}
{"ts": 34, "act": "generated_states", "state_id": 36, "op": "turn_on_light r2 box1"}
{"ts":34, "act": "state_update", "state_id": 81, "g": -1, "real_g": -1}
{"ts": 34, "act": "evaluated_states", "state_id": 81, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 34}
{"ts":34, "act": "state_update", "state_id": 81, "h_goal_count": 3}
{"ts": 34, "act": "evaluated_heuristics", "count": 1}
{"ts":34, "act": "state_update", "state_id": 76, "new_parent": [36, "release small1 r2 right", 1]}
{"ts": 34, "act": "generated_states", "state_id": 36, "op": "release small1 r2 right"}
{"ts":34, "act": "state_update", "state_id": 76, "g": 5, "real_g": 5}
{"act": "end_group"}
{"act": "begin_group", "ts": 35}
{"ts":35, "act": "state_update", "state_id": 37, "g": 4, "real_g": 4}
{"ts": 35, "act": "expanded_states", "state_id": 37}
{"act": "end_group"}
{"act": "begin_group", "ts": 35}
{"ts":35, "act": "state_update", "state_id": 37, "h_ff": 12}
{"ts": 35, "act": "evaluated_heuristics", "count": 1}
{"ts":35, "act": "state_update", "state_id": 12, "new_parent": [37, "move r2 r1", 1]}
{"ts": 35, "act": "generated_states", "state_id": 37, "op": "move r2 r1"}
{"ts":35, "act": "state_update", "state_id": 82, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "0(Atom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "0(Atom hold_on(right, small1))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [37, "move r2 r3", 1]}
{"ts": 35, "act": "generated_states", "state_id": 37, "op": "move r2 r3"}
{"ts":35, "act": "state_update", "state_id": 82, "g": -1, "real_g": -1}
{"ts": 35, "act": "evaluated_states", "state_id": 82, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 35}
{"ts":35, "act": "state_update", "state_id": 82, "h_goal_count": 3}
{"ts": 35, "act": "evaluated_heuristics", "count": 1}
{"ts":35, "act": "state_update", "state_id": 78, "new_parent": [37, "release small1 r2 right", 1]}
{"ts": 35, "act": "generated_states", "state_id": 37, "op": "release small1 r2 right"}
{"ts":35, "act": "state_update", "state_id": 78, "g": 5, "real_g": 5}
{"act": "end_group"}
{"act": "begin_group", "ts": 36}
{"ts":36, "act": "state_update", "state_id": 30, "g": 5, "real_g": 5}
{"ts": 36, "act": "expanded_states", "state_id": 30}
{"act": "end_group"}
{"act": "begin_group", "ts": 36}
{"ts":36, "act": "state_update", "state_id": 30, "h_ff": 9}
{"ts": 36, "act": "evaluated_heuristics", "count": 1}
{"ts":36, "act": "state_update", "state_id": 83, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "2(Atom hold_on(right, small3))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [30, "push box1 r3 r2", 1]}
{"ts": 36, "act": "generated_states", "state_id": 30, "op": "push box1 r3 r2"}
{"ts":36, "act": "state_update", "state_id": 83, "g": -1, "real_g": -1}
{"ts": 36, "act": "evaluated_states", "state_id": 83, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 36}
{"ts":36, "act": "state_update", "state_id": 83, "h_goal_count": 3}
{"ts": 36, "act": "evaluated_heuristics", "count": 1}
{"ts":36, "act": "state_update", "state_id": 84, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "2(Atom hold_on(right, small3))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [30, "move r3 r2", 1]}
{"ts": 36, "act": "generated_states", "state_id": 30, "op": "move r3 r2"}
{"ts":36, "act": "state_update", "state_id": 84, "g": -1, "real_g": -1}
{"ts": 36, "act": "evaluated_states", "state_id": 84, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 36}
{"ts":36, "act": "state_update", "state_id": 84, "h_goal_count": 3}
{"ts": 36, "act": "evaluated_heuristics", "count": 1}
{"ts":36, "act": "state_update", "state_id": 67, "new_parent": [30, "grab small3 r3 left", 1]}
{"ts": 36, "act": "generated_states", "state_id": 30, "op": "grab small3 r3 left"}
{"ts":36, "act": "state_update", "state_id": 67, "g": 6, "real_g": 6}
{"ts":36, "act": "state_update", "state_id": 71, "new_parent": [30, "grab small4 r3 left", 1]}
{"ts": 36, "act": "generated_states", "state_id": 30, "op": "grab small4 r3 left"}
{"ts":36, "act": "state_update", "state_id": 71, "g": 6, "real_g": 6}
{"ts":36, "act": "state_update", "state_id": 13, "new_parent": [30, "release small3 r3 right", 1]}
{"ts": 36, "act": "generated_states", "state_id": 30, "op": "release small3 r3 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 37}
{"ts":37, "act": "state_update", "state_id": 38, "g": 5, "real_g": 5}
{"ts": 37, "act": "expanded_states", "state_id": 38}
{"act": "end_group"}
{"act": "begin_group", "ts": 37}
{"ts":37, "act": "state_update", "state_id": 38, "h_ff": 8}
{"ts": 37, "act": "evaluated_heuristics", "count": 1}
{"ts":37, "act": "state_update", "state_id": 63, "new_parent": [38, "push box1 r3 r2", 1]}
{"ts": 37, "act": "generated_states", "state_id": 38, "op": "push box1 r3 r2"}
{"ts":37, "act": "state_update", "state_id": 63, "g": 6, "real_g": 6}
{"ts":37, "act": "state_update", "state_id": 85, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [38, "move r3 r2", 1]}
{"ts": 37, "act": "generated_states", "state_id": 38, "op": "move r3 r2"}
{"ts":37, "act": "state_update", "state_id": 85, "g": -1, "real_g": -1}
{"ts": 37, "act": "evaluated_states", "state_id": 85, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 37}
{"ts":37, "act": "state_update", "state_id": 85, "h_goal_count": 3}
{"ts": 37, "act": "evaluated_heuristics", "count": 1}
{"ts":37, "act": "state_update", "state_id": 86, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [38, "grab small3 r3 left", 1]}
{"ts": 37, "act": "generated_states", "state_id": 38, "op": "grab small3 r3 left"}
{"ts":37, "act": "state_update", "state_id": 86, "g": -1, "real_g": -1}
{"ts": 37, "act": "evaluated_states", "state_id": 86, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 37}
{"ts":37, "act": "state_update", "state_id": 86, "h_goal_count": 3}
{"ts": 37, "act": "evaluated_heuristics", "count": 1}
{"ts":37, "act": "state_update", "state_id": 87, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [38, "grab small4 r3 left", 1]}
{"ts": 37, "act": "generated_states", "state_id": 38, "op": "grab small4 r3 left"}
{"ts":37, "act": "state_update", "state_id": 87, "g": -1, "real_g": -1}
{"ts": 37, "act": "evaluated_states", "state_id": 87, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 37}
{"ts":37, "act": "state_update", "state_id": 87, "h_goal_count": 3}
{"ts": 37, "act": "evaluated_heuristics", "count": 1}
{"ts":37, "act": "state_update", "state_id": 88, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "2(Atom hold_on(right, small3))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [38, "grab small3 r3 right", 1]}
{"ts": 37, "act": "generated_states", "state_id": 38, "op": "grab small3 r3 right"}
{"ts":37, "act": "state_update", "state_id": 88, "g": -1, "real_g": -1}
{"ts": 37, "act": "evaluated_states", "state_id": 88, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 37}
{"ts":37, "act": "state_update", "state_id": 88, "h_goal_count": 3}
{"ts": 37, "act": "evaluated_heuristics", "count": 1}
{"ts":37, "act": "state_update", "state_id": 89, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "3(Atom hold_on(right, small4))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [38, "grab small4 r3 right", 1]}
{"ts": 37, "act": "generated_states", "state_id": 38, "op": "grab small4 r3 right"}
{"ts":37, "act": "state_update", "state_id": 89, "g": -1, "real_g": -1}
{"ts": 37, "act": "evaluated_states", "state_id": 89, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 37}
{"ts":37, "act": "state_update", "state_id": 89, "h_goal_count": 3}
{"ts": 37, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 38}
{"ts":38, "act": "state_update", "state_id": 31, "g": 5, "real_g": 5}
{"ts": 38, "act": "expanded_states", "state_id": 31}
{"act": "end_group"}
{"act": "begin_group", "ts": 38}
{"ts":38, "act": "state_update", "state_id": 31, "h_ff": 9}
{"ts": 38, "act": "evaluated_heuristics", "count": 1}
{"ts":38, "act": "state_update", "state_id": 90, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "3(Atom hold_on(right, small4))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [31, "push box1 r3 r2", 1]}
{"ts": 38, "act": "generated_states", "state_id": 31, "op": "push box1 r3 r2"}
{"ts":38, "act": "state_update", "state_id": 90, "g": -1, "real_g": -1}
{"ts": 38, "act": "evaluated_states", "state_id": 90, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 38}
{"ts":38, "act": "state_update", "state_id": 90, "h_goal_count": 3}
{"ts": 38, "act": "evaluated_heuristics", "count": 1}
{"ts":38, "act": "state_update", "state_id": 91, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "1(NegatedAtom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "3(Atom hold_on(right, small4))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [31, "move r3 r2", 1]}
{"ts": 38, "act": "generated_states", "state_id": 31, "op": "move r3 r2"}
{"ts":38, "act": "state_update", "state_id": 91, "g": -1, "real_g": -1}
{"ts": 38, "act": "evaluated_states", "state_id": 91, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 38}
{"ts":38, "act": "state_update", "state_id": 91, "h_goal_count": 3}
{"ts": 38, "act": "evaluated_heuristics", "count": 1}
{"ts":38, "act": "state_update", "state_id": 68, "new_parent": [31, "grab small3 r3 left", 1]}
{"ts": 38, "act": "generated_states", "state_id": 31, "op": "grab small3 r3 left"}
{"ts":38, "act": "state_update", "state_id": 68, "g": 6, "real_g": 6}
{"ts":38, "act": "state_update", "state_id": 72, "new_parent": [31, "grab small4 r3 left", 1]}
{"ts": 38, "act": "generated_states", "state_id": 31, "op": "grab small4 r3 left"}
{"ts":38, "act": "state_update", "state_id": 72, "g": 6, "real_g": 6}
{"ts":38, "act": "state_update", "state_id": 13, "new_parent": [31, "release small4 r3 right", 1]}
{"ts": 38, "act": "generated_states", "state_id": 31, "op": "release small4 r3 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 39}
{"ts":39, "act": "state_update", "state_id": 39, "g": 5, "real_g": 5}
{"ts": 39, "act": "expanded_states", "state_id": 39}
{"act": "end_group"}
{"act": "begin_group", "ts": 39}
{"ts":39, "act": "state_update", "state_id": 39, "h_ff": 9}
{"ts": 39, "act": "evaluated_heuristics", "count": 1}
{"ts":39, "act": "state_update", "state_id": 92, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [39, "move r2 r1", 1]}
{"ts": 39, "act": "generated_states", "state_id": 39, "op": "move r2 r1"}
{"ts":39, "act": "state_update", "state_id": 92, "g": -1, "real_g": -1}
{"ts": 39, "act": "evaluated_states", "state_id": 92, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 39}
{"ts":39, "act": "state_update", "state_id": 92, "h_goal_count": 3}
{"ts": 39, "act": "evaluated_heuristics", "count": 1}
{"ts":39, "act": "state_update", "state_id": 18, "new_parent": [39, "move r2 r3", 1]}
{"ts": 39, "act": "generated_states", "state_id": 39, "op": "move r2 r3"}
{"ts":39, "act": "state_update", "state_id": 93, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [39, "grab small2 r2 left", 1]}
{"ts": 39, "act": "generated_states", "state_id": 39, "op": "grab small2 r2 left"}
{"ts":39, "act": "state_update", "state_id": 93, "g": -1, "real_g": -1}
{"ts": 39, "act": "evaluated_states", "state_id": 93, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 39}
{"ts":39, "act": "state_update", "state_id": 93, "h_goal_count": 3}
{"ts": 39, "act": "evaluated_heuristics", "count": 1}
{"ts":39, "act": "state_update", "state_id": 94, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [39, "grab small2 r2 right", 1]}
{"ts": 39, "act": "generated_states", "state_id": 39, "op": "grab small2 r2 right"}
{"ts":39, "act": "state_update", "state_id": 94, "g": -1, "real_g": -1}
{"ts": 39, "act": "evaluated_states", "state_id": 94, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 39}
{"ts":39, "act": "state_update", "state_id": 94, "h_goal_count": 3}
{"ts": 39, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 40}
{"ts":40, "act": "state_update", "state_id": 40, "g": 5, "real_g": 5}
{"ts": 40, "act": "expanded_states", "state_id": 40}
{"act": "end_group"}
{"act": "begin_group", "ts": 40}
{"ts":40, "act": "state_update", "state_id": 40, "h_ff": 9}
{"ts": 40, "act": "evaluated_heuristics", "count": 1}
{"ts":40, "act": "state_update", "state_id": 20, "new_parent": [40, "move r1 r2", 1]}
{"ts": 40, "act": "generated_states", "state_id": 40, "op": "move r1 r2"}
{"ts":40, "act": "state_update", "state_id": 95, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [40, "release small2 r1 right", 1]}
{"ts": 40, "act": "generated_states", "state_id": 40, "op": "release small2 r1 right"}
{"ts":40, "act": "state_update", "state_id": 95, "g": -1, "real_g": -1}
{"ts": 40, "act": "evaluated_states", "state_id": 95, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 40}
{"ts":40, "act": "state_update", "state_id": 95, "h_goal_count": 2}
{"ts": 40, "act": "evaluated_heuristics", "count": 1}
{"ts": 40, "act": "boost_preferred", "count": 256}
{"act": "end_group"}
{"act": "begin_group", "ts": 41}
{"ts":41, "act": "state_update", "state_id": 95, "g": 6, "real_g": 6}
{"ts": 41, "act": "expanded_states", "state_id": 95}
{"act": "end_group"}
{"act": "begin_group", "ts": 41}
{"ts":41, "act": "state_update", "state_id": 95, "h_ff": 8}
{"ts": 41, "act": "evaluated_heuristics", "count": 1}
{"ts":41, "act": "state_update", "state_id": 96, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [95, "move r1 r2", 1]}
{"ts": 41, "act": "generated_states", "state_id": 95, "op": "move r1 r2"}
{"ts":41, "act": "state_update", "state_id": 96, "g": -1, "real_g": -1}
{"ts": 41, "act": "evaluated_states", "state_id": 96, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 41}
{"ts":41, "act": "state_update", "state_id": 96, "h_goal_count": 2}
{"ts": 41, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 42}
{"ts":42, "act": "state_update", "state_id": 96, "g": 7, "real_g": 7}
{"ts": 42, "act": "expanded_states", "state_id": 96}
{"act": "end_group"}
{"act": "begin_group", "ts": 42}
{"ts":42, "act": "state_update", "state_id": 96, "h_ff": 8}
{"ts": 42, "act": "evaluated_heuristics", "count": 1}
{"ts":42, "act": "state_update", "state_id": 95, "new_parent": [96, "move r2 r1", 1]}
{"ts": 42, "act": "generated_states", "state_id": 96, "op": "move r2 r1"}
{"ts":42, "act": "state_update", "state_id": 97, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [96, "move r2 r3", 1]}
{"ts": 42, "act": "generated_states", "state_id": 96, "op": "move r2 r3"}
{"ts":42, "act": "state_update", "state_id": 97, "g": -1, "real_g": -1}
{"ts": 42, "act": "evaluated_states", "state_id": 97, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 42}
{"ts":42, "act": "state_update", "state_id": 97, "h_goal_count": 2}
{"ts": 42, "act": "evaluated_heuristics", "count": 1}
{"ts":42, "act": "state_update", "state_id": 98, "state": {"var0": "0(Atom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [96, "push box1 r2 r1", 1]}
{"ts": 42, "act": "generated_states", "state_id": 96, "op": "push box1 r2 r1"}
{"ts":42, "act": "state_update", "state_id": 98, "g": -1, "real_g": -1}
{"ts": 42, "act": "evaluated_states", "state_id": 98, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 42}
{"ts":42, "act": "state_update", "state_id": 98, "h_goal_count": 2}
{"ts": 42, "act": "evaluated_heuristics", "count": 1}
{"ts":42, "act": "state_update", "state_id": 99, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [96, "push box1 r2 r3", 1]}
{"ts": 42, "act": "generated_states", "state_id": 96, "op": "push box1 r2 r3"}
{"ts":42, "act": "state_update", "state_id": 99, "g": -1, "real_g": -1}
{"ts": 42, "act": "evaluated_states", "state_id": 99, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 42}
{"ts":42, "act": "state_update", "state_id": 99, "h_goal_count": 2}
{"ts": 42, "act": "evaluated_heuristics", "count": 1}
{"ts":42, "act": "state_update", "state_id": 100, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [96, "grab small2 r2 left", 1]}
{"ts": 42, "act": "generated_states", "state_id": 96, "op": "grab small2 r2 left"}
{"ts":42, "act": "state_update", "state_id": 100, "g": -1, "real_g": -1}
{"ts": 42, "act": "evaluated_states", "state_id": 100, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 42}
{"ts":42, "act": "state_update", "state_id": 100, "h_goal_count": 2}
{"ts": 42, "act": "evaluated_heuristics", "count": 1}
{"ts":42, "act": "state_update", "state_id": 101, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [96, "grab small2 r2 right", 1]}
{"ts": 42, "act": "generated_states", "state_id": 96, "op": "grab small2 r2 right"}
{"ts":42, "act": "state_update", "state_id": 101, "g": -1, "real_g": -1}
{"ts": 42, "act": "evaluated_states", "state_id": 101, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 42}
{"ts":42, "act": "state_update", "state_id": 101, "h_goal_count": 2}
{"ts": 42, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 43}
{"ts":43, "act": "state_update", "state_id": 97, "g": 8, "real_g": 8}
{"ts": 43, "act": "expanded_states", "state_id": 97}
{"act": "end_group"}
{"act": "begin_group", "ts": 43}
{"ts":43, "act": "state_update", "state_id": 97, "h_ff": 8}
{"ts": 43, "act": "evaluated_heuristics", "count": 1}
{"ts":43, "act": "state_update", "state_id": 96, "new_parent": [97, "move r3 r2", 1]}
{"ts": 43, "act": "generated_states", "state_id": 97, "op": "move r3 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 44}
{"ts":44, "act": "state_update", "state_id": 99, "g": 8, "real_g": 8}
{"ts": 44, "act": "expanded_states", "state_id": 99}
{"act": "end_group"}
{"act": "begin_group", "ts": 44}
{"ts":44, "act": "state_update", "state_id": 99, "h_ff": 7}
{"ts": 44, "act": "evaluated_heuristics", "count": 1}
{"ts":44, "act": "state_update", "state_id": 96, "new_parent": [99, "push box1 r3 r2", 1]}
{"ts": 44, "act": "generated_states", "state_id": 99, "op": "push box1 r3 r2"}
{"ts":44, "act": "state_update", "state_id": 102, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [99, "turn_on_light r3 box1", 1]}
{"ts": 44, "act": "generated_states", "state_id": 99, "op": "turn_on_light r3 box1"}
{"ts":44, "act": "state_update", "state_id": 102, "g": -1, "real_g": -1}
{"ts": 44, "act": "evaluated_states", "state_id": 102, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 44}
{"ts":44, "act": "state_update", "state_id": 102, "h_goal_count": 2}
{"ts": 44, "act": "evaluated_heuristics", "count": 1}
{"ts":44, "act": "state_update", "state_id": 103, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [99, "move r3 r2", 1]}
{"ts": 44, "act": "generated_states", "state_id": 99, "op": "move r3 r2"}
{"ts":44, "act": "state_update", "state_id": 103, "g": -1, "real_g": -1}
{"ts": 44, "act": "evaluated_states", "state_id": 103, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 44}
{"ts":44, "act": "state_update", "state_id": 103, "h_goal_count": 2}
{"ts": 44, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 102, "g": 9, "real_g": 9}
{"ts": 45, "act": "expanded_states", "state_id": 102}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 102, "h_ff": 6}
{"ts": 45, "act": "evaluated_heuristics", "count": 1}
{"ts":45, "act": "state_update", "state_id": 104, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [102, "push box1 r3 r2", 1]}
{"ts": 45, "act": "generated_states", "state_id": 102, "op": "push box1 r3 r2"}
{"ts":45, "act": "state_update", "state_id": 104, "g": -1, "real_g": -1}
{"ts": 45, "act": "evaluated_states", "state_id": 104, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 104, "h_goal_count": 2}
{"ts": 45, "act": "evaluated_heuristics", "count": 1}
{"ts":45, "act": "state_update", "state_id": 105, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [102, "move r3 r2", 1]}
{"ts": 45, "act": "generated_states", "state_id": 102, "op": "move r3 r2"}
{"ts":45, "act": "state_update", "state_id": 105, "g": -1, "real_g": -1}
{"ts": 45, "act": "evaluated_states", "state_id": 105, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 105, "h_goal_count": 2}
{"ts": 45, "act": "evaluated_heuristics", "count": 1}
{"ts":45, "act": "state_update", "state_id": 106, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [102, "grab small3 r3 left", 1]}
{"ts": 45, "act": "generated_states", "state_id": 102, "op": "grab small3 r3 left"}
{"ts":45, "act": "state_update", "state_id": 106, "g": -1, "real_g": -1}
{"ts": 45, "act": "evaluated_states", "state_id": 106, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 106, "h_goal_count": 2}
{"ts": 45, "act": "evaluated_heuristics", "count": 1}
{"ts":45, "act": "state_update", "state_id": 107, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [102, "grab small4 r3 left", 1]}
{"ts": 45, "act": "generated_states", "state_id": 102, "op": "grab small4 r3 left"}
{"ts":45, "act": "state_update", "state_id": 107, "g": -1, "real_g": -1}
{"ts": 45, "act": "evaluated_states", "state_id": 107, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 107, "h_goal_count": 2}
{"ts": 45, "act": "evaluated_heuristics", "count": 1}
{"ts":45, "act": "state_update", "state_id": 108, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "2(Atom hold_on(right, small3))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [102, "grab small3 r3 right", 1]}
{"ts": 45, "act": "generated_states", "state_id": 102, "op": "grab small3 r3 right"}
{"ts":45, "act": "state_update", "state_id": 108, "g": -1, "real_g": -1}
{"ts": 45, "act": "evaluated_states", "state_id": 108, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 108, "h_goal_count": 2}
{"ts": 45, "act": "evaluated_heuristics", "count": 1}
{"ts":45, "act": "state_update", "state_id": 109, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "3(Atom hold_on(right, small4))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [102, "grab small4 r3 right", 1]}
{"ts": 45, "act": "generated_states", "state_id": 102, "op": "grab small4 r3 right"}
{"ts":45, "act": "state_update", "state_id": 109, "g": -1, "real_g": -1}
{"ts": 45, "act": "evaluated_states", "state_id": 109, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 45}
{"ts":45, "act": "state_update", "state_id": 109, "h_goal_count": 2}
{"ts": 45, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 46}
{"ts":46, "act": "state_update", "state_id": 103, "g": 9, "real_g": 9}
{"ts": 46, "act": "expanded_states", "state_id": 103}
{"act": "end_group"}
{"act": "begin_group", "ts": 46}
{"ts":46, "act": "state_update", "state_id": 103, "h_ff": 7}
{"ts": 46, "act": "evaluated_heuristics", "count": 1}
{"ts":46, "act": "state_update", "state_id": 110, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [103, "move r2 r1", 1]}
{"ts": 46, "act": "generated_states", "state_id": 103, "op": "move r2 r1"}
{"ts":46, "act": "state_update", "state_id": 110, "g": -1, "real_g": -1}
{"ts": 46, "act": "evaluated_states", "state_id": 110, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 46}
{"ts":46, "act": "state_update", "state_id": 110, "h_goal_count": 2}
{"ts": 46, "act": "evaluated_heuristics", "count": 1}
{"ts":46, "act": "state_update", "state_id": 99, "new_parent": [103, "move r2 r3", 1]}
{"ts": 46, "act": "generated_states", "state_id": 103, "op": "move r2 r3"}
{"ts":46, "act": "state_update", "state_id": 111, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [103, "grab small2 r2 left", 1]}
{"ts": 46, "act": "generated_states", "state_id": 103, "op": "grab small2 r2 left"}
{"ts":46, "act": "state_update", "state_id": 111, "g": -1, "real_g": -1}
{"ts": 46, "act": "evaluated_states", "state_id": 111, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 46}
{"ts":46, "act": "state_update", "state_id": 111, "h_goal_count": 2}
{"ts": 46, "act": "evaluated_heuristics", "count": 1}
{"ts":46, "act": "state_update", "state_id": 112, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "1(NegatedAtom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [103, "grab small2 r2 right", 1]}
{"ts": 46, "act": "generated_states", "state_id": 103, "op": "grab small2 r2 right"}
{"ts":46, "act": "state_update", "state_id": 112, "g": -1, "real_g": -1}
{"ts": 46, "act": "evaluated_states", "state_id": 112, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 46}
{"ts":46, "act": "state_update", "state_id": 112, "h_goal_count": 2}
{"ts": 46, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 47}
{"ts":47, "act": "state_update", "state_id": 105, "g": 10, "real_g": 10}
{"ts": 47, "act": "expanded_states", "state_id": 105}
{"act": "end_group"}
{"act": "begin_group", "ts": 47}
{"ts":47, "act": "state_update", "state_id": 105, "h_ff": 6}
{"ts": 47, "act": "evaluated_heuristics", "count": 1}
{"ts":47, "act": "state_update", "state_id": 113, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [105, "move r2 r1", 1]}
{"ts": 47, "act": "generated_states", "state_id": 105, "op": "move r2 r1"}
{"ts":47, "act": "state_update", "state_id": 113, "g": -1, "real_g": -1}
{"ts": 47, "act": "evaluated_states", "state_id": 113, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 47}
{"ts":47, "act": "state_update", "state_id": 113, "h_goal_count": 2}
{"ts": 47, "act": "evaluated_heuristics", "count": 1}
{"ts":47, "act": "state_update", "state_id": 102, "new_parent": [105, "move r2 r3", 1]}
{"ts": 47, "act": "generated_states", "state_id": 105, "op": "move r2 r3"}
{"ts":47, "act": "state_update", "state_id": 114, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [105, "grab small2 r2 left", 1]}
{"ts": 47, "act": "generated_states", "state_id": 105, "op": "grab small2 r2 left"}
{"ts":47, "act": "state_update", "state_id": 114, "g": -1, "real_g": -1}
{"ts": 47, "act": "evaluated_states", "state_id": 114, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 47}
{"ts":47, "act": "state_update", "state_id": 114, "h_goal_count": 2}
{"ts": 47, "act": "evaluated_heuristics", "count": 1}
{"ts":47, "act": "state_update", "state_id": 115, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [105, "grab small2 r2 right", 1]}
{"ts": 47, "act": "generated_states", "state_id": 105, "op": "grab small2 r2 right"}
{"ts":47, "act": "state_update", "state_id": 115, "g": -1, "real_g": -1}
{"ts": 47, "act": "evaluated_states", "state_id": 115, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 47}
{"ts":47, "act": "state_update", "state_id": 115, "h_goal_count": 2}
{"ts": 47, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 48}
{"ts":48, "act": "state_update", "state_id": 106, "g": 10, "real_g": 10}
{"ts": 48, "act": "expanded_states", "state_id": 106}
{"act": "end_group"}
{"act": "begin_group", "ts": 48}
{"ts":48, "act": "state_update", "state_id": 106, "h_ff": 5}
{"ts": 48, "act": "evaluated_heuristics", "count": 1}
{"ts":48, "act": "state_update", "state_id": 116, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [106, "push box1 r3 r2", 1]}
{"ts": 48, "act": "generated_states", "state_id": 106, "op": "push box1 r3 r2"}
{"ts":48, "act": "state_update", "state_id": 116, "g": -1, "real_g": -1}
{"ts": 48, "act": "evaluated_states", "state_id": 116, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 48}
{"ts":48, "act": "state_update", "state_id": 116, "h_goal_count": 2}
{"ts": 48, "act": "evaluated_heuristics", "count": 1}
{"ts":48, "act": "state_update", "state_id": 117, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [106, "move r3 r2", 1]}
{"ts": 48, "act": "generated_states", "state_id": 106, "op": "move r3 r2"}
{"ts":48, "act": "state_update", "state_id": 117, "g": -1, "real_g": -1}
{"ts": 48, "act": "evaluated_states", "state_id": 117, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 48}
{"ts":48, "act": "state_update", "state_id": 117, "h_goal_count": 2}
{"ts": 48, "act": "evaluated_heuristics", "count": 1}
{"ts":48, "act": "state_update", "state_id": 118, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "2(Atom hold_on(right, small3))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [106, "grab small3 r3 right", 1]}
{"ts": 48, "act": "generated_states", "state_id": 106, "op": "grab small3 r3 right"}
{"ts":48, "act": "state_update", "state_id": 118, "g": -1, "real_g": -1}
{"ts": 48, "act": "evaluated_states", "state_id": 118, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 48}
{"ts":48, "act": "state_update", "state_id": 118, "h_goal_count": 2}
{"ts": 48, "act": "evaluated_heuristics", "count": 1}
{"ts":48, "act": "state_update", "state_id": 119, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "3(Atom hold_on(right, small4))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [106, "grab small4 r3 right", 1]}
{"ts": 48, "act": "generated_states", "state_id": 106, "op": "grab small4 r3 right"}
{"ts":48, "act": "state_update", "state_id": 119, "g": -1, "real_g": -1}
{"ts": 48, "act": "evaluated_states", "state_id": 119, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 48}
{"ts":48, "act": "state_update", "state_id": 119, "h_goal_count": 2}
{"ts": 48, "act": "evaluated_heuristics", "count": 1}
{"ts":48, "act": "state_update", "state_id": 102, "new_parent": [106, "release small3 r3 left", 1]}
{"ts": 48, "act": "generated_states", "state_id": 106, "op": "release small3 r3 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 49}
{"ts":49, "act": "state_update", "state_id": 107, "g": 10, "real_g": 10}
{"ts": 49, "act": "expanded_states", "state_id": 107}
{"act": "end_group"}
{"act": "begin_group", "ts": 49}
{"ts":49, "act": "state_update", "state_id": 107, "h_ff": 5}
{"ts": 49, "act": "evaluated_heuristics", "count": 1}
{"ts":49, "act": "state_update", "state_id": 120, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [107, "push box1 r3 r2", 1]}
{"ts": 49, "act": "generated_states", "state_id": 107, "op": "push box1 r3 r2"}
{"ts":49, "act": "state_update", "state_id": 120, "g": -1, "real_g": -1}
{"ts": 49, "act": "evaluated_states", "state_id": 120, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 49}
{"ts":49, "act": "state_update", "state_id": 120, "h_goal_count": 2}
{"ts": 49, "act": "evaluated_heuristics", "count": 1}
{"ts":49, "act": "state_update", "state_id": 121, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [107, "move r3 r2", 1]}
{"ts": 49, "act": "generated_states", "state_id": 107, "op": "move r3 r2"}
{"ts":49, "act": "state_update", "state_id": 121, "g": -1, "real_g": -1}
{"ts": 49, "act": "evaluated_states", "state_id": 121, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 49}
{"ts":49, "act": "state_update", "state_id": 121, "h_goal_count": 2}
{"ts": 49, "act": "evaluated_heuristics", "count": 1}
{"ts":49, "act": "state_update", "state_id": 122, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "2(Atom hold_on(right, small3))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [107, "grab small3 r3 right", 1]}
{"ts": 49, "act": "generated_states", "state_id": 107, "op": "grab small3 r3 right"}
{"ts":49, "act": "state_update", "state_id": 122, "g": -1, "real_g": -1}
{"ts": 49, "act": "evaluated_states", "state_id": 122, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 49}
{"ts":49, "act": "state_update", "state_id": 122, "h_goal_count": 2}
{"ts": 49, "act": "evaluated_heuristics", "count": 1}
{"ts":49, "act": "state_update", "state_id": 123, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "3(Atom hold_on(right, small4))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [107, "grab small4 r3 right", 1]}
{"ts": 49, "act": "generated_states", "state_id": 107, "op": "grab small4 r3 right"}
{"ts":49, "act": "state_update", "state_id": 123, "g": -1, "real_g": -1}
{"ts": 49, "act": "evaluated_states", "state_id": 123, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 49}
{"ts":49, "act": "state_update", "state_id": 123, "h_goal_count": 2}
{"ts": 49, "act": "evaluated_heuristics", "count": 1}
{"ts":49, "act": "state_update", "state_id": 102, "new_parent": [107, "release small4 r3 left", 1]}
{"ts": 49, "act": "generated_states", "state_id": 107, "op": "release small4 r3 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 50}
{"ts":50, "act": "state_update", "state_id": 110, "g": 10, "real_g": 10}
{"ts": 50, "act": "expanded_states", "state_id": 110}
{"act": "end_group"}
{"act": "begin_group", "ts": 50}
{"ts":50, "act": "state_update", "state_id": 110, "h_ff": 7}
{"ts": 50, "act": "evaluated_heuristics", "count": 1}
{"ts":50, "act": "state_update", "state_id": 103, "new_parent": [110, "move r1 r2", 1]}
{"ts": 50, "act": "generated_states", "state_id": 110, "op": "move r1 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 51}
{"ts":51, "act": "state_update", "state_id": 113, "g": 11, "real_g": 11}
{"ts": 51, "act": "expanded_states", "state_id": 113}
{"act": "end_group"}
{"act": "begin_group", "ts": 51}
{"ts":51, "act": "state_update", "state_id": 113, "h_ff": 6}
{"ts": 51, "act": "evaluated_heuristics", "count": 1}
{"ts":51, "act": "state_update", "state_id": 105, "new_parent": [113, "move r1 r2", 1]}
{"ts": 51, "act": "generated_states", "state_id": 113, "op": "move r1 r2"}
{"act": "end_group"}
{"act": "begin_group", "ts": 52}
{"ts":52, "act": "state_update", "state_id": 117, "g": 11, "real_g": 11}
{"ts": 52, "act": "expanded_states", "state_id": 117}
{"act": "end_group"}
{"act": "begin_group", "ts": 52}
{"ts":52, "act": "state_update", "state_id": 117, "h_ff": 5}
{"ts": 52, "act": "evaluated_heuristics", "count": 1}
{"ts":52, "act": "state_update", "state_id": 124, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [117, "move r2 r1", 1]}
{"ts": 52, "act": "generated_states", "state_id": 117, "op": "move r2 r1"}
{"ts":52, "act": "state_update", "state_id": 124, "g": -1, "real_g": -1}
{"ts": 52, "act": "evaluated_states", "state_id": 124, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 52}
{"ts":52, "act": "state_update", "state_id": 124, "h_goal_count": 2}
{"ts": 52, "act": "evaluated_heuristics", "count": 1}
{"ts":52, "act": "state_update", "state_id": 106, "new_parent": [117, "move r2 r3", 1]}
{"ts": 52, "act": "generated_states", "state_id": 117, "op": "move r2 r3"}
{"ts":52, "act": "state_update", "state_id": 125, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "1(Atom hold_on(right, small2))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [117, "grab small2 r2 right", 1]}
{"ts": 52, "act": "generated_states", "state_id": 117, "op": "grab small2 r2 right"}
{"ts":52, "act": "state_update", "state_id": 125, "g": -1, "real_g": -1}
{"ts": 52, "act": "evaluated_states", "state_id": 125, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 52}
{"ts":52, "act": "state_update", "state_id": 125, "h_goal_count": 2}
{"ts": 52, "act": "evaluated_heuristics", "count": 1}
{"ts":52, "act": "state_update", "state_id": 126, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "0(Atom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [117, "release small3 r2 left", 1]}
{"ts": 52, "act": "generated_states", "state_id": 117, "op": "release small3 r2 left"}
{"ts":52, "act": "state_update", "state_id": 126, "g": -1, "real_g": -1}
{"ts": 52, "act": "evaluated_states", "state_id": 126, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 52}
{"ts":52, "act": "state_update", "state_id": 126, "h_goal_count": 2}
{"ts": 52, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 53}
{"ts":53, "act": "state_update", "state_id": 119, "g": 11, "real_g": 11}
{"ts": 53, "act": "expanded_states", "state_id": 119}
{"act": "end_group"}
{"act": "begin_group", "ts": 53}
{"ts":53, "act": "state_update", "state_id": 119, "h_ff": 4}
{"ts": 53, "act": "evaluated_heuristics", "count": 1}
{"ts":53, "act": "state_update", "state_id": 127, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "3(Atom hold_on(right, small4))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [119, "push box1 r3 r2", 1]}
{"ts": 53, "act": "generated_states", "state_id": 119, "op": "push box1 r3 r2"}
{"ts":53, "act": "state_update", "state_id": 127, "g": -1, "real_g": -1}
{"ts": 53, "act": "evaluated_states", "state_id": 127, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 53}
{"ts":53, "act": "state_update", "state_id": 127, "h_goal_count": 2}
{"ts": 53, "act": "evaluated_heuristics", "count": 1}
{"ts":53, "act": "state_update", "state_id": 128, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "3(Atom hold_on(right, small4))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [119, "move r3 r2", 1]}
{"ts": 53, "act": "generated_states", "state_id": 119, "op": "move r3 r2"}
{"ts":53, "act": "state_update", "state_id": 128, "g": -1, "real_g": -1}
{"ts": 53, "act": "evaluated_states", "state_id": 128, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 53}
{"ts":53, "act": "state_update", "state_id": 128, "h_goal_count": 2}
{"ts": 53, "act": "evaluated_heuristics", "count": 1}
{"ts":53, "act": "state_update", "state_id": 109, "new_parent": [119, "release small3 r3 left", 1]}
{"ts": 53, "act": "generated_states", "state_id": 119, "op": "release small3 r3 left"}
{"ts":53, "act": "state_update", "state_id": 109, "g": 10, "real_g": 10}
{"ts":53, "act": "state_update", "state_id": 106, "new_parent": [119, "release small4 r3 right", 1]}
{"ts": 53, "act": "generated_states", "state_id": 119, "op": "release small4 r3 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 54}
{"ts":54, "act": "state_update", "state_id": 121, "g": 11, "real_g": 11}
{"ts": 54, "act": "expanded_states", "state_id": 121}
{"act": "end_group"}
{"act": "begin_group", "ts": 54}
{"ts":54, "act": "state_update", "state_id": 121, "h_ff": 5}
{"ts": 54, "act": "evaluated_heuristics", "count": 1}
{"ts":54, "act": "state_update", "state_id": 129, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [121, "move r2 r1", 1]}
{"ts": 54, "act": "generated_states", "state_id": 121, "op": "move r2 r1"}
{"ts":54, "act": "state_update", "state_id": 129, "g": -1, "real_g": -1}
{"ts": 54, "act": "evaluated_states", "state_id": 129, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 54}
{"ts":54, "act": "state_update", "state_id": 129, "h_goal_count": 2}
{"ts": 54, "act": "evaluated_heuristics", "count": 1}
{"ts":54, "act": "state_update", "state_id": 107, "new_parent": [121, "move r2 r3", 1]}
{"ts": 54, "act": "generated_states", "state_id": 121, "op": "move r2 r3"}
{"ts":54, "act": "state_update", "state_id": 130, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "1(Atom hold_on(right, small2))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [121, "grab small2 r2 right", 1]}
{"ts": 54, "act": "generated_states", "state_id": 121, "op": "grab small2 r2 right"}
{"ts":54, "act": "state_update", "state_id": 130, "g": -1, "real_g": -1}
{"ts": 54, "act": "evaluated_states", "state_id": 130, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 54}
{"ts":54, "act": "state_update", "state_id": 130, "h_goal_count": 2}
{"ts": 54, "act": "evaluated_heuristics", "count": 1}
{"ts":54, "act": "state_update", "state_id": 131, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "0(Atom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [121, "release small4 r2 left", 1]}
{"ts": 54, "act": "generated_states", "state_id": 121, "op": "release small4 r2 left"}
{"ts":54, "act": "state_update", "state_id": 131, "g": -1, "real_g": -1}
{"ts": 54, "act": "evaluated_states", "state_id": 131, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 54}
{"ts":54, "act": "state_update", "state_id": 131, "h_goal_count": 2}
{"ts": 54, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 55}
{"ts":55, "act": "state_update", "state_id": 122, "g": 11, "real_g": 11}
{"ts": 55, "act": "expanded_states", "state_id": 122}
{"act": "end_group"}
{"act": "begin_group", "ts": 55}
{"ts":55, "act": "state_update", "state_id": 122, "h_ff": 4}
{"ts": 55, "act": "evaluated_heuristics", "count": 1}
{"ts":55, "act": "state_update", "state_id": 132, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "2(Atom hold_on(right, small3))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [122, "push box1 r3 r2", 1]}
{"ts": 55, "act": "generated_states", "state_id": 122, "op": "push box1 r3 r2"}
{"ts":55, "act": "state_update", "state_id": 132, "g": -1, "real_g": -1}
{"ts": 55, "act": "evaluated_states", "state_id": 132, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 55}
{"ts":55, "act": "state_update", "state_id": 132, "h_goal_count": 2}
{"ts": 55, "act": "evaluated_heuristics", "count": 1}
{"ts":55, "act": "state_update", "state_id": 133, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "2(Atom hold_on(right, small3))", "var14": "0(Atom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [122, "move r3 r2", 1]}
{"ts": 55, "act": "generated_states", "state_id": 122, "op": "move r3 r2"}
{"ts":55, "act": "state_update", "state_id": 133, "g": -1, "real_g": -1}
{"ts": 55, "act": "evaluated_states", "state_id": 133, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 55}
{"ts":55, "act": "state_update", "state_id": 133, "h_goal_count": 2}
{"ts": 55, "act": "evaluated_heuristics", "count": 1}
{"ts":55, "act": "state_update", "state_id": 108, "new_parent": [122, "release small4 r3 left", 1]}
{"ts": 55, "act": "generated_states", "state_id": 122, "op": "release small4 r3 left"}
{"ts":55, "act": "state_update", "state_id": 108, "g": 10, "real_g": 10}
{"ts":55, "act": "state_update", "state_id": 107, "new_parent": [122, "release small3 r3 right", 1]}
{"ts": 55, "act": "generated_states", "state_id": 122, "op": "release small3 r3 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 56}
{"ts":56, "act": "state_update", "state_id": 124, "g": 12, "real_g": 12}
{"ts": 56, "act": "expanded_states", "state_id": 124}
{"act": "end_group"}
{"act": "begin_group", "ts": 56}
{"ts":56, "act": "state_update", "state_id": 124, "h_ff": 5}
{"ts": 56, "act": "evaluated_heuristics", "count": 1}
{"ts":56, "act": "state_update", "state_id": 117, "new_parent": [124, "move r1 r2", 1]}
{"ts": 56, "act": "generated_states", "state_id": 124, "op": "move r1 r2"}
{"ts":56, "act": "state_update", "state_id": 134, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [124, "release small3 r1 left", 1]}
{"ts": 56, "act": "generated_states", "state_id": 124, "op": "release small3 r1 left"}
{"ts":56, "act": "state_update", "state_id": 134, "g": -1, "real_g": -1}
{"ts": 56, "act": "evaluated_states", "state_id": 134, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 56}
{"ts":56, "act": "state_update", "state_id": 134, "h_goal_count": 1}
{"ts": 56, "act": "evaluated_heuristics", "count": 1}
{"ts": 56, "act": "boost_preferred", "count": 256}
{"act": "end_group"}
{"act": "begin_group", "ts": 57}
{"ts":57, "act": "state_update", "state_id": 134, "g": 13, "real_g": 13}
{"ts": 57, "act": "expanded_states", "state_id": 134}
{"act": "end_group"}
{"act": "begin_group", "ts": 57}
{"ts":57, "act": "state_update", "state_id": 134, "h_ff": 4}
{"ts": 57, "act": "evaluated_heuristics", "count": 1}
{"ts":57, "act": "state_update", "state_id": 135, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [134, "move r1 r2", 1]}
{"ts": 57, "act": "generated_states", "state_id": 134, "op": "move r1 r2"}
{"ts":57, "act": "state_update", "state_id": 135, "g": -1, "real_g": -1}
{"ts": 57, "act": "evaluated_states", "state_id": 135, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 57}
{"ts":57, "act": "state_update", "state_id": 135, "h_goal_count": 1}
{"ts": 57, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 58}
{"ts":58, "act": "state_update", "state_id": 135, "g": 14, "real_g": 14}
{"ts": 58, "act": "expanded_states", "state_id": 135}
{"act": "end_group"}
{"act": "begin_group", "ts": 58}
{"ts":58, "act": "state_update", "state_id": 135, "h_ff": 4}
{"ts": 58, "act": "evaluated_heuristics", "count": 1}
{"ts":58, "act": "state_update", "state_id": 134, "new_parent": [135, "move r2 r1", 1]}
{"ts": 58, "act": "generated_states", "state_id": 135, "op": "move r2 r1"}
{"ts":58, "act": "state_update", "state_id": 136, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [135, "move r2 r3", 1]}
{"ts": 58, "act": "generated_states", "state_id": 135, "op": "move r2 r3"}
{"ts":58, "act": "state_update", "state_id": 136, "g": -1, "real_g": -1}
{"ts": 58, "act": "evaluated_states", "state_id": 136, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 58}
{"ts":58, "act": "state_update", "state_id": 136, "h_goal_count": 1}
{"ts": 58, "act": "evaluated_heuristics", "count": 1}
{"ts":58, "act": "state_update", "state_id": 137, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [135, "grab small2 r2 left", 1]}
{"ts": 58, "act": "generated_states", "state_id": 135, "op": "grab small2 r2 left"}
{"ts":58, "act": "state_update", "state_id": 137, "g": -1, "real_g": -1}
{"ts": 58, "act": "evaluated_states", "state_id": 137, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 58}
{"ts":58, "act": "state_update", "state_id": 137, "h_goal_count": 1}
{"ts": 58, "act": "evaluated_heuristics", "count": 1}
{"ts":58, "act": "state_update", "state_id": 138, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "1(Atom hold_on(right, small2))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [135, "grab small2 r2 right", 1]}
{"ts": 58, "act": "generated_states", "state_id": 135, "op": "grab small2 r2 right"}
{"ts":58, "act": "state_update", "state_id": 138, "g": -1, "real_g": -1}
{"ts": 58, "act": "evaluated_states", "state_id": 138, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 58}
{"ts":58, "act": "state_update", "state_id": 138, "h_goal_count": 1}
{"ts": 58, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 59}
{"ts":59, "act": "state_update", "state_id": 136, "g": 15, "real_g": 15}
{"ts": 59, "act": "expanded_states", "state_id": 136}
{"act": "end_group"}
{"act": "begin_group", "ts": 59}
{"ts":59, "act": "state_update", "state_id": 136, "h_ff": 4}
{"ts": 59, "act": "evaluated_heuristics", "count": 1}
{"ts":59, "act": "state_update", "state_id": 139, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [136, "push box1 r3 r2", 1]}
{"ts": 59, "act": "generated_states", "state_id": 136, "op": "push box1 r3 r2"}
{"ts":59, "act": "state_update", "state_id": 139, "g": -1, "real_g": -1}
{"ts": 59, "act": "evaluated_states", "state_id": 139, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 59}
{"ts":59, "act": "state_update", "state_id": 139, "h_goal_count": 1}
{"ts": 59, "act": "evaluated_heuristics", "count": 1}
{"ts":59, "act": "state_update", "state_id": 135, "new_parent": [136, "move r3 r2", 1]}
{"ts": 59, "act": "generated_states", "state_id": 136, "op": "move r3 r2"}
{"ts":59, "act": "state_update", "state_id": 140, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "2(Atom hold_on(left, small3))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [136, "grab small3 r3 left", 1]}
{"ts": 59, "act": "generated_states", "state_id": 136, "op": "grab small3 r3 left"}
{"ts":59, "act": "state_update", "state_id": 140, "g": -1, "real_g": -1}
{"ts": 59, "act": "evaluated_states", "state_id": 140, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 59}
{"ts":59, "act": "state_update", "state_id": 140, "h_goal_count": 1}
{"ts": 59, "act": "evaluated_heuristics", "count": 1}
{"ts":59, "act": "state_update", "state_id": 141, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [136, "grab small4 r3 left", 1]}
{"ts": 59, "act": "generated_states", "state_id": 136, "op": "grab small4 r3 left"}
{"ts":59, "act": "state_update", "state_id": 141, "g": -1, "real_g": -1}
{"ts": 59, "act": "evaluated_states", "state_id": 141, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 59}
{"ts":59, "act": "state_update", "state_id": 141, "h_goal_count": 1}
{"ts": 59, "act": "evaluated_heuristics", "count": 1}
{"ts":59, "act": "state_update", "state_id": 142, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "2(Atom hold_on(right, small3))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [136, "grab small3 r3 right", 1]}
{"ts": 59, "act": "generated_states", "state_id": 136, "op": "grab small3 r3 right"}
{"ts":59, "act": "state_update", "state_id": 142, "g": -1, "real_g": -1}
{"ts": 59, "act": "evaluated_states", "state_id": 142, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 59}
{"ts":59, "act": "state_update", "state_id": 142, "h_goal_count": 1}
{"ts": 59, "act": "evaluated_heuristics", "count": 1}
{"ts":59, "act": "state_update", "state_id": 143, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "3(Atom hold_on(right, small4))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [136, "grab small4 r3 right", 1]}
{"ts": 59, "act": "generated_states", "state_id": 136, "op": "grab small4 r3 right"}
{"ts":59, "act": "state_update", "state_id": 143, "g": -1, "real_g": -1}
{"ts": 59, "act": "evaluated_states", "state_id": 143, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 59}
{"ts":59, "act": "state_update", "state_id": 143, "h_goal_count": 1}
{"ts": 59, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 60}
{"ts":60, "act": "state_update", "state_id": 141, "g": 16, "real_g": 16}
{"ts": 60, "act": "expanded_states", "state_id": 141}
{"act": "end_group"}
{"act": "begin_group", "ts": 60}
{"ts":60, "act": "state_update", "state_id": 141, "h_ff": 3}
{"ts": 60, "act": "evaluated_heuristics", "count": 1}
{"ts":60, "act": "state_update", "state_id": 144, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "1(NegatedAtom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "0(Atom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [141, "push box1 r3 r2", 1]}
{"ts": 60, "act": "generated_states", "state_id": 141, "op": "push box1 r3 r2"}
{"ts":60, "act": "state_update", "state_id": 144, "g": -1, "real_g": -1}
{"ts": 60, "act": "evaluated_states", "state_id": 144, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 60}
{"ts":60, "act": "state_update", "state_id": 144, "h_goal_count": 1}
{"ts": 60, "act": "evaluated_heuristics", "count": 1}
{"ts":60, "act": "state_update", "state_id": 145, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [141, "move r3 r2", 1]}
{"ts": 60, "act": "generated_states", "state_id": 141, "op": "move r3 r2"}
{"ts":60, "act": "state_update", "state_id": 145, "g": -1, "real_g": -1}
{"ts": 60, "act": "evaluated_states", "state_id": 145, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 60}
{"ts":60, "act": "state_update", "state_id": 145, "h_goal_count": 1}
{"ts": 60, "act": "evaluated_heuristics", "count": 1}
{"ts":60, "act": "state_update", "state_id": 146, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "2(Atom hold_on(right, small3))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [141, "grab small3 r3 right", 1]}
{"ts": 60, "act": "generated_states", "state_id": 141, "op": "grab small3 r3 right"}
{"ts":60, "act": "state_update", "state_id": 146, "g": -1, "real_g": -1}
{"ts": 60, "act": "evaluated_states", "state_id": 146, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 60}
{"ts":60, "act": "state_update", "state_id": 146, "h_goal_count": 1}
{"ts": 60, "act": "evaluated_heuristics", "count": 1}
{"ts":60, "act": "state_update", "state_id": 147, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "2(Atom position(r3))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "3(Atom hold_on(right, small4))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [141, "grab small4 r3 right", 1]}
{"ts": 60, "act": "generated_states", "state_id": 141, "op": "grab small4 r3 right"}
{"ts":60, "act": "state_update", "state_id": 147, "g": -1, "real_g": -1}
{"ts": 60, "act": "evaluated_states", "state_id": 147, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 60}
{"ts":60, "act": "state_update", "state_id": 147, "h_goal_count": 1}
{"ts": 60, "act": "evaluated_heuristics", "count": 1}
{"ts":60, "act": "state_update", "state_id": 136, "new_parent": [141, "release small4 r3 left", 1]}
{"ts": 60, "act": "generated_states", "state_id": 141, "op": "release small4 r3 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 61}
{"ts":61, "act": "state_update", "state_id": 145, "g": 17, "real_g": 17}
{"ts": 61, "act": "expanded_states", "state_id": 145}
{"act": "end_group"}
{"act": "begin_group", "ts": 61}
{"ts":61, "act": "state_update", "state_id": 145, "h_ff": 2}
{"ts": 61, "act": "evaluated_heuristics", "count": 1}
{"ts":61, "act": "state_update", "state_id": 148, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [145, "move r2 r1", 1]}
{"ts": 61, "act": "generated_states", "state_id": 145, "op": "move r2 r1"}
{"ts":61, "act": "state_update", "state_id": 148, "g": -1, "real_g": -1}
{"ts": 61, "act": "evaluated_states", "state_id": 148, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 61}
{"ts":61, "act": "state_update", "state_id": 148, "h_goal_count": 1}
{"ts": 61, "act": "evaluated_heuristics", "count": 1}
{"ts":61, "act": "state_update", "state_id": 141, "new_parent": [145, "move r2 r3", 1]}
{"ts": 61, "act": "generated_states", "state_id": 145, "op": "move r2 r3"}
{"ts":61, "act": "state_update", "state_id": 149, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "3(Atom hold_on(left, small4))", "var13": "1(Atom hold_on(right, small2))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [145, "grab small2 r2 right", 1]}
{"ts": 61, "act": "generated_states", "state_id": 145, "op": "grab small2 r2 right"}
{"ts":61, "act": "state_update", "state_id": 149, "g": -1, "real_g": -1}
{"ts": 61, "act": "evaluated_states", "state_id": 149, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 61}
{"ts":61, "act": "state_update", "state_id": 149, "h_goal_count": 1}
{"ts": 61, "act": "evaluated_heuristics", "count": 1}
{"ts":61, "act": "state_update", "state_id": 150, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "1(Atom position(r2))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "0(Atom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [145, "release small4 r2 left", 1]}
{"ts": 61, "act": "generated_states", "state_id": 145, "op": "release small4 r2 left"}
{"ts":61, "act": "state_update", "state_id": 150, "g": -1, "real_g": -1}
{"ts": 61, "act": "evaluated_states", "state_id": 150, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 61}
{"ts":61, "act": "state_update", "state_id": 150, "h_goal_count": 1}
{"ts": 61, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 62}
{"ts":62, "act": "state_update", "state_id": 148, "g": 18, "real_g": 18}
{"ts": 62, "act": "expanded_states", "state_id": 148}
{"act": "end_group"}
{"act": "begin_group", "ts": 62}
{"ts":62, "act": "state_update", "state_id": 148, "h_ff": 1}
{"ts": 62, "act": "evaluated_heuristics", "count": 1}
{"ts":62, "act": "state_update", "state_id": 145, "new_parent": [148, "move r1 r2", 1]}
{"ts": 62, "act": "generated_states", "state_id": 148, "op": "move r1 r2"}
{"ts":62, "act": "state_update", "state_id": 151, "state": {"var0": "1(NegatedAtom in(box1, r1))", "var1": "0(Atom in(box1, r3))", "var2": "0(Atom position(r1))", "var3": "1(NegatedAtom in(box1, r2))", "var4": "0(Atom light(r2))", "var5": "1(NegatedAtom light(r1))", "var6": "0(Atom light(r3))", "var7": "1(NegatedAtom in(small1, r2))", "var8": "1(NegatedAtom in(small1, r3))", "var9": "1(NegatedAtom in(small2, r3))", "var10": "1(NegatedAtom in(small3, r2))", "var11": "1(NegatedAtom in(small4, r2))", "var12": "4(Atom is_empty(left))", "var13": "4(Atom is_empty(right))", "var14": "0(Atom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [148, "release small4 r1 left", 1]}
{"ts": 62, "act": "generated_states", "state_id": 148, "op": "release small4 r1 left"}
{"ts":62, "act": "state_update", "state_id": 151, "g": -1, "real_g": -1}
{"ts": 62, "act": "evaluated_states", "state_id": 151, "preferred": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 62}
{"ts":62, "act": "state_update", "state_id": 151, "h_goal_count": 0}
{"ts": 62, "act": "evaluated_heuristics", "count": 1}
{"ts": 62, "act": "boost_preferred", "count": 256}
{"act": "end_group"}
{"act": "begin_group", "ts": 63}
{"ts":63, "act": "state_update", "state_id": 151, "g": 19, "real_g": 19}
{"ts": 63, "act": "expanded_states", "state_id": 151}
{"act": "end_group"}
{"ts": 63, "act": "plan_found", "state_ids": [0, 1, 3, 8, 20, 40, 95, 96, 99, 102, 106, 117, 124, 134, 135, 136, 141, 145, 148, 151]}