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

	Name	Last modified	Size	Description
	Parent Directory		-
	funct_3__t1_funct_3	2013-09-04 12:15	10K
	funct_3__t2_funct_3	2013-09-04 12:15	8.2K
	funct_3__t3_funct_3	2013-09-04 12:15	8.3K
	funct_3__t4_funct_3	2013-09-04 12:15	9.5K
	funct_3__t5_funct_3	2013-09-04 12:15	9.2K
	funct_3__t6_funct_3	2013-09-04 12:15	5.8K
	funct_3__t7_funct_3	2013-09-04 12:15	7.0K
	funct_3__t8_funct_3	2013-09-04 12:15	7.1K
	funct_3__t9_funct_3	2013-09-04 12:15	8.1K
	funct_3__t10_funct_3	2013-09-04 12:15	6.8K
	funct_3__t11_funct_3	2013-09-04 12:15	7.4K
	funct_3__t12_funct_3	2013-09-04 12:15	9.1K
	funct_3__t13_funct_3	2013-09-04 12:15	7.5K
	funct_3__t14_funct_3	2013-09-04 12:15	7.9K
	funct_3__t15_funct_3	2013-09-04 12:15	9.4K
	funct_3__t16_funct_3	2013-09-04 12:15	8.1K
	funct_3__t17_funct_3	2013-09-04 12:15	9.1K
	funct_3__t18_funct_3	2013-09-04 12:15	10K
	funct_3__t19_funct_3	2013-09-04 12:15	11K
	funct_3__t20_funct_3	2013-09-04 12:15	11K
	funct_3__t21_funct_3	2013-09-04 12:15	7.6K
	funct_3__t22_funct_3	2013-09-04 12:15	7.9K
	funct_3__t23_funct_3	2013-09-04 12:15	7.5K
	funct_3__t24_funct_3	2013-09-04 12:15	7.7K
	funct_3__t25_funct_3	2013-09-04 12:15	9.3K
	funct_3__t26_funct_3	2013-09-04 12:15	9.1K
	funct_3__t27_funct_3	2013-09-04 12:15	9.0K
	funct_3__t28_funct_3	2013-09-04 12:15	9.5K
	funct_3__t29_funct_3	2013-09-04 12:15	9.5K
	funct_3__t30_funct_3	2013-09-04 12:15	9.9K
	funct_3__t31_funct_3	2013-09-04 12:15	9.2K
	funct_3__t32_funct_3	2013-09-04 12:15	9.6K
	funct_3__t33_funct_3	2013-09-04 12:15	7.3K
	funct_3__t34_funct_3	2013-09-04 12:15	11K
	funct_3__t35_funct_3	2013-09-04 12:15	11K
	funct_3__t36_funct_3	2013-09-04 12:15	5.4K
	funct_3__t37_funct_3	2013-09-04 12:15	7.2K
	funct_3__t38_funct_3	2013-09-04 12:15	6.8K
	funct_3__t39_funct_3	2013-09-04 12:15	8.1K
	funct_3__t40_funct_3	2013-09-04 12:15	12K
	funct_3__t41_funct_3	2013-09-04 12:15	9.8K
	funct_3__t42_funct_3	2013-09-04 12:15	11K
	funct_3__t43_funct_3	2013-09-04 12:15	11K
	funct_3__t44_funct_3	2013-09-04 12:15	12K
	funct_3__t45_funct_3	2013-09-04 12:15	11K
	funct_3__t46_funct_3	2013-09-04 12:15	12K
	funct_3__t47_funct_3	2013-09-04 12:15	11K
	funct_3__t48_funct_3	2013-09-04 12:15	6.2K
	funct_3__t49_funct_3	2013-09-04 12:15	6.2K
	funct_3__t50_funct_3	2013-09-04 12:15	6.2K
	funct_3__t51_funct_3	2013-09-04 12:15	13K
	funct_3__t52_funct_3	2013-09-04 12:15	17K
	funct_3__t53_funct_3	2013-09-04 12:15	14K
	funct_3__t54_funct_3	2013-09-04 12:15	6.9K
	funct_3__t55_funct_3	2013-09-04 12:15	8.7K
	funct_3__t56_funct_3	2013-09-04 12:15	12K
	funct_3__t57_funct_3	2013-09-04 12:15	7.8K
	funct_3__t58_funct_3	2013-09-04 12:15	11K
	funct_3__t59_funct_3	2013-09-04 12:15	13K
	funct_3__t60_funct_3	2013-09-04 12:15	9.6K
	funct_3__t61_funct_3	2013-09-04 12:15	13K
	funct_3__t62_funct_3	2013-09-04 12:15	13K
	funct_3__t63_funct_3	2013-09-04 12:15	11K
	funct_3__t64_funct_3	2013-09-04 12:15	12K
	funct_3__t65_funct_3	2013-09-04 12:15	6.1K
	funct_3__t66_funct_3	2013-09-04 12:15	17K
	funct_3__t67_funct_3	2013-09-04 12:15	7.2K
	funct_3__t68_funct_3	2013-09-04 12:15	16K
	funct_3__t69_funct_3	2013-09-04 12:15	13K
	funct_3__t70_funct_3	2013-09-04 12:15	10K
	funct_3__t71_funct_3	2013-09-04 12:15	8.7K
	funct_3__t72_funct_3	2013-09-04 12:15	6.8K
	funct_3__t73_funct_3	2013-09-04 12:15	6.8K
	funct_3__t74_funct_3	2013-09-04 12:15	13K
	funct_3__t75_funct_3	2013-09-04 12:15	13K
	funct_3__t76_funct_3	2013-09-04 12:15	13K
	funct_3__t77_funct_3	2013-09-04 12:15	13K
	funct_3__t78_funct_3	2013-09-04 12:15	17K
	funct_3__t79_funct_3	2013-09-04 12:15	13K
	funct_3__t80_funct_3	2013-09-04 12:15	16K