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

	Name	Last modified	Size	Description
	Parent Directory		-
	sin_cos__l16_sin_cos	2013-09-04 12:23	63K
	sin_cos__l37_sin_cos	2013-09-04 12:23	105K
	sin_cos__l46_sin_cos	2013-09-04 12:23	34K
	sin_cos__l48_sin_cos	2013-09-04 12:23	132K
	sin_cos__l50_sin_cos	2013-09-04 12:23	129K
	sin_cos__l65_sin_cos	2013-09-04 12:23	25K
	sin_cos__l67_sin_cos	2013-09-04 12:23	32K
	sin_cos__l68_sin_cos	2013-09-04 12:23	18K
	sin_cos__l69_sin_cos	2013-09-04 12:23	22K
	sin_cos__l77_sin_cos	2013-09-04 12:23	59K
	sin_cos__l78_sin_cos	2013-09-04 12:23	68K
	sin_cos__l85_sin_cos	2013-09-04 12:23	24K
	sin_cos__l87_sin_cos	2013-09-04 12:23	28K
	sin_cos__l95_sin_cos	2013-09-04 12:23	109K
	sin_cos__l96_sin_cos	2013-09-04 12:23	118K
	sin_cos__l114_sin_cos	2013-09-04 12:23	29K
	sin_cos__l115_sin_cos	2013-09-04 12:23	77K
	sin_cos__l118_sin_cos	2013-09-04 12:23	45K
	sin_cos__l127_sin_cos	2013-09-04 12:23	56K
	sin_cos__t1_sin_cos	2013-09-04 12:23	26K
	sin_cos__t2_sin_cos	2013-09-04 12:23	51K
	sin_cos__t3_sin_cos	2013-09-04 12:23	60K
	sin_cos__t4_sin_cos	2013-09-04 12:23	52K
	sin_cos__t5_sin_cos	2013-09-04 12:23	46K
	sin_cos__t6_sin_cos	2013-09-04 12:23	144K
	sin_cos__t7_sin_cos	2013-09-04 12:23	62K
	sin_cos__t8_sin_cos	2013-09-04 12:23	57K
	sin_cos__t9_sin_cos	2013-09-04 12:23	68K
	sin_cos__t10_sin_cos	2013-09-04 12:23	61K
	sin_cos__t11_sin_cos	2013-09-04 12:23	131K
	sin_cos__t12_sin_cos	2013-09-04 12:23	41K
	sin_cos__t13_sin_cos	2013-09-04 12:23	60K
	sin_cos__t14_sin_cos	2013-09-04 12:23	132K
	sin_cos__t15_sin_cos	2013-09-04 12:23	152K
	sin_cos__t16_sin_cos	2013-09-04 12:23	74K
	sin_cos__t17_sin_cos	2013-09-04 12:23	59K
	sin_cos__t18_sin_cos	2013-09-04 12:23	56K
	sin_cos__t19_sin_cos	2013-09-04 12:23	43K
	sin_cos__t20_sin_cos	2013-09-04 12:23	40K
	sin_cos__t21_sin_cos	2013-09-04 12:23	315K
	sin_cos__t22_sin_cos	2013-09-04 12:23	46K
	sin_cos__t23_sin_cos	2013-09-04 12:23	46K
	sin_cos__t24_sin_cos	2013-09-04 12:23	17K
	sin_cos__t25_sin_cos	2013-09-04 12:23	35K
	sin_cos__t26_sin_cos	2013-09-04 12:23	70K
	sin_cos__t27_sin_cos	2013-09-04 12:23	54K
	sin_cos__t28_sin_cos	2013-09-04 12:23	75K
	sin_cos__t29_sin_cos	2013-09-04 12:23	30K
	sin_cos__t30_sin_cos	2013-09-04 12:23	73K
	sin_cos__t31_sin_cos	2013-09-04 12:23	23K
	sin_cos__t32_sin_cos	2013-09-04 12:23	114K
	sin_cos__t33_sin_cos	2013-09-04 12:23	180K
	sin_cos__t34_sin_cos	2013-09-04 12:23	20K
	sin_cos__t35_sin_cos	2013-09-04 12:23	256K
	sin_cos__t36_sin_cos	2013-09-04 12:23	84K
	sin_cos__t37_sin_cos	2013-09-04 12:23	33K
	sin_cos__t38_sin_cos	2013-09-04 12:23	23K
	sin_cos__t39_sin_cos	2013-09-04 12:23	53K
	sin_cos__t40_sin_cos	2013-09-04 12:23	41K
	sin_cos__t41_sin_cos	2013-09-04 12:23	27K
	sin_cos__t42_sin_cos	2013-09-04 12:23	68K
	sin_cos__t43_sin_cos	2013-09-04 12:23	750K
	sin_cos__t44_sin_cos	2013-09-04 12:23	59K
	sin_cos__t45_sin_cos	2013-09-04 12:23	51K
	sin_cos__t46_sin_cos	2013-09-04 12:23	50K
	sin_cos__t47_sin_cos	2013-09-04 12:23	17K
	sin_cos__t48_sin_cos	2013-09-04 12:23	27K
	sin_cos__t49_sin_cos	2013-09-04 12:23	27K
	sin_cos__t50_sin_cos	2013-09-04 12:23	24K
	sin_cos__t51_sin_cos	2013-09-04 12:23	20K
	sin_cos__t52_sin_cos	2013-09-04 12:23	63K
	sin_cos__t53_sin_cos	2013-09-04 12:23	49K
	sin_cos__t54_sin_cos	2013-09-04 12:23	22K
	sin_cos__t55_sin_cos	2013-09-04 12:23	21K
	sin_cos__t56_sin_cos	2013-09-04 12:23	210K
	sin_cos__t57_sin_cos	2013-09-04 12:23	136K
	sin_cos__t58_sin_cos	2013-09-04 12:23	149K
	sin_cos__t59_sin_cos	2013-09-04 12:23	49K
	sin_cos__t60_sin_cos	2013-09-04 12:23	48K
	sin_cos__t61_sin_cos	2013-09-04 12:23	48K
	sin_cos__t62_sin_cos	2013-09-04 12:23	53K
	sin_cos__t63_sin_cos	2013-09-04 12:23	168K
	sin_cos__t64_sin_cos	2013-09-04 12:23	91K
	sin_cos__t65_sin_cos	2013-09-04 12:23	156K
	sin_cos__t66_sin_cos	2013-09-04 12:23	19K
	sin_cos__t67_sin_cos	2013-09-04 12:23	23K
	sin_cos__t68_sin_cos	2013-09-04 12:23	19K
	sin_cos__t69_sin_cos	2013-09-04 12:23	421K
	sin_cos__t70_sin_cos	2013-09-04 12:23	42K
	sin_cos__t71_sin_cos	2013-09-04 12:23	52K
	sin_cos__t72_sin_cos	2013-09-04 12:23	30K
	sin_cos__t73_sin_cos	2013-09-04 12:23	83K
	sin_cos__t74_sin_cos	2013-09-04 12:23	119K
	sin_cos__t75_sin_cos	2013-09-04 12:23	29K
	sin_cos__t76_sin_cos	2013-09-04 12:23	111K
	sin_cos__t77_sin_cos	2013-09-04 12:23	56K
	sin_cos__t78_sin_cos	2013-09-04 12:23	75K
	sin_cos__t79_sin_cos	2013-09-04 12:23	43K
	sin_cos__t80_sin_cos	2013-09-04 12:23	182K
	sin_cos__t81_sin_cos	2013-09-04 12:23	31K
	sin_cos__t82_sin_cos	2013-09-04 12:23	29K
	sin_cos__t83_sin_cos	2013-09-04 12:23	29K