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

	Name	Last modified	Size	Description
	Parent Directory		-
	cqc_the3__l25_cqc_the3	2013-09-04 12:42	8.0K
	cqc_the3__l39_cqc_the3	2013-09-04 12:42	11K
	cqc_the3__l40_cqc_the3	2013-09-04 12:43	11K
	cqc_the3__l42_cqc_the3	2013-09-04 12:43	13K
	cqc_the3__l64_cqc_the3	2013-09-04 12:43	12K
	cqc_the3__l65_cqc_the3	2013-09-04 12:43	12K
	cqc_the3__t1_cqc_the3	2013-09-04 12:42	6.8K
	cqc_the3__t2_cqc_the3	2013-09-04 12:42	6.3K
	cqc_the3__t3_cqc_the3	2013-09-04 12:42	8.1K
	cqc_the3__t4_cqc_the3	2013-09-04 12:42	7.0K
	cqc_the3__t5_cqc_the3	2013-09-04 12:42	7.4K
	cqc_the3__t6_cqc_the3	2013-09-04 12:42	7.8K
	cqc_the3__t7_cqc_the3	2013-09-04 12:42	7.1K
	cqc_the3__t8_cqc_the3	2013-09-04 12:42	6.7K
	cqc_the3__t9_cqc_the3	2013-09-04 12:42	7.7K
	cqc_the3__t10_cqc_the3	2013-09-04 12:42	7.5K
	cqc_the3__t11_cqc_the3	2013-09-04 12:42	7.7K
	cqc_the3__t12_cqc_the3	2013-09-04 12:42	6.8K
	cqc_the3__t13_cqc_the3	2013-09-04 12:42	6.3K
	cqc_the3__t14_cqc_the3	2013-09-04 12:42	6.0K
	cqc_the3__t15_cqc_the3	2013-09-04 12:42	7.1K
	cqc_the3__t16_cqc_the3	2013-09-04 12:42	6.2K
	cqc_the3__t17_cqc_the3	2013-09-04 12:42	7.0K
	cqc_the3__t18_cqc_the3	2013-09-04 12:42	9.0K
	cqc_the3__t19_cqc_the3	2013-09-04 12:42	6.8K
	cqc_the3__t20_cqc_the3	2013-09-04 12:42	7.5K
	cqc_the3__t21_cqc_the3	2013-09-04 12:42	8.1K
	cqc_the3__t22_cqc_the3	2013-09-04 12:42	8.9K
	cqc_the3__t23_cqc_the3	2013-09-04 12:42	6.6K
	cqc_the3__t24_cqc_the3	2013-09-04 12:42	8.6K
	cqc_the3__t25_cqc_the3	2013-09-04 12:42	8.7K
	cqc_the3__t26_cqc_the3	2013-09-04 12:42	9.1K
	cqc_the3__t27_cqc_the3	2013-09-04 12:42	6.8K
	cqc_the3__t28_cqc_the3	2013-09-04 12:42	7.3K
	cqc_the3__t29_cqc_the3	2013-09-04 12:42	8.7K
	cqc_the3__t30_cqc_the3	2013-09-04 12:42	8.8K
	cqc_the3__t31_cqc_the3	2013-09-04 12:42	10K
	cqc_the3__t32_cqc_the3	2013-09-04 12:42	11K
	cqc_the3__t33_cqc_the3	2013-09-04 12:42	7.7K
	cqc_the3__t34_cqc_the3	2013-09-04 12:42	8.1K
	cqc_the3__t35_cqc_the3	2013-09-04 12:42	11K
	cqc_the3__t36_cqc_the3	2013-09-04 12:42	13K
	cqc_the3__t37_cqc_the3	2013-09-04 12:42	8.1K
	cqc_the3__t38_cqc_the3	2013-09-04 12:42	14K
	cqc_the3__t39_cqc_the3	2013-09-04 12:42	11K
	cqc_the3__t40_cqc_the3	2013-09-04 12:42	13K
	cqc_the3__t41_cqc_the3	2013-09-04 12:42	13K
	cqc_the3__t42_cqc_the3	2013-09-04 12:42	19K
	cqc_the3__t43_cqc_the3	2013-09-04 12:42	12K
	cqc_the3__t44_cqc_the3	2013-09-04 12:42	15K
	cqc_the3__t45_cqc_the3	2013-09-04 12:42	12K
	cqc_the3__t46_cqc_the3	2013-09-04 12:42	15K
	cqc_the3__t47_cqc_the3	2013-09-04 12:42	7.4K
	cqc_the3__t48_cqc_the3	2013-09-04 12:42	13K
	cqc_the3__t49_cqc_the3	2013-09-04 12:42	8.0K
	cqc_the3__t50_cqc_the3	2013-09-04 12:42	12K
	cqc_the3__t51_cqc_the3	2013-09-04 12:42	10K
	cqc_the3__t52_cqc_the3	2013-09-04 12:42	13K
	cqc_the3__t53_cqc_the3	2013-09-04 12:42	8.0K
	cqc_the3__t54_cqc_the3	2013-09-04 12:42	11K
	cqc_the3__t55_cqc_the3	2013-09-04 12:42	13K
	cqc_the3__t56_cqc_the3	2013-09-04 12:42	11K
	cqc_the3__t57_cqc_the3	2013-09-04 12:42	12K
	cqc_the3__t58_cqc_the3	2013-09-04 12:42	11K
	cqc_the3__t59_cqc_the3	2013-09-04 12:42	9.4K
	cqc_the3__t60_cqc_the3	2013-09-04 12:42	16K
	cqc_the3__t61_cqc_the3	2013-09-04 12:42	18K
	cqc_the3__t62_cqc_the3	2013-09-04 12:42	22K
	cqc_the3__t63_cqc_the3	2013-09-04 12:42	24K
	cqc_the3__t64_cqc_the3	2013-09-04 12:42	9.1K
	cqc_the3__t65_cqc_the3	2013-09-04 12:42	12K