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

{"act": "begin_group", "ts": 0}
{"act": "open_list_sorting", "key_list": ["h_SINGLE", "h_(", "h_ff", "h_INSERTION_ORDER", "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_ff": 12}
{"ts": 0, "act": "evaluated_heuristics", "count": 1}
{"act": "preferred_heuristics", "key_list": []}
{"act": "main_heuristic", "target": "h_ff"}
{"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": 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": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 1}
{"ts":1, "act": "state_update", "state_id": 1, "h_ff": 12}
{"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": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 1}
{"ts":1, "act": "state_update", "state_id": 2, "h_ff": 12}
{"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": 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": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 2}
{"ts":2, "act": "state_update", "state_id": 3, "h_ff": 11}
{"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_ff": 12}
{"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": 3, "g": 2, "real_g": 2}
{"ts": 3, "act": "expanded_states", "state_id": 3}
{"act": "end_group"}
{"act": "begin_group", "ts": 3}
{"ts":3, "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": 3, "act": "generated_states", "state_id": 3, "op": "move r2 r1"}
{"ts":3, "act": "state_update", "state_id": 5, "g": -1, "real_g": -1}
{"ts": 3, "act": "evaluated_states", "state_id": 5, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 3}
{"ts":3, "act": "state_update", "state_id": 5, "h_ff": 11}
{"ts": 3, "act": "evaluated_heuristics", "count": 1}
{"ts":3, "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": 3, "act": "generated_states", "state_id": 3, "op": "move r2 r3"}
{"ts":3, "act": "state_update", "state_id": 6, "g": -1, "real_g": -1}
{"ts": 3, "act": "evaluated_states", "state_id": 6, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 3}
{"ts":3, "act": "state_update", "state_id": 6, "h_ff": 11}
{"ts": 3, "act": "evaluated_heuristics", "count": 1}
{"ts":3, "act": "state_update", "state_id": 1, "new_parent": [3, "push box1 r2 r1", 1]}
{"ts": 3, "act": "generated_states", "state_id": 3, "op": "push box1 r2 r1"}
{"ts":3, "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": 3, "act": "generated_states", "state_id": 3, "op": "push box1 r2 r3"}
{"ts":3, "act": "state_update", "state_id": 7, "g": -1, "real_g": -1}
{"ts": 3, "act": "evaluated_states", "state_id": 7, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 3}
{"ts":3, "act": "state_update", "state_id": 7, "h_ff": 11}
{"ts": 3, "act": "evaluated_heuristics", "count": 1}
{"ts":3, "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": 3, "act": "generated_states", "state_id": 3, "op": "turn_on_light r2 box1"}
{"ts":3, "act": "state_update", "state_id": 8, "g": -1, "real_g": -1}
{"ts": 3, "act": "evaluated_states", "state_id": 8, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 3}
{"ts":3, "act": "state_update", "state_id": 8, "h_ff": 10}
{"ts": 3, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 8, "g": 3, "real_g": 3}
{"ts": 4, "act": "expanded_states", "state_id": 8}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 9, "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": 4, "act": "generated_states", "state_id": 8, "op": "move r2 r1"}
{"ts":4, "act": "state_update", "state_id": 9, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 9, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 9, "h_ff": 10}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 10, "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": 4, "act": "generated_states", "state_id": 8, "op": "move r2 r3"}
{"ts":4, "act": "state_update", "state_id": 10, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 10, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 10, "h_ff": 10}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "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": "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": 4, "act": "generated_states", "state_id": 8, "op": "push box1 r2 r1"}
{"ts":4, "act": "state_update", "state_id": 11, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 11, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 11, "h_ff": 11}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 12, "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": 4, "act": "generated_states", "state_id": 8, "op": "push box1 r2 r3"}
{"ts":4, "act": "state_update", "state_id": 12, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 12, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 12, "h_ff": 9}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 13, "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": 4, "act": "generated_states", "state_id": 8, "op": "grab small2 r2 left"}
{"ts":4, "act": "state_update", "state_id": 13, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 13, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 13, "h_ff": 9}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"ts":4, "act": "state_update", "state_id": 14, "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": 4, "act": "generated_states", "state_id": 8, "op": "grab small2 r2 right"}
{"ts":4, "act": "state_update", "state_id": 14, "g": -1, "real_g": -1}
{"ts": 4, "act": "evaluated_states", "state_id": 14, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 4}
{"ts":4, "act": "state_update", "state_id": 14, "h_ff": 9}
{"ts": 4, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 12, "g": 4, "real_g": 4}
{"ts": 5, "act": "expanded_states", "state_id": 12}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 8, "new_parent": [12, "push box1 r3 r2", 1]}
{"ts": 5, "act": "generated_states", "state_id": 12, "op": "push box1 r3 r2"}
{"ts":5, "act": "state_update", "state_id": 15, "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": [12, "turn_on_light r3 box1", 1]}
{"ts": 5, "act": "generated_states", "state_id": 12, "op": "turn_on_light r3 box1"}
{"ts":5, "act": "state_update", "state_id": 15, "g": -1, "real_g": -1}
{"ts": 5, "act": "evaluated_states", "state_id": 15, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 15, "h_ff": 8}
{"ts": 5, "act": "evaluated_heuristics", "count": 1}
{"ts":5, "act": "state_update", "state_id": 16, "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": [12, "move r3 r2", 1]}
{"ts": 5, "act": "generated_states", "state_id": 12, "op": "move r3 r2"}
{"ts":5, "act": "state_update", "state_id": 16, "g": -1, "real_g": -1}
{"ts": 5, "act": "evaluated_states", "state_id": 16, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 5}
{"ts":5, "act": "state_update", "state_id": 16, "h_ff": 9}
{"ts": 5, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 15, "g": 5, "real_g": 5}
{"ts": 6, "act": "expanded_states", "state_id": 15}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 17, "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": [15, "push box1 r3 r2", 1]}
{"ts": 6, "act": "generated_states", "state_id": 15, "op": "push box1 r3 r2"}
{"ts":6, "act": "state_update", "state_id": 17, "g": -1, "real_g": -1}
{"ts": 6, "act": "evaluated_states", "state_id": 17, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 17, "h_ff": 8}
{"ts": 6, "act": "evaluated_heuristics", "count": 1}
{"ts":6, "act": "state_update", "state_id": 18, "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": [15, "move r3 r2", 1]}
{"ts": 6, "act": "generated_states", "state_id": 15, "op": "move r3 r2"}
{"ts":6, "act": "state_update", "state_id": 18, "g": -1, "real_g": -1}
{"ts": 6, "act": "evaluated_states", "state_id": 18, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 18, "h_ff": 8}
{"ts": 6, "act": "evaluated_heuristics", "count": 1}
{"ts":6, "act": "state_update", "state_id": 19, "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": [15, "grab small3 r3 left", 1]}
{"ts": 6, "act": "generated_states", "state_id": 15, "op": "grab small3 r3 left"}
{"ts":6, "act": "state_update", "state_id": 19, "g": -1, "real_g": -1}
{"ts": 6, "act": "evaluated_states", "state_id": 19, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 19, "h_ff": 7}
{"ts": 6, "act": "evaluated_heuristics", "count": 1}
{"ts":6, "act": "state_update", "state_id": 20, "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": [15, "grab small4 r3 left", 1]}
{"ts": 6, "act": "generated_states", "state_id": 15, "op": "grab small4 r3 left"}
{"ts":6, "act": "state_update", "state_id": 20, "g": -1, "real_g": -1}
{"ts": 6, "act": "evaluated_states", "state_id": 20, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 20, "h_ff": 7}
{"ts": 6, "act": "evaluated_heuristics", "count": 1}
{"ts":6, "act": "state_update", "state_id": 21, "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": [15, "grab small3 r3 right", 1]}
{"ts": 6, "act": "generated_states", "state_id": 15, "op": "grab small3 r3 right"}
{"ts":6, "act": "state_update", "state_id": 21, "g": -1, "real_g": -1}
{"ts": 6, "act": "evaluated_states", "state_id": 21, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 21, "h_ff": 7}
{"ts": 6, "act": "evaluated_heuristics", "count": 1}
{"ts":6, "act": "state_update", "state_id": 22, "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": [15, "grab small4 r3 right", 1]}
{"ts": 6, "act": "generated_states", "state_id": 15, "op": "grab small4 r3 right"}
{"ts":6, "act": "state_update", "state_id": 22, "g": -1, "real_g": -1}
{"ts": 6, "act": "evaluated_states", "state_id": 22, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 6}
{"ts":6, "act": "state_update", "state_id": 22, "h_ff": 7}
{"ts": 6, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 19, "g": 6, "real_g": 6}
{"ts": 7, "act": "expanded_states", "state_id": 19}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 23, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "push box1 r3 r2", 1]}
{"ts": 7, "act": "generated_states", "state_id": 19, "op": "push box1 r3 r2"}
{"ts":7, "act": "state_update", "state_id": 23, "g": -1, "real_g": -1}
{"ts": 7, "act": "evaluated_states", "state_id": 23, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 23, "h_ff": 7}
{"ts": 7, "act": "evaluated_heuristics", "count": 1}
{"ts":7, "act": "state_update", "state_id": 24, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "move r3 r2", 1]}
{"ts": 7, "act": "generated_states", "state_id": 19, "op": "move r3 r2"}
{"ts":7, "act": "state_update", "state_id": 24, "g": -1, "real_g": -1}
{"ts": 7, "act": "evaluated_states", "state_id": 24, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 24, "h_ff": 7}
{"ts": 7, "act": "evaluated_heuristics", "count": 1}
{"ts":7, "act": "state_update", "state_id": 25, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "grab small3 r3 right", 1]}
{"ts": 7, "act": "generated_states", "state_id": 19, "op": "grab small3 r3 right"}
{"ts":7, "act": "state_update", "state_id": 25, "g": -1, "real_g": -1}
{"ts": 7, "act": "evaluated_states", "state_id": 25, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 25, "h_ff": 9}
{"ts": 7, "act": "evaluated_heuristics", "count": 1}
{"ts":7, "act": "state_update", "state_id": 26, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [19, "grab small4 r3 right", 1]}
{"ts": 7, "act": "generated_states", "state_id": 19, "op": "grab small4 r3 right"}
{"ts":7, "act": "state_update", "state_id": 26, "g": -1, "real_g": -1}
{"ts": 7, "act": "evaluated_states", "state_id": 26, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 7}
{"ts":7, "act": "state_update", "state_id": 26, "h_ff": 7}
{"ts": 7, "act": "evaluated_heuristics", "count": 1}
{"ts":7, "act": "state_update", "state_id": 15, "new_parent": [19, "release small3 r3 left", 1]}
{"ts": 7, "act": "generated_states", "state_id": 19, "op": "release small3 r3 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 20, "g": 6, "real_g": 6}
{"ts": 8, "act": "expanded_states", "state_id": 20}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 27, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "push box1 r3 r2", 1]}
{"ts": 8, "act": "generated_states", "state_id": 20, "op": "push box1 r3 r2"}
{"ts":8, "act": "state_update", "state_id": 27, "g": -1, "real_g": -1}
{"ts": 8, "act": "evaluated_states", "state_id": 27, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 27, "h_ff": 7}
{"ts": 8, "act": "evaluated_heuristics", "count": 1}
{"ts":8, "act": "state_update", "state_id": 28, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "move r3 r2", 1]}
{"ts": 8, "act": "generated_states", "state_id": 20, "op": "move r3 r2"}
{"ts":8, "act": "state_update", "state_id": 28, "g": -1, "real_g": -1}
{"ts": 8, "act": "evaluated_states", "state_id": 28, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 28, "h_ff": 7}
{"ts": 8, "act": "evaluated_heuristics", "count": 1}
{"ts":8, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "grab small3 r3 right", 1]}
{"ts": 8, "act": "generated_states", "state_id": 20, "op": "grab small3 r3 right"}
{"ts":8, "act": "state_update", "state_id": 29, "g": -1, "real_g": -1}
{"ts": 8, "act": "evaluated_states", "state_id": 29, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 29, "h_ff": 7}
{"ts": 8, "act": "evaluated_heuristics", "count": 1}
{"ts":8, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [20, "grab small4 r3 right", 1]}
{"ts": 8, "act": "generated_states", "state_id": 20, "op": "grab small4 r3 right"}
{"ts":8, "act": "state_update", "state_id": 30, "g": -1, "real_g": -1}
{"ts": 8, "act": "evaluated_states", "state_id": 30, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 8}
{"ts":8, "act": "state_update", "state_id": 30, "h_ff": 9}
{"ts": 8, "act": "evaluated_heuristics", "count": 1}
{"ts":8, "act": "state_update", "state_id": 15, "new_parent": [20, "release small4 r3 left", 1]}
{"ts": 8, "act": "generated_states", "state_id": 20, "op": "release small4 r3 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 21, "g": 6, "real_g": 6}
{"ts": 9, "act": "expanded_states", "state_id": 21}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 31, "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": "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": [21, "push box1 r3 r2", 1]}
{"ts": 9, "act": "generated_states", "state_id": 21, "op": "push box1 r3 r2"}
{"ts":9, "act": "state_update", "state_id": 31, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 31, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 31, "h_ff": 7}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 32, "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": "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": [21, "move r3 r2", 1]}
{"ts": 9, "act": "generated_states", "state_id": 21, "op": "move r3 r2"}
{"ts":9, "act": "state_update", "state_id": 32, "g": -1, "real_g": -1}
{"ts": 9, "act": "evaluated_states", "state_id": 32, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 9}
{"ts":9, "act": "state_update", "state_id": 32, "h_ff": 7}
{"ts": 9, "act": "evaluated_heuristics", "count": 1}
{"ts":9, "act": "state_update", "state_id": 25, "new_parent": [21, "grab small3 r3 left", 1]}
{"ts": 9, "act": "generated_states", "state_id": 21, "op": "grab small3 r3 left"}
{"ts":9, "act": "state_update", "state_id": 25, "g": 7, "real_g": 7}
{"ts":9, "act": "state_update", "state_id": 29, "new_parent": [21, "grab small4 r3 left", 1]}
{"ts": 9, "act": "generated_states", "state_id": 21, "op": "grab small4 r3 left"}
{"ts":9, "act": "state_update", "state_id": 29, "g": 7, "real_g": 7}
{"ts":9, "act": "state_update", "state_id": 15, "new_parent": [21, "release small3 r3 right", 1]}
{"ts": 9, "act": "generated_states", "state_id": 21, "op": "release small3 r3 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 22, "g": 6, "real_g": 6}
{"ts": 10, "act": "expanded_states", "state_id": 22}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 33, "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": "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": [22, "push box1 r3 r2", 1]}
{"ts": 10, "act": "generated_states", "state_id": 22, "op": "push box1 r3 r2"}
{"ts":10, "act": "state_update", "state_id": 33, "g": -1, "real_g": -1}
{"ts": 10, "act": "evaluated_states", "state_id": 33, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 33, "h_ff": 7}
{"ts": 10, "act": "evaluated_heuristics", "count": 1}
{"ts":10, "act": "state_update", "state_id": 34, "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": "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": [22, "move r3 r2", 1]}
{"ts": 10, "act": "generated_states", "state_id": 22, "op": "move r3 r2"}
{"ts":10, "act": "state_update", "state_id": 34, "g": -1, "real_g": -1}
{"ts": 10, "act": "evaluated_states", "state_id": 34, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 10}
{"ts":10, "act": "state_update", "state_id": 34, "h_ff": 7}
{"ts": 10, "act": "evaluated_heuristics", "count": 1}
{"ts":10, "act": "state_update", "state_id": 26, "new_parent": [22, "grab small3 r3 left", 1]}
{"ts": 10, "act": "generated_states", "state_id": 22, "op": "grab small3 r3 left"}
{"ts":10, "act": "state_update", "state_id": 26, "g": 7, "real_g": 7}
{"ts":10, "act": "state_update", "state_id": 30, "new_parent": [22, "grab small4 r3 left", 1]}
{"ts": 10, "act": "generated_states", "state_id": 22, "op": "grab small4 r3 left"}
{"ts":10, "act": "state_update", "state_id": 30, "g": 7, "real_g": 7}
{"ts":10, "act": "state_update", "state_id": 15, "new_parent": [22, "release small4 r3 right", 1]}
{"ts": 10, "act": "generated_states", "state_id": 22, "op": "release small4 r3 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 23, "g": 7, "real_g": 7}
{"ts": 11, "act": "expanded_states", "state_id": 23}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 35, "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": "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": [23, "move r2 r1", 1]}
{"ts": 11, "act": "generated_states", "state_id": 23, "op": "move r2 r1"}
{"ts":11, "act": "state_update", "state_id": 35, "g": -1, "real_g": -1}
{"ts": 11, "act": "evaluated_states", "state_id": 35, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 35, "h_ff": 7}
{"ts": 11, "act": "evaluated_heuristics", "count": 1}
{"ts":11, "act": "state_update", "state_id": 36, "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": "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": [23, "move r2 r3", 1]}
{"ts": 11, "act": "generated_states", "state_id": 23, "op": "move r2 r3"}
{"ts":11, "act": "state_update", "state_id": 36, "g": -1, "real_g": -1}
{"ts": 11, "act": "evaluated_states", "state_id": 36, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 36, "h_ff": 7}
{"ts": 11, "act": "evaluated_heuristics", "count": 1}
{"ts":11, "act": "state_update", "state_id": 37, "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": "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": [23, "push box1 r2 r1", 1]}
{"ts": 11, "act": "generated_states", "state_id": 23, "op": "push box1 r2 r1"}
{"ts":11, "act": "state_update", "state_id": 37, "g": -1, "real_g": -1}
{"ts": 11, "act": "evaluated_states", "state_id": 37, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 37, "h_ff": 7}
{"ts": 11, "act": "evaluated_heuristics", "count": 1}
{"ts":11, "act": "state_update", "state_id": 19, "new_parent": [23, "push box1 r2 r3", 1]}
{"ts": 11, "act": "generated_states", "state_id": 23, "op": "push box1 r2 r3"}
{"ts":11, "act": "state_update", "state_id": 38, "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": "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": [23, "grab small2 r2 right", 1]}
{"ts": 11, "act": "generated_states", "state_id": 23, "op": "grab small2 r2 right"}
{"ts":11, "act": "state_update", "state_id": 38, "g": -1, "real_g": -1}
{"ts": 11, "act": "evaluated_states", "state_id": 38, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 38, "h_ff": 7}
{"ts": 11, "act": "evaluated_heuristics", "count": 1}
{"ts":11, "act": "state_update", "state_id": 39, "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": "0(Atom 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, "release small3 r2 left", 1]}
{"ts": 11, "act": "generated_states", "state_id": 23, "op": "release small3 r2 left"}
{"ts":11, "act": "state_update", "state_id": 39, "g": -1, "real_g": -1}
{"ts": 11, "act": "evaluated_states", "state_id": 39, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 11}
{"ts":11, "act": "state_update", "state_id": 39, "h_ff": 8}
{"ts": 11, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 24, "g": 7, "real_g": 7}
{"ts": 12, "act": "expanded_states", "state_id": 24}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 40, "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": "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": 12, "act": "generated_states", "state_id": 24, "op": "move r2 r1"}
{"ts":12, "act": "state_update", "state_id": 40, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 40, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 40, "h_ff": 7}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 19, "new_parent": [24, "move r2 r3", 1]}
{"ts": 12, "act": "generated_states", "state_id": 24, "op": "move r2 r3"}
{"ts":12, "act": "state_update", "state_id": 41, "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": "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": 12, "act": "generated_states", "state_id": 24, "op": "grab small2 r2 right"}
{"ts":12, "act": "state_update", "state_id": 41, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 41, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 41, "h_ff": 7}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"ts":12, "act": "state_update", "state_id": 42, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [24, "release small3 r2 left", 1]}
{"ts": 12, "act": "generated_states", "state_id": 24, "op": "release small3 r2 left"}
{"ts":12, "act": "state_update", "state_id": 42, "g": -1, "real_g": -1}
{"ts": 12, "act": "evaluated_states", "state_id": 42, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 12}
{"ts":12, "act": "state_update", "state_id": 42, "h_ff": 8}
{"ts": 12, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts": 13, "act": "expanded_states", "state_id": 26}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 43, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [26, "push box1 r3 r2", 1]}
{"ts": 13, "act": "generated_states", "state_id": 26, "op": "push box1 r3 r2"}
{"ts":13, "act": "state_update", "state_id": 43, "g": -1, "real_g": -1}
{"ts": 13, "act": "evaluated_states", "state_id": 43, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 43, "h_ff": 6}
{"ts": 13, "act": "evaluated_heuristics", "count": 1}
{"ts":13, "act": "state_update", "state_id": 44, "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [26, "move r3 r2", 1]}
{"ts": 13, "act": "generated_states", "state_id": 26, "op": "move r3 r2"}
{"ts":13, "act": "state_update", "state_id": 44, "g": -1, "real_g": -1}
{"ts": 13, "act": "evaluated_states", "state_id": 44, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 13}
{"ts":13, "act": "state_update", "state_id": 44, "h_ff": 6}
{"ts": 13, "act": "evaluated_heuristics", "count": 1}
{"ts":13, "act": "state_update", "state_id": 22, "new_parent": [26, "release small3 r3 left", 1]}
{"ts": 13, "act": "generated_states", "state_id": 26, "op": "release small3 r3 left"}
{"ts":13, "act": "state_update", "state_id": 19, "new_parent": [26, "release small4 r3 right", 1]}
{"ts": 13, "act": "generated_states", "state_id": 26, "op": "release small4 r3 right"}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 43, "g": 8, "real_g": 8}
{"ts": 14, "act": "expanded_states", "state_id": 43}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "1(NegatedAtom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [43, "move r2 r1", 1]}
{"ts": 14, "act": "generated_states", "state_id": 43, "op": "move r2 r1"}
{"ts":14, "act": "state_update", "state_id": 45, "g": -1, "real_g": -1}
{"ts": 14, "act": "evaluated_states", "state_id": 45, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 45, "h_ff": 5}
{"ts": 14, "act": "evaluated_heuristics", "count": 1}
{"ts":14, "act": "state_update", "state_id": 46, "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": "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": [43, "move r2 r3", 1]}
{"ts": 14, "act": "generated_states", "state_id": 43, "op": "move r2 r3"}
{"ts":14, "act": "state_update", "state_id": 46, "g": -1, "real_g": -1}
{"ts": 14, "act": "evaluated_states", "state_id": 46, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 46, "h_ff": 7}
{"ts": 14, "act": "evaluated_heuristics", "count": 1}
{"ts":14, "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": "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": [43, "push box1 r2 r1", 1]}
{"ts": 14, "act": "generated_states", "state_id": 43, "op": "push box1 r2 r1"}
{"ts":14, "act": "state_update", "state_id": 47, "g": -1, "real_g": -1}
{"ts": 14, "act": "evaluated_states", "state_id": 47, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 47, "h_ff": 5}
{"ts": 14, "act": "evaluated_heuristics", "count": 1}
{"ts":14, "act": "state_update", "state_id": 26, "new_parent": [43, "push box1 r2 r3", 1]}
{"ts": 14, "act": "generated_states", "state_id": 43, "op": "push box1 r2 r3"}
{"ts":14, "act": "state_update", "state_id": 48, "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": "0(Atom 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": [43, "release small3 r2 left", 1]}
{"ts": 14, "act": "generated_states", "state_id": 43, "op": "release small3 r2 left"}
{"ts":14, "act": "state_update", "state_id": 48, "g": -1, "real_g": -1}
{"ts": 14, "act": "evaluated_states", "state_id": 48, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 48, "h_ff": 6}
{"ts": 14, "act": "evaluated_heuristics", "count": 1}
{"ts":14, "act": "state_update", "state_id": 49, "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": "0(Atom 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": [43, "release small4 r2 right", 1]}
{"ts": 14, "act": "generated_states", "state_id": 43, "op": "release small4 r2 right"}
{"ts":14, "act": "state_update", "state_id": 49, "g": -1, "real_g": -1}
{"ts": 14, "act": "evaluated_states", "state_id": 49, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 14}
{"ts":14, "act": "state_update", "state_id": 49, "h_ff": 6}
{"ts": 14, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 45, "g": 9, "real_g": 9}
{"ts": 15, "act": "expanded_states", "state_id": 45}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 43, "new_parent": [45, "move r1 r2", 1]}
{"ts": 15, "act": "generated_states", "state_id": 45, "op": "move r1 r2"}
{"ts":15, "act": "state_update", "state_id": 50, "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": "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": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [45, "release small3 r1 left", 1]}
{"ts": 15, "act": "generated_states", "state_id": 45, "op": "release small3 r1 left"}
{"ts":15, "act": "state_update", "state_id": 50, "g": -1, "real_g": -1}
{"ts": 15, "act": "evaluated_states", "state_id": 50, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 50, "h_ff": 4}
{"ts": 15, "act": "evaluated_heuristics", "count": 1}
{"ts":15, "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": "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": "0(Atom in(small4, r1))"}, "new_parent": [45, "release small4 r1 right", 1]}
{"ts": 15, "act": "generated_states", "state_id": 45, "op": "release small4 r1 right"}
{"ts":15, "act": "state_update", "state_id": 51, "g": -1, "real_g": -1}
{"ts": 15, "act": "evaluated_states", "state_id": 51, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 15}
{"ts":15, "act": "state_update", "state_id": 51, "h_ff": 4}
{"ts": 15, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 16}
{"ts":16, "act": "state_update", "state_id": 50, "g": 10, "real_g": 10}
{"ts": 16, "act": "expanded_states", "state_id": 50}
{"act": "end_group"}
{"act": "begin_group", "ts": 16}
{"ts":16, "act": "state_update", "state_id": 52, "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": "3(Atom hold_on(right, small4))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "1(NegatedAtom in(small4, r1))"}, "new_parent": [50, "move r1 r2", 1]}
{"ts": 16, "act": "generated_states", "state_id": 50, "op": "move r1 r2"}
{"ts":16, "act": "state_update", "state_id": 52, "g": -1, "real_g": -1}
{"ts": 16, "act": "evaluated_states", "state_id": 52, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 16}
{"ts":16, "act": "state_update", "state_id": 52, "h_ff": 4}
{"ts": 16, "act": "evaluated_heuristics", "count": 1}
{"ts":16, "act": "state_update", "state_id": 53, "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": "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": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [50, "release small4 r1 right", 1]}
{"ts": 16, "act": "generated_states", "state_id": 50, "op": "release small4 r1 right"}
{"ts":16, "act": "state_update", "state_id": 53, "g": -1, "real_g": -1}
{"ts": 16, "act": "evaluated_states", "state_id": 53, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 16}
{"ts":16, "act": "state_update", "state_id": 53, "h_ff": 3}
{"ts": 16, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 17}
{"ts":17, "act": "state_update", "state_id": 53, "g": 11, "real_g": 11}
{"ts": 17, "act": "expanded_states", "state_id": 53}
{"act": "end_group"}
{"act": "begin_group", "ts": 17}
{"ts":17, "act": "state_update", "state_id": 54, "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": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [53, "move r1 r2", 1]}
{"ts": 17, "act": "generated_states", "state_id": 53, "op": "move r1 r2"}
{"ts":17, "act": "state_update", "state_id": 54, "g": -1, "real_g": -1}
{"ts": 17, "act": "evaluated_states", "state_id": 54, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 17}
{"ts":17, "act": "state_update", "state_id": 54, "h_ff": 3}
{"ts": 17, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 54, "g": 12, "real_g": 12}
{"ts": 18, "act": "expanded_states", "state_id": 54}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 53, "new_parent": [54, "move r2 r1", 1]}
{"ts": 18, "act": "generated_states", "state_id": 54, "op": "move r2 r1"}
{"ts":18, "act": "state_update", "state_id": 55, "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": "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": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [54, "move r2 r3", 1]}
{"ts": 18, "act": "generated_states", "state_id": 54, "op": "move r2 r3"}
{"ts":18, "act": "state_update", "state_id": 55, "g": -1, "real_g": -1}
{"ts": 18, "act": "evaluated_states", "state_id": 55, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 55, "h_ff": 4}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"ts":18, "act": "state_update", "state_id": 56, "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": "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": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [54, "push box1 r2 r1", 1]}
{"ts": 18, "act": "generated_states", "state_id": 54, "op": "push box1 r2 r1"}
{"ts":18, "act": "state_update", "state_id": 56, "g": -1, "real_g": -1}
{"ts": 18, "act": "evaluated_states", "state_id": 56, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 56, "h_ff": 3}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"ts":18, "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": "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": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [54, "push box1 r2 r3", 1]}
{"ts": 18, "act": "generated_states", "state_id": 54, "op": "push box1 r2 r3"}
{"ts":18, "act": "state_update", "state_id": 57, "g": -1, "real_g": -1}
{"ts": 18, "act": "evaluated_states", "state_id": 57, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 57, "h_ff": 4}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"ts":18, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [54, "grab small2 r2 left", 1]}
{"ts": 18, "act": "generated_states", "state_id": 54, "op": "grab small2 r2 left"}
{"ts":18, "act": "state_update", "state_id": 58, "g": -1, "real_g": -1}
{"ts": 18, "act": "evaluated_states", "state_id": 58, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 58, "h_ff": 2}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"ts":18, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [54, "grab small2 r2 right", 1]}
{"ts": 18, "act": "generated_states", "state_id": 54, "op": "grab small2 r2 right"}
{"ts":18, "act": "state_update", "state_id": 59, "g": -1, "real_g": -1}
{"ts": 18, "act": "evaluated_states", "state_id": 59, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 18}
{"ts":18, "act": "state_update", "state_id": 59, "h_ff": 2}
{"ts": 18, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 58, "g": 13, "real_g": 13}
{"ts": 19, "act": "expanded_states", "state_id": 58}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [58, "move r2 r1", 1]}
{"ts": 19, "act": "generated_states", "state_id": 58, "op": "move r2 r1"}
{"ts":19, "act": "state_update", "state_id": 60, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 60, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 60, "h_ff": 1}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [58, "move r2 r3", 1]}
{"ts": 19, "act": "generated_states", "state_id": 58, "op": "move r2 r3"}
{"ts":19, "act": "state_update", "state_id": 61, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 61, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 61, "h_ff": 3}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "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": "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": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [58, "push box1 r2 r1", 1]}
{"ts": 19, "act": "generated_states", "state_id": 58, "op": "push box1 r2 r1"}
{"ts":19, "act": "state_update", "state_id": 62, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 62, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 62, "h_ff": 1}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 63, "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": "1(Atom hold_on(left, small2))", "var13": "4(Atom is_empty(right))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [58, "push box1 r2 r3", 1]}
{"ts": 19, "act": "generated_states", "state_id": 58, "op": "push box1 r2 r3"}
{"ts":19, "act": "state_update", "state_id": 63, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 63, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 63, "h_ff": 3}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 64, "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": "1(Atom hold_on(left, small2))", "var13": "1(Atom hold_on(right, small2))", "var14": "1(NegatedAtom in(small2, r1))", "var15": "0(Atom in(small3, r1))", "var16": "0(Atom in(small4, r1))"}, "new_parent": [58, "grab small2 r2 right", 1]}
{"ts": 19, "act": "generated_states", "state_id": 58, "op": "grab small2 r2 right"}
{"ts":19, "act": "state_update", "state_id": 64, "g": -1, "real_g": -1}
{"ts": 19, "act": "evaluated_states", "state_id": 64, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 19}
{"ts":19, "act": "state_update", "state_id": 64, "h_ff": 2}
{"ts": 19, "act": "evaluated_heuristics", "count": 1}
{"ts":19, "act": "state_update", "state_id": 54, "new_parent": [58, "release small2 r2 left", 1]}
{"ts": 19, "act": "generated_states", "state_id": 58, "op": "release small2 r2 left"}
{"act": "end_group"}
{"act": "begin_group", "ts": 20}
{"ts":20, "act": "state_update", "state_id": 60, "g": 14, "real_g": 14}
{"ts": 20, "act": "expanded_states", "state_id": 60}
{"act": "end_group"}
{"act": "begin_group", "ts": 20}
{"ts":20, "act": "state_update", "state_id": 58, "new_parent": [60, "move r1 r2", 1]}
{"ts": 20, "act": "generated_states", "state_id": 60, "op": "move r1 r2"}
{"ts":20, "act": "state_update", "state_id": 65, "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": "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": [60, "release small2 r1 left", 1]}
{"ts": 20, "act": "generated_states", "state_id": 60, "op": "release small2 r1 left"}
{"ts":20, "act": "state_update", "state_id": 65, "g": -1, "real_g": -1}
{"ts": 20, "act": "evaluated_states", "state_id": 65, "preferred": 0}
{"act": "end_group"}
{"act": "begin_group", "ts": 20}
{"ts":20, "act": "state_update", "state_id": 65, "h_ff": 0}
{"ts": 20, "act": "evaluated_heuristics", "count": 1}
{"act": "end_group"}
{"act": "begin_group", "ts": 21}
{"ts":21, "act": "state_update", "state_id": 65, "g": 15, "real_g": 15}
{"ts": 21, "act": "expanded_states", "state_id": 65}
{"act": "end_group"}
{"ts": 21, "act": "plan_found", "state_ids": [0, 1, 3, 8, 12, 15, 19, 26, 43, 45, 50, 53, 54, 58, 60, 65]}