Index of /cti/bench/dppd

	Name	Last modified	Size	Description
	Parent Directory		-
	advisor	22-May-2000 22:12	1.3K
	applast	22-May-2000 22:12	232
	contains.lam	22-May-2000 22:12	722
	depth	22-May-2000 22:12	596
	doubleapp	22-May-2000 22:12	182
	ex_depth	22-May-2000 22:12	555
	flip	22-May-2000 22:12	215
	grammar	22-May-2000 22:18	1.9K
	groundunify.complex	22-May-2000 22:12	1.4K
	groundunify.simple	22-May-2000 22:12	1.4K
	imperative-solve.power	22-May-2000 22:12	2.6K
	liftsolve.app	22-May-2000 22:12	1.2K
	liftsolve.db1	22-May-2000 22:12	1.2K
	liftsolve.db2	22-May-2000 22:12	1.2K
	liftsolve.lmkng	22-May-2000 22:12	1.2K
	map.reduce	22-May-2000 22:12	476
	map.rev	22-May-2000 22:12	473
	match	22-May-2000 22:12	237
	match-append	22-May-2000 22:12	187
	maxlength	22-May-2000 22:12	333
	memo-solve	22-May-2000 22:12	635
	missionaries	22-May-2000 22:12	2.1K
	model_elim	22-May-2000 22:12	953
	petri-meta	22-May-2000 22:12	487
	petri-object	22-May-2000 22:12	257
	regexp.r1	22-May-2000 22:12	364
	regexp.r2	22-May-2000 22:12	364
	regexp.r3	22-May-2000 22:12	364
	relative	22-May-2000 22:12	468
	remove	22-May-2000 22:12	196
	remove2	22-May-2000 22:12	249
	rev_acc_type	22-May-2000 22:12	209
	rev_acc_type.inffail	22-May-2000 22:12	217
	rotateprune	22-May-2000 22:12	396
	ssuply	22-May-2000 22:12	1.8K
	transpose	22-May-2000 22:12	305
	upto.sum1	22-May-2000 22:12	789
	upto.sum2	22-May-2000 22:12	789