Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/polyeq_3

	Name	Last modified	Size	Description
	Parent Directory		-
	polyeq_3__l7_polyeq_3	2017-01-13 19:17	36K
	polyeq_3__l35_polyeq_3	2017-01-13 19:17	23K
	polyeq_3__t1_polyeq_3	2017-01-13 19:17	673K
	polyeq_3__t2_polyeq_3	2017-01-13 19:17	877K
	polyeq_3__t3_polyeq_3	2017-01-13 19:17	186K
	polyeq_3__t4_polyeq_3	2017-01-13 19:17	57K
	polyeq_3__t5_polyeq_3	2017-01-13 19:17	477K
	polyeq_3__t6_polyeq_3	2017-01-13 19:17	1.1M
	polyeq_3__t7_polyeq_3	2017-01-13 19:17	299K
	polyeq_3__t8_polyeq_3	2017-01-13 19:17	538K
	polyeq_3__t9_polyeq_3	2017-01-13 19:17	541K
	polyeq_3__t10_polyeq_3	2017-01-13 19:17	541K
	polyeq_3__t11_polyeq_3	2017-01-13 19:17	540K
	polyeq_3__t12_polyeq_3	2017-01-13 19:17	495K
	polyeq_3__t13_polyeq_3	2017-01-13 19:17	1.0M
	polyeq_3__t14_polyeq_3	2017-01-13 19:17	1.4M
	polyeq_3__t15_polyeq_3	2017-01-13 19:17	1.2M
	polyeq_3__t16_polyeq_3	2017-01-13 19:17	53K
	polyeq_3__t17_polyeq_3	2017-01-13 19:17	110K
	polyeq_3__t18_polyeq_3	2017-01-13 19:17	138K
	polyeq_3__t19_polyeq_3	2017-01-13 19:17	469K
	polyeq_3__t20_polyeq_3	2017-01-13 19:17	401K
	polyeq_3__t21_polyeq_3	2017-01-13 19:17	401K
	polyeq_3__t22_polyeq_3	2017-01-13 19:17	469K
	polyeq_3__t23_polyeq_3	2017-01-13 19:17	470K
	polyeq_3__t24_polyeq_3	2017-01-13 19:17	55K
	polyeq_3__t25_polyeq_3	2017-01-13 19:17	316K
	polyeq_3__t26_polyeq_3	2017-01-13 19:17	317K
	polyeq_3__t27_polyeq_3	2017-01-13 19:17	310K
	polyeq_3__t28_polyeq_3	2017-01-13 19:17	312K
	polyeq_3__t29_polyeq_3	2017-01-13 19:17	319K
	polyeq_3__t30_polyeq_3	2017-01-13 19:17	320K
	polyeq_3__t31_polyeq_3	2017-01-13 19:17	68K
	polyeq_3__t32_polyeq_3	2017-01-13 19:17	68K
	polyeq_3__t33_polyeq_3	2017-01-13 19:17	189K
	polyeq_3__t34_polyeq_3	2017-01-13 19:17	201K
	polyeq_3__t35_polyeq_3	2017-01-13 19:17	187K
	polyeq_3__t36_polyeq_3	2017-01-13 19:17	15K
	polyeq_3__t37_polyeq_3	2017-01-13 19:17	42K
	polyeq_3__t38_polyeq_3	2017-01-13 19:17	18K
	polyeq_3__t39_polyeq_3	2017-01-13 19:17	190K
	polyeq_3__t40_polyeq_3	2017-01-13 19:17	200K