Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/zfrefle1

	Name	Last modified	Size	Description
	Parent Directory		-
	zfrefle1__l1_zfrefle1	2013-09-04 12:50	9.7K
	zfrefle1__l2_zfrefle1	2013-09-04 12:50	9.6K
	zfrefle1__t1_zfrefle1	2013-09-04 12:50	12K
	zfrefle1__t2_zfrefle1	2013-09-04 12:50	12K
	zfrefle1__t3_zfrefle1	2013-09-04 12:50	14K
	zfrefle1__t4_zfrefle1	2013-09-04 12:50	20K
	zfrefle1__t5_zfrefle1	2013-09-04 12:50	20K
	zfrefle1__t6_zfrefle1	2013-09-04 12:50	20K
	zfrefle1__t7_zfrefle1	2013-09-04 12:50	13K
	zfrefle1__t8_zfrefle1	2013-09-04 12:50	14K
	zfrefle1__t9_zfrefle1	2013-09-04 12:50	16K
	zfrefle1__t10_zfrefle1	2013-09-04 12:50	10K
	zfrefle1__t11_zfrefle1	2013-09-04 12:50	13K
	zfrefle1__t12_zfrefle1	2013-09-04 12:50	12K
	zfrefle1__t13_zfrefle1	2013-09-04 12:50	33K
	zfrefle1__t14_zfrefle1	2013-09-04 12:50	12K
	zfrefle1__t15_zfrefle1	2013-09-04 12:50	14K
	zfrefle1__t16_zfrefle1	2013-09-04 12:50	16K
	zfrefle1__t17_zfrefle1	2013-09-04 12:50	10K
	zfrefle1__t18_zfrefle1	2013-09-04 12:50	10K
	zfrefle1__t19_zfrefle1	2013-09-04 12:50	805
	zfrefle1__t20_zfrefle1	2013-09-04 12:50	12K
	zfrefle1__t21_zfrefle1	2013-09-04 12:50	10K
	zfrefle1__t22_zfrefle1	2013-09-04 12:50	12K
	zfrefle1__t23_zfrefle1	2013-09-04 12:50	11K
	zfrefle1__t24_zfrefle1	2013-09-04 12:50	14K
	zfrefle1__t25_zfrefle1	2013-09-04 12:50	846
	zfrefle1__t26_zfrefle1	2013-09-04 12:50	9.6K
	zfrefle1__t27_zfrefle1	2013-09-04 12:50	13K
	zfrefle1__t28_zfrefle1	2013-09-04 12:50	21K
	zfrefle1__t29_zfrefle1	2013-09-04 12:50	30K
	zfrefle1__t30_zfrefle1	2013-09-04 12:50	40K
	zfrefle1__t31_zfrefle1	2013-09-04 12:50	11K
	zfrefle1__t32_zfrefle1	2013-09-04 12:50	11K
	zfrefle1__t33_zfrefle1	2013-09-04 12:50	27K
	zfrefle1__t34_zfrefle1	2013-09-04 12:50	15K
	zfrefle1__t35_zfrefle1	2013-09-04 12:50	16K
	zfrefle1__t36_zfrefle1	2013-09-04 12:50	19K
	zfrefle1__t37_zfrefle1	2013-09-04 12:50	15K
	zfrefle1__t38_zfrefle1	2013-09-04 12:50	11K
	zfrefle1__t39_zfrefle1	2013-09-04 12:50	11K
	zfrefle1__t40_zfrefle1	2013-09-04 12:50	11K
	zfrefle1__t41_zfrefle1	2013-09-04 12:50	16K