;;; intersect -- complete validated solution, 40 actions.
;;; SUCCESS-P T; GOAL-CHECKED-P T; GOAL-SATISFIED-P T; solution validators accepted
;;; To re-validate: (stage intersect), then evaluate this form separately.
(validate-solution :verbose
  (1 (pickup-connector > agent1 picks up connector1 at location1))
  (2 (select-termini > agent1 selects (receiver3 receiver1 transmitter1) for connector1 at location1))
  (3 (put-connector > agent1 puts connector1 on ground at location1))
  (4 (move > agent1 moves via ((walk location1 (gate1) location2))))
  (5 (pickup-connector > agent1 picks up connector2 at location2))
  (6 (select-termini > agent1 selects (receiver4 receiver2 transmitter2) for connector2 at location2))
  (7 (put-connector > agent1 puts connector2 on ground at location2))
  (8 (move > agent1 moves via ((walk location2 (gate2) location3))))
  (9 (pickup-connector > agent1 picks up connector3 at location3))
  (10 (select-termini > agent1 selects (transmitter2) for connector3 at location3))
  (11 (put-connector > agent1 puts connector3 on ground at location3))
  (12 (move > agent1 moves via ((ladder location3 (ladder1) location2))))
  (13 (pickup-connector > agent1 picks up connector2 at location2))
  (14 (select-termini > agent1 selects (connector3 receiver4 receiver2) for connector2 at location2))
  (15 (put-connector > agent1 puts connector2 on ground at location2))
  (16 (move > agent1 moves via ((walk location2 nil location8))))
  (17 (move > agent1 moves via ((walk location8 (gate2) location3))))
  (18 (pickup-connector > agent1 picks up connector3 at location3))
  (19 (move > agent1 moves via ((walk location3 (gate3) location11))))
  (20 (select-termini > agent1 selects (receiver3) for connector3 at location11))
  (21 (put-connector > agent1 puts connector3 on ground at location11))
  (22 (move > agent1 moves via ((walk location11 (gate3) location3))))
  (23 (move > agent1 moves via ((ladder location3 (ladder1) location2))))
  (24 (pickup-connector > agent1 picks up connector2 at location2))
  (25 (move > agent1 moves via ((walk location2 nil location9))))
  (26 (select-termini > agent1 selects (receiver2 transmitter2) for connector2 at location9))
  (27 (put-connector > agent1 puts connector2 on ground at location9))
  (28 (move > agent1 moves via ((walk location9 (gate1) location1))))
  (29 (pickup-connector > agent1 picks up connector1 at location1))
  (30 (move > agent1 moves via ((walk location1 nil location10))))
  (31 (select-termini > agent1 selects (connector3 receiver1 transmitter1) for connector1 at location10))
  (32 (put-connector > agent1 puts connector1 on ground at location10))
  (33 (move > agent1 moves via ((walk location10 (gate1) location2))))
  (34 (move > agent1 moves via ((walk location2 (gate2) location3))))
  (35 (move > agent1 moves via ((walk location3 (gate3) location11))))
  (36 (pickup-connector > agent1 picks up connector3 at location11))
  (37 (move > agent1 moves via ((walk location11 nil location6))))
  (38 (select-termini > agent1 selects (connector2 receiver4) for connector3 at location6))
  (39 (put-connector > agent1 puts connector3 on plate1 at location6))
  (40 (move > agent1 moves via ((walk location6 (gate4) location7)))))

Final state:
  Time: 40.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER1)
    (ACTIVE RECEIVER4)
    (COLOR CONNECTOR2 RED)
    (COLOR CONNECTOR1 BLUE)
    (COLOR CONNECTOR3 RED)
    (DEPRESSED PLATE1)
    (HAS-LOCATION AGENT1 LOCATION7)
    (HAS-LOCATION CONNECTOR2 LOCATION9)
    (HAS-LOCATION CONNECTOR1 LOCATION10)
    (HAS-LOCATION CONNECTOR3 LOCATION6)
    (ON CONNECTOR3 PLATE1)
    (OPEN GATE2)
    (OPEN GATE1)
    (OPEN GATE4)
    (PAIRED CONNECTOR2 RECEIVER2)
    (PAIRED CONNECTOR2 TRANSMITTER2)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER1)
    (PAIRED CONNECTOR3 CONNECTOR2)
    (PAIRED CONNECTOR3 RECEIVER4)

