Ctemp in last run:Atom carry(ball2, right),NegatedAtom carry(ball2, right),
NegatedAtom carry(ball2, right),NegatedAtom carry(ball4, right),
NegatedAtom at(ball2, rooma),NegatedAtom carry(ball2, right),
NegatedAtom at(ball2, roomb),NegatedAtom carry(ball2, right),
NegatedAtom carry(ball1, right),NegatedAtom carry(ball2, right),
NegatedAtom carry(ball2, right),NegatedAtom free(right),
NegatedAtom carry(ball2, right),NegatedAtom carry(ball3, right),
NegatedAtom carry(ball2, left),NegatedAtom carry(ball2, right),
Atom carry(ball4, right),NegatedAtom carry(ball4, right),
NegatedAtom at(ball4, rooma),NegatedAtom carry(ball4, right),
NegatedAtom carry(ball1, right),NegatedAtom carry(ball4, right),
NegatedAtom at(ball4, roomb),NegatedAtom carry(ball4, right),
NegatedAtom carry(ball4, right),NegatedAtom free(right),
NegatedAtom carry(ball3, right),NegatedAtom carry(ball4, right),
NegatedAtom carry(ball4, left),NegatedAtom carry(ball4, right),
NegatedAtom at(ball2, rooma),Atom at(ball2, rooma),
NegatedAtom at(ball4, rooma),Atom at(ball4, rooma),
Atom carry(ball1, left),NegatedAtom carry(ball1, left),
NegatedAtom at(ball1, roomb),NegatedAtom carry(ball1, left),
NegatedAtom carry(ball1, left),NegatedAtom free(left),
NegatedAtom carry(ball1, left),NegatedAtom carry(ball1, right),
NegatedAtom carry(ball1, left),NegatedAtom carry(ball3, left),
NegatedAtom carry(ball1, left),NegatedAtom carry(ball4, left),
NegatedAtom carry(ball1, left),NegatedAtom carry(ball2, left),
NegatedAtom at(ball1, rooma),NegatedAtom carry(ball1, left),
NegatedAtom free(left),Atom free(left),
NegatedAtom at(ball1, roomb),NegatedAtom carry(ball1, right),
Atom carry(ball1, right),NegatedAtom carry(ball1, right),
NegatedAtom carry(ball1, right),NegatedAtom free(right),
NegatedAtom carry(ball1, right),NegatedAtom carry(ball3, right),
NegatedAtom at(ball1, rooma),NegatedAtom carry(ball1, right),
NegatedAtom free(right),Atom free(right),
NegatedAtom at(ball3, rooma),Atom at(ball3, rooma),
Atom at-robby(roomb),NegatedAtom at-robby(roomb),
NegatedAtom at-robby(rooma),NegatedAtom at-robby(roomb),
NegatedAtom carry(ball3, left),NegatedAtom free(left),
NegatedAtom at(ball3, rooma),NegatedAtom carry(ball3, left),
Atom carry(ball3, left),NegatedAtom carry(ball3, left),
NegatedAtom carry(ball3, left),NegatedAtom carry(ball3, right),
NegatedAtom carry(ball3, left),NegatedAtom carry(ball4, left),
NegatedAtom carry(ball2, left),NegatedAtom carry(ball3, left),
NegatedAtom at(ball3, roomb),NegatedAtom carry(ball3, left),
NegatedAtom carry(ball3, right),NegatedAtom free(right),
NegatedAtom at(ball3, rooma),NegatedAtom carry(ball3, right),
Atom carry(ball3, right),NegatedAtom carry(ball3, right),
NegatedAtom at(ball3, roomb),NegatedAtom carry(ball3, right),
NegatedAtom at(ball4, rooma),NegatedAtom carry(ball4, left),
NegatedAtom carry(ball4, left),NegatedAtom free(left),
NegatedAtom at(ball4, roomb),NegatedAtom carry(ball4, left),
Atom carry(ball4, left),NegatedAtom carry(ball4, left),
NegatedAtom carry(ball2, left),NegatedAtom carry(ball4, left),
NegatedAtom at(ball2, rooma),NegatedAtom carry(ball2, left),
NegatedAtom carry(ball2, left),NegatedAtom free(left),
NegatedAtom at(ball2, roomb),NegatedAtom carry(ball2, left),
Atom carry(ball2, left),NegatedAtom carry(ball2, left),
NegatedAtom at(ball1, rooma),Atom at(ball1, rooma),
Atom at-robby(rooma),Atom at-robby(roomb),
NegatedAtom at-robby(rooma),Atom at-robby(rooma),
Atom at(ball1, roomb),NegatedAtom at(ball1, roomb),
NegatedAtom at(ball1, rooma),NegatedAtom at(ball1, roomb),
NegatedAtom at(ball2, rooma),NegatedAtom at(ball2, roomb),
Atom at(ball2, roomb),NegatedAtom at(ball2, roomb),
NegatedAtom at(ball4, rooma),NegatedAtom at(ball4, roomb),
Atom at(ball4, roomb),NegatedAtom at(ball4, roomb),
NegatedAtom at(ball3, rooma),NegatedAtom at(ball3, roomb),
Atom at(ball3, roomb),NegatedAtom at(ball3, roomb),
