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

	Name	Last modified	Size	Description
	Parent Directory		-
	polyeq_4__t1_polyeq_4	2013-09-04 12:49	151K
	polyeq_4__t2_polyeq_4	2013-09-04 12:49	151K
	polyeq_4__t3_polyeq_4	2013-09-04 12:49	151K
	polyeq_4__t4_polyeq_4	2013-09-04 12:49	29K
	polyeq_4__t5_polyeq_4	2013-09-04 12:49	29K
	polyeq_4__t6_polyeq_4	2013-09-04 12:49	18K
	polyeq_4__t7_polyeq_4	2013-09-04 12:49	37K
	polyeq_4__t8_polyeq_4	2013-09-04 12:49	38K
	polyeq_4__t9_polyeq_4	2013-09-04 12:49	24K
	polyeq_4__t10_polyeq_4	2013-09-04 12:49	25K
	polyeq_4__t11_polyeq_4	2013-09-04 12:49	138K
	polyeq_4__t12_polyeq_4	2013-09-04 12:49	360K
	polyeq_4__t13_polyeq_4	2013-09-04 12:49	357K
	polyeq_4__t14_polyeq_4	2013-09-04 12:49	255K
	polyeq_4__t15_polyeq_4	2013-09-04 12:49	211K
	polyeq_4__t16_polyeq_4	2013-09-04 12:49	215K
	polyeq_4__t17_polyeq_4	2013-09-04 12:49	72K
	polyeq_4__t18_polyeq_4	2013-09-04 12:49	37K
	polyeq_4__t19_polyeq_4	2013-09-04 12:49	24K
	polyeq_4__t20_polyeq_4	2013-09-04 12:49	38K
	polyeq_4__t21_polyeq_4	2013-09-04 12:49	31K
	polyeq_4__t22_polyeq_4	2013-09-04 12:49	9.6K
	polyeq_4__t23_polyeq_4	2013-09-04 12:49	9.5K
	polyeq_4__t24_polyeq_4	2013-09-04 12:49	9.6K
	polyeq_4__t25_polyeq_4	2013-09-04 12:49	9.5K