; Number of problems: 25 
; Number of blocks: 5 
; Number of goals: 2 
(setq *TEST-PROBS* '(

(st-1 (and (next-to box.b box.e) (next-to box.e box.b))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.b door.ramclk)
  (next-to box.d door.clkril) (statis door.clkril open) (statis door.pdpclk open)
  (statis door.ramclk closed) (statis door.mysclk closed)
  (statis door.myspdp open) (statis door.ramhal open) (statis door.mysram closed)
  (statis door.unimys open) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.uni) (in-room box.d room.ril) (in-room box.c room.hal)
  (in-room box.b room.clk) (in-room box.a room.mys) (in-room robot room.pdp))) 
(st-2 (and (in-room box.a room.hal) (next-to box.b door.clkril))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.d box.a) (next-to box.a box.d) 
  (next-to box.b door.mysclk) (statis door.clkril closed)
  (statis door.pdpclk closed) (statis door.ramclk closed)
  (statis door.mysclk open) (statis door.myspdp open) (statis door.ramhal open)
  (statis door.mysram closed) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.pdp) (in-room box.d room.uni)
  (in-room box.c room.hal) (in-room box.b room.mys) (in-room box.a room.uni)
  (in-room robot room.mys))) 
(st-3 (and (in-room box.e room.ril) (statis door.ramclk closed))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.e door.pdpclk) (statis door.clkril open) (statis door.pdpclk open)
  (statis door.ramclk open) (statis door.mysclk closed) (statis door.myspdp open)
  (statis door.ramhal closed) (statis door.mysram closed)
  (statis door.unimys closed) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.clk) (in-room box.d room.ram) (in-room box.c room.hal)
  (in-room box.b room.ril) (in-room box.a room.pdp) (in-room robot room.pdp))) 
(st-4 (and (in-room box.b room.pdp) (statis door.myspdp open))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.c box.b) (next-to box.b box.c) (next-to box.b box.c)
  (next-to box.c box.b) (next-to box.e box.d) (next-to box.d box.e)
  (next-to box.d box.e) (next-to box.e box.d) 
  (statis door.clkril open) (statis door.pdpclk open) (statis door.ramclk closed)
  (statis door.mysclk open) (statis door.myspdp closed)
  (statis door.ramhal closed) (statis door.mysram open) (statis door.unimys open)
  (is-type room.ril room) (is-type room.clk room) (is-type room.pdp room)
  (is-type room.hal room) (is-type room.ram room) (is-type room.mys room)
  (is-type room.uni room) (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.pdp) (in-room box.d room.pdp)
  (in-room box.c room.mys) (in-room box.b room.mys) (in-room box.a room.uni)
  (in-room robot room.mys))) 
(st-5 (and (next-to box.c box.d) (statis door.myspdp closed))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.e box.a) (next-to box.a box.e) 
  (next-to box.a door.clkril) (next-to box.b door.mysram)
  (next-to box.d door.unimys) (next-to box.e door.clkril)
  (statis door.clkril open) (statis door.pdpclk closed) (statis door.ramclk open)
  (statis door.mysclk open) (statis door.myspdp open) (statis door.ramhal open)
  (statis door.mysram closed) (statis door.unimys closed) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.clk) (in-room box.d room.uni)
  (in-room box.c room.ram) (in-room box.b room.mys) (in-room box.a room.clk)
  (in-room robot room.clk))) 
(st-6 (and (next-to box.e door.mysram) (statis door.myspdp open))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.d box.a)
  (next-to box.a box.d) (next-to box.a box.d) (next-to box.d box.a)
   (next-to box.a door.clkril) (next-to box.d door.mysclk)
  (statis door.clkril open) (statis door.pdpclk closed)
  (statis door.ramclk closed) (statis door.mysclk open)
  (statis door.myspdp closed) (statis door.ramhal closed)
  (statis door.mysram closed) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.ram) (in-room box.d room.clk)
  (in-room box.c room.pdp) (in-room box.b room.uni) (in-room box.a room.clk)
  (in-room robot room.mys))) 
(st-7 (and (next-to box.a door.mysram) (statis door.mysram closed))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.c box.a)
  (next-to box.a box.c) (next-to box.a box.c) (next-to box.c box.a)
  (next-to box.b door.ramhal) (next-to box.d door.ramclk)
  (statis door.clkril open) (statis door.pdpclk closed)
  (statis door.ramclk closed) (statis door.mysclk closed)
  (statis door.myspdp closed) (statis door.ramhal open) (statis door.mysram open)
  (statis door.unimys closed) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.ril) (in-room box.d room.clk) (in-room box.c room.mys)
  (in-room box.b room.hal) (in-room box.a room.mys) (in-room robot room.uni))) 
