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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc10__l2_bvfunc10	2013-09-04 12:14	94K
	bvfunc10__l4_bvfunc10	2013-09-04 12:14	58K
	bvfunc10__l9_bvfunc10	2013-09-04 12:14	61K
	bvfunc10__l19_bvfunc10	2013-09-04 12:14	59K
	bvfunc10__t1_bvfunc10	2013-09-04 12:14	113K
	bvfunc10__t2_bvfunc10	2013-09-04 12:14	10K
	bvfunc10__t3_bvfunc10	2013-09-04 12:14	10K
	bvfunc10__t4_bvfunc10	2013-09-04 12:14	7.1K
	bvfunc10__t5_bvfunc10	2013-09-04 12:14	7.3K
	bvfunc10__t6_bvfunc10	2013-09-04 12:14	99K
	bvfunc10__t7_bvfunc10	2013-09-04 12:14	12K
	bvfunc10__t8_bvfunc10	2013-09-04 12:14	8.7K
	bvfunc10__t9_bvfunc10	2013-09-04 12:14	8.9K
	bvfunc10__t10_bvfunc10	2013-09-04 12:14	13K
	bvfunc10__t11_bvfunc10	2013-09-04 12:14	60K
	bvfunc10__t12_bvfunc10	2013-09-04 12:14	60K
	bvfunc10__t13_bvfunc10	2013-09-04 12:14	12K
	bvfunc10__t14_bvfunc10	2013-09-04 12:14	61K
	bvfunc10__t15_bvfunc10	2013-09-04 12:14	14K
	bvfunc10__t16_bvfunc10	2013-09-04 12:14	301K
	bvfunc10__t17_bvfunc10	2013-09-04 12:14	32K
	bvfunc10__t18_bvfunc10	2013-09-04 12:14	32K
	bvfunc10__t19_bvfunc10	2013-09-04 12:14	30K
	bvfunc10__t20_bvfunc10	2013-09-04 12:14	30K
	bvfunc10__t21_bvfunc10	2013-09-04 12:14	30K
	bvfunc10__t22_bvfunc10	2013-09-04 12:14	30K
	bvfunc10__t23_bvfunc10	2013-09-04 12:14	11K
	bvfunc10__t24_bvfunc10	2013-09-04 12:14	12K
	bvfunc10__t25_bvfunc10	2013-09-04 12:14	11K
	bvfunc10__t26_bvfunc10	2013-09-04 12:14	12K
	bvfunc10__t27_bvfunc10	2013-09-04 12:14	12K