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

	Name	Last modified	Size	Description
	Parent Directory		-
	classes1__l12_classes1	2013-09-04 12:10	19K
	classes1__l36_classes1	2013-09-04 12:10	15K
	classes1__l86_classes1	2013-09-04 12:10	5.9K
	classes1__t1_classes1	2013-09-04 12:10	8.1K
	classes1__t2_classes1	2013-09-04 12:10	6.8K
	classes1__t3_classes1	2013-09-04 12:10	7.4K
	classes1__t4_classes1	2013-09-04 12:10	7.3K
	classes1__t5_classes1	2013-09-04 12:10	7.3K
	classes1__t6_classes1	2013-09-04 12:10	7.3K
	classes1__t7_classes1	2013-09-04 12:10	12K
	classes1__t8_classes1	2013-09-04 12:10	13K
	classes1__t9_classes1	2013-09-04 12:10	14K
	classes1__t10_classes1	2013-09-04 12:10	14K
	classes1__t11_classes1	2013-09-04 12:10	8.9K
	classes1__t12_classes1	2013-09-04 12:10	8.9K
	classes1__t13_classes1	2013-09-04 12:10	7.6K
	classes1__t14_classes1	2013-09-04 12:10	9.1K
	classes1__t15_classes1	2013-09-04 12:10	13K
	classes1__t16_classes1	2013-09-04 12:10	11K
	classes1__t17_classes1	2013-09-04 12:10	10K
	classes1__t18_classes1	2013-09-04 12:10	15K
	classes1__t19_classes1	2013-09-04 12:10	8.3K
	classes1__t20_classes1	2013-09-04 12:10	7.8K
	classes1__t21_classes1	2013-09-04 12:10	14K
	classes1__t22_classes1	2013-09-04 12:10	15K
	classes1__t23_classes1	2013-09-04 12:10	8.5K
	classes1__t24_classes1	2013-09-04 12:10	7.8K
	classes1__t25_classes1	2013-09-04 12:10	4.7K
	classes1__t26_classes1	2013-09-04 12:10	12K
	classes1__t27_classes1	2013-09-04 12:10	5.3K
	classes1__t28_classes1	2013-09-04 12:10	10K
	classes1__t29_classes1	2013-09-04 12:10	10K
	classes1__t30_classes1	2013-09-04 12:10	10K
	classes1__t31_classes1	2013-09-04 12:10	11K
	classes1__t32_classes1	2013-09-04 12:10	10K
	classes1__t33_classes1	2013-09-04 12:10	10K
	classes1__t34_classes1	2013-09-04 12:10	7.1K
	classes1__t35_classes1	2013-09-04 12:10	12K
	classes1__t36_classes1	2013-09-04 12:10	10K
	classes1__t37_classes1	2013-09-04 12:10	7.9K
	classes1__t38_classes1	2013-09-04 12:10	9.6K
	classes1__t39_classes1	2013-09-04 12:10	13K
	classes1__t40_classes1	2013-09-04 12:10	11K
	classes1__t41_classes1	2013-09-04 12:10	11K
	classes1__t42_classes1	2013-09-04 12:10	8.6K
	classes1__t43_classes1	2013-09-04 12:10	8.1K
	classes1__t44_classes1	2013-09-04 12:10	8.5K
	classes1__t45_classes1	2013-09-04 12:10	6.5K
	classes1__t46_classes1	2013-09-04 12:10	9.8K
	classes1__t47_classes1	2013-09-04 12:10	11K
	classes1__t48_classes1	2013-09-04 12:10	7.0K
	classes1__t49_classes1	2013-09-04 12:10	7.5K
	classes1__t50_classes1	2013-09-04 12:10	7.3K
	classes1__t51_classes1	2013-09-04 12:10	9.8K
	classes1__t52_classes1	2013-09-04 12:10	9.8K
	classes1__t53_classes1	2013-09-04 12:10	10K
	classes1__t54_classes1	2013-09-04 12:10	6.9K
	classes1__t55_classes1	2013-09-04 12:10	6.7K
	classes1__t56_classes1	2013-09-04 12:10	4.1K
	classes1__t57_classes1	2013-09-04 12:10	527
	classes1__t58_classes1	2013-09-04 12:10	6.9K
	classes1__t59_classes1	2013-09-04 12:10	350
	classes1__t60_classes1	2013-09-04 12:10	8.0K
	classes1__t61_classes1	2013-09-04 12:10	7.2K
	classes1__t62_classes1	2013-09-04 12:10	7.3K
	classes1__t63_classes1	2013-09-04 12:10	13K
	classes1__t64_classes1	2013-09-04 12:10	7.4K
	classes1__t65_classes1	2013-09-04 12:10	7.6K
	classes1__t66_classes1	2013-09-04 12:10	9.4K
	classes1__t67_classes1	2013-09-04 12:10	7.4K
	classes1__t68_classes1	2013-09-04 12:10	7.4K
	classes1__t69_classes1	2013-09-04 12:10	7.7K
	classes1__t70_classes1	2013-09-04 12:10	9.0K
	classes1__t71_classes1	2013-09-04 12:10	11K
	classes1__t72_classes1	2013-09-04 12:10	8.8K
	classes1__t73_classes1	2013-09-04 12:10	7.8K
	classes1__t74_classes1	2013-09-04 12:10	12K
	classes1__t75_classes1	2013-09-04 12:10	11K
	classes1__t76_classes1	2013-09-04 12:10	5.3K
	classes1__t77_classes1	2013-09-04 12:10	18K
	classes1__t78_classes1	2013-09-04 12:10	16K
	classes1__t79_classes1	2013-09-04 12:10	11K
	classes1__t80_classes1	2013-09-04 12:10	17K
	classes1__t81_classes1	2013-09-04 12:10	1.3K
	classes1__t82_classes1	2013-09-04 12:10	6.3K
	classes1__t83_classes1	2013-09-04 12:10	16K