(st-8 (and (statis door.ramhal open) (in-room robot room.ram))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.b door.mysram)
  (statis door.clkril open) (statis door.pdpclk open) (statis door.ramclk closed)
  (statis door.mysclk closed) (statis door.myspdp open)
  (statis door.ramhal closed) (statis door.mysram open) (statis door.unimys open)
  (is-type room.ril room) (is-type room.clk room) (is-type room.pdp room)
  (is-type room.hal room) (is-type room.ram room) (is-type room.mys room)
  (is-type room.uni room) (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.mys) (in-room box.d room.mys)
  (in-room box.c room.clk) (in-room box.b room.ram) (in-room box.a room.clk)
  (in-room robot room.pdp))) 
(st-9 (and (in-room box.c room.ril) (next-to box.a door.mysram))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.b box.d) (next-to box.d box.b) (next-to box.b door.mysclk)
  (statis door.clkril open) (statis door.pdpclk closed)
  (statis door.ramclk closed) (statis door.mysclk open) (statis door.myspdp open)
  (statis door.ramhal closed) (statis door.mysram closed)
  (statis door.unimys closed) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.uni) (in-room box.d room.mys) (in-room box.c room.uni)
  (in-room box.b room.mys) (in-room box.a room.ril) (in-room robot room.uni))) 
(st-10 (and (in-room box.d room.uni) (next-to box.c door.mysram))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.b door.myspdp) (next-to box.c door.unimys)
  (next-to box.d door.ramclk) (statis door.clkril closed)
  (statis door.pdpclk open) (statis door.ramclk open) (statis door.mysclk closed)
  (statis door.myspdp closed) (statis door.ramhal open)
  (statis door.mysram closed) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.ril) (in-room box.d room.ram)
  (in-room box.c room.mys) (in-room box.b room.mys) (in-room box.a room.ram)
  (in-room robot room.clk))) 
(st-11 (and (next-to box.b box.d) (in-room box.e room.clk))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.a door.ramhal)
  (statis door.clkril closed) (statis door.pdpclk open)
  (statis door.ramclk closed) (statis door.mysclk closed)
  (statis door.myspdp closed) (statis door.ramhal closed)
  (statis door.mysram open) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.hal) (in-room box.d room.ram)
  (in-room box.c room.uni) (in-room box.b room.ril) (in-room box.a room.hal)
  (in-room robot room.pdp))) 
(st-12 (and (in-room box.c room.clk) (in-room box.d room.ril))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.a door.clkril)
  (next-to box.c door.mysram) (statis door.clkril open)
  (statis door.pdpclk closed) (statis door.ramclk closed)
  (statis door.mysclk closed) (statis door.myspdp closed)
  (statis door.ramhal closed) (statis door.mysram open)
  (statis door.unimys closed) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.pdp) (in-room box.d room.uni) (in-room box.c room.ram)
  (in-room box.b room.ril) (in-room box.a room.clk) (in-room robot room.hal))) 
(st-13 (and (statis door.unimys open) (statis door.ramclk closed))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.e box.b) (next-to box.b box.e) (next-to box.b box.e)
  (next-to box.e box.b) (next-to box.c door.ramclk) (statis door.clkril closed)
  (statis door.pdpclk open) (statis door.ramclk open) (statis door.mysclk open)
  (statis door.myspdp open) (statis door.ramhal closed) (statis door.mysram open)
  (statis door.unimys closed) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.hal) (in-room box.d room.uni) (in-room box.c room.clk)
  (in-room box.b room.hal) (in-room box.a room.ril) (in-room robot room.ril))) 
(st-14 (and (statis door.pdpclk open) (in-room box.b room.ril))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.b door.unimys)
  (next-to box.d door.clkril) (next-to box.e door.unimys)
  (statis door.clkril closed) (statis door.pdpclk closed)
  (statis door.ramclk open) (statis door.mysclk open) (statis door.myspdp closed)
  (statis door.ramhal open) (statis door.mysram closed)
  (statis door.unimys closed) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.mys) (in-room box.d room.clk) (in-room box.c room.mys)
  (in-room box.b room.uni) (in-room box.a room.ril) (in-room robot room.hal))) 
(st-15 (and (statis door.unimys closed) (in-room box.c room.pdp))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.d box.b)
  (next-to box.b box.d) (next-to box.d box.c) (next-to box.c box.d)
  (next-to box.c box.d) (next-to box.d box.c) (next-to box.c door.clkril)
  (statis door.clkril open) (statis door.pdpclk open) (statis door.ramclk open)
  (statis door.mysclk open) (statis door.myspdp open) (statis door.ramhal open)
  (statis door.mysram open) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.pdp) (in-room box.d room.ril)
  (in-room box.c room.ril) (in-room box.b room.ril) (in-room box.a room.uni)
  (in-room robot room.mys))) 
