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

	Name	Last modified	Size	Description
	Parent Directory		-
	absvalue__t1_absvalue	2013-09-04 12:16	10K
	absvalue__t2_absvalue	2013-09-04 12:16	10K
	absvalue__t3_absvalue	2013-09-04 12:16	15K
	absvalue__t4_absvalue	2013-09-04 12:16	18K
	absvalue__t5_absvalue	2013-09-04 12:16	11K
	absvalue__t6_absvalue	2013-09-04 12:16	17K
	absvalue__t7_absvalue	2013-09-04 12:16	8.5K
	absvalue__t8_absvalue	2013-09-04 12:16	16K
	absvalue__t9_absvalue	2013-09-04 12:16	3.5K
	absvalue__t10_absvalue	2013-09-04 12:16	12K
	absvalue__t11_absvalue	2013-09-04 12:16	22K
	absvalue__t12_absvalue	2013-09-04 12:16	22K
	absvalue__t13_absvalue	2013-09-04 12:16	36K
	absvalue__t14_absvalue	2013-09-04 12:16	11K
	absvalue__t15_absvalue	2013-09-04 12:16	11K
	absvalue__t16_absvalue	2013-09-04 12:16	11K
	absvalue__t17_absvalue	2013-09-04 12:16	27K
	absvalue__t18_absvalue	2013-09-04 12:16	19K
	absvalue__t20_absvalue	2013-09-04 12:16	28K
	absvalue__t21_absvalue	2013-09-04 12:16	15K
	absvalue__t22_absvalue	2013-09-04 12:16	17K
	absvalue__t23_absvalue	2013-09-04 12:16	54K
	absvalue__t24_absvalue	2013-09-04 12:16	14K
	absvalue__t25_absvalue	2013-09-04 12:16	20K
	absvalue__t26_absvalue	2013-09-04 12:16	22K
	absvalue__t27_absvalue	2013-09-04 12:16	15K
	absvalue__t28_absvalue	2013-09-04 12:16	17K
	absvalue__t29_absvalue	2013-09-04 12:16	9.5K
	absvalue__t30_absvalue	2013-09-04 12:16	11K