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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc_9__l1_bvfunc_9	2013-09-04 13:00	13K
	bvfunc_9__l2_bvfunc_9	2013-09-04 13:00	8.1K
	bvfunc_9__l3_bvfunc_9	2013-09-04 13:00	8.3K
	bvfunc_9__l4_bvfunc_9	2013-09-04 13:00	8.4K
	bvfunc_9__l5_bvfunc_9	2013-09-04 13:00	8.6K
	bvfunc_9__l6_bvfunc_9	2013-09-04 13:00	8.8K
	bvfunc_9__l31_bvfunc_9	2013-09-04 13:00	15K
	bvfunc_9__l32_bvfunc_9	2013-09-04 13:00	16K
	bvfunc_9__l33_bvfunc_9	2013-09-04 13:00	17K
	bvfunc_9__t1_bvfunc_9	2013-09-04 13:00	31K
	bvfunc_9__t2_bvfunc_9	2013-09-04 13:00	31K
	bvfunc_9__t3_bvfunc_9	2013-09-04 13:00	32K
	bvfunc_9__t4_bvfunc_9	2013-09-04 13:00	29K
	bvfunc_9__t5_bvfunc_9	2013-09-04 13:00	25K
	bvfunc_9__t6_bvfunc_9	2013-09-04 13:00	31K
	bvfunc_9__t7_bvfunc_9	2013-09-04 13:00	30K
	bvfunc_9__t8_bvfunc_9	2013-09-04 13:00	30K
	bvfunc_9__t9_bvfunc_9	2013-09-04 13:00	27K
	bvfunc_9__t10_bvfunc_9	2013-09-04 13:00	32K
	bvfunc_9__t11_bvfunc_9	2013-09-04 13:00	17K
	bvfunc_9__t12_bvfunc_9	2013-09-04 13:00	30K
	bvfunc_9__t13_bvfunc_9	2013-09-04 13:00	26K
	bvfunc_9__t14_bvfunc_9	2013-09-04 13:00	27K
	bvfunc_9__t15_bvfunc_9	2013-09-04 13:00	8.3K
	bvfunc_9__t16_bvfunc_9	2013-09-04 13:00	31K
	bvfunc_9__t17_bvfunc_9	2013-09-04 13:00	31K
	bvfunc_9__t18_bvfunc_9	2013-09-04 13:00	29K
	bvfunc_9__t19_bvfunc_9	2013-09-04 13:00	31K
	bvfunc_9__t20_bvfunc_9	2013-09-04 13:00	6.3K
	bvfunc_9__t21_bvfunc_9	2013-09-04 13:00	9.9K
	bvfunc_9__t22_bvfunc_9	2013-09-04 13:00	31K
	bvfunc_9__t23_bvfunc_9	2013-09-04 13:00	8.5K
	bvfunc_9__t24_bvfunc_9	2013-09-04 13:00	19K
	bvfunc_9__t25_bvfunc_9	2013-09-04 13:00	19K
	bvfunc_9__t26_bvfunc_9	2013-09-04 13:00	98K
	bvfunc_9__t27_bvfunc_9	2013-09-04 13:00	12K
	bvfunc_9__t28_bvfunc_9	2013-09-04 13:00	4.7K
	bvfunc_9__t29_bvfunc_9	2013-09-04 13:00	5.2K
	bvfunc_9__t30_bvfunc_9	2013-09-04 13:00	5.5K
	bvfunc_9__t31_bvfunc_9	2013-09-04 13:00	5.8K
	bvfunc_9__t32_bvfunc_9	2013-09-04 13:00	6.2K
	bvfunc_9__t33_bvfunc_9	2013-09-04 13:00	6.5K
	bvfunc_9__t34_bvfunc_9	2013-09-04 13:00	8.1K
	bvfunc_9__t35_bvfunc_9	2013-09-04 13:00	12K
	bvfunc_9__t36_bvfunc_9	2013-09-04 13:00	11K
	bvfunc_9__t37_bvfunc_9	2013-09-04 13:00	9.6K
	bvfunc_9__t38_bvfunc_9	2013-09-04 13:00	8.1K
	bvfunc_9__t39_bvfunc_9	2013-09-04 13:00	7.3K
	bvfunc_9__t40_bvfunc_9	2013-09-04 13:00	8.8K