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

	Name	Last modified	Size	Description
	Parent Directory		-
	finseq_1__1675_14.min1.thm1.tptp	2017-02-06 16:58	322
	finseq_1__2964_47.min1.thm1.tptp	2017-02-06 16:58	307
	finseq_1__2968_17.min1.thm1.tptp	2017-02-06 16:58	307
	finseq_1__3523_26.min1.thm1.tptp	2017-02-06 16:58	307
	hilbert1__153_18.min1.thm1.tptp	2017-02-06 16:58	314
	intpro_1__131_51.min1.thm1.tptp	2017-02-06 16:58	315
	intpro_1__150_18.min1.thm1.tptp	2017-02-06 16:58	318
	modelc_1__184_21.min1.thm1.tptp	2017-02-06 16:58	315
	modelc_2__153_21.min1.thm1.tptp	2017-02-06 16:58	311
	modelc_2__2049_16.min1.thm1.tptp	2017-02-06 16:58	345
	nagata_2__1967_21.min1.thm1.tptp	2017-02-06 16:58	463
	nagata_2__1980_61.min1.thm1.tptp	2017-02-06 16:58	525
	ntalgo_1__2025_24.min1.thm1.tptp	2017-02-06 16:58	327
	qc_lang1__443_44.min1.thm1.tptp	2017-02-06 16:58	599
	recdef_1__641_51.min1.thm1.tptp	2017-02-06 16:58	319
	recdef_1__646_51.min1.thm1.tptp	2017-02-06 16:58	321
	recdef_1__678_52.min1.thm1.tptp	2017-02-06 16:58	327
	recdef_1__699_50.min1.thm1.tptp	2017-02-06 16:58	319
	recdef_1__719_48.min1.thm1.tptp	2017-02-06 16:58	311
	recdef_1__752_48.min1.thm1.tptp	2017-02-06 16:58	319
	recdef_1__868_46.min1.thm1.tptp	2017-02-06 16:58	311
	substut1__1004_44.min1.thm1.tptp	2017-02-06 16:58	551
	substut1__1132_59.min1.thm1.tptp	2017-02-06 16:58	783
	topgen_2__1310_14.min1.thm1.tptp	2017-02-06 16:58	309
	topgen_2__1349_14.min1.thm1.tptp	2017-02-06 16:58	309
	topgen_3__1687_19.min1.thm1.tptp	2017-02-06 16:58	309
	zf_lang__201_21.min1.thm1.tptp	2017-02-06 16:58	311
	zf_lang__1991_16.min1.thm1.tptp	2017-02-06 16:58	339