Index of /~mptp/1147/MPTP2/problems_small_consist/numbers

	Name	Last modified	Size	Description
	Parent Directory		-
	numbers__l1_numbers	2013-09-04 12:16	11K
	numbers__l2_numbers	2013-09-04 12:16	9.4K
	numbers__l4_numbers	2013-09-04 12:16	10K
	numbers__l8_numbers	2013-09-04 12:16	11K
	numbers__l9_numbers	2013-09-04 12:16	9.3K
	numbers__l10_numbers	2013-09-04 12:16	9.2K
	numbers__l11_numbers	2013-09-04 12:16	16K
	numbers__l13_numbers	2013-09-04 12:16	11K
	numbers__l14_numbers	2013-09-04 12:16	12K
	numbers__l15_numbers	2013-09-04 12:16	15K
	numbers__l16_numbers	2013-09-04 12:16	9.9K
	numbers__l17_numbers	2013-09-04 12:16	15K
	numbers__l18_numbers	2013-09-04 12:16	8.9K
	numbers__l19_numbers	2013-09-04 12:16	11K
	numbers__l20_numbers	2013-09-04 12:16	9.1K
	numbers__l21_numbers	2013-09-04 12:16	11K
	numbers__l22_numbers	2013-09-04 12:16	14K
	numbers__l23_numbers	2013-09-04 12:16	14K
	numbers__l26_numbers	2013-09-04 12:16	12K
	numbers__t1_numbers	2013-09-04 12:16	18K
	numbers__t2_numbers	2013-09-04 12:16	28K
	numbers__t3_numbers	2013-09-04 12:16	14K
	numbers__t4_numbers	2013-09-04 12:16	13K
	numbers__t5_numbers	2013-09-04 12:16	11K
	numbers__t6_numbers	2013-09-04 12:16	13K
	numbers__t7_numbers	2013-09-04 12:16	10K
	numbers__t8_numbers	2013-09-04 12:16	11K
	numbers__t9_numbers	2013-09-04 12:16	11K
	numbers__t10_numbers	2013-09-04 12:16	12K
	numbers__t11_numbers	2013-09-04 12:16	12K
	numbers__t12_numbers	2013-09-04 12:16	11K
	numbers__t13_numbers	2013-09-04 12:16	14K
	numbers__t14_numbers	2013-09-04 12:16	11K
	numbers__t15_numbers	2013-09-04 12:16	9.6K
	numbers__t16_numbers	2013-09-04 12:16	13K
	numbers__t17_numbers	2013-09-04 12:16	9.3K
	numbers__t18_numbers	2013-09-04 12:16	11K
	numbers__t19_numbers	2013-09-04 12:16	8.9K
	numbers__t20_numbers	2013-09-04 12:16	12K
	numbers__t21_numbers	2013-09-04 12:16	12K
	numbers__t22_numbers	2013-09-04 12:16	11K
	numbers__t23_numbers	2013-09-04 12:16	14K
	numbers__t24_numbers	2013-09-04 12:16	11K
	numbers__t25_numbers	2013-09-04 12:16	11K
	numbers__t26_numbers	2013-09-04 12:16	14K
	numbers__t27_numbers	2013-09-04 12:16	9.4K
	numbers__t28_numbers	2013-09-04 12:16	11K
	numbers__t29_numbers	2013-09-04 12:16	11K
	numbers__t30_numbers	2013-09-04 12:16	14K
	numbers__t31_numbers	2013-09-04 12:16	9.5K
	numbers__t32_numbers	2013-09-04 12:16	9.4K
	numbers__t33_numbers	2013-09-04 12:16	9.8K