Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/polynom3

	Name	Last modified	Size	Description
	Parent Directory		-
	polynom3__l32_polynom3	2021-07-18 13:07	72K
	polynom3__l48_polynom3	2021-07-18 13:07	89K
	polynom3__s1_polynom3	2021-07-18 12:49	61K
	polynom3__s2_polynom3	2021-07-18 12:49	66K
	polynom3__t1_polynom3	2021-07-18 12:49	60K
	polynom3__t2_polynom3	2021-07-18 12:50	82K
	polynom3__t3_polynom3	2021-07-18 12:50	70K
	polynom3__t4_polynom3	2021-07-18 12:51	92K
	polynom3__t5_polynom3	2021-07-18 12:51	66K
	polynom3__t6_polynom3	2021-07-18 12:52	107K
	polynom3__t7_polynom3	2021-07-18 12:52	63K
	polynom3__t8_polynom3	2021-07-18 12:53	72K
	polynom3__t9_polynom3	2021-07-18 12:54	187K
	polynom3__t10_polynom3	2021-07-18 12:54	87K
	polynom3__t11_polynom3	2021-07-18 12:55	93K
	polynom3__t12_polynom3	2021-07-18 12:55	105K
	polynom3__t13_polynom3	2021-07-18 12:56	105K
	polynom3__t14_polynom3	2021-07-18 12:56	122K
	polynom3__t15_polynom3	2021-07-18 12:57	99K
	polynom3__t16_polynom3	2021-07-18 12:57	80K
	polynom3__t18_polynom3	2021-07-18 12:58	106K
	polynom3__t20_polynom3	2021-07-18 12:58	70K
	polynom3__t21_polynom3	2021-07-18 12:59	96K
	polynom3__t22_polynom3	2021-07-18 12:59	102K
	polynom3__t23_polynom3	2021-07-18 12:47	63K
	polynom3__t24_polynom3	2021-07-18 13:00	69K
	polynom3__t26_polynom3	2021-07-18 13:00	67K
	polynom3__t27_polynom3	2021-07-18 12:48	68K
	polynom3__t28_polynom3	2021-07-18 13:01	71K
	polynom3__t29_polynom3	2021-07-18 13:01	76K
	polynom3__t30_polynom3	2021-07-18 13:02	72K
	polynom3__t31_polynom3	2021-07-18 13:02	108K
	polynom3__t32_polynom3	2021-07-18 13:03	108K
	polynom3__t33_polynom3	2021-07-18 13:04	497K
	polynom3__t34_polynom3	2021-07-18 13:05	84K
	polynom3__t35_polynom3	2021-07-18 13:05	153K
	polynom3__t36_polynom3	2021-07-18 13:06	126K
	polynom3__t37_polynom3	2021-07-18 12:48	84K