Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d5_goboard5

	Name	Last modified	Size	Description
	Parent Directory		-
	goboard5__953_27.min1.thm1.tptp	2017-02-06 16:58	487
	goboard7__1471_29.min1.thm1.tptp	2017-02-06 16:58	487
	goboard7__2271_29.min1.thm1.tptp	2017-02-06 16:58	675
	goboard7__2343_29.min1.thm1.tptp	2017-02-06 16:58	675
	goboard8__1245_29.min1.thm1.tptp	2017-02-06 16:58	674
	goboard8__1301_29.min1.thm1.tptp	2017-02-06 16:58	674
	goboard8__1357_29.min1.thm1.tptp	2017-02-06 16:58	674
	goboard8__1413_29.min1.thm1.tptp	2017-02-06 16:58	674
	goboard9__294_29.min1.thm1.tptp	2017-02-06 16:58	646
	goboard9__426_29.min1.thm1.tptp	2017-02-06 16:58	677
	goboard9__466_29.min1.thm1.tptp	2017-02-06 16:58	674
	goboard9__868_33.min1.thm1.tptp	2017-02-06 16:58	683
	gobrd13__1775_23.min1.thm1.tptp	2017-02-06 16:58	632
	gobrd14__670_31.min1.thm1.tptp	2017-02-06 16:58	666
	gobrd14__767_31.min1.thm1.tptp	2017-02-06 16:58	666
	jordan1h__739_29.min1.thm1.tptp	2017-02-06 16:58	642
	jordan1h__867_29.min1.thm1.tptp	2017-02-06 16:58	642
	jordan1i__2023_29.min1.thm1.tptp	2017-02-06 16:58	677
	jordan1i__2146_29.min1.thm1.tptp	2017-02-06 16:58	677
	jordan1i__2291_29.min1.thm1.tptp	2017-02-06 16:58	677
	jordan12__1348_30.min1.thm1.tptp	2017-02-06 16:58	675
	jordan12__1461_29.min1.thm1.tptp	2017-02-06 16:58	675
	jordan12__1739_31.min1.thm1.tptp	2017-02-06 16:58	675