Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/clopban4

	Name	Last modified	Size	Description
	Parent Directory		-
	clopban4__l1_clopban4	2017-01-13 00:42	126K
	clopban4__l2_clopban4	2017-01-13 00:42	121K
	clopban4__l40_clopban4	2017-01-13 00:42	118K
	clopban4__s1_clopban4	2017-01-13 00:42	86K
	clopban4__t1_clopban4	2017-01-13 00:42	114K
	clopban4__t2_clopban4	2017-01-13 00:42	83K
	clopban4__t3_clopban4	2017-01-13 00:42	163K
	clopban4__t4_clopban4	2017-01-13 00:42	152K
	clopban4__t5_clopban4	2017-01-13 00:42	152K
	clopban4__t6_clopban4	2017-01-13 00:42	155K
	clopban4__t7_clopban4	2017-01-13 00:42	155K
	clopban4__t8_clopban4	2017-01-13 00:42	167K
	clopban4__t9_clopban4	2017-01-13 00:42	122K
	clopban4__t10_clopban4	2017-01-13 00:42	107K
	clopban4__t11_clopban4	2017-01-13 00:42	88K
	clopban4__t12_clopban4	2017-01-13 00:42	101K
	clopban4__t13_clopban4	2017-01-13 00:42	152K
	clopban4__t14_clopban4	2017-01-13 00:42	81K
	clopban4__t15_clopban4	2017-01-13 00:42	88K
	clopban4__t16_clopban4	2017-01-13 00:42	305K
	clopban4__t17_clopban4	2017-01-13 00:42	142K
	clopban4__t18_clopban4	2017-01-13 00:42	99K
	clopban4__t19_clopban4	2017-01-13 00:42	157K
	clopban4__t20_clopban4	2017-01-13 00:42	147K
	clopban4__t21_clopban4	2017-01-13 00:42	175K
	clopban4__t22_clopban4	2017-01-13 00:42	99K
	clopban4__t23_clopban4	2017-01-13 00:42	148K
	clopban4__t24_clopban4	2017-01-13 00:42	152K
	clopban4__t25_clopban4	2017-01-13 00:42	149K
	clopban4__t26_clopban4	2017-01-13 00:42	114K
	clopban4__t27_clopban4	2017-01-13 00:42	167K
	clopban4__t28_clopban4	2017-01-13 00:42	137K
	clopban4__t29_clopban4	2017-01-13 00:42	92K
	clopban4__t30_clopban4	2017-01-13 00:42	102K
	clopban4__t31_clopban4	2017-01-13 00:42	372K
	clopban4__t32_clopban4	2017-01-13 00:42	109K
	clopban4__t33_clopban4	2017-01-13 00:42	88K
	clopban4__t34_clopban4	2017-01-13 00:42	94K
	clopban4__t35_clopban4	2017-01-13 00:42	158K
	clopban4__t36_clopban4	2017-01-13 00:42	91K
	clopban4__t37_clopban4	2017-01-13 00:42	119K
	clopban4__t38_clopban4	2017-01-13 00:42	81K
	clopban4__t39_clopban4	2017-01-13 00:42	109K
	clopban4__t40_clopban4	2017-01-13 00:42	119K