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

	Name	Last modified	Size	Description
	Parent Directory		-
	polyeq_1__l16_polyeq_1	2013-09-04 12:28	11K
	polyeq_1__l17_polyeq_1	2013-09-04 12:28	11K
	polyeq_1__t1_polyeq_1	2013-09-04 12:28	26K
	polyeq_1__t2_polyeq_1	2013-09-04 12:28	11K
	polyeq_1__t3_polyeq_1	2013-09-04 12:28	16K
	polyeq_1__t4_polyeq_1	2013-09-04 12:28	54K
	polyeq_1__t5_polyeq_1	2013-09-04 12:28	267K
	polyeq_1__t6_polyeq_1	2013-09-04 12:28	249K
	polyeq_1__t7_polyeq_1	2013-09-04 12:28	264K
	polyeq_1__t8_polyeq_1	2013-09-04 12:28	27K
	polyeq_1__t9_polyeq_1	2013-09-04 12:28	17K
	polyeq_1__t10_polyeq_1	2013-09-04 12:28	17K
	polyeq_1__t11_polyeq_1	2013-09-04 12:28	27K
	polyeq_1__t12_polyeq_1	2013-09-04 12:28	466K
	polyeq_1__t13_polyeq_1	2013-09-04 12:28	59K
	polyeq_1__t14_polyeq_1	2013-09-04 12:28	71K
	polyeq_1__t15_polyeq_1	2013-09-04 12:28	115K
	polyeq_1__t16_polyeq_1	2013-09-04 12:28	253K
	polyeq_1__t17_polyeq_1	2013-09-04 12:28	93K
	polyeq_1__t18_polyeq_1	2013-09-04 12:28	113K
	polyeq_1__t19_polyeq_1	2013-09-04 12:28	378K
	polyeq_1__t20_polyeq_1	2013-09-04 12:28	70K
	polyeq_1__t21_polyeq_1	2013-09-04 12:28	118K
	polyeq_1__t22_polyeq_1	2013-09-04 12:28	71K
	polyeq_1__t23_polyeq_1	2013-09-04 12:28	72K