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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc_3__l10_bvfunc_3	2013-09-04 12:32	10K
	bvfunc_3__l15_bvfunc_3	2013-09-04 12:32	8.8K
	bvfunc_3__t1_bvfunc_3	2013-09-04 12:31	15K
	bvfunc_3__t2_bvfunc_3	2013-09-04 12:31	15K
	bvfunc_3__t3_bvfunc_3	2013-09-04 12:31	15K
	bvfunc_3__t4_bvfunc_3	2013-09-04 12:31	25K
	bvfunc_3__t5_bvfunc_3	2013-09-04 12:31	25K
	bvfunc_3__t6_bvfunc_3	2013-09-04 12:31	13K
	bvfunc_3__t7_bvfunc_3	2013-09-04 12:32	14K
	bvfunc_3__t8_bvfunc_3	2013-09-04 12:32	21K
	bvfunc_3__t9_bvfunc_3	2013-09-04 12:32	15K
	bvfunc_3__t10_bvfunc_3	2013-09-04 12:32	15K
	bvfunc_3__t11_bvfunc_3	2013-09-04 12:32	14K
	bvfunc_3__t12_bvfunc_3	2013-09-04 12:32	16K
	bvfunc_3__t13_bvfunc_3	2013-09-04 12:32	16K
	bvfunc_3__t14_bvfunc_3	2013-09-04 12:32	16K
	bvfunc_3__t15_bvfunc_3	2013-09-04 12:32	14K
	bvfunc_3__t16_bvfunc_3	2013-09-04 12:32	14K
	bvfunc_3__t17_bvfunc_3	2013-09-04 12:32	12K
	bvfunc_3__t18_bvfunc_3	2013-09-04 12:32	13K
	bvfunc_3__t19_bvfunc_3	2013-09-04 12:32	14K
	bvfunc_3__t20_bvfunc_3	2013-09-04 12:32	19K
	bvfunc_3__t21_bvfunc_3	2013-09-04 12:32	13K
	bvfunc_3__t22_bvfunc_3	2013-09-04 12:32	15K
	bvfunc_3__t23_bvfunc_3	2013-09-04 12:32	16K
	bvfunc_3__t24_bvfunc_3	2013-09-04 12:32	14K
	bvfunc_3__t25_bvfunc_3	2013-09-04 12:32	15K
	bvfunc_3__t26_bvfunc_3	2013-09-04 12:32	19K
	bvfunc_3__t27_bvfunc_3	2013-09-04 12:32	12K
	bvfunc_3__t28_bvfunc_3	2013-09-04 12:32	22K
	bvfunc_3__t29_bvfunc_3	2013-09-04 12:32	18K
	bvfunc_3__t30_bvfunc_3	2013-09-04 12:32	19K
	bvfunc_3__t31_bvfunc_3	2013-09-04 12:32	23K
	bvfunc_3__t32_bvfunc_3	2013-09-04 12:32	18K
	bvfunc_3__t33_bvfunc_3	2013-09-04 12:32	20K
	bvfunc_3__t34_bvfunc_3	2013-09-04 12:32	20K
	bvfunc_3__t35_bvfunc_3	2013-09-04 12:32	20K
	bvfunc_3__t36_bvfunc_3	2013-09-04 12:32	22K
	bvfunc_3__t37_bvfunc_3	2013-09-04 12:32	22K
	bvfunc_3__t38_bvfunc_3	2013-09-04 12:32	20K
	bvfunc_3__t39_bvfunc_3	2013-09-04 12:32	20K
	bvfunc_3__t40_bvfunc_3	2013-09-04 12:32	20K
	bvfunc_3__t41_bvfunc_3	2013-09-04 12:32	22K