rwxr-xr-x 4273/0 0 Jun 17 12:09 1994 ml-databases/pima-indians-diabetes/ rw-r--r-- 4273/0 156 Jun 17 12:09 1994 ml-databases/pima-indians-diabetes/Index rw-r--r-- 4273/0 23279 Jun 17 12:09 1994 ml-databases/pima-indians-diabetes/pima-indians-diabetes.data rw-r--r-- 4273/0 3067 Jun 17 12:09 1994 ml-databases/pima-indians-diabetes/pima-indians-diabetes.names rwxr-xr-x 4273/0 0 Jun 17 12:09 1994 ml-databases/postoperative-patient-data/ rw-r--r-- 4273/0 147 Jun 17 12:09 1994 ml-databases/postoperative-patient-data/Index rw-r--r-- 4273/0 4379 Jun 17 12:09 1994 ml-databases/postoperative-patient-data/post-operative.data rw-r--r-- 4273/0 2695 Jun 17 12:09 1994 ml-databases/postoperative-patient-data/post-operative.names rwxr-xr-x 4273/0 0 Jun 17 12:09 1994 ml-databases/prodigy/ rw-r--r-- 4273/0 74 Jun 17 12:09 1994 ml-databases/prodigy/Index rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/ rw-r--r-- 4273/0 616 Jun 17 12:09 1994 ml-databases/prodigy/domains/Index rw-r--r-- 4273/0 1398 Jun 17 12:09 1994 ml-databases/prodigy/domains/README rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/ rw-r--r-- 4273/0 352 Jun 17 12:09 1994 ml-databases/prodigy/domains/blocksworld/Index rw-r--r-- 4273/0 568 Jun 17 12:09 1994 ml-databases/prodigy/domains/blocksworld/README rw-r--r-- 4273/0 18426 Jun 17 12:09 1994 ml-databases/prodigy/domains/blocksworld/blocksgraph.lisp rw-r--r-- 4273/0 2274 Jun 17 12:09 1994 ml-databases/prodigy/domains/blocksworld/domain.lisp rw-r--r-- 4273/0 2810 Jun 17 12:09 1994 ml-databases/prodigy/domains/blocksworld/ebl-axioms.lisp rw-r--r-- 4273/0 4376 Jun 17 12:09 1994 ml-databases/prodigy/domains/blocksworld/human-sc-rules.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/ rw-r--r-- 4273/0 762 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/Index rw-r--r-- 4273/0 230 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p1.lisp rw-r--r-- 4273/0 218 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p10.lisp rw-r--r-- 4273/0 199 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p11.lisp rw-r--r-- 4273/0 177 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p12.lisp rw-r--r-- 4273/0 240 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p13.lisp rw-r--r-- 4273/0 270 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p14.lisp rw-r--r-- 4273/0 209 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p15.lisp rw-r--r-- 4273/0 306 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p16.lisp rw-r--r-- 4273/0 281 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p17.lisp rw-r--r-- 4273/0 261 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p18.lisp rw-r--r-- 4273/0 415 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p19.lisp rw-r--r-- 4273/0 204 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p2.lisp rw-r--r-- 4273/0 329 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p20.lisp rw-r--r-- 4273/0 233 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p21.lisp rw-r--r-- 4273/0 339 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p22.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p23.lisp rw-r--r-- 4273/0 209 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p24.lisp rw-r--r-- 4273/0 273 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p3.lisp rw-r--r-- 4273/0 207 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p4.lisp rw-r--r-- 4273/0 355 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p5.lisp rw-r--r-- 4273/0 156 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p7.lisp rw-r--r-- 4273/0 189 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p8.lisp rw-r--r-- 4273/0 172 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/p9.lisp rw-r--r-- 4273/0 282 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probs/paper-prob.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ rw-r--r-- 4273/0 316 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/Index rw-r--r-- 4273/0 3057 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps0.lisp rw-r--r-- 4273/0 2126 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps1.lisp rw-r--r-- 4273/0 3895 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps2.lisp rw-r--r-- 4273/0 2909 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps3.lisp rw-r--r-- 4273/0 2735 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps4.lisp rw-r--r-- 4273/0 2785 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps5.lisp rw-r--r-- 4273/0 3519 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps6.lisp rw-r--r-- 4273/0 3093 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps7.lisp rw-r--r-- 4273/0 3282 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/probsets/ps8.lisp rw-r--r-- 4273/0 650 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/sc-rules.lisp rw-r--r-- 4273/0 1416 Jun 17 12:10 1994 ml-databases/prodigy/domains/blocksworld/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/ rw-r--r-- 4273/0 675 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/Index rw-r--r-- 4273/0 2251 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/chdomain.lisp rw-r--r-- 4273/0 4164 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/eightgraph.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/ rw-r--r-- 4273/0 364 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/Index rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four1.lisp rw-r--r-- 4273/0 234 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four11.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four2.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four3.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four4.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four5.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four6.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four7.lisp rw-r--r-- 4273/0 228 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four8.lisp rw-r--r-- 4273/0 226 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pfour/four9.lisp rw-r--r-- 4273/0 2017 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pre1.lisp rw-r--r-- 4273/0 3313 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pre2.lisp rw-r--r-- 4273/0 5091 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/pre3.lisp rw-r--r-- 4273/0 5474 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/prefer.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/ rw-r--r-- 4273/0 576 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/Index rw-r--r-- 4273/0 404 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case1.lisp rw-r--r-- 4273/0 408 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case2.lisp rw-r--r-- 4273/0 405 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case21.lisp rw-r--r-- 4273/0 406 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case22.lisp rw-r--r-- 4273/0 404 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case3.lisp rw-r--r-- 4273/0 405 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case31.lisp rw-r--r-- 4273/0 404 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case4.lisp rw-r--r-- 4273/0 405 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case41.lisp rw-r--r-- 4273/0 405 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/case42.lisp rw-r--r-- 4273/0 403 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/form.lisp rw-r--r-- 4273/0 317 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/ph1.lisp rw-r--r-- 4273/0 362 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/ph2.lisp rw-r--r-- 4273/0 390 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/ph3.lisp rw-r--r-- 4273/0 373 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/ph4.lisp rw-r--r-- 4273/0 407 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/ph5.lisp rw-r--r-- 4273/0 435 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/ph6.lisp rw-r--r-- 4273/0 435 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/probs/testto6 rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix1/ rw-r--r-- 4273/0 198 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix1/Index rw-r--r-- 4273/0 288 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix1/six1.lisp rw-r--r-- 4273/0 288 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix1/six2.lisp rw-r--r-- 4273/0 288 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix1/six3.lisp rw-r--r-- 4273/0 288 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix1/six4.lisp rw-r--r-- 4273/0 288 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix1/six5.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/ rw-r--r-- 4273/0 267 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/Index rw-r--r-- 4273/0 309 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/six21.lisp rw-r--r-- 4273/0 309 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/six22.lisp rw-r--r-- 4273/0 309 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/six23.lisp rw-r--r-- 4273/0 309 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/six24.lisp rw-r--r-- 4273/0 309 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/six25.lisp rw-r--r-- 4273/0 309 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/six26.lisp rw-r--r-- 4273/0 309 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix2/six27.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix3/ rw-r--r-- 4273/0 203 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix3/Index rw-r--r-- 4273/0 323 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix3/six31.lisp rw-r--r-- 4273/0 323 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix3/six32.lisp rw-r--r-- 4273/0 323 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix3/six33.lisp rw-r--r-- 4273/0 323 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix3/six34.lisp rw-r--r-- 4273/0 323 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/psix3/six35.lisp rw-r--r-- 4273/0 2723 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/rej1.lisp rw-r--r-- 4273/0 3601 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/reject.lisp rw-r--r-- 4273/0 2023 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/sc-rules.lisp rw-r--r-- 4273/0 2489 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/sel1.lisp rw-r--r-- 4273/0 3399 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/sel12.lisp rw-r--r-- 4273/0 5335 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/sel13.lisp rw-r--r-- 4273/0 6748 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/sel14.lisp rw-r--r-- 4273/0 6257 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/select.lisp rw-r--r-- 4273/0 1609 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/ rw-r--r-- 4273/0 246 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/Index rw-r--r-- 4273/0 2423 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/d-ebl.lisp rw-r--r-- 4273/0 182 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/ebl-axioms.lisp rw-r--r-- 4273/0 2815 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/md.lisp rwxr-xr-x 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/ rw-r--r-- 4273/0 548 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/6simple.lisp rw-r--r-- 4273/0 352 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/Index rw-r--r-- 4273/0 352 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/md-4simple.lisp rw-r--r-- 4273/0 555 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/obs rw-r--r-- 4273/0 725 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/s1.lisp rw-r--r-- 4273/0 705 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/s2.lisp rw-r--r-- 4273/0 705 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/s3.lisp rw-r--r-- 4273/0 503 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/s4.lisp rw-r--r-- 4273/0 401 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/simple.lisp rw-r--r-- 4273/0 0 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/temp rw-r--r-- 4273/0 554 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/probs/wrap-around.lisp rw-r--r-- 4273/0 1644 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/sc-rules.lisp rw-r--r-- 4273/0 1282 Jun 17 12:10 1994 ml-databases/prodigy/domains/eightpuzzle-II/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/ rw-r--r-- 4273/0 242 Jun 17 12:10 1994 ml-databases/prodigy/domains/extended-bw/Index rw-r--r-- 4273/0 1094 Jun 17 12:10 1994 ml-databases/prodigy/domains/extended-bw/README rw-r--r-- 4273/0 4082 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/domain.lisp rw-r--r-- 4273/0 3714 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/functions.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/ rw-r--r-- 4273/0 563 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/Index rw-r--r-- 4273/0 831 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/glue1.lisp rw-r--r-- 4273/0 857 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/glue2.lisp rw-r--r-- 4273/0 512 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/move1.lisp rw-r--r-- 4273/0 667 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/move2.lisp rw-r--r-- 4273/0 693 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/move3.lisp rw-r--r-- 4273/0 502 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/p1.lisp rw-r--r-- 4273/0 516 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/pick1.lisp rw-r--r-- 4273/0 468 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/put1.lisp rw-r--r-- 4273/0 581 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/stack1.lisp rw-r--r-- 4273/0 961 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/stackup1.lisp rw-r--r-- 4273/0 620 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/topple1.lisp rw-r--r-- 4273/0 700 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/topple2.lisp rw-r--r-- 4273/0 631 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/tp1.lisp rw-r--r-- 4273/0 950 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/tp2.lisp rw-r--r-- 4273/0 611 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/unstack1.lisp rw-r--r-- 4273/0 797 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/probs/unstackdn1.lisp rw-r--r-- 4273/0 5787 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/sc-rules.lisp rw-r--r-- 4273/0 1461 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-bw/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/ rw-r--r-- 4273/0 318 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/Index rw-r--r-- 4273/0 591 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/README rw-r--r-- 4273/0 6454 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/domain.lisp rw-r--r-- 4273/0 4567 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/ebl-axioms.lisp rw-r--r-- 4273/0 12422 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/human-sc-rules.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probs/ rw-r--r-- 4273/0 188 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probs/Index rw-r--r-- 4273/0 467 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probs/p1.lisp rw-r--r-- 4273/0 598 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probs/p2.lisp rw-r--r-- 4273/0 584 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probs/p3.lisp rw-r--r-- 4273/0 295 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probs/p5.lisp rw-r--r-- 4273/0 384 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probs/p6.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ rw-r--r-- 4273/0 286 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/Index rw-r--r-- 4273/0 5277 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps0.lisp rw-r--r-- 4273/0 8089 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps1.lisp rw-r--r-- 4273/0 7502 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps2.lisp rw-r--r-- 4273/0 5540 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps3.lisp rw-r--r-- 4273/0 9179 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps4.lisp rw-r--r-- 4273/0 10912 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps5.lisp rw-r--r-- 4273/0 12400 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps6.lisp rw-r--r-- 4273/0 17579 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/probsets/ps7.lisp rw-r--r-- 4273/0 3065 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/sc-rules.lisp rw-r--r-- 4273/0 1395 Jun 17 12:11 1994 ml-databases/prodigy/domains/extended-strips/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/ rw-r--r-- 4273/0 250 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/Index rw-r--r-- 4273/0 505 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/README rw-r--r-- 4273/0 18426 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/blocksgraph.lisp rw-r--r-- 4273/0 2302 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/domain.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/probs/ rw-r--r-- 4273/0 81 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/probs/Index rw-r--r-- 4273/0 220 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/probs/manual-prob.lisp rw-r--r-- 4273/0 1807 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/sc-rules.lisp rw-r--r-- 4273/0 1396 Jun 17 12:11 1994 ml-databases/prodigy/domains/frozenblocksworld/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/ rw-r--r-- 4273/0 245 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/Index rw-r--r-- 4273/0 4550 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/domain.lisp rw-r--r-- 4273/0 2203 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/functions.lisp rw-r--r-- 4273/0 1686 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/graphics.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/probs/ rw-r--r-- 4273/0 138 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/probs/Index rw-r--r-- 4273/0 543 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/probs/a3b3c3.lisp rw-r--r-- 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/probs/temp rw-r--r-- 4273/0 1373 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/probs/tqbfjotld.lisp rw-r--r-- 4273/0 1758 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/sc-rules.lisp rw-r--r-- 4273/0 1342 Jun 17 12:11 1994 ml-databases/prodigy/domains/grammar/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/ rw-r--r-- 4273/0 315 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/Index rw-r--r-- 4273/0 2389 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/README rw-r--r-- 4273/0 4393 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/domain.lisp rw-r--r-- 4273/0 17572 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/functions.lisp rw-r--r-- 4273/0 11892 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/gridgraph.lisp rw-r--r-- 4273/0 14681 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/old-sc-rules.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/ rw-r--r-- 4273/0 601 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/Index rw-r--r-- 4273/0 377 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/big-obstacle.lisp rw-r--r-- 4273/0 539 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/build-stairs.lisp rw-r--r-- 4273/0 423 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/build-step.lisp rw-r--r-- 4273/0 490 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/easy-arch.lisp rw-r--r-- 4273/0 424 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/easy-stairs.lisp rw-r--r-- 4273/0 374 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/hard-step.lisp rw-r--r-- 4273/0 531 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/harder-arch.lisp rw-r--r-- 4273/0 490 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/hardest-arch.lisp rw-r--r-- 4273/0 374 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/medium-step.lisp rw-r--r-- 4273/0 294 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/move-block.lisp rw-r--r-- 4273/0 306 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/obstacle.lisp rw-r--r-- 4273/0 225 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/one-step.lisp rw-r--r-- 4273/0 676 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/six-stairs.lisp rw-r--r-- 4273/0 226 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/three-steps.lisp rw-r--r-- 4273/0 204 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/probs/two-steps.lisp rw-r--r-- 4273/0 15575 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/sc-rules.lisp rw-r--r-- 4273/0 1397 Jun 17 12:11 1994 ml-databases/prodigy/domains/gridworld/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/ rw-r--r-- 4273/0 433 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/Index rw-r--r-- 4273/0 4281 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/README rw-r--r-- 4273/0 2894 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/domain.lisp rw-r--r-- 4273/0 17740 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/functions.lisp rw-r--r-- 4273/0 1693 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/graphics.lisp rw-r--r-- 4273/0 246 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/jupiter.start rw-r--r-- 4273/0 352 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/jupiter.ui rw-r--r-- 4273/0 10066 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/objects rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/ rw-r--r-- 4273/0 371 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/Index rw-r--r-- 4273/0 601 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/p1-not-aligned.lisp rw-r--r-- 4273/0 634 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/p2-not-aligned-vert.lisp rw-r--r-- 4273/0 670 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/p3-conv-aligned-overlap.lisp rw-r--r-- 4273/0 766 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/p4-conv-aligned-too-near.lisp rw-r--r-- 4273/0 717 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/p5-conv-aligned-OK.lisp rw-r--r-- 4273/0 683 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/p6-aligned-but-not-conv.lisp rw-r--r-- 4273/0 561 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/probs/p7-like-p6-but-XPO.lisp rw-r--r-- 4273/0 4832 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/sc-rules.lisp rw-r--r-- 4273/0 1351 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/startup.lisp rw-r--r-- 4273/0 213 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/view rw-r--r-- 4273/0 218 Jun 17 12:11 1994 ml-databases/prodigy/domains/jupiter/x10jupiter.start rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/ rw-r--r-- 4273/0 243 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/Index rw-r--r-- 4273/0 7224 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/domain.lisp rw-r--r-- 4273/0 2387 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/functions.lisp rw-r--r-- 4273/0 1685 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/graphics.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/ rw-r--r-- 4273/0 239 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/Index rw-r--r-- 4273/0 384 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/n-penp.lisp rw-r--r-- 4273/0 244 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/p-a-q.lisp rw-r--r-- 4273/0 405 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/paq-i-qap.lisp rw-r--r-- 4273/0 405 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/paq-i-qap2.lisp rw-r--r-- 4273/0 316 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/pinnp.lisp rw-r--r-- 4273/0 107 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/probs/temp rw-r--r-- 4273/0 1757 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/sc-rules.lisp rw-r--r-- 4273/0 1339 Jun 17 12:11 1994 ml-databases/prodigy/domains/logic/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/matrix-algebra/ rw-r--r-- 4273/0 245 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/Index rw-r--r-- 4273/0 1686 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/README rw-r--r-- 4273/0 5389 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/domain.lisp rw-r--r-- 4273/0 3580 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/functions.lisp rwxr-xr-x 4273/0 0 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/ rw-r--r-- 4273/0 432 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/Index rw-r--r-- 4273/0 121 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob1.lisp rw-r--r-- 4273/0 246 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob10.lisp rw-r--r-- 4273/0 210 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob2.lisp rw-r--r-- 4273/0 304 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob20.lisp rw-r--r-- 4273/0 143 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob3.lisp rw-r--r-- 4273/0 302 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob30.lisp rw-r--r-- 4273/0 123 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob31.lisp rw-r--r-- 4273/0 140 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob32.lisp rw-r--r-- 4273/0 234 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob5.lisp rw-r--r-- 4273/0 231 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob6.lisp rw-r--r-- 4273/0 337 Jun 17 12:11 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob7.lisp rw-r--r-- 4273/0 209 Jun 17 12:12 1994 ml-databases/prodigy/domains/matrix-algebra/probs/prob9.lisp rw-r--r-- 4273/0 1897 Jun 17 12:12 1994 ml-databases/prodigy/domains/matrix-algebra/sc-rules.lisp rw-r--r-- 4273/0 1313 Jun 17 12:12 1994 ml-databases/prodigy/domains/matrix-algebra/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/ rw-r--r-- 4273/0 308 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/Index rw-r--r-- 4273/0 1528 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/README rw-r--r-- 4273/0 1529 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/README.TOO rw-r--r-- 4273/0 16821 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/domain.lisp rw-r--r-- 4273/0 3128 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/functions.lisp rw-r--r-- 4273/0 1686 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/graphics.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/ rw-r--r-- 4273/0 629 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/Index rw-r--r-- 4273/0 708 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/breve.lisp rw-r--r-- 4273/0 549 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/change-room-only.lisp rw-r--r-- 4273/0 731 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/corto.lisp rw-r--r-- 4273/0 54 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/fallolisp rw-r--r-- 4273/0 814 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/only-move.lisp rw-r--r-- 4273/0 1532 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/open-door.lisp rw-r--r-- 4273/0 763 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/push-obj-other-room.lisp rw-r--r-- 4273/0 746 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/put-into-and-move.lisp rw-r--r-- 4273/0 761 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/put-into.lisp rw-r--r-- 4273/0 550 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/put-together-and-change-room-alone.lisp rw-r--r-- 4273/0 748 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/put-together.lisp rw-r--r-- 4273/0 659 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/t-push-obj-other-room.lisp rw-r--r-- 4273/0 762 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/take-out-put-into-and-move.lisp rw-r--r-- 4273/0 764 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/probs/teampush-obj-other-room.lisp rw-r--r-- 4273/0 8664 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/sc-rules.lisp rw-r--r-- 4273/0 1343 Jun 17 12:12 1994 ml-databases/prodigy/domains/multirobot/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/ rw-r--r-- 4273/0 299 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/Index rw-r--r-- 4273/0 1859 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/README rw-r--r-- 4273/0 16698 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/domain.lisp rw-r--r-- 4273/0 4074 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/functions.lisp rw-r--r-- 4273/0 4153 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/notes.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/ rw-r--r-- 4273/0 5789 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/3-mods-use-4-slots.lisp rw-r--r-- 4273/0 5592 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/4-complete-spc-mods.lisp rw-r--r-- 4273/0 430 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/Index rw-r--r-- 4273/0 5554 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/add-1-rk611-bp.lisp rw-r--r-- 4273/0 5574 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/complete-deuna-mod.lisp rw-r--r-- 4273/0 5521 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/complete-rk611-mod.lisp rw-r--r-- 4273/0 5884 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/r1-soar-prob-simplified.lisp rw-r--r-- 4273/0 5738 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/r1-soar-prob.lisp rw-r--r-- 4273/0 5617 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/thirty-mods.lisp rw-r--r-- 4273/0 5698 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/probs/twenty-mods.lisp rw-r--r-- 4273/0 1734 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/r1graph.lisp rw-r--r-- 4273/0 3177 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/sc-rules.lisp rw-r--r-- 4273/0 1387 Jun 17 12:12 1994 ml-databases/prodigy/domains/r1/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/ rw-r--r-- 4273/0 195 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/Index rw-r--r-- 4273/0 416 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/README rw-r--r-- 4273/0 1784 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/domain.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/probs/ rw-r--r-- 4273/0 75 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/probs/Index rw-r--r-- 4273/0 206 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/probs/prob1.lisp rw-r--r-- 4273/0 1976 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/sc.lisp rw-r--r-- 4273/0 1285 Jun 17 12:12 1994 ml-databases/prodigy/domains/rocket/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/ rw-r--r-- 4273/0 421 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/Index rw-r--r-- 4273/0 1135 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/README rw-r--r-- 4273/0 9077 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/domain.lisp rw-r--r-- 4273/0 3340 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/ebl-axioms.lisp rw-r--r-- 4273/0 1347 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/functions.err rw-r--r-- 4273/0 6215 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/functions.lisp rw-r--r-- 4273/0 7721 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/human-sc-rules.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/ rw-r--r-- 4273/0 328 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/Index rw-r--r-- 4273/0 578 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/drillandjoin.lisp rw-r--r-- 4273/0 578 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/drillandpolish.lisp rw-r--r-- 4273/0 636 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/joinandpolish.lisp rw-r--r-- 4273/0 1337 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/manyparts.lisp rw-r--r-- 4273/0 307 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/p1.lisp rw-r--r-- 4273/0 289 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/p2.lisp rw-r--r-- 4273/0 415 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/rollorlathe.lisp rw-r--r-- 4273/0 485 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probs/simple.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ rw-r--r-- 4273/0 346 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/Index rw-r--r-- 4273/0 5478 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps0.lisp rw-r--r-- 4273/0 5856 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps1.lisp rw-r--r-- 4273/0 4910 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps2.lisp rw-r--r-- 4273/0 5233 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps3.lisp rw-r--r-- 4273/0 4897 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps4.lisp rw-r--r-- 4273/0 5325 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps5.lisp rw-r--r-- 4273/0 5610 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps6.lisp rw-r--r-- 4273/0 6112 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps7.lisp rw-r--r-- 4273/0 11545 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps8.lisp rw-r--r-- 4273/0 1694 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/probsets/ps9.lisp rw-r--r-- 4273/0 2351 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/sc-rules.lisp rw-r--r-- 4273/0 10190 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/schedgraph.lisp rw-r--r-- 4273/0 1431 Jun 17 12:12 1994 ml-databases/prodigy/domains/schedworld/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/ rw-r--r-- 4273/0 249 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/Index rw-r--r-- 4273/0 6124 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/domain.lisp rw-r--r-- 4273/0 2015 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/functions.lisp rw-r--r-- 4273/0 1735 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/graphics.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/probs/ rw-r--r-- 4273/0 151 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/probs/Index rw-r--r-- 4273/0 1443 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/probs/abstrips.lisp rw-r--r-- 4273/0 1442 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/probs/move-boxes.lisp rw-r--r-- 4273/0 1423 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/probs/open-door.lisp rw-r--r-- 4273/0 2025 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/sc-rules.lisp rw-r--r-- 4273/0 1392 Jun 17 12:12 1994 ml-databases/prodigy/domains/stripsworld/startup.lisp rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/ rw-r--r-- 4273/0 329 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/Index rw-r--r-- 4273/0 1389 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/README rw-r--r-- 4273/0 2333 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/domain-complete.lisp rw-r--r-- 4273/0 2454 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/domain.lisp rw-r--r-- 4273/0 6354 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/istelmirr-trace rw-r--r-- 4273/0 1590 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/istelmirr-traceinProdigy rwxr-xr-x 4273/0 0 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/probs/ rw-r--r-- 4273/0 126 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/probs/Index rw-r--r-- 4273/0 177 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/probs/isreflective.lisp rw-r--r-- 4273/0 183 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/probs/istelescopemirror.lisp rw-r--r-- 4273/0 2294 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/sc-rules.lisp rw-r--r-- 4273/0 1346 Jun 17 12:12 1994 ml-databases/prodigy/domains/telescope/startup.lisp