Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/bvfunc_7

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc_7__t1_bvfunc_7	2013-09-04 12:29	17K
	bvfunc_7__t2_bvfunc_7	2013-09-04 12:29	17K
	bvfunc_7__t3_bvfunc_7	2013-09-04 12:29	11K
	bvfunc_7__t4_bvfunc_7	2013-09-04 12:29	13K
	bvfunc_7__t5_bvfunc_7	2013-09-04 12:29	16K
	bvfunc_7__t6_bvfunc_7	2013-09-04 12:29	16K
	bvfunc_7__t7_bvfunc_7	2013-09-04 12:29	13K
	bvfunc_7__t8_bvfunc_7	2013-09-04 12:29	12K
	bvfunc_7__t9_bvfunc_7	2013-09-04 12:29	19K
	bvfunc_7__t10_bvfunc_7	2013-09-04 12:29	15K
	bvfunc_7__t11_bvfunc_7	2013-09-04 12:29	17K
	bvfunc_7__t12_bvfunc_7	2013-09-04 12:29	16K
	bvfunc_7__t13_bvfunc_7	2013-09-04 12:29	10K
	bvfunc_7__t14_bvfunc_7	2013-09-04 12:29	12K
	bvfunc_7__t15_bvfunc_7	2013-09-04 12:29	10K
	bvfunc_7__t16_bvfunc_7	2013-09-04 12:29	8.4K
	bvfunc_7__t17_bvfunc_7	2013-09-04 12:29	10K
	bvfunc_7__t18_bvfunc_7	2013-09-04 12:29	9.8K
	bvfunc_7__t19_bvfunc_7	2013-09-04 12:29	26K
	bvfunc_7__t20_bvfunc_7	2013-09-04 12:29	18K
	bvfunc_7__t21_bvfunc_7	2013-09-04 12:29	18K
	bvfunc_7__t22_bvfunc_7	2013-09-04 12:29	18K
	bvfunc_7__t23_bvfunc_7	2013-09-04 12:29	21K
	bvfunc_7__t24_bvfunc_7	2013-09-04 12:29	23K
	bvfunc_7__t25_bvfunc_7	2013-09-04 12:29	22K
	bvfunc_7__t26_bvfunc_7	2013-09-04 12:29	22K
	bvfunc_7__t27_bvfunc_7	2013-09-04 12:29	23K