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

	Name	Last modified	Size	Description
	Parent Directory		-
	sin_cos8__l1_sin_cos8	2013-09-04 12:40	17K
	sin_cos8__l2_sin_cos8	2013-09-04 12:40	64K
	sin_cos8__l3_sin_cos8	2013-09-04 12:40	28K
	sin_cos8__l5_sin_cos8	2013-09-04 12:40	69K
	sin_cos8__l6_sin_cos8	2013-09-04 12:40	54K
	sin_cos8__l7_sin_cos8	2013-09-04 12:40	25K
	sin_cos8__l8_sin_cos8	2013-09-04 12:40	88K
	sin_cos8__l9_sin_cos8	2013-09-04 12:40	25K
	sin_cos8__l11_sin_cos8	2013-09-04 12:40	39K
	sin_cos8__l19_sin_cos8	2013-09-04 12:40	26K
	sin_cos8__l23_sin_cos8	2013-09-04 12:40	32K
	sin_cos8__l31_sin_cos8	2013-09-04 12:40	74K
	sin_cos8__l32_sin_cos8	2013-09-04 12:40	122K
	sin_cos8__l34_sin_cos8	2013-09-04 12:40	18K
	sin_cos8__t1_sin_cos8	2013-09-04 12:40	16K
	sin_cos8__t2_sin_cos8	2013-09-04 12:40	11K
	sin_cos8__t3_sin_cos8	2013-09-04 12:40	40K
	sin_cos8__t4_sin_cos8	2013-09-04 12:40	12K
	sin_cos8__t5_sin_cos8	2013-09-04 12:40	34K
	sin_cos8__t6_sin_cos8	2013-09-04 12:40	24K
	sin_cos8__t7_sin_cos8	2013-09-04 12:40	34K
	sin_cos8__t8_sin_cos8	2013-09-04 12:40	56K
	sin_cos8__t9_sin_cos8	2013-09-04 12:40	22K
	sin_cos8__t10_sin_cos8	2013-09-04 12:40	22K
	sin_cos8__t11_sin_cos8	2013-09-04 12:40	26K
	sin_cos8__t12_sin_cos8	2013-09-04 12:40	27K
	sin_cos8__t13_sin_cos8	2013-09-04 12:40	92K
	sin_cos8__t14_sin_cos8	2013-09-04 12:40	23K
	sin_cos8__t15_sin_cos8	2013-09-04 12:40	23K
	sin_cos8__t16_sin_cos8	2013-09-04 12:40	33K
	sin_cos8__t17_sin_cos8	2013-09-04 12:40	33K
	sin_cos8__t18_sin_cos8	2013-09-04 12:40	33K
	sin_cos8__t19_sin_cos8	2013-09-04 12:40	33K
	sin_cos8__t20_sin_cos8	2013-09-04 12:40	27K
	sin_cos8__t21_sin_cos8	2013-09-04 12:40	23K
	sin_cos8__t22_sin_cos8	2013-09-04 12:40	37K
	sin_cos8__t23_sin_cos8	2013-09-04 12:40	99K
	sin_cos8__t24_sin_cos8	2013-09-04 12:40	107K
	sin_cos8__t25_sin_cos8	2013-09-04 12:40	107K
	sin_cos8__t26_sin_cos8	2013-09-04 12:40	63K
	sin_cos8__t27_sin_cos8	2013-09-04 12:40	304K
	sin_cos8__t28_sin_cos8	2013-09-04 12:40	243K
	sin_cos8__t29_sin_cos8	2013-09-04 12:40	33K
	sin_cos8__t30_sin_cos8	2013-09-04 12:40	34K
	sin_cos8__t31_sin_cos8	2013-09-04 12:40	1.0M
	sin_cos8__t32_sin_cos8	2013-09-04 12:40	1.1M
	sin_cos8__t33_sin_cos8	2013-09-04 12:40	93K