Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/ratfunc1

	Name	Last modified	Size	Description
	Parent Directory		-
	ratfunc1__l37_ratfunc1	2013-09-04 12:56	60K
	ratfunc1__l39_ratfunc1	2013-09-04 12:56	69K
	ratfunc1__l40_ratfunc1	2013-09-04 12:56	147K
	ratfunc1__l42_ratfunc1	2013-09-04 12:56	79K
	ratfunc1__l47_ratfunc1	2013-09-04 12:56	35K
	ratfunc1__l52_ratfunc1	2013-09-04 12:56	47K
	ratfunc1__t1_ratfunc1	2013-09-04 12:56	45K
	ratfunc1__t2_ratfunc1	2013-09-04 12:56	66K
	ratfunc1__t3_ratfunc1	2013-09-04 12:56	69K
	ratfunc1__t4_ratfunc1	2013-09-04 12:56	2.8K
	ratfunc1__t5_ratfunc1	2013-09-04 12:56	54K
	ratfunc1__t6_ratfunc1	2013-09-04 12:56	55K
	ratfunc1__t7_ratfunc1	2013-09-04 12:56	47K
	ratfunc1__t8_ratfunc1	2013-09-04 12:56	44K
	ratfunc1__t9_ratfunc1	2013-09-04 12:56	59K
	ratfunc1__t10_ratfunc1	2013-09-04 12:56	47K
	ratfunc1__t11_ratfunc1	2013-09-04 12:56	81K
	ratfunc1__t12_ratfunc1	2013-09-04 12:56	93K
	ratfunc1__t13_ratfunc1	2013-09-04 12:56	30K
	ratfunc1__t14_ratfunc1	2013-09-04 12:56	34K
	ratfunc1__t15_ratfunc1	2013-09-04 12:56	32K
	ratfunc1__t16_ratfunc1	2013-09-04 12:56	34K
	ratfunc1__t17_ratfunc1	2013-09-04 12:56	54K
	ratfunc1__t18_ratfunc1	2013-09-04 12:56	43K
	ratfunc1__t19_ratfunc1	2013-09-04 12:56	28K
	ratfunc1__t20_ratfunc1	2013-09-04 12:56	41K
	ratfunc1__t21_ratfunc1	2013-09-04 12:56	130K
	ratfunc1__t22_ratfunc1	2013-09-04 12:56	74K
	ratfunc1__t23_ratfunc1	2013-09-04 12:56	73K
	ratfunc1__t24_ratfunc1	2013-09-04 12:56	55K
	ratfunc1__t25_ratfunc1	2013-09-04 12:56	50K
	ratfunc1__t26_ratfunc1	2013-09-04 12:56	109K
	ratfunc1__t27_ratfunc1	2013-09-04 12:56	72K
	ratfunc1__t28_ratfunc1	2013-09-04 12:56	53K
	ratfunc1__t29_ratfunc1	2013-09-04 12:56	103K
	ratfunc1__t30_ratfunc1	2013-09-04 12:56	82K
	ratfunc1__t31_ratfunc1	2013-09-04 12:56	46K
	ratfunc1__t32_ratfunc1	2013-09-04 12:56	46K
	ratfunc1__t33_ratfunc1	2013-09-04 12:56	51K
	ratfunc1__t34_ratfunc1	2013-09-04 12:56	45K
	ratfunc1__t35_ratfunc1	2013-09-04 12:56	48K
	ratfunc1__t36_ratfunc1	2013-09-04 12:56	77K