Index of /~mptp/1147/MPTP2/problems_small_consist/polyeq_3

	Name	Last modified	Size	Description
	Parent Directory		-
	polyeq_3__l7_polyeq_3	2013-09-04 12:34	21K
	polyeq_3__l35_polyeq_3	2013-09-04 12:34	14K
	polyeq_3__t1_polyeq_3	2013-09-04 12:34	356K
	polyeq_3__t2_polyeq_3	2013-09-04 12:34	457K
	polyeq_3__t3_polyeq_3	2013-09-04 12:34	104K
	polyeq_3__t4_polyeq_3	2013-09-04 12:34	32K
	polyeq_3__t5_polyeq_3	2013-09-04 12:34	255K
	polyeq_3__t6_polyeq_3	2013-09-04 12:34	550K
	polyeq_3__t7_polyeq_3	2013-09-04 12:34	154K
	polyeq_3__t8_polyeq_3	2013-09-04 12:34	287K
	polyeq_3__t9_polyeq_3	2013-09-04 12:34	289K
	polyeq_3__t10_polyeq_3	2013-09-04 12:34	288K
	polyeq_3__t11_polyeq_3	2013-09-04 12:34	288K
	polyeq_3__t12_polyeq_3	2013-09-04 12:34	252K
	polyeq_3__t13_polyeq_3	2013-09-04 12:34	527K
	polyeq_3__t14_polyeq_3	2013-09-04 12:34	746K
	polyeq_3__t15_polyeq_3	2013-09-04 12:34	626K
	polyeq_3__t16_polyeq_3	2013-09-04 12:34	30K
	polyeq_3__t17_polyeq_3	2013-09-04 12:34	58K
	polyeq_3__t18_polyeq_3	2013-09-04 12:34	73K
	polyeq_3__t19_polyeq_3	2013-09-04 12:34	252K
	polyeq_3__t20_polyeq_3	2013-09-04 12:34	216K
	polyeq_3__t21_polyeq_3	2013-09-04 12:34	216K
	polyeq_3__t22_polyeq_3	2013-09-04 12:34	252K
	polyeq_3__t23_polyeq_3	2013-09-04 12:34	253K
	polyeq_3__t24_polyeq_3	2013-09-04 12:34	31K
	polyeq_3__t25_polyeq_3	2013-09-04 12:34	173K
	polyeq_3__t26_polyeq_3	2013-09-04 12:34	174K
	polyeq_3__t27_polyeq_3	2013-09-04 12:34	169K
	polyeq_3__t28_polyeq_3	2013-09-04 12:34	171K
	polyeq_3__t29_polyeq_3	2013-09-04 12:34	175K
	polyeq_3__t30_polyeq_3	2013-09-04 12:34	175K
	polyeq_3__t31_polyeq_3	2013-09-04 12:34	40K
	polyeq_3__t32_polyeq_3	2013-09-04 12:34	40K
	polyeq_3__t33_polyeq_3	2013-09-04 12:34	106K
	polyeq_3__t34_polyeq_3	2013-09-04 12:34	113K
	polyeq_3__t35_polyeq_3	2013-09-04 12:34	104K
	polyeq_3__t36_polyeq_3	2013-09-04 12:34	8.7K
	polyeq_3__t37_polyeq_3	2013-09-04 12:34	26K
	polyeq_3__t38_polyeq_3	2013-09-04 12:34	11K
	polyeq_3__t39_polyeq_3	2013-09-04 12:34	107K
	polyeq_3__t40_polyeq_3	2013-09-04 12:34	112K