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

	Name	Last modified	Size	Description
	Parent Directory		-
	polyeq_3__l7_polyeq_3	2017-01-12 22:13	35K
	polyeq_3__l35_polyeq_3	2017-01-12 22:13	23K
	polyeq_3__t1_polyeq_3	2017-01-12 22:12	632K
	polyeq_3__t2_polyeq_3	2017-01-12 22:12	821K
	polyeq_3__t3_polyeq_3	2017-01-12 22:12	178K
	polyeq_3__t4_polyeq_3	2017-01-12 22:12	55K
	polyeq_3__t5_polyeq_3	2017-01-12 22:12	449K
	polyeq_3__t6_polyeq_3	2017-01-12 22:12	1.0M
	polyeq_3__t7_polyeq_3	2017-01-12 22:12	279K
	polyeq_3__t8_polyeq_3	2017-01-12 22:12	506K
	polyeq_3__t9_polyeq_3	2017-01-12 22:12	510K
	polyeq_3__t10_polyeq_3	2017-01-12 22:12	509K
	polyeq_3__t11_polyeq_3	2017-01-12 22:12	509K
	polyeq_3__t12_polyeq_3	2017-01-12 22:12	461K
	polyeq_3__t13_polyeq_3	2017-01-12 22:13	951K
	polyeq_3__t14_polyeq_3	2017-01-12 22:13	1.3M
	polyeq_3__t15_polyeq_3	2017-01-12 22:13	1.1M
	polyeq_3__t16_polyeq_3	2017-01-12 22:13	52K
	polyeq_3__t17_polyeq_3	2017-01-12 22:13	104K
	polyeq_3__t18_polyeq_3	2017-01-12 22:13	130K
	polyeq_3__t19_polyeq_3	2017-01-12 22:13	442K
	polyeq_3__t20_polyeq_3	2017-01-12 22:13	378K
	polyeq_3__t21_polyeq_3	2017-01-12 22:13	378K
	polyeq_3__t22_polyeq_3	2017-01-12 22:13	443K
	polyeq_3__t23_polyeq_3	2017-01-12 22:13	444K
	polyeq_3__t24_polyeq_3	2017-01-12 22:13	54K
	polyeq_3__t25_polyeq_3	2017-01-12 22:13	300K
	polyeq_3__t26_polyeq_3	2017-01-12 22:13	301K
	polyeq_3__t27_polyeq_3	2017-01-12 22:13	294K
	polyeq_3__t28_polyeq_3	2017-01-12 22:13	296K
	polyeq_3__t29_polyeq_3	2017-01-12 22:13	303K
	polyeq_3__t30_polyeq_3	2017-01-12 22:13	304K
	polyeq_3__t31_polyeq_3	2017-01-12 22:13	67K
	polyeq_3__t32_polyeq_3	2017-01-12 22:13	67K
	polyeq_3__t33_polyeq_3	2017-01-12 22:13	181K
	polyeq_3__t34_polyeq_3	2017-01-12 22:13	192K
	polyeq_3__t35_polyeq_3	2017-01-12 22:13	179K
	polyeq_3__t36_polyeq_3	2017-01-12 22:13	15K
	polyeq_3__t37_polyeq_3	2017-01-12 22:13	42K
	polyeq_3__t38_polyeq_3	2017-01-12 22:13	18K
	polyeq_3__t39_polyeq_3	2017-01-12 22:13	183K
	polyeq_3__t40_polyeq_3	2017-01-12 22:13	191K