(st-16 (and (in-room box.e room.pdp) (next-to box.c door.mysclk))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.a box.d)
  (next-to box.d box.a) (next-to box.b door.unimys) (next-to box.e door.mysram)
  (statis door.clkril open) (statis door.pdpclk closed)
  (statis door.ramclk closed) (statis door.mysclk open)
  (statis door.myspdp closed) (statis door.ramhal open)
  (statis door.mysram closed) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.mys) (in-room box.d room.pdp)
  (in-room box.c room.mys) (in-room box.b room.uni) (in-room box.a room.pdp)
  (in-room robot room.ril))) 
(st-17 (and (in-room box.d room.ram) (statis door.clkril open))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
   (next-to box.a door.ramhal) (next-to box.b door.myspdp)
  (statis door.clkril closed) (statis door.pdpclk closed)
  (statis door.ramclk open) (statis door.mysclk open) (statis door.myspdp open)
  (statis door.ramhal closed) (statis door.mysram open) (statis door.unimys open)
  (is-type room.ril room) (is-type room.clk room) (is-type room.pdp room)
  (is-type room.hal room) (is-type room.ram room) (is-type room.mys room)
  (is-type room.uni room) (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.uni) (in-room box.d room.mys)
  (in-room box.c room.clk) (in-room box.b room.pdp) (in-room box.a room.ram)
  (in-room robot room.ram))) 
(st-18 (and (statis door.myspdp closed) (statis door.unimys open))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.e box.b) (next-to box.b box.e) (next-to box.a box.d)
  (next-to box.d box.a) (next-to box.c door.unimys) (next-to box.d door.pdpclk)
  (statis door.clkril closed) (statis door.pdpclk open)
  (statis door.ramclk closed) (statis door.mysclk closed)
  (statis door.myspdp open) (statis door.ramhal closed)
  (statis door.mysram closed) (statis door.unimys closed) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.hal) (in-room box.d room.pdp)
  (in-room box.c room.mys) (in-room box.b room.hal) (in-room box.a room.pdp)
  (in-room robot room.hal))) 
(st-19 (and (in-room box.b room.ram) (statis door.mysclk closed))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.d box.c)
  (next-to box.c box.d) (next-to box.c box.d) (next-to box.d box.c)
   (next-to box.b door.clkril) (statis door.clkril open)
  (statis door.pdpclk closed) (statis door.ramclk closed)
  (statis door.mysclk open) (statis door.myspdp closed)
  (statis door.ramhal closed) (statis door.mysram open) (statis door.unimys open)
  (is-type room.ril room) (is-type room.clk room) (is-type room.pdp room)
  (is-type room.hal room) (is-type room.ram room) (is-type room.mys room)
  (is-type room.uni room) (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.pdp) (in-room box.d room.uni)
  (in-room box.c room.uni) (in-room box.b room.ril) (in-room box.a room.mys)
  (in-room robot room.clk))) 
(st-20 (and (next-to box.e door.clkril) (statis door.myspdp closed))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.e box.a)
  (next-to box.a box.e) (statis door.clkril open) (statis door.pdpclk closed)
  (statis door.ramclk open) (statis door.mysclk open) (statis door.myspdp open)
  (statis door.ramhal closed) (statis door.mysram closed)
  (statis door.unimys closed) (is-type room.ril room) (is-type room.clk room)
  (is-type room.pdp room) (is-type room.hal room) (is-type room.ram room)
  (is-type room.mys room) (is-type room.uni room) (is-type door.clkril door)
  (is-type door.pdpclk door) (is-type door.ramclk door)
  (is-type door.mysclk door) (is-type door.myspdp door)
  (is-type door.ramhal door) (is-type door.mysram door)
  (is-type door.unimys door) (pushable box.e) (pushable box.d) (pushable box.c)
  (pushable box.b) (pushable box.a) (is-type box.e box) (is-type box.d box)
  (is-type box.c box) (is-type box.b box) (is-type box.a box)
  (in-room box.e room.uni) (in-room box.d room.pdp) (in-room box.c room.mys)
  (in-room box.b room.pdp) (in-room box.a room.uni) (in-room robot room.ril))) 
