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

	Name	Last modified	Size	Description
	Parent Directory		-
	goboard8__1013_20.min1.thm1.tptp	2017-02-06 16:58	752
	goboard8__1067_20.min1.thm1.tptp	2017-02-06 16:58	752
	goboard8__1140_21.min1.thm1.tptp	2017-02-06 16:58	753
	goboard8__1211_21.min1.thm1.tptp	2017-02-06 16:58	753
	goboard8__1356_20.min1.thm1.tptp	2017-02-06 16:58	752
	goboard8__1412_20.min1.thm1.tptp	2017-02-06 16:58	752
	goboard8__1509_20.min1.thm1.tptp	2017-02-06 16:58	754
	goboard8__1541_20.min1.thm1.tptp	2017-02-06 16:58	754
	goboard8__1638_20.min1.thm1.tptp	2017-02-06 16:58	754
	goboard8__1674_20.min1.thm1.tptp	2017-02-06 16:58	754
	goboard9__911_24.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd11__183_22.min1.thm1.tptp	2017-02-06 16:58	736
	gobrd12__279_30.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__450_30.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__913_30.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__1085_30.min1.thm1.tptp	2017-02-06 16:58	750
	gobrd12__1561_30.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__1729_30.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__1911_30.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__2195_30.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__2364_30.min1.thm1.tptp	2017-02-06 16:58	761
	gobrd12__2546_30.min1.thm1.tptp	2017-02-06 16:58	761