Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/goboard1

	Name	Last modified	Size	Description
	Parent Directory		-
	goboard1__l10_goboard1	2017-01-13 00:41	61K
	goboard1__l32_goboard1	2017-01-13 00:41	77K
	goboard1__t1_goboard1	2017-01-13 00:41	200K
	goboard1__t2_goboard1	2017-01-13 00:41	70K
	goboard1__t3_goboard1	2017-01-13 00:41	109K
	goboard1__t4_goboard1	2017-01-13 00:41	109K
	goboard1__t5_goboard1	2017-01-13 00:41	105K
	goboard1__t6_goboard1	2017-01-13 00:41	98K
	goboard1__t7_goboard1	2017-01-13 00:41	99K
	goboard1__t8_goboard1	2017-01-13 00:41	102K
	goboard1__t9_goboard1	2017-01-13 00:41	100K
	goboard1__t10_goboard1	2017-01-13 00:41	134K
	goboard1__t11_goboard1	2017-01-13 00:41	108K
	goboard1__t12_goboard1	2017-01-13 00:41	99K
	goboard1__t13_goboard1	2017-01-13 00:41	131K
	goboard1__t14_goboard1	2017-01-13 00:41	195K
	goboard1__t15_goboard1	2017-01-13 00:41	125K
	goboard1__t16_goboard1	2017-01-13 00:41	125K
	goboard1__t17_goboard1	2017-01-13 00:41	178K
	goboard1__t18_goboard1	2017-01-13 00:41	112K
	goboard1__t19_goboard1	2017-01-13 00:41	116K
	goboard1__t20_goboard1	2017-01-13 00:41	114K
	goboard1__t21_goboard1	2017-01-13 00:41	199K
	goboard1__t22_goboard1	2017-01-13 00:41	98K
	goboard1__t23_goboard1	2017-01-13 00:41	122K
	goboard1__t24_goboard1	2017-01-13 00:41	193K
	goboard1__t25_goboard1	2017-01-13 00:41	209K
	goboard1__t26_goboard1	2017-01-13 00:41	113K
	goboard1__t27_goboard1	2017-01-13 00:41	126K
	goboard1__t28_goboard1	2017-01-13 00:41	142K
	goboard1__t29_goboard1	2017-01-13 00:41	154K
	goboard1__t30_goboard1	2017-01-13 00:41	113K
	goboard1__t31_goboard1	2017-01-13 00:41	126K
	goboard1__t32_goboard1	2017-01-13 00:41	142K
	goboard1__t33_goboard1	2017-01-13 00:41	156K
	goboard1__t34_goboard1	2017-01-13 00:41	139K
	goboard1__t35_goboard1	2017-01-13 00:41	171K
	goboard1__t36_goboard1	2017-01-13 00:41	239K
	goboard1__t37_goboard1	2017-01-13 00:41	186K