Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/ratfunc1

	Name	Last modified	Size	Description
	Parent Directory		-
	ratfunc1__l37_ratfunc1	2021-07-18 15:52	105K
	ratfunc1__l39_ratfunc1	2021-07-18 15:53	115K
	ratfunc1__l40_ratfunc1	2021-07-18 15:54	243K
	ratfunc1__l42_ratfunc1	2021-07-18 15:55	130K
	ratfunc1__l47_ratfunc1	2021-07-18 15:55	62K
	ratfunc1__l52_ratfunc1	2021-07-18 15:56	78K
	ratfunc1__t1_ratfunc1	2021-07-18 15:33	73K
	ratfunc1__t2_ratfunc1	2021-07-18 15:33	109K
	ratfunc1__t3_ratfunc1	2021-07-18 15:34	110K
	ratfunc1__t4_ratfunc1	2021-07-18 15:34	5.4K
	ratfunc1__t5_ratfunc1	2021-07-18 15:34	92K
	ratfunc1__t6_ratfunc1	2021-07-18 15:35	93K
	ratfunc1__t7_ratfunc1	2021-07-18 15:36	82K
	ratfunc1__t8_ratfunc1	2021-07-18 15:36	77K
	ratfunc1__t9_ratfunc1	2021-07-18 15:37	100K
	ratfunc1__t10_ratfunc1	2021-07-18 15:37	94K
	ratfunc1__t11_ratfunc1	2021-07-18 15:38	127K
	ratfunc1__t12_ratfunc1	2021-07-18 15:39	139K
	ratfunc1__t13_ratfunc1	2021-07-18 15:39	52K
	ratfunc1__t14_ratfunc1	2021-07-18 15:40	59K
	ratfunc1__t15_ratfunc1	2021-07-18 15:30	55K
	ratfunc1__t16_ratfunc1	2021-07-18 15:40	59K
	ratfunc1__t17_ratfunc1	2021-07-18 15:41	91K
	ratfunc1__t18_ratfunc1	2021-07-18 15:42	74K
	ratfunc1__t19_ratfunc1	2021-07-18 15:42	48K
	ratfunc1__t20_ratfunc1	2021-07-18 15:43	71K
	ratfunc1__t21_ratfunc1	2021-07-18 15:43	224K
	ratfunc1__t22_ratfunc1	2021-07-18 15:31	119K
	ratfunc1__t23_ratfunc1	2021-07-18 15:31	118K
	ratfunc1__t24_ratfunc1	2021-07-18 15:44	92K
	ratfunc1__t25_ratfunc1	2021-07-18 15:32	80K
	ratfunc1__t26_ratfunc1	2021-07-18 15:45	181K
	ratfunc1__t27_ratfunc1	2021-07-18 15:46	123K
	ratfunc1__t28_ratfunc1	2021-07-18 15:46	87K
	ratfunc1__t29_ratfunc1	2021-07-18 15:47	168K
	ratfunc1__t30_ratfunc1	2021-07-18 15:48	136K
	ratfunc1__t31_ratfunc1	2021-07-18 15:48	79K
	ratfunc1__t32_ratfunc1	2021-07-18 15:49	80K
	ratfunc1__t33_ratfunc1	2021-07-18 15:50	88K
	ratfunc1__t34_ratfunc1	2021-07-18 15:50	78K
	ratfunc1__t35_ratfunc1	2021-07-18 15:51	82K
	ratfunc1__t36_ratfunc1	2021-07-18 15:51	127K