Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/fvaluat1

	Name	Last modified	Size	Description
	Parent Directory		-
	fvaluat1__l4_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__l5_fvaluat1	2013-09-04 12:19	30K
	fvaluat1__l23_fvaluat1	2013-09-04 12:19	35K
	fvaluat1__l25_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__l44_fvaluat1	2013-09-04 12:19	24K
	fvaluat1__l47_fvaluat1	2013-09-04 12:19	29K
	fvaluat1__l50_fvaluat1	2013-09-04 12:19	27K
	fvaluat1__l78_fvaluat1	2013-09-04 12:19	33K
	fvaluat1__l79_fvaluat1	2013-09-04 12:19	33K
	fvaluat1__l82_fvaluat1	2013-09-04 12:19	43K
	fvaluat1__l92_fvaluat1	2013-09-04 12:19	41K
	fvaluat1__t1_fvaluat1	2013-09-04 12:19	34K
	fvaluat1__t2_fvaluat1	2013-09-04 12:19	19K
	fvaluat1__t3_fvaluat1	2013-09-04 12:19	18K
	fvaluat1__t4_fvaluat1	2013-09-04 12:19	32K
	fvaluat1__t5_fvaluat1	2013-09-04 12:19	32K
	fvaluat1__t6_fvaluat1	2013-09-04 12:19	32K
	fvaluat1__t7_fvaluat1	2013-09-04 12:19	30K
	fvaluat1__t8_fvaluat1	2013-09-04 12:19	22K
	fvaluat1__t9_fvaluat1	2013-09-04 12:19	21K
	fvaluat1__t10_fvaluat1	2013-09-04 12:19	22K
	fvaluat1__t11_fvaluat1	2013-09-04 12:19	10K
	fvaluat1__t12_fvaluat1	2013-09-04 12:19	28K
	fvaluat1__t13_fvaluat1	2013-09-04 12:19	40K
	fvaluat1__t14_fvaluat1	2013-09-04 12:19	41K
	fvaluat1__t15_fvaluat1	2013-09-04 12:19	37K
	fvaluat1__t16_fvaluat1	2013-09-04 12:19	49K
	fvaluat1__t17_fvaluat1	2013-09-04 12:19	67K
	fvaluat1__t18_fvaluat1	2013-09-04 12:19	42K
	fvaluat1__t19_fvaluat1	2013-09-04 12:19	44K
	fvaluat1__t20_fvaluat1	2013-09-04 12:19	44K
	fvaluat1__t21_fvaluat1	2013-09-04 12:19	70K
	fvaluat1__t22_fvaluat1	2013-09-04 12:19	51K
	fvaluat1__t23_fvaluat1	2013-09-04 12:19	46K
	fvaluat1__t24_fvaluat1	2013-09-04 12:19	72K
	fvaluat1__t25_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t26_fvaluat1	2013-09-04 12:19	46K
	fvaluat1__t27_fvaluat1	2013-09-04 12:19	50K
	fvaluat1__t28_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t29_fvaluat1	2013-09-04 12:19	69K
	fvaluat1__t30_fvaluat1	2013-09-04 12:19	34K
	fvaluat1__t31_fvaluat1	2013-09-04 12:19	35K
	fvaluat1__t32_fvaluat1	2013-09-04 12:19	49K
	fvaluat1__t33_fvaluat1	2013-09-04 12:19	44K
	fvaluat1__t34_fvaluat1	2013-09-04 12:19	35K
	fvaluat1__t35_fvaluat1	2013-09-04 12:19	56K
	fvaluat1__t36_fvaluat1	2013-09-04 12:19	66K
	fvaluat1__t37_fvaluat1	2013-09-04 12:19	32K
	fvaluat1__t38_fvaluat1	2013-09-04 12:19	34K
	fvaluat1__t39_fvaluat1	2013-09-04 12:19	33K
	fvaluat1__t40_fvaluat1	2013-09-04 12:19	46K
	fvaluat1__t41_fvaluat1	2013-09-04 12:19	30K
	fvaluat1__t42_fvaluat1	2013-09-04 12:19	33K
	fvaluat1__t43_fvaluat1	2013-09-04 12:19	36K
	fvaluat1__t44_fvaluat1	2013-09-04 12:19	41K
	fvaluat1__t45_fvaluat1	2013-09-04 12:19	34K
	fvaluat1__t46_fvaluat1	2013-09-04 12:19	34K
	fvaluat1__t47_fvaluat1	2013-09-04 12:19	28K
	fvaluat1__t48_fvaluat1	2013-09-04 12:19	27K
	fvaluat1__t49_fvaluat1	2013-09-04 12:19	41K
	fvaluat1__t50_fvaluat1	2013-09-04 12:19	30K
	fvaluat1__t51_fvaluat1	2013-09-04 12:19	38K
	fvaluat1__t52_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t53_fvaluat1	2013-09-04 12:19	40K
	fvaluat1__t54_fvaluat1	2013-09-04 12:19	45K
	fvaluat1__t55_fvaluat1	2013-09-04 12:19	45K
	fvaluat1__t56_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t57_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t58_fvaluat1	2013-09-04 12:19	46K
	fvaluat1__t59_fvaluat1	2013-09-04 12:19	47K
	fvaluat1__t60_fvaluat1	2013-09-04 12:19	51K
	fvaluat1__t61_fvaluat1	2013-09-04 12:19	38K
	fvaluat1__t62_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t63_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t64_fvaluat1	2013-09-04 12:19	38K
	fvaluat1__t65_fvaluat1	2013-09-04 12:19	43K
	fvaluat1__t66_fvaluat1	2013-09-04 12:19	70K
	fvaluat1__t67_fvaluat1	2013-09-04 12:19	28K
	fvaluat1__t68_fvaluat1	2013-09-04 12:19	38K
	fvaluat1__t69_fvaluat1	2013-09-04 12:19	41K
	fvaluat1__t70_fvaluat1	2013-09-04 12:19	35K
	fvaluat1__t71_fvaluat1	2013-09-04 12:19	38K
	fvaluat1__t72_fvaluat1	2013-09-04 12:19	52K
	fvaluat1__t73_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t74_fvaluat1	2013-09-04 12:19	54K
	fvaluat1__t75_fvaluat1	2013-09-04 12:19	39K
	fvaluat1__t76_fvaluat1	2013-09-04 12:19	41K
	fvaluat1__t77_fvaluat1	2013-09-04 12:19	38K
	fvaluat1__t78_fvaluat1	2013-09-04 12:19	53K
	fvaluat1__t79_fvaluat1	2013-09-04 12:19	37K
	fvaluat1__t80_fvaluat1	2013-09-04 12:19	45K
	fvaluat1__t81_fvaluat1	2013-09-04 12:19	45K
	fvaluat1__t82_fvaluat1	2013-09-04 12:19	30K
	fvaluat1__t83_fvaluat1	2013-09-04 12:19	39K