rwxr-xr-x 22/0 0 Aug 15 14:27 1990 Bench/ rw-r--r-- 22/0 2665 Jun 22 16:48 1990 Bench/meta_qsort.pl rw-r--r-- 22/0 2258 Aug 15 14:46 1990 Bench/README rw-r--r-- 22/0 1398 Jul 13 14:29 1990 Bench/zebra.pl rw-r--r-- 22/0 3024 Jul 13 14:29 1990 Bench/fast_mu.pl rw-r--r-- 22/0 24276 May 25 21:39 1990 Bench/chat_parser.pl rw-r--r-- 22/0 1676 Jul 13 15:21 1990 Bench/crypt.pl rw-r--r-- 22/0 2480 Jul 13 14:29 1990 Bench/browse.pl rw-r--r-- 22/0 6736 Aug 2 19:22 1990 Bench/unify.pl rw-r--r-- 22/0 654 May 25 21:21 1990 Bench/divide10.pl rw-r--r-- 22/0 5573 Jul 13 14:29 1990 Bench/flatten.pl rw-r--r-- 22/0 683 May 25 21:21 1990 Bench/log10.pl rw-r--r-- 22/0 11633 Aug 2 19:21 1990 Bench/sdda.pl rw-r--r-- 22/0 11287 Jul 13 14:35 1990 Bench/reducer.pl rw-r--r-- 22/0 10747 Jul 13 14:29 1990 Bench/boyer.pl rw-r--r-- 22/0 19744 Jul 13 14:29 1990 Bench/nand.pl rw-r--r-- 22/0 765 May 25 21:21 1990 Bench/mu.pl rw-r--r-- 22/0 412 May 25 21:21 1990 Bench/nreverse.pl rw-r--r-- 22/0 637 May 25 21:21 1990 Bench/ops8.pl rw-r--r-- 22/0 3058 May 25 21:21 1990 Bench/poly_10.pl rw-r--r-- 22/0 2178 Jun 1 21:01 1990 Bench/prover.pl rw-r--r-- 22/0 569 May 25 21:21 1990 Bench/qsort.pl rw-r--r-- 22/0 1593 May 25 21:21 1990 Bench/queens_8.pl rw-r--r-- 22/0 1555 May 25 21:21 1990 Bench/query.pl rw-r--r-- 22/0 864 May 25 21:21 1990 Bench/serialise.pl rw-r--r-- 22/0 13995 May 25 21:41 1990 Bench/simple_analyzer.pl rw-r--r-- 22/0 437 May 25 21:21 1990 Bench/tak.pl rw-r--r-- 22/0 652 May 25 21:21 1990 Bench/times10.pl