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

	Name	Last modified	Size	Description
	Parent Directory		-
	irrat_1__t1_irrat_1	2013-09-04 12:34	28K
	irrat_1__t2_irrat_1	2013-09-04 12:34	37K
	irrat_1__t3_irrat_1	2013-09-04 12:34	25K
	irrat_1__t4_irrat_1	2013-09-04 12:34	37K
	irrat_1__t5_irrat_1	2013-09-04 12:34	40K
	irrat_1__t6_irrat_1	2013-09-04 12:34	49K
	irrat_1__t7_irrat_1	2013-09-04 12:34	47K
	irrat_1__t8_irrat_1	2013-09-04 12:34	52K
	irrat_1__t9_irrat_1	2013-09-04 12:34	23K
	irrat_1__t10_irrat_1	2013-09-04 12:34	25K
	irrat_1__t11_irrat_1	2013-09-04 12:34	20K
	irrat_1__t12_irrat_1	2013-09-04 12:34	55K
	irrat_1__t13_irrat_1	2013-09-04 12:34	47K
	irrat_1__t14_irrat_1	2013-09-04 12:34	54K
	irrat_1__t15_irrat_1	2013-09-04 12:34	29K
	irrat_1__t16_irrat_1	2013-09-04 12:34	36K
	irrat_1__t17_irrat_1	2013-09-04 12:34	32K
	irrat_1__t18_irrat_1	2013-09-04 12:34	62K
	irrat_1__t19_irrat_1	2013-09-04 12:34	51K
	irrat_1__t20_irrat_1	2013-09-04 12:34	39K
	irrat_1__t21_irrat_1	2013-09-04 12:34	44K
	irrat_1__t22_irrat_1	2013-09-04 12:34	37K
	irrat_1__t23_irrat_1	2013-09-04 12:34	37K
	irrat_1__t24_irrat_1	2013-09-04 12:34	46K
	irrat_1__t25_irrat_1	2013-09-04 12:34	31K
	irrat_1__t26_irrat_1	2013-09-04 12:34	34K
	irrat_1__t27_irrat_1	2013-09-04 12:34	30K
	irrat_1__t28_irrat_1	2013-09-04 12:34	34K
	irrat_1__t29_irrat_1	2013-09-04 12:34	31K
	irrat_1__t30_irrat_1	2013-09-04 12:34	56K
	irrat_1__t31_irrat_1	2013-09-04 12:34	39K
	irrat_1__t32_irrat_1	2013-09-04 12:34	26K
	irrat_1__t33_irrat_1	2013-09-04 12:34	25K
	irrat_1__t34_irrat_1	2013-09-04 12:34	39K
	irrat_1__t35_irrat_1	2013-09-04 12:34	36K
	irrat_1__t36_irrat_1	2013-09-04 12:34	38K
	irrat_1__t37_irrat_1	2013-09-04 12:34	38K
	irrat_1__t38_irrat_1	2013-09-04 12:34	40K
	irrat_1__t39_irrat_1	2013-09-04 12:34	62K
	irrat_1__t40_irrat_1	2013-09-04 12:34	36K
	irrat_1__t41_irrat_1	2013-09-04 12:34	54K