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

	Name	Last modified	Size	Description
	Parent Directory		-
	srings_1__l3_srings_1	2021-07-18 14:14	45K
	srings_1__l4_srings_1	2021-07-18 14:14	45K
	srings_1__l5_srings_1	2021-07-18 14:15	58K
	srings_1__l6_srings_1	2021-07-18 14:15	57K
	srings_1__l8_srings_1	2021-07-18 14:16	124K
	srings_1__l10_srings_1	2021-07-18 14:16	46K
	srings_1__l11_srings_1	2021-07-18 14:17	47K
	srings_1__l14_srings_1	2021-07-18 14:17	86K
	srings_1__l24_srings_1	2021-07-18 14:18	93K
	srings_1__l26_srings_1	2021-07-18 14:19	98K
	srings_1__l28_srings_1	2021-07-18 14:19	116K
	srings_1__l31_srings_1	2021-07-18 14:19	42K
	srings_1__l33_srings_1	2021-07-18 14:20	48K
	srings_1__t1_srings_1	2021-07-18 14:04	50K
	srings_1__t2_srings_1	2021-07-18 14:04	47K
	srings_1__t3_srings_1	2021-07-18 14:04	38K
	srings_1__t4_srings_1	2021-07-18 14:05	63K
	srings_1__t5_srings_1	2021-07-18 14:05	68K
	srings_1__t6_srings_1	2021-07-18 14:06	52K
	srings_1__t7_srings_1	2021-07-18 14:06	48K
	srings_1__t8_srings_1	2021-07-18 14:07	90K
	srings_1__t9_srings_1	2021-07-18 14:07	45K
	srings_1__t10_srings_1	2021-07-18 14:08	59K
	srings_1__t11_srings_1	2021-07-18 14:08	65K
	srings_1__t12_srings_1	2021-07-18 14:09	58K
	srings_1__t13_srings_1	2021-07-18 14:09	57K
	srings_1__t14_srings_1	2021-07-18 14:09	59K
	srings_1__t15_srings_1	2021-07-18 14:10	129K
	srings_1__t16_srings_1	2021-07-18 14:11	109K
	srings_1__t17_srings_1	2021-07-18 14:11	66K
	srings_1__t18_srings_1	2021-07-18 14:12	63K
	srings_1__t19_srings_1	2021-07-18 14:12	50K
	srings_1__t20_srings_1	2021-07-18 14:13	60K
	srings_1__t21_srings_1	2021-07-18 14:13	56K
	srings_1__t22_srings_1	2021-07-18 14:14	44K