98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-1D-DOMAIN.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-1D-DOMAIN.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-1D-RD-DOMAIN.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-1D-RD-DOMAIN.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-DOMAIN.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-DOMAIN.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-NS-DOMAIN.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-NS-DOMAIN.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-RD-DOMAIN.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains ART-MD-RD-DOMAIN.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\art.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains art.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\art.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains art.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\blocks-world.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains blocks-world.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\blocks-world.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains blocks-world.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\briefcase.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains briefcase.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\briefcase.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains briefcase.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\D1S1.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains D1S1.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\D1S1.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains D1S1.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\eight.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains eight.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\eight.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains eight.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ferry.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains ferry.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\ferry.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains ferry.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\fridge.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains fridge.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\fridge.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains fridge.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\homeowner.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains homeowner.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\homeowner.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains homeowner.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\list.lst <-- ultra /export/home/dvm/prog/pddl/pddl/domains list.lst 98.04.03 12:59 B M:\prog\pddl\pddl\domains\logistics.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains logistics.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\logistics.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains logistics.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\meet-pass.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains meet-pass.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\meet-pass.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains meet-pass.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\molgen.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains molgen.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\molgen.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains molgen.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\monkey.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains monkey.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\monkey.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains monkey.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\montlake.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains montlake.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\montlake.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains montlake.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\morris.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains morris.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\morris.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains morris.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\occam.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains occam.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\occam.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains occam.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\safety-domain.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains safety-domain.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\safety-domain.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains safety-domain.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\tire-world.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains tire-world.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\tire-world.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains tire-world.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\trains.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains trains.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\trains.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains trains.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\travel.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains travel.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\travel.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains travel.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\truckworld.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains truckworld.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\truckworld.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains truckworld.pddl 98.04.03 12:59 B M:\prog\pddl\pddl\domains\woodshop.chk <-- ultra /export/home/dvm/prog/pddl/pddl/domains woodshop.chk 98.04.03 12:59 B M:\prog\pddl\pddl\domains\woodshop.pddl <-- ultra /export/home/dvm/prog/pddl/pddl/domains woodshop.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-DOMAIN.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-DOMAIN.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-RD-DOMAIN.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-RD-DOMAIN.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-DOMAIN.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-DOMAIN.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-DOMAIN.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-DOMAIN.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-RD-DOMAIN.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-RD-DOMAIN.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\art.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains art.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\art.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains art.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\blocks-world.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains blocks-world.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\blocks-world.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains blocks-world.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\briefcase.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains briefcase.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\briefcase.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains briefcase.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\D1S1.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains D1S1.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\D1S1.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains D1S1.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\eight.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains eight.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\eight.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains eight.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ferry.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ferry.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\ferry.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ferry.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\fridge.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains fridge.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\fridge.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains fridge.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\homeowner.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains homeowner.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\homeowner.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains homeowner.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\list.lst --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains list.lst 98.04.14 15:17 B M:\prog\pddl\pddl\domains\logistics.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains logistics.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\logistics.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains logistics.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\meet-pass.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains meet-pass.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\meet-pass.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains meet-pass.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\molgen.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains molgen.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\molgen.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains molgen.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\monkey.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains monkey.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\monkey.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains monkey.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\montlake.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains montlake.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\montlake.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains montlake.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\morris.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains morris.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\morris.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains morris.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\occam.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains occam.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\occam.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains occam.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\safety-domain.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains safety-domain.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\safety-domain.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains safety-domain.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\tire-world.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains tire-world.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\tire-world.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains tire-world.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\trains.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains trains.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\trains.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains trains.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\travel.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains travel.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\travel.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains travel.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\truckworld.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains truckworld.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\truckworld.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains truckworld.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\woodshop.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains woodshop.chk 98.04.14 15:17 B M:\prog\pddl\pddl\domains\woodshop.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains woodshop.pddl 98.04.14 15:17 B M:\prog\pddl\pddl\domains\WS_FTP.LOG --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains WS_FTP.LOG 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-DOMAIN.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-DOMAIN.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-RD-DOMAIN.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-RD-DOMAIN.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-DOMAIN.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-DOMAIN.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-DOMAIN.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-DOMAIN.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-RD-DOMAIN.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-RD-DOMAIN.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\art.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains art.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\art.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains art.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\blocks-world.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains blocks-world.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\blocks-world.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains blocks-world.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\briefcase.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains briefcase.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\briefcase.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains briefcase.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\D1S1.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains D1S1.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\D1S1.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains D1S1.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\eight.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains eight.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\eight.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains eight.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ferry.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ferry.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\ferry.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ferry.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\fridge.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains fridge.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\fridge.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains fridge.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\homeowner.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains homeowner.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\homeowner.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains homeowner.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\list.lst --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains list.lst 98.04.28 16:19 B M:\prog\pddl\pddl\domains\logistics.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains logistics.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\logistics.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains logistics.pddl 98.04.28 16:19 B M:\prog\pddl\pddl\domains\meet-pass.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains meet-pass.chk 98.04.28 16:19 B M:\prog\pddl\pddl\domains\meet-pass.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains meet-pass.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\molgen.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains molgen.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\molgen.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains molgen.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\monkey.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains monkey.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\monkey.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains monkey.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\montlake.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains montlake.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\montlake.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains montlake.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\morris.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains morris.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\morris.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains morris.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\mystery.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains mystery.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\occam.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains occam.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\occam.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains occam.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\pddl.tar --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains pddl.tar 98.04.28 16:20 B M:\prog\pddl\pddl\domains\safety-domain.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains safety-domain.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\safety-domain.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains safety-domain.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\tire-world.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains tire-world.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\tire-world.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains tire-world.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\trains.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains trains.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\trains.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains trains.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\travel.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains travel.chk 98.04.28 16:20 B M:\prog\pddl\pddl\domains\travel.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains travel.pddl 98.04.28 16:20 B M:\prog\pddl\pddl\domains\truckworld.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains truckworld.chk 98.04.28 16:21 B M:\prog\pddl\pddl\domains\truckworld.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains truckworld.pddl 98.04.28 16:21 B M:\prog\pddl\pddl\domains\woodshop.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains woodshop.chk 98.04.28 16:21 B M:\prog\pddl\pddl\domains\woodshop.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains woodshop.pddl 98.04.28 16:21 B M:\prog\pddl\pddl\domains\WS_FTP.LOG --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains WS_FTP.LOG 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-1D-DOMAIN.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-1D-DOMAIN.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-1D-RD-DOMAIN.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-1D-RD-DOMAIN.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-DOMAIN.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-DOMAIN.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-NS-DOMAIN.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-NS-DOMAIN.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-RD-DOMAIN.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ART-MD-RD-DOMAIN.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\art.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains art.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\art.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains art.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\blocks-world.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains blocks-world.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\blocks-world.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains blocks-world.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\briefcase.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains briefcase.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\briefcase.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains briefcase.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\D1S1.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains D1S1.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\D1S1.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains D1S1.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\eight.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains eight.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\eight.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains eight.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ferry.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ferry.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\ferry.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains ferry.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\fridge.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains fridge.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\fridge.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains fridge.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\homeowner.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains homeowner.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\homeowner.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains homeowner.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\list.lst --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains list.lst 98.05.11 10:50 B M:\prog\pddl\pddl\domains\logistics.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains logistics.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\logistics.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains logistics.pddl 98.05.11 10:50 B M:\prog\pddl\pddl\domains\meet-pass.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains meet-pass.chk 98.05.11 10:50 B M:\prog\pddl\pddl\domains\meet-pass.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains meet-pass.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\molgen.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains molgen.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\molgen.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains molgen.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\monkey.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains monkey.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\monkey.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains monkey.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\montlake.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains montlake.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\montlake.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains montlake.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\morris.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains morris.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\morris.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains morris.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\mystery.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains mystery.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\occam.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains occam.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\occam.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains occam.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\pddl.tar --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains pddl.tar 98.05.11 10:51 B M:\prog\pddl\pddl\domains\safety-domain.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains safety-domain.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\safety-domain.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains safety-domain.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\tire-world.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains tire-world.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\tire-world.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains tire-world.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\trains.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains trains.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\trains.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains trains.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\travel.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains travel.chk 98.05.11 10:51 B M:\prog\pddl\pddl\domains\travel.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains travel.pddl 98.05.11 10:51 B M:\prog\pddl\pddl\domains\truckworld.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains truckworld.chk 98.05.11 10:52 B M:\prog\pddl\pddl\domains\truckworld.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains truckworld.pddl 98.05.11 10:52 B M:\prog\pddl\pddl\domains\woodshop.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains woodshop.chk 98.05.11 10:52 B M:\prog\pddl\pddl\domains\woodshop.pddl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains woodshop.pddl 98.05.11 10:52 B M:\prog\pddl\pddl\domains\WS_FTP.LOG --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/domains WS_FTP.LOG 98.06.02 09:35 B M:\prog\pddl\pddl\domains\ART-1D-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-DOMAIN.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\ART-1D-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-1D-RD-DOMAIN.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\ART-MD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-DOMAIN.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\ART-MD-NS-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-DOMAIN.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\ART-MD-NS-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-NS-RD-DOMAIN.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\ART-MD-RD-DOMAIN.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ART-MD-RD-DOMAIN.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\art.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains art.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\blocks-world.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains blocks-world.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\briefcase.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains briefcase.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\D1S1.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains D1S1.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\eight.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains eight.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\eight.pddl~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains eight.pddl~ 98.06.02 09:35 B M:\prog\pddl\pddl\domains\ferry.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains ferry.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\fridge.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains fridge.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\gripper.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains gripper.chk 98.06.02 09:35 B M:\prog\pddl\pddl\domains\gripper.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains gripper.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\homeowner.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains homeowner.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\list.lst --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains list.lst 98.06.02 09:35 B M:\prog\pddl\pddl\domains\logistics.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains logistics.pddl 98.06.02 09:35 B M:\prog\pddl\pddl\domains\logistics.pddl~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains logistics.pddl~ 98.06.02 09:36 B M:\prog\pddl\pddl\domains\meet-pass.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains meet-pass.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\molgen.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains molgen.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\monkey.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains monkey.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\montlake.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains montlake.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\montlake.pddl~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains montlake.pddl~ 98.06.02 09:36 B M:\prog\pddl\pddl\domains\morris.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains morris.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\mystery.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains mystery.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\occam.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains occam.chk 98.06.02 09:36 B M:\prog\pddl\pddl\domains\occam.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains occam.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\safety-domain.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains safety-domain.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\tire-world.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains tire-world.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\tire-world.pddl~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains tire-world.pddl~ 98.06.02 09:36 B M:\prog\pddl\pddl\domains\trains.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains trains.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\travel.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains travel.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\truckworld.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains truckworld.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\woodshop.pddl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains woodshop.pddl 98.06.02 09:36 B M:\prog\pddl\pddl\domains\WS_FTP.LOG --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/domains WS_FTP.LOG