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

	Name	Last modified	Size	Description
	Parent Directory		-
	petri__t1_petri	2021-07-18 09:19	13K
	petri__t1_petri.vout	2021-07-25 17:34	7.2K
	petri__t2_petri	2021-07-18 09:16	12K
	petri__t2_petri.depv1	2021-07-25 20:57	300
	petri__t2_petri.depvmin1	2021-07-25 21:03	191
	petri__t2_petri.vmin1	2021-07-25 20:57	3.4K
	petri__t2_petri.vmin1out	2021-07-25 20:58	64K
	petri__t2_petri.vout	2021-07-25 15:41	57K
	petri__t3_petri	2021-07-18 09:20	13K
	petri__t3_petri.vout	2021-07-25 16:59	7.3K
	petri__t4_petri	2021-07-18 09:16	12K
	petri__t4_petri.depv1	2021-07-25 20:57	229
	petri__t4_petri.depvmin1	2021-07-25 21:03	201
	petri__t4_petri.vmin1	2021-07-25 20:57	3.0K
	petri__t4_petri.vmin1out	2021-07-25 21:01	46K
	petri__t4_petri.vout	2021-07-25 15:48	69K
	petri__t5_petri	2021-07-18 09:20	13K
	petri__t5_petri.vout	2021-07-25 15:44	7.2K
	petri__t6_petri	2021-07-18 09:16	12K
	petri__t6_petri.depv1	2021-07-25 20:57	268
	petri__t6_petri.depvmin1	2021-07-25 21:03	214
	petri__t6_petri.vmin1	2021-07-25 20:57	3.2K
	petri__t6_petri.vmin1out	2021-07-25 21:01	46K
	petri__t6_petri.vout	2021-07-25 18:30	55K
	petri__t7_petri	2021-07-18 09:20	13K
	petri__t7_petri.vout	2021-07-25 18:34	7.3K
	petri__t8_petri	2021-07-18 09:16	12K
	petri__t8_petri.depv1	2021-07-25 20:57	268
	petri__t8_petri.depvmin1	2021-07-25 21:03	214
	petri__t8_petri.vmin1	2021-07-25 20:57	3.2K
	petri__t8_petri.vmin1out	2021-07-25 20:57	46K
	petri__t8_petri.vout	2021-07-25 15:58	55K
	petri__t9_petri	2021-07-18 09:17	11K
	petri__t9_petri.depv1	2021-07-25 20:57	132
	petri__t9_petri.depvmin1	2021-07-25 21:03	132
	petri__t9_petri.vmin1	2021-07-25 20:57	1.5K
	petri__t9_petri.vmin1out	2021-07-25 20:58	22K
	petri__t9_petri.vout	2021-07-25 17:02	18K
	petri__t10_petri	2021-07-18 09:17	11K
	petri__t10_petri.depv1	2021-07-25 20:57	133
	petri__t10_petri.depvmin1	2021-07-25 21:03	133
	petri__t10_petri.vmin1	2021-07-25 20:57	1.5K
	petri__t10_petri.vmin1out	2021-07-25 20:58	22K
	petri__t10_petri.vout	2021-07-25 17:21	18K
	petri__t11_petri	2021-07-18 09:17	11K
	petri__t11_petri.depv1	2021-07-25 20:57	133
	petri__t11_petri.depvmin1	2021-07-25 21:03	133
	petri__t11_petri.vmin1	2021-07-25 20:57	1.5K
	petri__t11_petri.vmin1out	2021-07-25 20:59	22K
	petri__t11_petri.vout	2021-07-25 14:27	18K
	petri__t12_petri	2021-07-18 09:17	11K
	petri__t12_petri.depv1	2021-07-25 20:57	133
	petri__t12_petri.depvmin1	2021-07-25 21:03	133
	petri__t12_petri.vmin1	2021-07-25 20:57	1.5K
	petri__t12_petri.vmin1out	2021-07-25 21:01	22K
	petri__t12_petri.vout	2021-07-25 19:16	18K
	petri__t13_petri	2021-07-18 09:15	11K
	petri__t13_petri.depv1	2021-07-25 20:57	172
	petri__t13_petri.depvmin1	2021-07-25 21:03	172
	petri__t13_petri.vmin1	2021-07-25 20:57	1.8K
	petri__t13_petri.vmin1out	2021-07-25 20:58	19K
	petri__t13_petri.vout	2021-07-25 18:50	47K
	petri__t14_petri	2021-07-18 09:15	12K
	petri__t14_petri.depv1	2021-07-25 20:57	318
	petri__t14_petri.depvmin1	2021-07-25 21:03	229
	petri__t14_petri.vmin1	2021-07-25 20:57	3.5K
	petri__t14_petri.vmin1out	2021-07-25 20:59	28K
	petri__t14_petri.vout	2021-07-25 19:14	48K
	petri__t15_petri	2021-07-18 09:18	17K
	petri__t15_petri.vout	2021-07-25 17:37	6.7K
	petri__t16_petri	2021-07-18 09:18	17K
	petri__t16_petri.vout	2021-07-25 17:05	7.2K
	petri__t17_petri	2021-07-18 09:18	16K
	petri__t17_petri.depv1	2021-07-25 20:57	95
	petri__t17_petri.depvmin1	2021-07-25 21:03	95
	petri__t17_petri.vmin1	2021-07-25 20:57	2.2K
	petri__t17_petri.vmin1out	2021-07-25 21:00	35K
	petri__t17_petri.vout	2021-07-25 17:14	37K
	petri__t18_petri	2021-07-18 09:18	16K
	petri__t18_petri.depv1	2021-07-25 20:57	95
	petri__t18_petri.depvmin1	2021-07-25 21:03	95
	petri__t18_petri.vmin1	2021-07-25 20:57	2.2K
	petri__t18_petri.vmin1out	2021-07-25 21:00	35K
	petri__t18_petri.vout	2021-07-25 16:48	37K
	petri__t19_petri	2021-07-18 09:19	15K
	petri__t19_petri.vout	2021-07-25 18:50	7.2K
	petri__t20_petri	2021-07-18 09:19	15K
	petri__t20_petri.vout	2021-07-25 15:34	7.3K