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

	Name	Last modified	Size	Description
	Parent Directory		-
	pdiff_1__l2_pdiff_1	2013-09-04 12:18	36K
	pdiff_1__l3_pdiff_1	2013-09-04 12:18	26K
	pdiff_1__l14_pdiff_1	2013-09-04 12:18	24K
	pdiff_1__t1_pdiff_1	2013-09-04 12:18	28K
	pdiff_1__t2_pdiff_1	2013-09-04 12:18	27K
	pdiff_1__t3_pdiff_1	2013-09-04 12:18	75K
	pdiff_1__t4_pdiff_1	2013-09-04 12:18	60K
	pdiff_1__t5_pdiff_1	2013-09-04 12:18	100K
	pdiff_1__t6_pdiff_1	2013-09-04 12:18	110K
	pdiff_1__t7_pdiff_1	2013-09-04 12:18	142K
	pdiff_1__t8_pdiff_1	2013-09-04 12:18	136K
	pdiff_1__t9_pdiff_1	2013-09-04 12:18	65K
	pdiff_1__t10_pdiff_1	2013-09-04 12:18	65K
	pdiff_1__t11_pdiff_1	2013-09-04 12:18	49K
	pdiff_1__t12_pdiff_1	2013-09-04 12:18	49K
	pdiff_1__t13_pdiff_1	2013-09-04 12:18	44K
	pdiff_1__t14_pdiff_1	2013-09-04 12:18	71K
	pdiff_1__t15_pdiff_1	2013-09-04 12:18	73K
	pdiff_1__t16_pdiff_1	2013-09-04 12:18	30K
	pdiff_1__t17_pdiff_1	2013-09-04 12:18	73K
	pdiff_1__t18_pdiff_1	2013-09-04 12:18	44K
	pdiff_1__t19_pdiff_1	2013-09-04 12:18	76K
	pdiff_1__t20_pdiff_1	2013-09-04 12:18	30K
	pdiff_1__t21_pdiff_1	2013-09-04 12:18	63K
	pdiff_1__t22_pdiff_1	2013-09-04 12:18	44K
	pdiff_1__t23_pdiff_1	2013-09-04 12:18	71K
	pdiff_1__t24_pdiff_1	2013-09-04 12:18	73K
	pdiff_1__t25_pdiff_1	2013-09-04 12:18	32K
	pdiff_1__t26_pdiff_1	2013-09-04 12:18	48K
	pdiff_1__t27_pdiff_1	2013-09-04 12:18	40K
	pdiff_1__t28_pdiff_1	2013-09-04 12:18	70K
	pdiff_1__t29_pdiff_1	2013-09-04 12:18	110K
	pdiff_1__t30_pdiff_1	2013-09-04 12:18	69K
	pdiff_1__t31_pdiff_1	2013-09-04 12:18	107K
	pdiff_1__t32_pdiff_1	2013-09-04 12:18	66K
	pdiff_1__t33_pdiff_1	2013-09-04 12:18	102K