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

	Name	Last modified	Size	Description
	Parent Directory		-
	rinfsup2__l16_rinfsup2	2021-07-19 01:14	39K
	rinfsup2__l17_rinfsup2	2021-07-19 01:14	39K
	rinfsup2__l43_rinfsup2	2021-07-19 01:15	50K
	rinfsup2__l44_rinfsup2	2021-07-19 01:15	50K
	rinfsup2__l53_rinfsup2	2021-07-19 01:16	66K
	rinfsup2__l54_rinfsup2	2021-07-19 01:16	66K
	rinfsup2__l55_rinfsup2	2021-07-19 01:17	63K
	rinfsup2__t1_rinfsup2	2021-07-19 01:02	29K
	rinfsup2__t2_rinfsup2	2021-07-19 01:01	20K
	rinfsup2__t3_rinfsup2	2021-07-19 01:02	30K
	rinfsup2__t4_rinfsup2	2021-07-19 01:01	20K
	rinfsup2__t5_rinfsup2	2021-07-19 01:03	37K
	rinfsup2__t6_rinfsup2	2021-07-19 01:02	36K
	rinfsup2__t7_rinfsup2	2021-07-19 01:03	40K
	rinfsup2__t8_rinfsup2	2021-07-19 01:04	40K
	rinfsup2__t9_rinfsup2	2021-07-19 01:04	57K
	rinfsup2__t10_rinfsup2	2021-07-19 01:05	57K
	rinfsup2__t11_rinfsup2	2021-07-19 01:05	46K
	rinfsup2__t12_rinfsup2	2021-07-19 01:06	53K
	rinfsup2__t13_rinfsup2	2021-07-19 01:06	55K
	rinfsup2__t14_rinfsup2	2021-07-19 01:07	96K
	rinfsup2__t15_rinfsup2	2021-07-19 01:07	89K
	rinfsup2__t23_rinfsup2	2021-07-19 01:08	44K
	rinfsup2__t24_rinfsup2	2021-07-19 01:08	42K
	rinfsup2__t32_rinfsup2	2021-07-19 01:09	39K
	rinfsup2__t33_rinfsup2	2021-07-19 01:09	39K
	rinfsup2__t34_rinfsup2	2021-07-19 01:10	66K
	rinfsup2__t35_rinfsup2	2021-07-19 01:10	66K
	rinfsup2__t36_rinfsup2	2021-07-19 01:11	77K
	rinfsup2__t37_rinfsup2	2021-07-19 01:12	77K
	rinfsup2__t39_rinfsup2	2021-07-19 01:12	47K
	rinfsup2__t40_rinfsup2	2021-07-19 01:13	93K
	rinfsup2__t41_rinfsup2	2021-07-19 01:13	44K