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

	Name	Last modified	Size	Description
	Parent Directory		-
	valued_0__l36_valued_0	2013-09-04 12:24	32K
	valued_0__t1_valued_0	2013-09-04 12:24	16K
	valued_0__t2_valued_0	2013-09-04 12:24	16K
	valued_0__t3_valued_0	2013-09-04 12:24	16K
	valued_0__t4_valued_0	2013-09-04 12:24	13K
	valued_0__t5_valued_0	2013-09-04 12:24	13K
	valued_0__t6_valued_0	2013-09-04 12:24	17K
	valued_0__t7_valued_0	2013-09-04 12:24	14K
	valued_0__t8_valued_0	2013-09-04 12:24	14K
	valued_0__t9_valued_0	2013-09-04 12:24	14K
	valued_0__t10_valued_0	2013-09-04 12:24	20K
	valued_0__t11_valued_0	2013-09-04 12:24	20K
	valued_0__t12_valued_0	2013-09-04 12:24	14K
	valued_0__t13_valued_0	2013-09-04 12:24	12K
	valued_0__t14_valued_0	2013-09-04 12:24	12K
	valued_0__t15_valued_0	2013-09-04 12:24	12K
	valued_0__t16_valued_0	2013-09-04 12:24	12K
	valued_0__t17_valued_0	2013-09-04 12:24	12K
	valued_0__t18_valued_0	2013-09-04 12:24	12K
	valued_0__t19_valued_0	2013-09-04 12:24	34K
	valued_0__t20_valued_0	2013-09-04 12:24	33K
	valued_0__t21_valued_0	2013-09-04 12:24	38K
	valued_0__t22_valued_0	2013-09-04 12:24	38K
	valued_0__t23_valued_0	2013-09-04 12:24	28K
	valued_0__t24_valued_0	2013-09-04 12:24	27K
	valued_0__t25_valued_0	2013-09-04 12:24	37K
	valued_0__t26_valued_0	2013-09-04 12:24	37K
	valued_0__t27_valued_0	2013-09-04 12:24	37K
	valued_0__t28_valued_0	2013-09-04 12:24	29K
	valued_0__t29_valued_0	2013-09-04 12:24	32K
	valued_0__t30_valued_0	2013-09-04 12:24	33K
	valued_0__t31_valued_0	2013-09-04 12:24	42K
	valued_0__t32_valued_0	2013-09-04 12:24	22K