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

	Name	Last modified	Size	Description
	Parent Directory		-
	cqc_sim1__t6_cqc_sim1	2013-09-04 12:05	29K
	cqc_sim1__t10_cqc_sim1	2013-09-04 12:05	30K
	cqc_sim1__t7_cqc_sim1	2013-09-04 12:05	30K
	cqc_sim1__t11_cqc_sim1	2013-09-04 12:05	30K
	cqc_sim1__t8_cqc_sim1	2013-09-04 12:05	30K
	cqc_sim1__t12_cqc_sim1	2013-09-04 12:05	30K
	cqc_sim1__t23_cqc_sim1	2013-09-04 12:05	34K
	cqc_sim1__t21_cqc_sim1	2013-09-04 12:05	34K
	cqc_sim1__t22_cqc_sim1	2013-09-04 12:05	35K
	cqc_sim1__t20_cqc_sim1	2013-09-04 12:05	36K
	cqc_sim1__l19_cqc_sim1	2013-09-04 12:06	36K
	cqc_sim1__t9_cqc_sim1	2013-09-04 12:06	37K
	cqc_sim1__t24_cqc_sim1	2013-09-04 12:05	39K
	cqc_sim1__t13_cqc_sim1	2013-09-04 12:05	42K
	cqc_sim1__t5_cqc_sim1	2013-09-04 12:05	42K
	cqc_sim1__t43_cqc_sim1	2013-09-04 12:05	44K
	cqc_sim1__t40_cqc_sim1	2013-09-04 12:05	45K
	cqc_sim1__t14_cqc_sim1	2013-09-04 12:05	45K
	cqc_sim1__t16_cqc_sim1	2013-09-04 12:05	46K
	cqc_sim1__t18_cqc_sim1	2013-09-04 12:05	46K
	cqc_sim1__t17_cqc_sim1	2013-09-04 12:05	46K
	cqc_sim1__t15_cqc_sim1	2013-09-04 12:05	46K
	cqc_sim1__t35_cqc_sim1	2013-09-04 12:05	46K
	cqc_sim1__t45_cqc_sim1	2013-09-04 12:05	48K
	cqc_sim1__t1_cqc_sim1	2013-09-04 12:05	48K
	cqc_sim1__t46_cqc_sim1	2013-09-04 12:05	48K
	cqc_sim1__t29_cqc_sim1	2013-09-04 12:05	49K
	cqc_sim1__t42_cqc_sim1	2013-09-04 12:05	49K
	cqc_sim1__t2_cqc_sim1	2013-09-04 12:05	49K
	cqc_sim1__t3_cqc_sim1	2013-09-04 12:05	50K
	cqc_sim1__t4_cqc_sim1	2013-09-04 12:05	50K
	cqc_sim1__t27_cqc_sim1	2013-09-04 12:05	51K
	cqc_sim1__t19_cqc_sim1	2013-09-04 12:05	54K
	cqc_sim1__t38_cqc_sim1	2013-09-04 12:05	54K
	cqc_sim1__l17_cqc_sim1	2013-09-04 12:06	55K
	cqc_sim1__t30_cqc_sim1	2013-09-04 12:05	59K
	cqc_sim1__t31_cqc_sim1	2013-09-04 12:05	60K
	cqc_sim1__t33_cqc_sim1	2013-09-04 12:05	60K
	cqc_sim1__t32_cqc_sim1	2013-09-04 12:05	60K
	cqc_sim1__t25_cqc_sim1	2013-09-04 12:05	60K
	cqc_sim1__t28_cqc_sim1	2013-09-04 12:05	61K
	cqc_sim1__t36_cqc_sim1	2013-09-04 12:05	61K
	cqc_sim1__t41_cqc_sim1	2013-09-04 12:05	63K
	cqc_sim1__t37_cqc_sim1	2013-09-04 12:05	64K
	cqc_sim1__t34_cqc_sim1	2013-09-04 12:05	65K
	cqc_sim1__t39_cqc_sim1	2013-09-04 12:05	65K
	cqc_sim1__t26_cqc_sim1	2013-09-04 12:05	73K
	cqc_sim1__t44_cqc_sim1	2013-09-04 12:05	111K