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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc_8__t1_bvfunc_8	2013-09-04 12:04	14K
	bvfunc_8__t2_bvfunc_8	2013-09-04 12:04	11K
	bvfunc_8__t3_bvfunc_8	2013-09-04 12:04	16K
	bvfunc_8__t4_bvfunc_8	2013-09-04 12:04	16K
	bvfunc_8__t5_bvfunc_8	2013-09-04 12:04	15K
	bvfunc_8__t6_bvfunc_8	2013-09-04 12:04	11K
	bvfunc_8__t7_bvfunc_8	2013-09-04 12:04	11K
	bvfunc_8__t8_bvfunc_8	2013-09-04 12:04	12K
	bvfunc_8__t9_bvfunc_8	2013-09-04 12:04	12K
	bvfunc_8__t10_bvfunc_8	2013-09-04 12:04	18K
	bvfunc_8__t11_bvfunc_8	2013-09-04 12:04	17K
	bvfunc_8__t12_bvfunc_8	2013-09-04 12:04	16K
	bvfunc_8__t13_bvfunc_8	2013-09-04 12:04	20K
	bvfunc_8__t14_bvfunc_8	2013-09-04 12:04	13K
	bvfunc_8__t15_bvfunc_8	2013-09-04 12:04	13K
	bvfunc_8__t16_bvfunc_8	2013-09-04 12:04	12K
	bvfunc_8__t17_bvfunc_8	2013-09-04 12:04	14K
	bvfunc_8__t18_bvfunc_8	2013-09-04 12:04	13K
	bvfunc_8__t19_bvfunc_8	2013-09-04 12:04	13K
	bvfunc_8__t20_bvfunc_8	2013-09-04 12:04	15K
	bvfunc_8__t21_bvfunc_8	2013-09-04 12:04	15K
	bvfunc_8__t22_bvfunc_8	2013-09-04 12:04	16K
	bvfunc_8__t23_bvfunc_8	2013-09-04 12:04	22K
	bvfunc_8__t24_bvfunc_8	2013-09-04 12:04	23K
	bvfunc_8__t25_bvfunc_8	2013-09-04 12:04	23K
	bvfunc_8__t26_bvfunc_8	2013-09-04 12:04	14K
	bvfunc_8__t27_bvfunc_8	2013-09-04 12:04	15K
	bvfunc_8__t28_bvfunc_8	2013-09-04 12:04	15K
	bvfunc_8__t29_bvfunc_8	2013-09-04 12:04	14K