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