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

	Name	Last modified	Size	Description
	Parent Directory		-
	int_7__l1_int_7	2021-07-18 14:59	70K
	int_7__l6_int_7	2021-07-18 14:59	98K
	int_7__l7_int_7	2021-07-18 15:00	109K
	int_7__l10_int_7	2021-07-18 15:00	94K
	int_7__l11_int_7	2021-07-18 15:01	175K
	int_7__l12_int_7	2021-07-18 15:02	137K
	int_7__l14_int_7	2021-07-18 15:02	84K
	int_7__l21_int_7	2021-07-18 15:03	100K
	int_7__l22_int_7	2021-07-18 15:03	114K
	int_7__l23_int_7	2021-07-18 15:04	131K
	int_7__l26_int_7	2021-07-18 15:05	130K
	int_7__l33_int_7	2021-07-18 15:05	106K
	int_7__l42_int_7	2021-07-18 15:06	238K
	int_7__l46_int_7	2021-07-18 15:07	181K
	int_7__t1_int_7	2021-07-18 14:44	72K
	int_7__t2_int_7	2021-07-18 14:44	67K
	int_7__t3_int_7	2021-07-18 14:45	67K
	int_7__t4_int_7	2021-07-18 14:45	68K
	int_7__t5_int_7	2021-07-18 14:46	41K
	int_7__t6_int_7	2021-07-18 14:46	78K
	int_7__t7_int_7	2021-07-18 14:46	74K
	int_7__t8_int_7	2021-07-18 14:42	52K
	int_7__t9_int_7	2021-07-18 14:47	69K
	int_7__t10_int_7	2021-07-18 14:47	62K
	int_7__t11_int_7	2021-07-18 14:48	65K
	int_7__t12_int_7	2021-07-18 14:48	52K
	int_7__t13_int_7	2021-07-18 14:49	90K
	int_7__t14_int_7	2021-07-18 14:49	83K
	int_7__t15_int_7	2021-07-18 14:49	54K
	int_7__t16_int_7	2021-07-18 14:50	51K
	int_7__t17_int_7	2021-07-18 14:50	110K
	int_7__t18_int_7	2021-07-18 14:51	64K
	int_7__t19_int_7	2021-07-18 14:52	121K
	int_7__t20_int_7	2021-07-18 14:43	105K
	int_7__t21_int_7	2021-07-18 14:52	120K
	int_7__t22_int_7	2021-07-18 14:53	123K
	int_7__t23_int_7	2021-07-18 14:43	88K
	int_7__t24_int_7	2021-07-18 14:54	99K
	int_7__t25_int_7	2021-07-18 14:54	90K
	int_7__t26_int_7	2021-07-18 14:55	101K
	int_7__t27_int_7	2021-07-18 14:55	91K
	int_7__t28_int_7	2021-07-18 14:56	116K
	int_7__t29_int_7	2021-07-18 14:57	179K
	int_7__t30_int_7	2021-07-18 14:57	90K
	int_7__t31_int_7	2021-07-18 14:58	185K