Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/rd1_relat_1

	Name	Last modified	Size	Description
	Parent Directory		-
	altcat_1__42_29.min1.thm1.tptp	2017-02-06 16:58	294
	circcmb3__3108_17.min1.thm1.tptp	2017-02-06 16:58	283
	circtrm1__247_42.min1.thm1.tptp	2017-02-06 16:58	440
	circtrm1__249_42.min1.thm1.tptp	2017-02-06 16:58	440
	funct_1__643_16.min1.thm1.tptp	2017-02-06 16:58	230
	funct_1__943_12.min1.thm1.tptp	2017-02-06 16:58	260
	funct_1__946_12.min1.thm1.tptp	2017-02-06 16:58	260
	funct_1__958_21.min1.thm1.tptp	2017-02-06 16:58	306
	instalg1__321_29.min1.thm1.tptp	2017-02-06 16:58	288
	instalg1__390_59.min1.thm1.tptp	2017-02-06 16:58	364
	matrix11__4967_16.min1.thm1.tptp	2017-02-06 16:58	281
	matrix11__5195_14.min1.thm1.tptp	2017-02-06 16:58	278
	matrtop3__2797_17.min1.thm1.tptp	2017-02-06 16:58	258
	matrtop3__2844_17.min1.thm1.tptp	2017-02-06 16:58	258
	matrtop3__2884_22.min1.thm1.tptp	2017-02-06 16:58	304
	relat_1__971_29.min1.thm1.tptp	2017-02-06 16:58	256
	rfinseq__1819_15.min1.thm1.tptp	2017-02-06 16:58	284
	scm_halt__2929_70.min1.thm1.tptp	2017-02-06 16:58	268
	scmfsa6a__107_68.min1.thm1.tptp	2017-02-06 16:58	267
	scmfsa7b__61_70.min1.thm1.tptp	2017-02-06 16:58	267
	scmfsa7b__69_70.min1.thm1.tptp	2017-02-06 16:58	269
	scmfsa7b__112_70.min1.thm1.tptp	2017-02-06 16:58	267
	scmfsa8c__4120_70.min1.thm1.tptp	2017-02-06 16:58	268
	sysrel__556_36.min1.thm1.tptp	2017-02-06 16:58	426
	triang_1__428_24.min1.thm1.tptp	2017-02-06 16:58	280
	wellord1__943_57.min1.thm1.tptp	2017-02-06 16:58	347
	yellow18__2880_8.min1.thm1.tptp	2017-02-06 16:58	252
	yellow18__3167_13.min1.thm1.tptp	2017-02-06 16:58	298