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

	Name	Last modified	Size	Description
	Parent Directory		-
	algspec1__t1_algspec1	2013-09-04 12:27	12K
	algspec1__t2_algspec1	2013-09-04 12:27	12K
	algspec1__t3_algspec1	2013-09-04 12:27	14K
	algspec1__t4_algspec1	2013-09-04 12:27	10K
	algspec1__t5_algspec1	2013-09-04 12:27	24K
	algspec1__t6_algspec1	2013-09-04 12:27	24K
	algspec1__t7_algspec1	2013-09-04 12:27	10K
	algspec1__t8_algspec1	2013-09-04 12:27	21K
	algspec1__t9_algspec1	2013-09-04 12:27	21K
	algspec1__t10_algspec1	2013-09-04 12:27	8.3K
	algspec1__t11_algspec1	2013-09-04 12:27	22K
	algspec1__t12_algspec1	2013-09-04 12:27	9.8K
	algspec1__t13_algspec1	2013-09-04 12:27	8.5K
	algspec1__t14_algspec1	2013-09-04 12:27	19K
	algspec1__t15_algspec1	2013-09-04 12:27	8.0K
	algspec1__t16_algspec1	2013-09-04 12:27	18K
	algspec1__t17_algspec1	2013-09-04 12:27	8.3K
	algspec1__t18_algspec1	2013-09-04 12:27	12K
	algspec1__t19_algspec1	2013-09-04 12:27	8.3K
	algspec1__t20_algspec1	2013-09-04 12:27	9.1K
	algspec1__t21_algspec1	2013-09-04 12:27	26K
	algspec1__t22_algspec1	2013-09-04 12:27	30K
	algspec1__t23_algspec1	2013-09-04 12:27	6.0K
	algspec1__t24_algspec1	2013-09-04 12:27	19K
	algspec1__t25_algspec1	2013-09-04 12:27	19K
	algspec1__t26_algspec1	2013-09-04 12:27	20K
	algspec1__t27_algspec1	2013-09-04 12:27	24K
	algspec1__t28_algspec1	2013-09-04 12:27	3.0K
	algspec1__t29_algspec1	2013-09-04 12:27	33K
	algspec1__t30_algspec1	2013-09-04 12:27	33K
	algspec1__t31_algspec1	2013-09-04 12:27	34K
	algspec1__t32_algspec1	2013-09-04 12:27	30K
	algspec1__t33_algspec1	2013-09-04 12:27	33K
	algspec1__t34_algspec1	2013-09-04 12:27	12K
	algspec1__t35_algspec1	2013-09-04 12:27	29K
	algspec1__t36_algspec1	2013-09-04 12:27	29K
	algspec1__t37_algspec1	2013-09-04 12:27	36K
	algspec1__t38_algspec1	2013-09-04 12:27	36K
	algspec1__t39_algspec1	2013-09-04 12:27	41K
	algspec1__t40_algspec1	2013-09-04 12:27	29K
	algspec1__t41_algspec1	2013-09-04 12:27	28K
	algspec1__t42_algspec1	2013-09-04 12:27	26K
	algspec1__t43_algspec1	2013-09-04 12:27	30K
	algspec1__t44_algspec1	2013-09-04 12:27	30K
	algspec1__t45_algspec1	2013-09-04 12:27	1.4K
	algspec1__t46_algspec1	2013-09-04 12:27	1.6K
	algspec1__t47_algspec1	2013-09-04 12:27	40K
	algspec1__t48_algspec1	2013-09-04 12:27	39K
	algspec1__t49_algspec1	2013-09-04 12:27	37K
	algspec1__t50_algspec1	2013-09-04 12:27	30K
	algspec1__t51_algspec1	2013-09-04 12:27	19K
	algspec1__t52_algspec1	2013-09-04 12:27	30K
	algspec1__t53_algspec1	2013-09-04 12:27	33K
	algspec1__t54_algspec1	2013-09-04 12:27	49K
	algspec1__t55_algspec1	2013-09-04 12:27	11K
	algspec1__t56_algspec1	2013-09-04 12:27	11K
	algspec1__t57_algspec1	2013-09-04 12:27	25K
	algspec1__t58_algspec1	2013-09-04 12:27	33K
	algspec1__t59_algspec1	2013-09-04 12:27	39K
	algspec1__t60_algspec1	2013-09-04 12:27	23K
	algspec1__t61_algspec1	2013-09-04 12:27	16K
	algspec1__t62_algspec1	2013-09-04 12:27	38K
	algspec1__t63_algspec1	2013-09-04 12:27	23K