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

	Name	Last modified	Size	Description
	Parent Directory		-
	finseq_3__944_20.min1.thm1.tptp	2017-02-06 16:58	252
	finseq_3__950_20.min1.thm1.tptp	2017-02-06 16:58	252
	finseq_3__2442_28.min1.thm1.tptp	2017-02-06 16:58	265
	lexbfs__932_23.min1.thm1.tptp	2017-02-06 16:58	272
	matrix13__547_20.min1.thm1.tptp	2017-02-06 16:58	288
	matrix13__3697_19.min1.thm1.tptp	2017-02-06 16:58	252
	matrix13__6803_17.min1.thm1.tptp	2017-02-06 16:58	257
	matrix13__6983_21.min1.thm1.tptp	2017-02-06 16:58	270
	matrix13__6986_21.min1.thm1.tptp	2017-02-06 16:58	270
	matrix13__7285_19.min1.thm1.tptp	2017-02-06 16:58	257
	matrix15__1291_19.min1.thm1.tptp	2017-02-06 16:58	252
	matrix15__2692_21.min1.thm1.tptp	2017-02-06 16:58	252
	matrix15__2716_19.min1.thm1.tptp	2017-02-06 16:58	253
	matrix15__2929_19.min1.thm1.tptp	2017-02-06 16:58	252
	matrix15__5245_20.min1.thm1.tptp	2017-02-06 16:58	253
	matrix15__5820_22.min1.thm1.tptp	2017-02-06 16:58	256
	matrixj1__3829_25.min1.thm1.tptp	2017-02-06 16:58	316
	matrtop3__3547_25.min1.thm1.tptp	2017-02-06 16:58	256
	ramsey_1__1115_21.min1.thm1.tptp	2017-02-06 16:58	252
	rearran1__1277_33.min1.thm1.tptp	2017-02-06 16:58	416
	rearran1__2040_33.min1.thm1.tptp	2017-02-06 16:58	416