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

	Name	Last modified	Size	Description
	Parent Directory		-
	ltlaxio4__t1_ltlaxio4	2021-07-18 17:29	52K
	ltlaxio4__t2_ltlaxio4	2021-07-18 17:29	39K
	ltlaxio4__t3_ltlaxio4	2021-07-18 17:30	44K
	ltlaxio4__t4_ltlaxio4	2021-07-18 17:30	42K
	ltlaxio4__t5_ltlaxio4	2021-07-18 17:31	90K
	ltlaxio4__t6_ltlaxio4	2021-07-18 17:31	100K
	ltlaxio4__t7_ltlaxio4	2021-07-18 17:32	50K
	ltlaxio4__t8_ltlaxio4	2021-07-18 17:32	49K
	ltlaxio4__t9_ltlaxio4	2021-07-18 17:32	50K
	ltlaxio4__t10_ltlaxio4	2021-07-18 17:33	48K
	ltlaxio4__t11_ltlaxio4	2021-07-18 17:33	50K
	ltlaxio4__t12_ltlaxio4	2021-07-18 17:34	62K
	ltlaxio4__t13_ltlaxio4	2021-07-18 17:29	46K
	ltlaxio4__t14_ltlaxio4	2021-07-18 17:34	39K
	ltlaxio4__t15_ltlaxio4	2021-07-18 17:34	53K
	ltlaxio4__t16_ltlaxio4	2021-07-18 17:35	145K
	ltlaxio4__t17_ltlaxio4	2021-07-18 17:36	142K
	ltlaxio4__t18_ltlaxio4	2021-07-18 17:37	68K
	ltlaxio4__t19_ltlaxio4	2021-07-18 17:37	56K
	ltlaxio4__t20_ltlaxio4	2021-07-18 17:37	57K
	ltlaxio4__t21_ltlaxio4	2021-07-18 17:38	57K
	ltlaxio4__t22_ltlaxio4	2021-07-18 17:38	57K
	ltlaxio4__t23_ltlaxio4	2021-07-18 17:39	67K
	ltlaxio4__t24_ltlaxio4	2021-07-18 17:39	73K
	ltlaxio4__t25_ltlaxio4	2021-07-18 17:40	72K
	ltlaxio4__t26_ltlaxio4	2021-07-18 17:40	74K
	ltlaxio4__t27_ltlaxio4	2021-07-18 17:41	79K
	ltlaxio4__t28_ltlaxio4	2021-07-18 17:42	77K
	ltlaxio4__t29_ltlaxio4	2021-07-18 17:42	79K
	ltlaxio4__t30_ltlaxio4	2021-07-18 17:43	111K
	ltlaxio4__t31_ltlaxio4	2021-07-18 17:43	82K
	ltlaxio4__t32_ltlaxio4	2021-07-18 17:44	94K
	ltlaxio4__t33_ltlaxio4	2021-07-18 17:45	119K