Ctemp in run 0:[[<NegatedAtom carry(ball2, left)>],
 [<NegatedAtom at(ball2, roomb)>],
 [<Atom at(ball4, rooma)>],
 [<NegatedAtom carry(ball1, right)>],
 [<NegatedAtom carry(ball3, right)>],
 [<NegatedAtom carry(ball4, left)>],
 [<Atom free(right)>],
 [<NegatedAtom at(ball4, roomb)>],
 [<Atom free(left)>],
 [<Atom at-robby(rooma)>],
 [<NegatedAtom carry(ball1, left)>],
 [<NegatedAtom carry(ball2, right)>],
 [<NegatedAtom carry(ball3, left)>],
 [<NegatedAtom carry(ball4, right)>],
 [<NegatedAtom at(ball1, roomb)>],
 [<NegatedAtom at-robby(roomb)>],
 [<NegatedAtom at(ball3, roomb)>],
 [<Atom at(ball1, rooma)>],
 [<Atom at(ball2, rooma)>],
 [<Atom at(ball3, rooma)>]]