Index of /~marche/termination-competition/2004/tpdb/Cime

	Name	Last modified	Size	Description
	Parent Directory		-
	ack_prolog.trs	2004-03-05 16:27	448
	ack_prolog.trs.cim2	2004-07-01 14:31	514
	append-hard.trs	2004-03-05 16:27	359
	append-hard.trs.cim2	2004-07-01 14:40	560
	append-wrong.trs	2004-03-05 16:27	375
	append-wrong.trs.cim2	2004-07-01 14:43	572
	append.trs	2004-03-05 16:27	311
	append.trs.cim2	2004-07-01 14:41	541
	big.trs	2004-03-05 16:27	1.7K
	big.trs.cim2	2004-07-01 14:45	2.9K
	boolean_rings.trs	2004-03-05 16:27	458
	boolean_rings.trs.cim2	2004-07-01 14:45	625
	dpqs.trs	2004-03-05 16:27	298
	dpqs.trs.cim2	2004-07-01 14:45	367
	fact-hard.trs	2004-03-05 16:27	358
	fact-hard.trs.cim2	2004-07-01 14:47	675
	filliatre.trs	2004-03-05 16:27	596
	filliatre.trs.cim2	2004-07-01 14:56	784
	filliatre2.trs	2004-03-05 16:27	623
	filliatre2.trs.cim2	2004-07-01 14:50	841
	filliatre3.trs	2004-03-05 16:27	676
	filliatre3.trs.cim2	2004-07-01 14:53	940
	intersect.trs	2004-03-05 16:27	796
	intersect.trs.cim2	2004-07-01 14:56	1.3K
	list-sum-prod-assoc-append.trs	2004-03-05 16:27	576
	list-sum-prod-assoc-append.trs.cim2	2004-07-01 14:56	884
	list-sum-prod-assoc.trs	2004-03-05 16:27	416
	list-sum-prod-assoc.trs.cim2	2004-07-01 14:56	660
	list-sum-prod-bin-assoc-distr-app.trs	2004-03-05 16:27	726
	list-sum-prod-bin-assoc-distr-app.trs.cim2	2004-07-01 14:56	1.1K
	list-sum-prod-bin-assoc.trs	2004-03-05 16:27	515
	list-sum-prod-bin-assoc.trs.cim2	2004-07-01 14:56	843
	list-sum-prod-bin.trs	2004-03-05 16:27	436
	list-sum-prod-bin.trs.cim2	2004-07-01 14:56	743
	list-sum-prod.trs	2004-03-05 16:27	332
	list-sum-prod.trs.cim2	2004-07-01 14:56	560
	log2.trs	2004-03-05 16:27	798
	log2.trs.cim2	2004-07-01 14:57	1.3K
	lse.trs	2004-03-05 16:27	1.3K
	lse.trs.cim2	2004-07-01 14:57	1.9K
	maude2.trs	2004-05-26 10:06	2.1K
	maude2.trs.cim2	2004-07-01 14:59	1.5K
	mucrl1.trs	2004-04-14 10:11	13K
	mucrl1.trs.cim2	2004-07-01 15:00	18K
	quick.trs	2004-03-05 16:27	1.3K
	quick.trs.cim2	2004-07-01 15:03	1.3K
	ternary-hard.trs	2004-03-05 16:27	869
	ternary-hard.trs.cim2	2004-07-01 15:04	1.2K
	ternary.trs	2004-03-05 16:27	748
	ternary.trs.cim2	2004-07-01 15:05	1.1K
	tree.trs	2004-03-05 16:27	1.2K
	tree.trs.cim2	2004-07-01 15:09	1.9K