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

	Name	Last modified	Size	Description
	Parent Directory		-
	gcd_1__l39_gcd_1	2013-09-04 12:27	12K
	gcd_1__t1_gcd_1	2013-09-04 12:27	13K
	gcd_1__t2_gcd_1	2013-09-04 12:27	6.1K
	gcd_1__t3_gcd_1	2013-09-04 12:27	7.0K
	gcd_1__t4_gcd_1	2013-09-04 12:27	6.1K
	gcd_1__t5_gcd_1	2013-09-04 12:27	6.1K
	gcd_1__t6_gcd_1	2013-09-04 12:27	5.9K
	gcd_1__t7_gcd_1	2013-09-04 12:27	6.1K
	gcd_1__t8_gcd_1	2013-09-04 12:27	12K
	gcd_1__t9_gcd_1	2013-09-04 12:27	12K
	gcd_1__t10_gcd_1	2013-09-04 12:27	12K
	gcd_1__t11_gcd_1	2013-09-04 12:27	13K
	gcd_1__t12_gcd_1	2013-09-04 12:27	14K
	gcd_1__t13_gcd_1	2013-09-04 12:27	12K
	gcd_1__t14_gcd_1	2013-09-04 12:27	13K
	gcd_1__t15_gcd_1	2013-09-04 12:27	13K
	gcd_1__t16_gcd_1	2013-09-04 12:27	12K
	gcd_1__t17_gcd_1	2013-09-04 12:27	12K
	gcd_1__t18_gcd_1	2013-09-04 12:27	14K
	gcd_1__t19_gcd_1	2013-09-04 12:27	12K
	gcd_1__t20_gcd_1	2013-09-04 12:27	12K
	gcd_1__t21_gcd_1	2013-09-04 12:27	10K
	gcd_1__t22_gcd_1	2013-09-04 12:27	12K
	gcd_1__t23_gcd_1	2013-09-04 12:27	13K
	gcd_1__t24_gcd_1	2013-09-04 12:27	17K
	gcd_1__t25_gcd_1	2013-09-04 12:27	16K
	gcd_1__t26_gcd_1	2013-09-04 12:27	15K
	gcd_1__t27_gcd_1	2013-09-04 12:27	21K
	gcd_1__t28_gcd_1	2013-09-04 12:27	16K
	gcd_1__t29_gcd_1	2013-09-04 12:27	15K
	gcd_1__t30_gcd_1	2013-09-04 12:27	19K
	gcd_1__t31_gcd_1	2013-09-04 12:27	16K
	gcd_1__t32_gcd_1	2013-09-04 12:27	18K
	gcd_1__t33_gcd_1	2013-09-04 12:27	18K
	gcd_1__t34_gcd_1	2013-09-04 12:27	17K
	gcd_1__t35_gcd_1	2013-09-04 12:27	18K
	gcd_1__t36_gcd_1	2013-09-04 12:27	21K
	gcd_1__t37_gcd_1	2013-09-04 12:27	21K
	gcd_1__t38_gcd_1	2013-09-04 12:27	21K
	gcd_1__t39_gcd_1	2013-09-04 12:27	20K
	gcd_1__t40_gcd_1	2013-09-04 12:27	26K
	gcd_1__t41_gcd_1	2013-09-04 12:27	24K
	gcd_1__t42_gcd_1	2013-09-04 12:27	18K
	gcd_1__t43_gcd_1	2013-09-04 12:27	17K
	gcd_1__t44_gcd_1	2013-09-04 12:27	32K
	gcd_1__t45_gcd_1	2013-09-04 12:27	30K
	gcd_1__t46_gcd_1	2013-09-04 12:27	30K
	gcd_1__t47_gcd_1	2013-09-04 12:27	28K
	gcd_1__t48_gcd_1	2013-09-04 12:27	7.8K
	gcd_1__t49_gcd_1	2013-09-04 12:27	13K