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

	Name	Last modified	Size	Description
	Parent Directory		-
	sin_cos5__l43_sin_cos5	2013-09-04 13:01	16K
	sin_cos5__l47_sin_cos5	2013-09-04 13:01	30K
	sin_cos5__l48_sin_cos5	2013-09-04 13:01	30K
	sin_cos5__l52_sin_cos5	2013-09-04 13:01	38K
	sin_cos5__t1_sin_cos5	2013-09-04 13:01	11K
	sin_cos5__t2_sin_cos5	2013-09-04 13:01	10K
	sin_cos5__t3_sin_cos5	2013-09-04 13:01	16K
	sin_cos5__t4_sin_cos5	2013-09-04 13:01	16K
	sin_cos5__t5_sin_cos5	2013-09-04 13:01	11K
	sin_cos5__t6_sin_cos5	2013-09-04 13:01	33K
	sin_cos5__t7_sin_cos5	2013-09-04 13:01	91K
	sin_cos5__t8_sin_cos5	2013-09-04 13:01	34K
	sin_cos5__t9_sin_cos5	2013-09-04 13:01	25K
	sin_cos5__t10_sin_cos5	2013-09-04 13:01	54K
	sin_cos5__t11_sin_cos5	2013-09-04 13:01	21K
	sin_cos5__t12_sin_cos5	2013-09-04 13:01	7.8K
	sin_cos5__t13_sin_cos5	2013-09-04 13:01	27K
	sin_cos5__t14_sin_cos5	2013-09-04 13:01	21K
	sin_cos5__t15_sin_cos5	2013-09-04 13:01	28K
	sin_cos5__t16_sin_cos5	2013-09-04 13:01	206K
	sin_cos5__t17_sin_cos5	2013-09-04 13:01	111K
	sin_cos5__t18_sin_cos5	2013-09-04 13:01	112K
	sin_cos5__t19_sin_cos5	2013-09-04 13:01	112K
	sin_cos5__t20_sin_cos5	2013-09-04 13:01	89K
	sin_cos5__t21_sin_cos5	2013-09-04 13:01	53K
	sin_cos5__t22_sin_cos5	2013-09-04 13:01	161K
	sin_cos5__t23_sin_cos5	2013-09-04 13:01	111K
	sin_cos5__t24_sin_cos5	2013-09-04 13:01	449K
	sin_cos5__t25_sin_cos5	2013-09-04 13:01	449K
	sin_cos5__t26_sin_cos5	2013-09-04 13:01	116K
	sin_cos5__t27_sin_cos5	2013-09-04 13:01	69K
	sin_cos5__t28_sin_cos5	2013-09-04 13:01	91K
	sin_cos5__t29_sin_cos5	2013-09-04 13:01	55K
	sin_cos5__t30_sin_cos5	2013-09-04 13:01	118K
	sin_cos5__t31_sin_cos5	2013-09-04 13:01	55K
	sin_cos5__t32_sin_cos5	2013-09-04 13:01	91K
	sin_cos5__t33_sin_cos5	2013-09-04 13:01	118K
	sin_cos5__t34_sin_cos5	2013-09-04 13:01	71K
	sin_cos5__t35_sin_cos5	2013-09-04 13:01	72K
	sin_cos5__t36_sin_cos5	2013-09-04 13:01	30K
	sin_cos5__t37_sin_cos5	2013-09-04 13:01	41K
	sin_cos5__t38_sin_cos5	2013-09-04 13:01	39K
	sin_cos5__t39_sin_cos5	2013-09-04 13:01	38K
	sin_cos5__t40_sin_cos5	2013-09-04 13:01	23K
	sin_cos5__t41_sin_cos5	2013-09-04 13:01	33K
	sin_cos5__t42_sin_cos5	2013-09-04 13:01	62K
	sin_cos5__t43_sin_cos5	2013-09-04 13:01	99K
	sin_cos5__t44_sin_cos5	2013-09-04 13:01	119K
	sin_cos5__t45_sin_cos5	2013-09-04 13:01	76K
	sin_cos5__t46_sin_cos5	2013-09-04 13:01	13K
	sin_cos5__t47_sin_cos5	2013-09-04 13:01	37K
	sin_cos5__t48_sin_cos5	2013-09-04 13:01	75K
	sin_cos5__t49_sin_cos5	2013-09-04 13:01	98K
	sin_cos5__t50_sin_cos5	2013-09-04 13:01	61K
	sin_cos5__t51_sin_cos5	2013-09-04 13:01	98K
	sin_cos5__t52_sin_cos5	2013-09-04 13:01	61K