(st-21 (and (statis door.mysclk closed) (in-room box.b room.mys))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.e box.a) (next-to box.a box.e) (next-to box.a box.b)
  (next-to box.b box.a) (next-to box.b door.unimys) (next-to box.c door.myspdp)
  (next-to box.d door.mysram) (statis door.clkril closed)
  (statis door.pdpclk open) (statis door.ramclk closed) (statis door.mysclk open)
  (statis door.myspdp open) (statis door.ramhal closed)
  (statis door.mysram closed) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.uni) (in-room box.d room.ram)
  (in-room box.c room.mys) (in-room box.b room.uni) (in-room box.a room.uni)
  (in-room robot room.ram))) 
(st-22 (and (next-to box.b door.unimys) (in-room box.a room.mys))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.c box.a)
  (next-to box.a box.c) (next-to box.a box.c) (next-to box.c box.a)
  (next-to box.e door.myspdp) (statis door.clkril closed)
  (statis door.pdpclk open) (statis door.ramclk closed)
  (statis door.mysclk closed) (statis door.myspdp open)
  (statis door.ramhal closed) (statis door.mysram open) (statis door.unimys open)
  (is-type room.ril room) (is-type room.clk room) (is-type room.pdp room)
  (is-type room.hal room) (is-type room.ram room) (is-type room.mys room)
  (is-type room.uni room) (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.mys) (in-room box.d room.pdp)
  (in-room box.c room.uni) (in-room box.b room.hal) (in-room box.a room.uni)
  (in-room robot room.ril))) 
(st-23 (and (next-to box.e box.c) (statis door.unimys open))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) 
  (next-to box.d box.a) (next-to box.a box.d) (next-to box.a box.d)
  (next-to box.d box.a)  (statis door.clkril open)
  (statis door.pdpclk open) (statis door.ramclk open) (statis door.mysclk closed)
  (statis door.myspdp open) (statis door.ramhal closed)
  (statis door.mysram closed) (statis door.unimys closed) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.ram) (in-room box.d room.uni)
  (in-room box.c room.mys) (in-room box.b room.ril) (in-room box.a room.uni)
  (in-room robot room.uni))) 
(st-24 (and (next-to box.d door.ramclk) (statis door.mysclk open))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.b door.mysclk)
  (statis door.clkril open) (statis door.pdpclk closed) (statis door.ramclk open)
  (statis door.mysclk closed) (statis door.myspdp open) (statis door.ramhal open)
  (statis door.mysram closed) (statis door.unimys open) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.ram) (in-room box.d room.uni)
  (in-room box.c room.ril) (in-room box.b room.clk) (in-room box.a room.mys)
  (in-room robot room.hal))) 
(st-25 (and (next-to box.e box.c) (next-to box.c box.e))
 ((connects door.clkril room.ril room.clk)
  (connects door.clkril room.clk room.ril)
  (connects door.pdpclk room.clk room.pdp)
  (connects door.pdpclk room.pdp room.clk)
  (connects door.ramclk room.clk room.ram)
  (connects door.ramclk room.ram room.clk)
  (connects door.mysclk room.clk room.mys)
  (connects door.mysclk room.mys room.clk)
  (connects door.myspdp room.pdp room.mys)
  (connects door.myspdp room.mys room.pdp)
  (connects door.ramhal room.hal room.ram)
  (connects door.ramhal room.ram room.hal)
  (connects door.mysram room.ram room.mys)
  (connects door.mysram room.mys room.ram)
  (connects door.unimys room.mys room.uni)
  (connects door.unimys room.uni room.mys) (next-to box.e box.b)
  (next-to box.b box.e) (next-to box.b box.e) (next-to box.e box.b)
  (next-to box.a door.mysclk) (statis door.clkril open)
  (statis door.pdpclk closed) (statis door.ramclk open)
  (statis door.mysclk closed) (statis door.myspdp open) (statis door.ramhal open)
  (statis door.mysram closed) (statis door.unimys closed) (is-type room.ril room)
  (is-type room.clk room) (is-type room.pdp room) (is-type room.hal room)
  (is-type room.ram room) (is-type room.mys room) (is-type room.uni room)
  (is-type door.clkril door) (is-type door.pdpclk door)
  (is-type door.ramclk door) (is-type door.mysclk door)
  (is-type door.myspdp door) (is-type door.ramhal door)
  (is-type door.mysram door) (is-type door.unimys door) (pushable box.e)
  (pushable box.d) (pushable box.c) (pushable box.b) (pushable box.a)
  (is-type box.e box) (is-type box.d box) (is-type box.c box) (is-type box.b box)
  (is-type box.a box) (in-room box.e room.pdp) (in-room box.d room.hal)
  (in-room box.c room.mys) (in-room box.b room.pdp) (in-room box.a room.clk)
  (in-room robot room.ril))) 
))