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

	Name	Last modified	Size	Description
	Parent Directory		-
	bvfunc11__t1_bvfunc11	2013-09-04 12:58	3.9K
	bvfunc11__t2_bvfunc11	2013-09-04 12:58	4.2K
	bvfunc11__t3_bvfunc11	2013-09-04 12:58	4.2K
	bvfunc11__t4_bvfunc11	2013-09-04 12:58	4.1K
	bvfunc11__t5_bvfunc11	2013-09-04 12:58	7.0K
	bvfunc11__t6_bvfunc11	2013-09-04 12:58	10K
	bvfunc11__t7_bvfunc11	2013-09-04 12:58	13K
	bvfunc11__t8_bvfunc11	2013-09-04 12:58	7.5K
	bvfunc11__t9_bvfunc11	2013-09-04 12:58	6.9K
	bvfunc11__t10_bvfunc11	2013-09-04 12:58	7.7K
	bvfunc11__t11_bvfunc11	2013-09-04 12:58	7.4K
	bvfunc11__t12_bvfunc11	2013-09-04 12:58	13K
	bvfunc11__t13_bvfunc11	2013-09-04 12:58	23K
	bvfunc11__t14_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t15_bvfunc11	2013-09-04 12:58	8.1K
	bvfunc11__t16_bvfunc11	2013-09-04 12:58	9.0K
	bvfunc11__t17_bvfunc11	2013-09-04 12:58	8.2K
	bvfunc11__t18_bvfunc11	2013-09-04 12:58	8.6K
	bvfunc11__t19_bvfunc11	2013-09-04 12:58	8.0K
	bvfunc11__t20_bvfunc11	2013-09-04 12:58	8.0K
	bvfunc11__t21_bvfunc11	2013-09-04 12:58	7.6K
	bvfunc11__t22_bvfunc11	2013-09-04 12:58	7.4K
	bvfunc11__t23_bvfunc11	2013-09-04 12:58	6.1K
	bvfunc11__t24_bvfunc11	2013-09-04 12:58	5.6K
	bvfunc11__t25_bvfunc11	2013-09-04 12:58	6.1K
	bvfunc11__t26_bvfunc11	2013-09-04 12:58	9.4K
	bvfunc11__t27_bvfunc11	2013-09-04 12:58	21K
	bvfunc11__t28_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t29_bvfunc11	2013-09-04 12:58	9.2K
	bvfunc11__t30_bvfunc11	2013-09-04 12:58	9.6K
	bvfunc11__t31_bvfunc11	2013-09-04 12:58	9.9K
	bvfunc11__t32_bvfunc11	2013-09-04 12:58	7.6K
	bvfunc11__t33_bvfunc11	2013-09-04 12:58	9.5K
	bvfunc11__t34_bvfunc11	2013-09-04 12:58	23K
	bvfunc11__t35_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t36_bvfunc11	2013-09-04 12:58	9.0K
	bvfunc11__t37_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t38_bvfunc11	2013-09-04 12:58	8.9K
	bvfunc11__t39_bvfunc11	2013-09-04 12:58	9.3K
	bvfunc11__t40_bvfunc11	2013-09-04 12:58	8.8K
	bvfunc11__t41_bvfunc11	2013-09-04 12:58	8.8K
	bvfunc11__t42_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t43_bvfunc11	2013-09-04 12:58	8.9K
	bvfunc11__t44_bvfunc11	2013-09-04 12:58	8.1K
	bvfunc11__t45_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t46_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t47_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t48_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t49_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t50_bvfunc11	2013-09-04 12:58	8.2K
	bvfunc11__t51_bvfunc11	2013-09-04 12:58	9.3K
	bvfunc11__t52_bvfunc11	2013-09-04 12:58	23K
	bvfunc11__t53_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t54_bvfunc11	2013-09-04 12:58	8.1K
	bvfunc11__t55_bvfunc11	2013-09-04 12:58	8.2K
	bvfunc11__t56_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t57_bvfunc11	2013-09-04 12:58	9.0K
	bvfunc11__t58_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t59_bvfunc11	2013-09-04 12:58	9.0K
	bvfunc11__t60_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t61_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t62_bvfunc11	2013-09-04 12:58	8.2K
	bvfunc11__t63_bvfunc11	2013-09-04 12:58	9.0K
	bvfunc11__t64_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t65_bvfunc11	2013-09-04 12:58	9.0K
	bvfunc11__t66_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t67_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t68_bvfunc11	2013-09-04 12:58	8.2K
	bvfunc11__t69_bvfunc11	2013-09-04 12:58	8.9K
	bvfunc11__t70_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t71_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t72_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t73_bvfunc11	2013-09-04 12:58	8.6K
	bvfunc11__t74_bvfunc11	2013-09-04 12:58	8.6K
	bvfunc11__t75_bvfunc11	2013-09-04 12:58	8.6K
	bvfunc11__t76_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t77_bvfunc11	2013-09-04 12:58	8.6K
	bvfunc11__t78_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t79_bvfunc11	2013-09-04 12:58	8.4K
	bvfunc11__t80_bvfunc11	2013-09-04 12:58	8.1K
	bvfunc11__t81_bvfunc11	2013-09-04 12:58	8.5K
	bvfunc11__t82_bvfunc11	2013-09-04 12:58	8.6K