Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ltlaxio4

	Name	Last modified	Size	Description
	Parent Directory		-
	ltlaxio4__t1_ltlaxio4	2021-07-18 04:54	33K
	ltlaxio4__t1_ltlaxio4.vout	2021-07-25 15:24	7.3K
	ltlaxio4__t2_ltlaxio4	2021-07-18 04:55	24K
	ltlaxio4__t2_ltlaxio4.depv1	2021-07-25 20:57	131
	ltlaxio4__t2_ltlaxio4.depvmin1	2021-07-25 21:03	131
	ltlaxio4__t2_ltlaxio4.vmin1	2021-07-25 20:57	1.0K
	ltlaxio4__t2_ltlaxio4.vmin1out	2021-07-25 20:58	12K
	ltlaxio4__t2_ltlaxio4.vout	2021-07-25 16:42	12K
	ltlaxio4__t3_ltlaxio4	2021-07-18 04:55	27K
	ltlaxio4__t3_ltlaxio4.vout	2021-07-25 19:50	7.3K
	ltlaxio4__t4_ltlaxio4	2021-07-18 04:56	26K
	ltlaxio4__t4_ltlaxio4.vout	2021-07-25 16:34	2.0K
	ltlaxio4__t5_ltlaxio4	2021-07-18 04:57	54K
	ltlaxio4__t5_ltlaxio4.vout	2021-07-25 17:24	7.3K
	ltlaxio4__t6_ltlaxio4	2021-07-18 04:57	63K
	ltlaxio4__t6_ltlaxio4.vout	2021-07-25 15:56	3.7K
	ltlaxio4__t7_ltlaxio4	2021-07-18 04:58	30K
	ltlaxio4__t7_ltlaxio4.vout	2021-07-25 20:11	2.0K
	ltlaxio4__t8_ltlaxio4	2021-07-18 04:58	30K
	ltlaxio4__t8_ltlaxio4.depv1	2021-07-25 20:57	54
	ltlaxio4__t8_ltlaxio4.depvmin1	2021-07-25 21:03	54
	ltlaxio4__t8_ltlaxio4.vmin1	2021-07-25 20:57	1.1K
	ltlaxio4__t8_ltlaxio4.vmin1out	2021-07-25 20:58	14K
	ltlaxio4__t8_ltlaxio4.vout	2021-07-25 16:01	16K
	ltlaxio4__t9_ltlaxio4	2021-07-18 04:59	31K
	ltlaxio4__t9_ltlaxio4.vout	2021-07-25 14:49	3.7K
	ltlaxio4__t10_ltlaxio4	2021-07-18 04:59	30K
	ltlaxio4__t10_ltlaxio4.vout	2021-07-25 20:20	6.8K
	ltlaxio4__t11_ltlaxio4	2021-07-18 05:00	31K
	ltlaxio4__t11_ltlaxio4.vout	2021-07-25 18:03	5.3K
	ltlaxio4__t12_ltlaxio4	2021-07-18 05:00	38K
	ltlaxio4__t12_ltlaxio4.vout	2021-07-25 18:24	5.3K
	ltlaxio4__t13_ltlaxio4	2021-07-18 04:54	28K
	ltlaxio4__t13_ltlaxio4.vout	2021-07-25 18:54	2.0K
	ltlaxio4__t14_ltlaxio4	2021-07-18 05:01	25K
	ltlaxio4__t14_ltlaxio4.depv1	2021-07-25 20:57	109
	ltlaxio4__t14_ltlaxio4.depvmin1	2021-07-25 21:03	109
	ltlaxio4__t14_ltlaxio4.vmin1	2021-07-25 20:57	1.6K
	ltlaxio4__t14_ltlaxio4.vmin1out	2021-07-25 21:02	20K
	ltlaxio4__t14_ltlaxio4.vout	2021-07-25 20:43	20K
	ltlaxio4__t15_ltlaxio4	2021-07-18 05:01	33K
	ltlaxio4__t15_ltlaxio4.vout	2021-07-25 15:37	3.7K
	ltlaxio4__t16_ltlaxio4	2021-07-18 05:02	91K
	ltlaxio4__t16_ltlaxio4.vout	2021-07-25 16:44	3.7K
	ltlaxio4__t17_ltlaxio4	2021-07-18 05:03	89K
	ltlaxio4__t17_ltlaxio4.vout	2021-07-25 20:48	3.7K
	ltlaxio4__t18_ltlaxio4	2021-07-18 05:04	42K
	ltlaxio4__t18_ltlaxio4.vout	2021-07-25 16:52	6.8K
	ltlaxio4__t19_ltlaxio4	2021-07-18 05:04	36K
	ltlaxio4__t19_ltlaxio4.vout	2021-07-25 15:38	6.8K
	ltlaxio4__t20_ltlaxio4	2021-07-18 05:05	36K
	ltlaxio4__t20_ltlaxio4.depv1	2021-07-25 20:57	160
	ltlaxio4__t20_ltlaxio4.depvmin1	2021-07-25 21:03	160
	ltlaxio4__t20_ltlaxio4.vmin1	2021-07-25 20:57	2.5K
	ltlaxio4__t20_ltlaxio4.vmin1out	2021-07-25 21:01	22K
	ltlaxio4__t20_ltlaxio4.vout	2021-07-25 16:49	25K
	ltlaxio4__t21_ltlaxio4	2021-07-18 05:05	37K
	ltlaxio4__t21_ltlaxio4.vout	2021-07-25 16:27	7.3K
	ltlaxio4__t22_ltlaxio4	2021-07-18 05:05	37K
	ltlaxio4__t22_ltlaxio4.vout	2021-07-25 14:49	7.3K
	ltlaxio4__t23_ltlaxio4	2021-07-18 05:06	43K
	ltlaxio4__t23_ltlaxio4.vout	2021-07-25 18:57	3.7K
	ltlaxio4__t24_ltlaxio4	2021-07-18 05:07	46K
	ltlaxio4__t24_ltlaxio4.vout	2021-07-25 17:20	6.8K
	ltlaxio4__t25_ltlaxio4	2021-07-18 05:07	46K
	ltlaxio4__t25_ltlaxio4.vout	2021-07-25 19:02	6.8K
	ltlaxio4__t26_ltlaxio4	2021-07-18 05:08	48K
	ltlaxio4__t26_ltlaxio4.vout	2021-07-25 18:28	6.8K
	ltlaxio4__t27_ltlaxio4	2021-07-18 05:08	52K
	ltlaxio4__t27_ltlaxio4.vout	2021-07-25 16:30	3.7K
	ltlaxio4__t28_ltlaxio4	2021-07-18 05:09	50K
	ltlaxio4__t28_ltlaxio4.vout	2021-07-25 17:30	4.2K
	ltlaxio4__t29_ltlaxio4	2021-07-18 05:09	51K
	ltlaxio4__t29_ltlaxio4.vout	2021-07-25 19:43	7.3K
	ltlaxio4__t30_ltlaxio4	2021-07-18 05:10	70K
	ltlaxio4__t30_ltlaxio4.vout	2021-07-25 18:32	7.3K
	ltlaxio4__t31_ltlaxio4	2021-07-18 05:11	54K
	ltlaxio4__t31_ltlaxio4.vout	2021-07-25 14:59	3.7K
	ltlaxio4__t32_ltlaxio4	2021-07-18 05:11	61K
	ltlaxio4__t32_ltlaxio4.vout	2021-07-25 17:42	3.7K
	ltlaxio4__t33_ltlaxio4	2021-07-18 05:12	74K
	ltlaxio4__t33_ltlaxio4.vout	2021-07-25 15:10	3.6K