;;; claustro-topo -- complete validated solution, 36 actions.
;;; SUCCESS-P T; GOAL-CHECKED-P T; GOAL-SATISFIED-P T
;;; To re-validate: (stage claustro-topo), then evaluate this form separately.
(validate-solution :verbose
  (1 (pickup-jammer > agent1 picks up jammer1 at location1))
  (2 (jam-target > agent1 jams gate1 with jammer1 at location1 on ground))
  (3 (move agent1 ((walk location1 (gate1 gate3) location4))))
  (4 (pickup-box > agent1 picks up box1 at location4 from location4))
  (5 (move agent1 ((walk location4 nil location3))))
  (6 (put-box > agent1 puts box1 on ground at location2))
  (7 (move agent1 ((walk location3 (gate4 screen1) location7))))
  (8 (pickup-jammer > agent1 picks up jammer1 at location7))
  (9 (move agent1 ((walk location7 nil location8))))
  (10 (jam-target > agent1 jams gate5 with jammer1 at location8 on ground))
  (11 (move agent1 ((walk location8 (gate4 gate5 screen1) location9))))
  (12 (pickup-jammer > agent1 picks up jammer2 at location9))
  (13 (move agent1 ((walk location9 (gate5) location6))))
  (14 (jam-target > agent1 jams gate5 with jammer2 at location6 on plate3))
  (15 (move agent1 ((walk location6 (gate4 screen1) location8))))
  (16 (pickup-jammer > agent1 picks up jammer1 at location8))
  (17 (move agent1 ((walk location8 nil location7))))
  (18 (jam-target > agent1 jams gate1 with jammer1 at location1 on ground))
  (19 (move agent1 ((ladder location7 (ladder1) location1))))
  (20 (move agent1 ((walk location1 nil location2))))
  (21 (pickup-box > agent1 picks up box1 at location2 from location2))
  (22 (move agent1 ((walk location2 nil location1))))
  (23 (move agent1 ((walk location1 (gate1 gate3) location4))))
  (24 (put-box > agent1 puts box1 on plate1 at location4))
  (25 (move agent1 ((walk location4 nil location6))))
  (26 (pickup-jammer > agent1 picks up jammer2 at location6))
  (27 (jam-target > agent1 jams gate1 with jammer2 at location6 on plate3))
  (28 (move agent1 ((walk location6 (gate1 gate3) location1))))
  (29 (pickup-jammer > agent1 picks up jammer1 at location1))
  (30 (move agent1 ((walk location1 (gate1 gate3) location5))))
  (31 (jam-target > agent1 jams gate5 with jammer1 at location5 on plate2))
  (32 (move agent1 ((walk location5 (gate5 gate6 gate7) location10))))
  (33 (move agent1 ((jump (location10 ground) nil (location10 box2)))))
  (34 (move agent1 ((jump (location10 box2) (edge1) (location12 ground)))))
  (35 (move agent1 ((walk location12 (gate8 gate9) location13))))
  (36 (move agent1 ((stairs location13 (staircase1) location11)))))

Final state:
  Time: 36.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (DEPRESSED PLATE1)
    (DEPRESSED PLATE3)
    (DEPRESSED PLATE2)
    (HAS-LOCATION AGENT1 LOCATION11)
    (HAS-LOCATION BOX2 LOCATION10)
    (HAS-LOCATION BOX1 LOCATION4)
    (HAS-LOCATION JAMMER2 LOCATION6)
    (HAS-LOCATION JAMMER1 LOCATION5)
    (JAMMING JAMMER2 GATE1)
    (JAMMING JAMMER1 GATE5)
    (ON BOX1 PLATE1)
    (ON JAMMER2 PLATE3)
    (ON JAMMER1 PLATE2)
    (OPEN GATE6)
    (OPEN GATE1)
    (OPEN GATE2)
    (OPEN GATE3)
    (OPEN GATE7)
    (OPEN GATE5)
    (OPEN GATE8)
    (OPEN GATE9)

