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

	Name	Last modified	Size	Description
	Parent Directory		-
	ltlaxio3__t1_ltlaxio3	2021-07-18 22:06	68K
	ltlaxio3__t2_ltlaxio3	2021-07-18 22:07	42K
	ltlaxio3__t3_ltlaxio3	2021-07-18 22:07	38K
	ltlaxio3__t4_ltlaxio3	2021-07-18 22:07	56K
	ltlaxio3__t5_ltlaxio3	2021-07-18 22:08	44K
	ltlaxio3__t6_ltlaxio3	2021-07-18 22:08	44K
	ltlaxio3__t7_ltlaxio3	2021-07-18 22:08	46K
	ltlaxio3__t8_ltlaxio3	2021-07-18 22:09	45K
	ltlaxio3__t9_ltlaxio3	2021-07-18 22:09	45K
	ltlaxio3__t10_ltlaxio3	2021-07-18 22:09	46K
	ltlaxio3__t11_ltlaxio3	2021-07-18 22:10	49K
	ltlaxio3__t12_ltlaxio3	2021-07-18 22:10	44K
	ltlaxio3__t13_ltlaxio3	2021-07-18 22:11	45K
	ltlaxio3__t14_ltlaxio3	2021-07-18 22:11	40K
	ltlaxio3__t15_ltlaxio3	2021-07-18 22:11	39K
	ltlaxio3__t16_ltlaxio3	2021-07-18 22:12	45K
	ltlaxio3__t17_ltlaxio3	2021-07-18 22:12	39K
	ltlaxio3__t18_ltlaxio3	2021-07-18 22:12	40K
	ltlaxio3__t19_ltlaxio3	2021-07-18 22:13	40K
	ltlaxio3__t20_ltlaxio3	2021-07-18 22:13	33K
	ltlaxio3__t21_ltlaxio3	2021-07-18 22:13	34K
	ltlaxio3__t22_ltlaxio3	2021-07-18 22:13	35K
	ltlaxio3__t23_ltlaxio3	2021-07-18 22:14	39K
	ltlaxio3__t24_ltlaxio3	2021-07-18 22:14	49K
	ltlaxio3__t25_ltlaxio3	2021-07-18 22:15	49K
	ltlaxio3__t26_ltlaxio3	2021-07-18 22:15	52K
	ltlaxio3__t27_ltlaxio3	2021-07-18 22:15	50K
	ltlaxio3__t28_ltlaxio3	2021-07-18 22:16	114K
	ltlaxio3__t29_ltlaxio3	2021-07-18 22:17	115K
	ltlaxio3__t30_ltlaxio3	2021-07-18 22:17	103K
	ltlaxio3__t31_ltlaxio3	2021-07-18 22:18	491K
	ltlaxio3__t32_ltlaxio3	2021-07-18 22:18	50K
	ltlaxio3__t33_ltlaxio3	2021-07-18 22:19	105K
	ltlaxio3__t34_ltlaxio3	2021-07-18 22:20	127K