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

	Name	Last modified	Size	Description
	Parent Directory		-
	circtrm1__t1_circtrm1	2013-09-04 12:44	60K
	circtrm1__t2_circtrm1	2013-09-04 12:44	41K
	circtrm1__t3_circtrm1	2013-09-04 12:44	44K
	circtrm1__t4_circtrm1	2013-09-04 12:44	55K
	circtrm1__t5_circtrm1	2013-09-04 12:44	55K
	circtrm1__t6_circtrm1	2013-09-04 12:44	49K
	circtrm1__t7_circtrm1	2013-09-04 12:44	28K
	circtrm1__t8_circtrm1	2013-09-04 12:44	30K
	circtrm1__t9_circtrm1	2013-09-04 12:44	32K
	circtrm1__t10_circtrm1	2013-09-04 12:44	46K
	circtrm1__t11_circtrm1	2013-09-04 12:44	52K
	circtrm1__t12_circtrm1	2013-09-04 12:44	47K
	circtrm1__t13_circtrm1	2013-09-04 12:44	69K
	circtrm1__t14_circtrm1	2013-09-04 12:44	54K
	circtrm1__t15_circtrm1	2013-09-04 12:44	60K
	circtrm1__t16_circtrm1	2013-09-04 12:44	61K
	circtrm1__t17_circtrm1	2013-09-04 12:44	55K
	circtrm1__t18_circtrm1	2013-09-04 12:44	64K
	circtrm1__t19_circtrm1	2013-09-04 12:44	66K
	circtrm1__t20_circtrm1	2013-09-04 12:44	64K
	circtrm1__t21_circtrm1	2013-09-04 12:44	118K
	circtrm1__t22_circtrm1	2013-09-04 12:44	119K
	circtrm1__t23_circtrm1	2013-09-04 12:44	36K
	circtrm1__t24_circtrm1	2013-09-04 12:44	35K
	circtrm1__t25_circtrm1	2013-09-04 12:44	30K
	circtrm1__t26_circtrm1	2013-09-04 12:44	21K
	circtrm1__t27_circtrm1	2013-09-04 12:44	24K
	circtrm1__t28_circtrm1	2013-09-04 12:44	39K
	circtrm1__t29_circtrm1	2013-09-04 12:44	23K
	circtrm1__t30_circtrm1	2013-09-04 12:44	35K
	circtrm1__t31_circtrm1	2013-09-04 12:44	35K
	circtrm1__t32_circtrm1	2013-09-04 12:44	36K
	circtrm1__t33_circtrm1	2013-09-04 12:44	39K
	circtrm1__t34_circtrm1	2013-09-04 12:44	38K
	circtrm1__t35_circtrm1	2013-09-04 12:44	36K
	circtrm1__t36_circtrm1	2013-09-04 12:44	37K
	circtrm1__t37_circtrm1	2013-09-04 12:44	45K
	circtrm1__t38_circtrm1	2013-09-04 12:44	31K
	circtrm1__t39_circtrm1	2013-09-04 12:44	36K
	circtrm1__t40_circtrm1	2013-09-04 12:44	38K
	circtrm1__t41_circtrm1	2013-09-04 12:44	41K
	circtrm1__t42_circtrm1	2013-09-04 12:44	44K
	circtrm1__t43_circtrm1	2013-09-04 12:44	48K
	circtrm1__t44_circtrm1	2013-09-04 12:44	45K
	circtrm1__t45_circtrm1	2013-09-04 12:44	57K
	circtrm1__t46_circtrm1	2013-09-04 12:44	45K
	circtrm1__t47_circtrm1	2013-09-04 12:44	35K
	circtrm1__t48_circtrm1	2013-09-04 12:44	31K
	circtrm1__t49_circtrm1	2013-09-04 12:44	46K
	circtrm1__t50_circtrm1	2013-09-04 12:44	31K
	circtrm1__t51_circtrm1	2013-09-04 12:44	46K
	circtrm1__t52_circtrm1	2013-09-04 12:44	32K
	circtrm1__t53_circtrm1	2013-09-04 12:44	32K
	circtrm1__t54_circtrm1	2013-09-04 12:44	32K
	circtrm1__t55_circtrm1	2013-09-04 12:44	32K
	circtrm1__t56_circtrm1	2013-09-04 12:44	33K
	circtrm1__t57_circtrm1	2013-09-04 12:44	48K
	circtrm1__t58_circtrm1	2013-09-04 12:44	56K
	circtrm1__t59_circtrm1	2013-09-04 12:44	70K
	circtrm1__t60_circtrm1	2013-09-04 12:44	66K
	circtrm1__t61_circtrm1	2013-09-04 12:44	64K
	circtrm1__t62_circtrm1	2013-09-04 12:44	69K