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

	Name	Last modified	Size	Description
	Parent Directory		-
	polyeq_3__l7_polyeq_3	2017-01-13 00:32	49K
	polyeq_3__l35_polyeq_3	2017-01-13 00:32	34K
	polyeq_3__t1_polyeq_3	2017-01-13 00:32	661K
	polyeq_3__t2_polyeq_3	2017-01-13 00:32	850K
	polyeq_3__t3_polyeq_3	2017-01-13 00:32	201K
	polyeq_3__t4_polyeq_3	2017-01-13 00:32	73K
	polyeq_3__t5_polyeq_3	2017-01-13 00:32	474K
	polyeq_3__t6_polyeq_3	2017-01-13 00:32	1.0M
	polyeq_3__t7_polyeq_3	2017-01-13 00:32	301K
	polyeq_3__t8_polyeq_3	2017-01-13 00:32	533K
	polyeq_3__t9_polyeq_3	2017-01-13 00:32	537K
	polyeq_3__t10_polyeq_3	2017-01-13 00:32	537K
	polyeq_3__t11_polyeq_3	2017-01-13 00:32	536K
	polyeq_3__t12_polyeq_3	2017-01-13 00:32	482K
	polyeq_3__t13_polyeq_3	2017-01-13 00:32	1.0M
	polyeq_3__t14_polyeq_3	2017-01-13 00:32	1.4M
	polyeq_3__t15_polyeq_3	2017-01-13 00:32	1.1M
	polyeq_3__t16_polyeq_3	2017-01-13 00:32	68K
	polyeq_3__t17_polyeq_3	2017-01-13 00:32	120K
	polyeq_3__t18_polyeq_3	2017-01-13 00:32	148K
	polyeq_3__t19_polyeq_3	2017-01-13 00:32	467K
	polyeq_3__t20_polyeq_3	2017-01-13 00:32	403K
	polyeq_3__t21_polyeq_3	2017-01-13 00:32	403K
	polyeq_3__t22_polyeq_3	2017-01-13 00:32	468K
	polyeq_3__t23_polyeq_3	2017-01-13 00:32	469K
	polyeq_3__t24_polyeq_3	2017-01-13 00:32	71K
	polyeq_3__t25_polyeq_3	2017-01-13 00:32	324K
	polyeq_3__t26_polyeq_3	2017-01-13 00:32	325K
	polyeq_3__t27_polyeq_3	2017-01-13 00:32	317K
	polyeq_3__t28_polyeq_3	2017-01-13 00:32	321K
	polyeq_3__t29_polyeq_3	2017-01-13 00:32	328K
	polyeq_3__t30_polyeq_3	2017-01-13 00:32	329K
	polyeq_3__t31_polyeq_3	2017-01-13 00:32	88K
	polyeq_3__t32_polyeq_3	2017-01-13 00:32	88K
	polyeq_3__t33_polyeq_3	2017-01-13 00:32	206K
	polyeq_3__t34_polyeq_3	2017-01-13 00:32	218K
	polyeq_3__t35_polyeq_3	2017-01-13 00:32	203K
	polyeq_3__t36_polyeq_3	2017-01-13 00:32	22K
	polyeq_3__t37_polyeq_3	2017-01-13 00:32	60K
	polyeq_3__t38_polyeq_3	2017-01-13 00:32	27K
	polyeq_3__t39_polyeq_3	2017-01-13 00:32	208K
	polyeq_3__t40_polyeq_3	2017-01-13 00:32	217K