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

	Name	Last modified	Size	Description
	Parent Directory		-
	unialg_3__t1_unialg_3	2017-01-13 00:37	44K
	unialg_3__t2_unialg_3	2017-01-13 00:37	48K
	unialg_3__t3_unialg_3	2017-01-13 00:37	41K
	unialg_3__t4_unialg_3	2017-01-13 00:37	54K
	unialg_3__t5_unialg_3	2017-01-13 00:37	56K
	unialg_3__t6_unialg_3	2017-01-13 00:37	73K
	unialg_3__t7_unialg_3	2017-01-13 00:37	48K
	unialg_3__t8_unialg_3	2017-01-13 00:37	51K
	unialg_3__t9_unialg_3	2017-01-13 00:37	44K
	unialg_3__t10_unialg_3	2017-01-13 00:37	60K
	unialg_3__t11_unialg_3	2017-01-13 00:37	48K
	unialg_3__t12_unialg_3	2017-01-13 00:37	64K
	unialg_3__t13_unialg_3	2017-01-13 00:37	49K
	unialg_3__t14_unialg_3	2017-01-13 00:37	65K
	unialg_3__t15_unialg_3	2017-01-13 00:37	84K
	unialg_3__t16_unialg_3	2017-01-13 00:37	62K
	unialg_3__t17_unialg_3	2017-01-13 00:37	92K
	unialg_3__t18_unialg_3	2017-01-13 00:37	61K
	unialg_3__t19_unialg_3	2017-01-13 00:37	82K
	unialg_3__t20_unialg_3	2017-01-13 00:37	55K
	unialg_3__t21_unialg_3	2017-01-13 00:37	74K
	unialg_3__t22_unialg_3	2017-01-13 00:37	62K
	unialg_3__t23_unialg_3	2017-01-13 00:37	79K
	unialg_3__t24_unialg_3	2017-01-13 00:37	73K