Ctemp in run 0:[(<Atom free(right)>,), (<Atom at(ball2, rooma)>,), (<NegatedAtom carry(ball2, right)>,), (<Atom at(ball4, rooma)>,), (<NegatedAtom at(ball3, roomb)>,), (<NegatedAtom at(ball4, roomb)>,), (<NegatedAtom at(ball2, roomb)>,), (<NegatedAtom carry(ball3, right)>,), (<NegatedAtom carry(ball4, right)>,), (<NegatedAtom carry(ball1, left)>,), (<Atom at(ball1, rooma)>,), (<NegatedAtom carry(ball3, left)>,), (<NegatedAtom carry(ball1, right)>,), (<Atom at(ball3, rooma)>,), (<Atom free(left)>,), (<Atom at-robby(rooma)>,), (<NegatedAtom carry(ball4, left)>,), (<NegatedAtom at(ball1, roomb)>,), (<NegatedAtom at-robby(roomb)>,), (<NegatedAtom carry(ball2, left)>,)]with optimization: only adding new formulas=True  directly test new candidates with same operator=True