Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/ringfrac

	Name	Last modified	Size	Description
	Parent Directory		-
	ringfrac__l10_ringfrac	2021-07-18 20:50	36K
	ringfrac__l14_ringfrac	2021-07-18 20:50	51K
	ringfrac__l15_ringfrac	2021-07-18 20:51	40K
	ringfrac__l23_ringfrac	2021-07-18 20:51	41K
	ringfrac__l25_ringfrac	2021-07-18 20:51	40K
	ringfrac__l26_ringfrac	2021-07-18 20:52	35K
	ringfrac__l53_ringfrac	2021-07-18 20:52	60K
	ringfrac__l54_ringfrac	2021-07-18 20:53	70K
	ringfrac__l55_ringfrac	2021-07-18 20:53	58K
	ringfrac__l56_ringfrac	2021-07-18 20:54	69K
	ringfrac__l58_ringfrac	2021-07-18 20:54	83K
	ringfrac__l59_ringfrac	2021-07-18 20:55	89K
	ringfrac__l60_ringfrac	2021-07-18 20:56	53K
	ringfrac__l61_ringfrac	2021-07-18 20:56	48K
	ringfrac__l62_ringfrac	2021-07-18 20:57	63K
	ringfrac__l63_ringfrac	2021-07-18 20:57	54K
	ringfrac__l70_ringfrac	2021-07-18 20:57	43K
	ringfrac__t1_ringfrac	2021-07-18 20:27	44K
	ringfrac__t2_ringfrac	2021-07-18 20:27	45K
	ringfrac__t3_ringfrac	2021-07-18 20:28	41K
	ringfrac__t4_ringfrac	2021-07-18 20:28	55K
	ringfrac__t5_ringfrac	2021-07-18 20:29	41K
	ringfrac__t6_ringfrac	2021-07-18 20:29	54K
	ringfrac__t7_ringfrac	2021-07-18 20:26	34K
	ringfrac__t8_ringfrac	2021-07-18 20:30	49K
	ringfrac__t9_ringfrac	2021-07-18 20:30	48K
	ringfrac__t10_ringfrac	2021-07-18 20:30	44K
	ringfrac__t11_ringfrac	2021-07-18 20:31	39K
	ringfrac__t12_ringfrac	2021-07-18 20:31	49K
	ringfrac__t13_ringfrac	2021-07-18 20:32	45K
	ringfrac__t14_ringfrac	2021-07-18 20:32	48K
	ringfrac__t15_ringfrac	2021-07-18 20:33	52K
	ringfrac__t16_ringfrac	2021-07-18 20:33	50K
	ringfrac__t17_ringfrac	2021-07-18 20:34	56K
	ringfrac__t18_ringfrac	2021-07-18 20:34	54K
	ringfrac__t19_ringfrac	2021-07-18 20:35	52K
	ringfrac__t20_ringfrac	2021-07-18 20:35	59K
	ringfrac__t21_ringfrac	2021-07-18 20:36	61K
	ringfrac__t22_ringfrac	2021-07-18 20:36	65K
	ringfrac__t23_ringfrac	2021-07-18 20:37	54K
	ringfrac__t24_ringfrac	2021-07-18 20:37	89K
	ringfrac__t25_ringfrac	2021-07-18 20:38	83K
	ringfrac__t26_ringfrac	2021-07-18 20:38	88K
	ringfrac__t27_ringfrac	2021-07-18 20:39	57K
	ringfrac__t28_ringfrac	2021-07-18 20:40	88K
	ringfrac__t29_ringfrac	2021-07-18 20:40	102K
	ringfrac__t30_ringfrac	2021-07-18 20:41	51K
	ringfrac__t32_ringfrac	2021-07-18 20:41	109K
	ringfrac__t33_ringfrac	2021-07-18 20:42	111K
	ringfrac__t34_ringfrac	2021-07-18 20:43	105K
	ringfrac__t35_ringfrac	2021-07-18 20:43	71K
	ringfrac__t36_ringfrac	2021-07-18 20:44	73K
	ringfrac__t37_ringfrac	2021-07-18 20:44	55K
	ringfrac__t39_ringfrac	2021-07-18 20:45	91K
	ringfrac__t40_ringfrac	2021-07-18 20:46	111K
	ringfrac__t41_ringfrac	2021-07-18 20:26	58K
	ringfrac__t42_ringfrac	2021-07-18 20:46	106K
	ringfrac__t43_ringfrac	2021-07-18 20:47	53K
	ringfrac__t44_ringfrac	2021-07-18 20:47	49K
	ringfrac__t45_ringfrac	2021-07-18 20:48	49K
	ringfrac__t46_ringfrac	2021-07-18 20:48	117K
	ringfrac__t47_ringfrac	2021-07-18 20:49	214K