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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc25__t1_bvfunc25	2013-09-04 12:34	9.6K
	bvfunc25__t2_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t3_bvfunc25	2013-09-04 12:34	6.9K
	bvfunc25__t4_bvfunc25	2013-09-04 12:34	9.1K
	bvfunc25__t5_bvfunc25	2013-09-04 12:34	10K
	bvfunc25__t6_bvfunc25	2013-09-04 12:34	11K
	bvfunc25__t7_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t8_bvfunc25	2013-09-04 12:34	7.7K
	bvfunc25__t9_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t10_bvfunc25	2013-09-04 12:34	7.4K
	bvfunc25__t11_bvfunc25	2013-09-04 12:34	13K
	bvfunc25__t12_bvfunc25	2013-09-04 12:34	7.0K
	bvfunc25__t13_bvfunc25	2013-09-04 12:34	10K
	bvfunc25__t14_bvfunc25	2013-09-04 12:34	10K
	bvfunc25__t15_bvfunc25	2013-09-04 12:34	11K
	bvfunc25__t16_bvfunc25	2013-09-04 12:34	10K
	bvfunc25__t17_bvfunc25	2013-09-04 12:34	8.4K
	bvfunc25__t18_bvfunc25	2013-09-04 12:34	13K
	bvfunc25__t19_bvfunc25	2013-09-04 12:34	14K
	bvfunc25__t20_bvfunc25	2013-09-04 12:34	4.7K
	bvfunc25__t21_bvfunc25	2013-09-04 12:34	6.5K
	bvfunc25__t22_bvfunc25	2013-09-04 12:34	7.4K
	bvfunc25__t23_bvfunc25	2013-09-04 12:34	9.6K
	bvfunc25__t24_bvfunc25	2013-09-04 12:34	8.3K
	bvfunc25__t25_bvfunc25	2013-09-04 12:34	8.4K
	bvfunc25__t26_bvfunc25	2013-09-04 12:34	8.3K
	bvfunc25__t27_bvfunc25	2013-09-04 12:34	8.3K
	bvfunc25__t28_bvfunc25	2013-09-04 12:34	14K
	bvfunc25__t29_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t30_bvfunc25	2013-09-04 12:34	14K
	bvfunc25__t31_bvfunc25	2013-09-04 12:34	6.1K
	bvfunc25__t32_bvfunc25	2013-09-04 12:34	6.4K
	bvfunc25__t33_bvfunc25	2013-09-04 12:34	11K
	bvfunc25__t34_bvfunc25	2013-09-04 12:34	5.7K
	bvfunc25__t35_bvfunc25	2013-09-04 12:34	9.6K
	bvfunc25__t36_bvfunc25	2013-09-04 12:34	9.1K
	bvfunc25__t37_bvfunc25	2013-09-04 12:34	7.0K
	bvfunc25__t38_bvfunc25	2013-09-04 12:34	11K
	bvfunc25__t39_bvfunc25	2013-09-04 12:34	4.0K
	bvfunc25__t40_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t41_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t42_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t43_bvfunc25	2013-09-04 12:34	12K
	bvfunc25__t44_bvfunc25	2013-09-04 12:34	7.1K
	bvfunc25__t45_bvfunc25	2013-09-04 12:34	7.2K
	bvfunc25__t46_bvfunc25	2013-09-04 12:34	13K
	bvfunc25__t47_bvfunc25	2013-09-04 12:34	15K