;;; corner-topo -- complete validated solution, 19 actions.
;;; SUCCESS-P T; GOAL-CHECKED-P T; GOAL-SATISFIED-P T; solution validators accepted
;;; To re-validate: (stage corner-topo), then evaluate this form separately.
(validate-solution :verbose
  (1 (move agent1 ((walk location1 nil location3))))
  (2 (pickup-connector > agent1 picks up connector3 at location3))
  (3 (select-termini > agent1 selects (connector1 receiver2 receiver1 transmitter1) for connector3 at location3))
  (4 (put-connector > agent1 puts connector3 on ground at location3))
  (5 (move agent1 ((walk location3 nil location1))))
  (6 (pickup-connector-retaining-pairings > agent1 picks up connector1 retaining pairings at location1))
  (7 (move agent1 ((walk location1 nil location2))))
  (8 (select-termini > agent1 selects (receiver3 receiver1 transmitter2) for connector1 at location2))
  (9 (put-connector > agent1 puts connector1 on ground at location2))
  (10 (pickup-connector > agent1 picks up connector2 at location2))
  (11 (select-termini > agent1 selects (transmitter1) for connector2 at location2))
  (12 (move agent1 ((walk location2 (gate1) location4))))
  (13 (put-connector > agent1 puts connector2 on ground at location4))
  (14 (move agent1 ((walk location4 (gate1) location3))))
  (15 (pickup-connector > agent1 picks up connector3 at location3))
  (16 (select-termini > agent1 selects (connector2 connector1 receiver2 transmitter1) for connector3 at location3))
  (17 (put-connector > agent1 puts connector3 on ground at location3))
  (18 (move agent1 ((walk location3 (gate1) location4))))
  (19 (pickup-connector-retaining-pairings > agent1 picks up connector2 retaining pairings at location4)))

Final state:
  Time: 19.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER3)
    (ACTIVE RECEIVER2)
    (COLOR CONNECTOR1 BLUE)
    (COLOR CONNECTOR3 RED)
    (HAS-LOCATION AGENT1 LOCATION4)
    (HAS-LOCATION CONNECTOR1 LOCATION2)
    (HAS-LOCATION CONNECTOR3 LOCATION3)
    (HOLDING1 AGENT1 CONNECTOR2)
    (HOLDING2 AGENT1 CONNECTOR2)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR3 CONNECTOR2)
    (PAIRED CONNECTOR3 CONNECTOR1)
    (PAIRED CONNECTOR3 RECEIVER2)
    (PAIRED CONNECTOR3 TRANSMITTER1)

