blob: 9e0784065d933d561f7b3a08bf54031b08f0e890 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
(define (problem MEXICOCITY)
(:domain METRO)
(:objects OBSERVATORIO TACUBAYA JUANACATLAN CHAPULTEPEC SEVILLA INSURGENTES CUAUHTEMOC
BALDERAS SALTO_AGUA ISABEL_LA_CATOLICA PINO_SUAREZ MERCED MOCTEZUMA
FLORES_MAGON R_RUBIO OCEANIA DEPORTIVO_OCEANIA BOSQUE_ARAGON VILLA_ARAGON
NEZAHUALCOYOTL IMPULSORA REMEDIOS MUZQUIZ ECATEPEC OLIMPICA PLAZA_ARAGON
CIUDAD_AZTECA TASQUENA GENERAL_ANAYA ERMITA PORTALES NATIVITAS VILLA_CORTES
XOLA VIADUCTA CHABACANO SAN_LAZARO BALBUENA PTO_AEREO GOMEZ_FARIAS ZARAGOZA
SAN_ANTONIO_ABAD ZOCALO ALLENDE BELLAS_ARTES HIDALGO REVOLUCION SAN_COSME
NORMAL COLEGIO_MILITAR POPOTLA CUITLAHUAC PANTEONES CUATRO_CAMINOS
INDIOS_VERDES DEPORTIVO_MARZO POTRERO RAZA TLATELOLCO GUERRERO JUAREZ N_HEROES
HOSPITAL CENTRO_MEDICO ETIOPIA EUGENIA DIVISION_NORTE ZAPATA COYOACAN VIVEROS
QUEVEDO COPILCO UNIVERSIDAD SANTA_ANITA JAMAICA FRAY_SERVANDO CANDELARIA MORELOS
CANAL_NORTE CONSULADO BONDOJITO TALISMAN MARTIN_CARRERA POLITECNICO
INST_PETROLERO AUTOBUSES_NORTE MISTERIOS VALLE_GOMEZ EDUARDO_MOLINA
ARAGON TERMINAL_AEREA HANGARES ROSARIO TEZOZOMOC AZCAPOTZALCO
FERRERIA NORTE_45 VALLEJO LINDAVISTA BASILICA AQUILES_SERDAN CAMARONES
SAN_JOAQUIN POLANDO AUDITORIO CONSTITUYENTES SP_LOS_PINOS SAN_ANTONIO MIXCOAC
BARRANCA_MUERTO GARIBALDI JUAN_LETRAN DOCTORES OBRERA LA_VIGA COYUYA IZTACALCO
APATLACO ACULCO ESCUADRON_201 ATLALILCO IZTAPALAPA ESTRELLA UAM CONSTITUCION
PATRIOTISMO CHILPANCINGO LAZARO_CARDENAS MIXIUHCA VELODROMO CIUDAD_DEPORTIVA
PUEBLA PANTITLAN - station
TREN - train
YO - person)
(:INIT (connected OBSERVATORIO TACUBAYA) (connected TACUBAYA JUANACATLAN)
(connected JUANACATLAN CHAPULTEPEC) (connected CHAPULTEPEC SEVILLA)
(connected SEVILLA INSURGENTES) (connected INSURGENTES CUAUHTEMOC)
(connected CUAUHTEMOC BALDERAS) (connected BALDERAS SALTO_AGUA)
(connected SALTO_AGUA ISABEL_LA_CATOLICA)
(connected ISABEL_LA_CATOLICA PINO_SUAREZ) (connected PINO_SUAREZ MERCED)
(connected MERCED CANDELARIA) (connected CANDELARIA SAN_LAZARO)
(connected SAN_LAZARO MOCTEZUMA) (connected MOCTEZUMA BALBUENA)
(connected BALBUENA PTO_AEREO) (connected PTO_AEREO GOMEZ_FARIAS)
(connected GOMEZ_FARIAS ZARAGOZA) (connected ZARAGOZA PANTITLAN)
(connected CUATRO_CAMINOS PANTEONES) (connected PANTEONES CUITLAHUAC)
(connected CUITLAHUAC POPOTLA) (connected POPOTLA COLEGIO_MILITAR)
(connected COLEGIO_MILITAR NORMAL) (connected NORMAL SAN_COSME)
(connected SAN_COSME REVOLUCION) (connected REVOLUCION HIDALGO)
(connected HIDALGO BELLAS_ARTES) (connected BELLAS_ARTES ALLENDE)
(connected ALLENDE ZOCALO) (connected ZOCALO PINO_SUAREZ)
(connected PINO_SUAREZ SAN_ANTONIO_ABAD) (connected SAN_ANTONIO_ABAD CHABACANO)
(connected CHABACANO VIADUCTA) (connected VIADUCTA XOLA)
(connected XOLA VILLA_CORTES) (connected VILLA_CORTES NATIVITAS)
(connected NATIVITAS PORTALES) (connected PORTALES ERMITA)
(connected EMITA GENERAL_ANAYA) (connected GENERAL_ANAYA TASQUENA)
(connected INDIOS_VERDES DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO POTRERO)
(connected POTRERO RAZA) (connected RAZA TLATELOLCO)
(connected TLATELOLCO GUERRERO) (connected GUERRERO HIDALGO)
(connected HIDALGO JUAREZ) (connected JUAREZ BALDERAS)
(connected BALDERAS N_HEROES) (connected N_HEROES HOSPITAL)
(connected HOSPITAL CENTRO_MEDICO) (connected CENTRO_MEDICO ETIOPIA)
(connected ETIOPIA EUGENIA) (connected EUGENIA DIVISION_NORTE)
(connected DIVISION_NORTE ZAPATA) (connected ZAPATA COYOACAN)
(connected COYOACAN VIVEROS) (connected VIVEROS QUEVEDO)
(connected QUEVEDO COPILCO) (connected COPILCO UNIVERSIDAD)
(connected SANTA_ANITA CHABACANO) (connected CHABACANO FRAY_SERVANDO)
(connected FRAY_SERVANDO CANDELARIA) (connected CANDELARIA MORELOS)
(connected MORELOS CANAL_NORTE) (connected CANAL_NORTE CONSULADO)
(connected CONSULADO BONDOJITO) (connected BONDOJITO TALISMAN)
(connected TALISMAN MARTIN_CARRERA) (connected POLITECNICO INST_PETROLERO)
(connected INST_PETROLERO AUTOBUSES_NORTE) (connected AUTOBUSES_NORTE RAZA)
(connected RAZA MISTERIOS) (connnected MISTERIOS VALLE_GOMEZ)
(connected VALLE_GOMEZ CONSULADO) (connected CONSULADO EDUARDO_MOLINA)
(connected EDUARDO_MOLINA ARAGON) (connected ARAGON OCEANIA)
(connected OCEANIA TERMINAL_AEREA) (connected TERMINAL_AEREA HANGARES)
(connected HANGARES PANTITLAN) (connected ROSARIO TEZOZOMOC)
(connected TEZOZOMOC AZCAPOTZALCO) (connected AZCAPOTZALCO FERRERIA)
(connected FERRERIA NORTE_45) (connected NORTE_45 VALLEJO)
(connected VALLEJO INST_PETROLERO) (connected INST_PETROLERO LINDAVISTA)
(connected LINDAVISTA DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO BASILICA)
(connected BASILICA MARTIN_CARRERA) (connected AQUILES_SERDAN CAMARONES)
(connected CAMARONES SAN_JOAQUIN) (connected SAN_JOAQUIN POLANCO)
(connected POLANCO AUDITORIO) (connected AUDITORIO CONSTITUYENTES)
(connected CONSTITUYENTES TACUBAYA) (connected TACUBAYA SP_LOS_PINOS)
(connected SP_LOS_PINOS SAN_ANTONIO) (connected SAN_ANTONIO MIXCOAC)
(connected MIXCOAC BARRANCA_MUERTO) (connected GUERRERO GARIBALDI)
(connected GARIBALDI BELLAS_ARTES) (connected BELLAS_ARTES JUAN_LETRAN)
(connected JUAN_LETRAN SALTO_AGUA) (connected SALTO_AGUA DOCTORES)
(connected DOCTORES OBRERA) (connected OBRERA CHABACANO)
(connected CHABACANO LA_VIGA) (connected LA_VIGA SANTA_ANITA)
(connected SANTA_ANITA COYUYA) (connected COYUYA IZTACALCO)
(connected IZTACALCO APATLACO) (connected APATLACO ACULCO)
(connected ACULCO ESCUADRON_201) (connected ESCUADRON_201 IZTAPALAPA)
(connected IZTAPALAPA ESTRELLA) (connected ESTRELLA UAM)
(connected UAM CONSTITUCION) (connected TACUBAYA PATRIOTISMO)
(connected PATRIOTISMO CHILPANCINGO) (connected CHILPANCINGO CENTRO_MEDICO)
(connected CENTRO_MEDICO LAZARO_CARDENAS) (connected LAZARO_CARDENAS CHABACANO)
(connected CHABACANO JAMAICA) (connected JAMAICA MIXIUHCA)
(connected MIXIUHCA VELODROMO) (connected VELODROMO CIUDAD_DEPORTIVA)
(connected CIUDAD_DEPORTIVA PUEBLA) (connected PUEBLA PANTITLAN)
(at TREN TACUBAYA) (in YO TREN))
(:GOAL (on YO GARIBALDI)))
|