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

	Name	Last modified	Size	Description
	Parent Directory		-
	equation__931_18.min1.thm1.tptp	2017-02-06 16:58	387
	lattice6__223_18.min1.thm1.tptp	2017-02-06 16:58	430
	lattice6__404_18.min1.thm1.tptp	2017-02-06 16:58	430
	lattice6__559_18.min1.thm1.tptp	2017-02-06 16:58	430
	lattice6__755_18.min1.thm1.tptp	2017-02-06 16:58	440
	lexbfs__520_16.min1.thm1.tptp	2017-02-06 16:58	447
	modelc_3__7068_21.min1.thm1.tptp	2017-02-06 16:58	479
	msscyc_2__870_19.min1.thm1.tptp	2017-02-06 16:58	413
	pcomps_1__418_17.min1.thm1.tptp	2017-02-06 16:58	347
	rlvect_5__1143_16.min1.thm1.tptp	2017-02-06 16:58	423
	rusub_4__311_16.min1.thm1.tptp	2017-02-06 16:58	411
	tdlat_2__806_16.min1.thm1.tptp	2017-02-06 16:58	345
	topgen_2__1306_16.min1.thm1.tptp	2017-02-06 16:58	355
	topgen_2__1346_16.min1.thm1.tptp	2017-02-06 16:58	355
	topgen_3__1684_16.min1.thm1.tptp	2017-02-06 16:58	355
	tops_2__341_16.min1.thm1.tptp	2017-02-06 16:58	339
	vectsp_9__1089_16.min1.thm1.tptp	2017-02-06 16:58	423
	waybel31__1090_17.min1.thm1.tptp	2017-02-06 16:58	433
	weierstr__180_16.min1.thm1.tptp	2017-02-06 16:58	343
	weierstr__295_16.min1.thm1.tptp	2017-02-06 16:58	343
	weierstr__354_16.min1.thm1.tptp	2017-02-06 16:58	343
	weierstr__429_20.min1.thm1.tptp	2017-02-06 16:58	351
	yellow15__1313_17.min1.thm1.tptp	2017-02-06 16:58	420