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

	Name	Last modified	Size	Description
	Parent Directory		-
	normform__l23_normform	2013-09-04 12:15	14K
	normform__l24_normform	2013-09-04 12:15	14K
	normform__l25_normform	2013-09-04 12:15	14K
	normform__l42_normform	2013-09-04 12:15	8.3K
	normform__l55_normform	2013-09-04 12:15	8.0K
	normform__l63_normform	2013-09-04 12:15	18K
	normform__l71_normform	2013-09-04 12:15	15K
	normform__l72_normform	2013-09-04 12:15	19K
	normform__l76_normform	2013-09-04 12:15	22K
	normform__l77_normform	2013-09-04 12:15	22K
	normform__l78_normform	2013-09-04 12:15	21K
	normform__l79_normform	2013-09-04 12:15	22K
	normform__l80_normform	2013-09-04 12:15	22K
	normform__l81_normform	2013-09-04 12:15	22K
	normform__l82_normform	2013-09-04 12:15	22K
	normform__l83_normform	2013-09-04 12:15	23K
	normform__t1_normform	2013-09-04 12:15	7.1K
	normform__t2_normform	2013-09-04 12:15	6.9K
	normform__t3_normform	2013-09-04 12:15	7.0K
	normform__t4_normform	2013-09-04 12:15	7.0K
	normform__t5_normform	2013-09-04 12:15	9.3K
	normform__t6_normform	2013-09-04 12:15	9.1K
	normform__t7_normform	2013-09-04 12:15	9.4K
	normform__t8_normform	2013-09-04 12:15	10K
	normform__t9_normform	2013-09-04 12:15	11K
	normform__t10_normform	2013-09-04 12:15	11K
	normform__t11_normform	2013-09-04 12:15	8.0K
	normform__t12_normform	2013-09-04 12:15	11K
	normform__t13_normform	2013-09-04 12:15	7.9K
	normform__t14_normform	2013-09-04 12:15	13K
	normform__t15_normform	2013-09-04 12:15	13K
	normform__t16_normform	2013-09-04 12:15	18K
	normform__t17_normform	2013-09-04 12:15	15K
	normform__t18_normform	2013-09-04 12:15	9.0K
	normform__t19_normform	2013-09-04 12:15	9.3K
	normform__t20_normform	2013-09-04 12:15	11K
	normform__t21_normform	2013-09-04 12:15	21K
	normform__t22_normform	2013-09-04 12:15	14K
	normform__t23_normform	2013-09-04 12:15	7.1K
	normform__t24_normform	2013-09-04 12:15	14K
	normform__t25_normform	2013-09-04 12:15	8.0K
	normform__t26_normform	2013-09-04 12:15	8.8K
	normform__t27_normform	2013-09-04 12:15	8.2K
	normform__t28_normform	2013-09-04 12:15	15K
	normform__t29_normform	2013-09-04 12:15	8.1K
	normform__t30_normform	2013-09-04 12:15	9.4K
	normform__t31_normform	2013-09-04 12:15	9.0K
	normform__t32_normform	2013-09-04 12:15	8.8K
	normform__t33_normform	2013-09-04 12:15	9.3K
	normform__t34_normform	2013-09-04 12:15	14K
	normform__t35_normform	2013-09-04 12:15	14K
	normform__t36_normform	2013-09-04 12:15	9.5K
	normform__t37_normform	2013-09-04 12:15	10K
	normform__t38_normform	2013-09-04 12:15	11K
	normform__t39_normform	2013-09-04 12:15	9.5K
	normform__t40_normform	2013-09-04 12:15	10K
	normform__t41_normform	2013-09-04 12:15	12K
	normform__t42_normform	2013-09-04 12:15	11K
	normform__t43_normform	2013-09-04 12:15	12K
	normform__t44_normform	2013-09-04 12:15	14K
	normform__t45_normform	2013-09-04 12:15	12K
	normform__t46_normform	2013-09-04 12:15	15K
	normform__t47_normform	2013-09-04 12:15	17K
	normform__t48_normform	2013-09-04 12:15	16K
	normform__t49_normform	2013-09-04 12:15	14K
	normform__t50_normform	2013-09-04 12:15	18K
	normform__t51_normform	2013-09-04 12:15	16K
	normform__t52_normform	2013-09-04 12:15	17K
	normform__t53_normform	2013-09-04 12:15	18K
	normform__t54_normform	2013-09-04 12:15	14K
	normform__t55_normform	2013-09-04 12:15	16K
	normform__t56_normform	2013-09-04 12:15	22K
	normform__t57_normform	2013-09-04 12:15	25K