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

	Name	Last modified	Size	Description
	Parent Directory		-
	ackclaude.trs	2004-03-05 16:27	222
	ackclaude.trs.cim2	2004-07-01 15:29	500
	aoto.trs	2004-03-05 16:27	70
	aoto.trs.cim2	2004-07-01 15:29	233
	bintrees.trs	2004-03-05 16:27	227
	bintrees.trs.cim2	2004-07-01 15:29	499
	bn122.trs	2004-03-05 16:27	97
	bn122.trs.cim2	2004-07-01 15:29	283
	bn129.trs	2004-03-05 16:27	149
	bn129.trs.cim2	2004-07-01 15:29	340
	division.trs	2004-03-05 16:27	269
	division.trs.cim2	2004-07-01 15:32	614
	elimdupl.trs	2004-03-05 16:27	298
	elimdupl.trs.cim2	2004-07-01 15:35	675
	enno.trs	2004-03-05 16:27	597
	enno.trs.cim2	2004-07-01 15:36	1.0K
	gcd.trs	2004-03-05 16:27	309
	gcd.trs.cim2	2004-07-01 15:37	693
	gm.trs	2004-03-05 16:27	144
	gm.trs.cim2	2004-07-01 15:37	379
	gmnp.trs	2004-03-05 16:27	132
	gmnp.trs.cim2	2004-07-01 15:37	383
	herchydra.trs	2004-03-05 16:27	179
	herchydra.trs.cim2	2004-07-01 15:37	464
	insertsort.trs	2004-03-05 16:27	308
	insertsort.trs.cim2	2004-07-01 15:43	649
	koen.trs	2004-03-05 16:27	80
	koen.trs.cim2	2004-07-01 15:44	272
	lescanne.trs	2004-03-05 16:27	102
	lescanne.trs.cim2	2004-07-01 15:44	292
	lindau.trs	2004-03-05 16:27	83
	lindau.trs.cim2	2004-07-01 15:44	275
	logarquot.trs	2004-03-05 16:27	181
	logarquot.trs.cim2	2004-07-01 15:44	441
	ma96.trs	2004-03-05 16:27	938
	ma96.trs.cim2	2004-07-01 15:46	1.6K
	mfp90b.trs	2004-03-05 16:27	60
	mfp90b.trs.cim2	2004-07-01 15:47	243
	mfp95.trs	2004-03-05 16:27	51
	mfp95.trs.cim2	2004-07-01 15:47	208
	nestrec.trs	2004-03-05 16:27	60
	nestrec.trs.cim2	2004-07-01 15:47	226
	p266.trs	2004-03-05 16:27	78
	p266.trs.cim2	2004-07-01 15:47	262
	polo2.trs	2004-03-05 16:27	574
	polo2.trs.cim2	2004-07-01 15:50	962
	prov.trs	2004-03-05 16:27	101
	prov.trs.cim2	2004-07-01 15:51	305
	quick.trs	2004-03-05 16:27	551
	quick.trs.cim2	2004-07-01 15:53	1.0K
	quotminus.trs	2004-03-05 16:27	202
	quotminus.trs.cim2	2004-07-01 15:54	486
	revlist.trs	2004-03-05 16:27	221
	revlist.trs.cim2	2004-07-01 15:54	513
	selsort.trs	2004-03-05 16:27	771
	selsort.trs.cim2	2004-07-01 15:56	1.4K
	test4.trs	2004-03-05 16:27	93
	test4.trs.cim2	2004-07-01 15:57	305
	test829.trs	2004-03-05 16:27	78
	test829.trs.cim2	2004-07-01 15:57	267
	wst99.trs	2004-03-05 16:27	427
	wst99.trs.cim2	2004-07-01 15:57	862