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

	Name	Last modified	Size	Description
	Parent Directory		-
	AAECC-ring-cond.trs	2004-05-17 15:52	1.8K
	AAECC-ring-cond.trs.cim2	2004-07-01 13:24	1.1K
	AAECC-ring.trs	2004-05-17 15:52	2.5K
	AAECC-ring.trs.cim2	2004-07-01 13:30	3.5K
	AAECC.trs	2004-05-17 15:52	943
	AAECC.trs.cim2	2004-07-01 13:33	1.5K
	AAECCcond.trs	2004-05-17 15:52	882
	AAECCcond.trs.cim2	2004-07-01 13:24	971
	IJCAR_1.trs	2004-05-17 15:52	154
	IJCAR_1.trs.cim2	2004-07-01 14:11	380
	IJCAR_12.trs	2004-05-17 15:52	336
	IJCAR_12.trs.cim2	2004-07-01 14:05	672
	IJCAR_18.trs	2004-05-17 15:52	629
	IJCAR_18.trs.cim2	2004-07-01 14:08	1.2K
	IJCAR_26.trs	2004-05-17 15:52	721
	IJCAR_26.trs.cim2	2004-07-01 14:11	1.3K
	IJCAR_26a.trs	2004-05-17 15:52	733
	IJCAR_26a.trs.cim2	2004-07-01 14:11	1.3K
	IJCAR_AC1.trs	2004-05-17 15:52	362
	IJCAR_AC1.trs.cim2	2004-07-01 14:13	688
	JFP_Ex17.trs	2004-05-17 15:52	660
	JFP_Ex17.trs.cim2	2004-07-01 14:14	1.2K
	JFP_Ex31.trs	2004-05-17 15:52	375
	JFP_Ex31.trs.cim2	2004-07-01 14:16	778
	JFP_Ex51.trs	2004-05-17 15:52	665
	JFP_Ex51.trs.cim2	2004-07-01 14:17	1.2K
	LPAR_intlist.trs	2004-05-17 15:52	241
	LPAR_intlist.trs.cim2	2004-07-01 14:27	530
	Liveness6.1.trs	2004-05-17 15:52	299
	Liveness6.1.trs.cim2	2004-07-01 14:17	578
	Liveness6.2.trs	2004-05-17 15:52	275
	Liveness6.2.trs.cim2	2004-07-01 14:17	574
	Liveness6.3.trs	2004-05-17 15:52	490
	Liveness6.3.trs.cim2	2004-07-01 14:17	863
	Liveness6.4.trs	2004-05-17 15:52	608
	Liveness6.4.trs.cim2	2004-07-01 14:20	1.0K
	Liveness8.trs	2004-05-17 15:52	458
	Liveness8.trs.cim2	2004-07-01 14:23	879
	Liveness_WRS.trs	2004-05-17 15:52	333
	Liveness_WRS.trs.cim2	2004-07-01 14:26	714
	fac.trs	2004-05-17 15:52	223
	fac.trs.cim2	2004-07-01 14:03	496
	forward_instantiation.trs	2004-05-17 15:52	67
	forward_instantiation.trs.cim2	2004-07-01 14:03	245
	forward_instantiation2.trs	2004-05-17 15:52	85
	forward_instantiation2.trs.cim2	2004-07-01 14:03	295
	improved_usable.trs	2004-05-17 15:52	98
	improved_usable.trs.cim2	2004-07-01 14:14	288
	improved_usable2.trs	2004-05-17 15:52	90
	improved_usable2.trs.cim2	2004-07-01 14:14	278
	rta1.trs	2004-05-17 15:52	231
	rta1.trs.cim2	2004-07-01 14:27	491
	rta2.trs	2004-05-17 15:52	65
	rta2.trs.cim2	2004-07-01 14:27	226
	rta3.trs	2004-05-17 15:52	198
	rta3.trs.cim2	2004-07-01 14:27	450