Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1/ratfunc1

	Name	Last modified	Size	Description
	Parent Directory		-
	ratfunc1__l37_ratfunc1	2017-01-13 19:06	96K
	ratfunc1__l39_ratfunc1	2017-01-13 19:06	109K
	ratfunc1__l40_ratfunc1	2017-01-13 19:06	235K
	ratfunc1__l42_ratfunc1	2017-01-13 19:06	125K
	ratfunc1__l47_ratfunc1	2017-01-13 19:06	57K
	ratfunc1__l52_ratfunc1	2017-01-13 19:06	76K
	ratfunc1__t1_ratfunc1	2017-01-13 19:06	72K
	ratfunc1__t2_ratfunc1	2017-01-13 19:06	111K
	ratfunc1__t3_ratfunc1	2017-01-13 19:06	115K
	ratfunc1__t4_ratfunc1	2017-01-13 19:06	4.8K
	ratfunc1__t5_ratfunc1	2017-01-13 19:06	89K
	ratfunc1__t6_ratfunc1	2017-01-13 19:06	90K
	ratfunc1__t7_ratfunc1	2017-01-13 19:06	75K
	ratfunc1__t8_ratfunc1	2017-01-13 19:06	75K
	ratfunc1__t9_ratfunc1	2017-01-13 19:06	94K
	ratfunc1__t10_ratfunc1	2017-01-13 19:06	75K
	ratfunc1__t11_ratfunc1	2017-01-13 19:06	125K
	ratfunc1__t12_ratfunc1	2017-01-13 19:06	143K
	ratfunc1__t13_ratfunc1	2017-01-13 19:06	49K
	ratfunc1__t14_ratfunc1	2017-01-13 19:06	56K
	ratfunc1__t15_ratfunc1	2017-01-13 19:06	52K
	ratfunc1__t16_ratfunc1	2017-01-13 19:06	56K
	ratfunc1__t17_ratfunc1	2017-01-13 19:06	85K
	ratfunc1__t18_ratfunc1	2017-01-13 19:06	70K
	ratfunc1__t19_ratfunc1	2017-01-13 19:06	46K
	ratfunc1__t20_ratfunc1	2017-01-13 19:06	67K
	ratfunc1__t21_ratfunc1	2017-01-13 19:06	215K
	ratfunc1__t22_ratfunc1	2017-01-13 19:06	111K
	ratfunc1__t23_ratfunc1	2017-01-13 19:06	110K
	ratfunc1__t24_ratfunc1	2017-01-13 19:06	87K
	ratfunc1__t25_ratfunc1	2017-01-13 19:06	75K
	ratfunc1__t26_ratfunc1	2017-01-13 19:06	176K
	ratfunc1__t27_ratfunc1	2017-01-13 19:06	114K
	ratfunc1__t28_ratfunc1	2017-01-13 19:06	84K
	ratfunc1__t29_ratfunc1	2017-01-13 19:06	164K
	ratfunc1__t30_ratfunc1	2017-01-13 19:06	134K
	ratfunc1__t31_ratfunc1	2017-01-13 19:06	74K
	ratfunc1__t32_ratfunc1	2017-01-13 19:06	75K
	ratfunc1__t33_ratfunc1	2017-01-13 19:06	82K
	ratfunc1__t34_ratfunc1	2017-01-13 19:06	72K
	ratfunc1__t35_ratfunc1	2017-01-13 19:06	77K
	ratfunc1__t36_ratfunc1	2017-01-13 19:06	121K