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

	Name	Last modified	Size	Description
	Parent Directory		-
	binari_3__l29_binari_3	2017-01-13 00:37	123K
	binari_3__l30_binari_3	2017-01-13 00:37	78K
	binari_3__l31_binari_3	2017-01-13 00:37	111K
	binari_3__l32_binari_3	2017-01-13 00:37	196K
	binari_3__t1_binari_3	2017-01-13 00:36	86K
	binari_3__t2_binari_3	2017-01-13 00:36	93K
	binari_3__t3_binari_3	2017-01-13 00:36	19K
	binari_3__t4_binari_3	2017-01-13 00:36	43K
	binari_3__t5_binari_3	2017-01-13 00:36	75K
	binari_3__t6_binari_3	2017-01-13 00:36	65K
	binari_3__t7_binari_3	2017-01-13 00:36	67K
	binari_3__t8_binari_3	2017-01-13 00:36	60K
	binari_3__t9_binari_3	2017-01-13 00:36	63K
	binari_3__t10_binari_3	2017-01-13 00:36	35K
	binari_3__t11_binari_3	2017-01-13 00:36	51K
	binari_3__t12_binari_3	2017-01-13 00:36	62K
	binari_3__t13_binari_3	2017-01-13 00:36	92K
	binari_3__t14_binari_3	2017-01-13 00:36	73K
	binari_3__t15_binari_3	2017-01-13 00:36	73K
	binari_3__t16_binari_3	2017-01-13 00:36	47K
	binari_3__t17_binari_3	2017-01-13 00:36	43K
	binari_3__t18_binari_3	2017-01-13 00:36	63K
	binari_3__t19_binari_3	2017-01-13 00:36	98K
	binari_3__t20_binari_3	2017-01-13 00:36	81K
	binari_3__t21_binari_3	2017-01-13 00:36	111K
	binari_3__t22_binari_3	2017-01-13 00:36	111K
	binari_3__t23_binari_3	2017-01-13 00:36	105K
	binari_3__t24_binari_3	2017-01-13 00:36	75K
	binari_3__t25_binari_3	2017-01-13 00:36	58K
	binari_3__t26_binari_3	2017-01-13 00:36	71K
	binari_3__t27_binari_3	2017-01-13 00:37	83K
	binari_3__t28_binari_3	2017-01-13 00:37	143K
	binari_3__t29_binari_3	2017-01-13 00:36	40K
	binari_3__t30_binari_3	2017-01-13 00:36	50K
	binari_3__t31_binari_3	2017-01-13 00:36	71K
	binari_3__t32_binari_3	2017-01-13 00:37	71K
	binari_3__t33_binari_3	2017-01-13 00:37	193K
	binari_3__t34_binari_3	2017-01-13 00:37	175K
	binari_3__t35_binari_3	2017-01-13 00:37	82K
	binari_3__t36_binari_3	2017-01-13 00:37	35K