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

	Name	Last modified	Size	Description
	Parent Directory		-
	fib_num3__t1_fib_num3	2013-09-04 12:27	11K
	fib_num3__t2_fib_num3	2013-09-04 12:27	20K
	fib_num3__t3_fib_num3	2013-09-04 12:27	14K
	fib_num3__t4_fib_num3	2013-09-04 12:27	16K
	fib_num3__t5_fib_num3	2013-09-04 12:27	22K
	fib_num3__t6_fib_num3	2013-09-04 12:27	16K
	fib_num3__t7_fib_num3	2013-09-04 12:27	22K
	fib_num3__t8_fib_num3	2013-09-04 12:27	12K
	fib_num3__t9_fib_num3	2013-09-04 12:27	324K
	fib_num3__t10_fib_num3	2013-09-04 12:27	324K
	fib_num3__t11_fib_num3	2013-09-04 12:27	19K
	fib_num3__t12_fib_num3	2013-09-04 12:27	14K
	fib_num3__t13_fib_num3	2013-09-04 12:27	14K
	fib_num3__t14_fib_num3	2013-09-04 12:27	15K
	fib_num3__t15_fib_num3	2013-09-04 12:27	17K
	fib_num3__t16_fib_num3	2013-09-04 12:27	17K
	fib_num3__t17_fib_num3	2013-09-04 12:27	33K
	fib_num3__t18_fib_num3	2013-09-04 12:27	120K
	fib_num3__t19_fib_num3	2013-09-04 12:27	58K
	fib_num3__t20_fib_num3	2013-09-04 12:27	33K
	fib_num3__t21_fib_num3	2013-09-04 12:27	203K
	fib_num3__t22_fib_num3	2013-09-04 12:27	39K
	fib_num3__t23_fib_num3	2013-09-04 12:27	44K
	fib_num3__t24_fib_num3	2013-09-04 12:27	28K
	fib_num3__t25_fib_num3	2013-09-04 12:27	39K
	fib_num3__t26_fib_num3	2013-09-04 12:27	141K
	fib_num3__t27_fib_num3	2013-09-04 12:27	64K
	fib_num3__t28_fib_num3	2013-09-04 12:27	53K
	fib_num3__t29_fib_num3	2013-09-04 12:27	252K
	fib_num3__t30_fib_num3	2013-09-04 12:27	391K
	fib_num3__t31_fib_num3	2013-09-04 12:27	20K
	fib_num3__t32_fib_num3	2013-09-04 12:27	19K
	fib_num3__t33_fib_num3	2013-09-04 12:27	19K
	fib_num3__t34_fib_num3	2013-09-04 12:27	14K
	fib_num3__t35_fib_num3	2013-09-04 12:27	14K
	fib_num3__t36_fib_num3	2013-09-04 12:27	15K
	fib_num3__t37_fib_num3	2013-09-04 12:27	15K
	fib_num3__t38_fib_num3	2013-09-04 12:27	15K
	fib_num3__t39_fib_num3	2013-09-04 12:27	17K
	fib_num3__t40_fib_num3	2013-09-04 12:27	18K
	fib_num3__t41_fib_num3	2013-09-04 12:27	27K
	fib_num3__t42_fib_num3	2013-09-04 12:27	39K
	fib_num3__t43_fib_num3	2013-09-04 12:27	63K
	fib_num3__t44_fib_num3	2013-09-04 12:27	58K
	fib_num3__t45_fib_num3	2013-09-04 12:27	32K
	fib_num3__t46_fib_num3	2013-09-04 12:27	16K
	fib_num3__t47_fib_num3	2013-09-04 12:27	100K
	fib_num3__t48_fib_num3	2013-09-04 12:27	15K
	fib_num3__t49_fib_num3	2013-09-04 12:27	29K
	fib_num3__t50_fib_num3	2013-09-04 12:27	24K
	fib_num3__t51_fib_num3	2013-09-04 12:27	28K
	fib_num3__t52_fib_num3	2013-09-04 12:27	26K
	fib_num3__t53_fib_num3	2013-09-04 12:27	24K
	fib_num3__t54_fib_num3	2013-09-04 12:27	334K
	fib_num3__t55_fib_num3	2013-09-04 12:27	16K