Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/petri_3

	Name	Last modified	Size	Description
	Parent Directory		-
	petri_3__l6_petri_3	2024-07-27 08:27	6.9K
	petri_3__l6_petri_3.depv1	2024-08-03 10:19	57
	petri_3__l6_petri_3.depvmin1	2024-08-03 10:24	57
	petri_3__l6_petri_3.vmin1	2024-08-03 10:19	470
	petri_3__l6_petri_3.vmin1out	2024-08-03 10:20	5.7K
	petri_3__l6_petri_3.vout	2024-08-03 09:24	6.1K
	petri_3__l12_petri_3	2024-07-27 08:30	41K
	petri_3__l12_petri_3.vout	2024-08-03 08:33	7.3K
	petri_3__l13_petri_3	2024-07-27 08:28	22K
	petri_3__l13_petri_3.depv1	2024-08-03 10:19	216
	petri_3__l13_petri_3.depvmin1	2024-08-03 10:24	129
	petri_3__l13_petri_3.vmin1	2024-08-03 10:19	2.7K
	petri_3__l13_petri_3.vmin1out	2024-08-03 10:22	42K
	petri_3__l13_petri_3.vout	2024-08-03 09:14	43K
	petri_3__t1_petri_3	2024-07-27 08:13	18K
	petri_3__t1_petri_3.vout	2024-08-03 08:20	6.8K
	petri_3__t2_petri_3	2024-07-27 08:14	18K
	petri_3__t2_petri_3.vout	2024-08-03 04:53	7.3K
	petri_3__t3_petri_3	2024-07-27 08:16	16K
	petri_3__t3_petri_3.depv1	2024-08-03 10:19	72
	petri_3__t3_petri_3.depvmin1	2024-08-03 10:24	72
	petri_3__t3_petri_3.vmin1	2024-08-03 10:19	1.8K
	petri_3__t3_petri_3.vmin1out	2024-08-03 10:21	68K
	petri_3__t3_petri_3.vout	2024-08-03 09:07	60K
	petri_3__t4_petri_3	2024-07-27 08:25	25K
	petri_3__t4_petri_3.vout	2024-08-03 07:26	7.3K
	petri_3__t5_petri_3	2024-07-27 08:26	32K
	petri_3__t5_petri_3.vout	2024-08-03 09:17	6.8K
	petri_3__t6_petri_3	2024-07-27 08:17	27K
	petri_3__t6_petri_3.vout	2024-08-03 08:42	7.3K
	petri_3__t7_petri_3	2024-07-27 08:19	33K
	petri_3__t7_petri_3.depv1	2024-08-03 10:19	69
	petri_3__t7_petri_3.depvmin1	2024-08-03 10:24	69
	petri_3__t7_petri_3.vmin1	2024-08-03 10:19	2.2K
	petri_3__t7_petri_3.vmin1out	2024-08-03 10:21	87K
	petri_3__t7_petri_3.vout	2024-08-03 06:56	89K
	petri_3__t8_petri_3	2024-07-27 08:21	61K
	petri_3__t8_petri_3.vout	2024-08-03 04:45	7.3K
	petri_3__t9_petri_3	2024-07-27 08:23	50K
	petri_3__t9_petri_3.vout	2024-08-03 09:03	7.3K