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

	Name	Last modified	Size	Description
	Parent Directory		-
	petri_2__l6_petri_2	2021-07-18 05:25	10K
	petri_2__l6_petri_2.vout	2021-07-25 18:35	3.7K
	petri_2__l7_petri_2	2021-07-18 05:25	20K
	petri_2__l7_petri_2.vout	2021-07-25 14:42	6.8K
	petri_2__l8_petri_2	2021-07-18 05:26	21K
	petri_2__l8_petri_2.vout	2021-07-25 18:40	6.8K
	petri_2__l9_petri_2	2021-07-18 05:26	18K
	petri_2__l9_petri_2.vout	2021-07-25 14:23	6.8K
	petri_2__l23_petri_2	2021-07-18 05:26	8.1K
	petri_2__l23_petri_2.depv1	2021-07-25 20:57	142
	petri_2__l23_petri_2.depvmin1	2021-07-25 21:03	133
	petri_2__l23_petri_2.vmin1	2021-07-25 20:57	2.2K
	petri_2__l23_petri_2.vmin1out	2021-07-25 20:58	58K
	petri_2__l23_petri_2.vout	2021-07-25 18:03	49K
	petri_2__l24_petri_2	2021-07-18 05:26	11K
	petri_2__l24_petri_2.depv1	2021-07-25 20:57	191
	petri_2__l24_petri_2.depvmin1	2021-07-25 21:03	191
	petri_2__l24_petri_2.vmin1	2021-07-25 20:57	1.5K
	petri_2__l24_petri_2.vmin1out	2021-07-25 21:02	27K
	petri_2__l24_petri_2.vout	2021-07-25 18:01	29K
	petri_2__t1_petri_2	2021-07-18 05:25	18K
	petri_2__t1_petri_2.vout	2021-07-25 19:52	7.3K
	petri_2__t2_petri_2	2021-07-18 05:24	18K
	petri_2__t2_petri_2.vout	2021-07-25 19:22	7.3K
	petri_2__t3_petri_2	2021-07-18 05:24	19K
	petri_2__t3_petri_2.vout	2021-07-25 15:04	7.3K
	petri_2__t4_petri_2	2021-07-18 05:24	19K
	petri_2__t4_petri_2.vout	2021-07-25 16:57	7.3K
	petri_2__t5_petri_2	2021-07-18 05:24	25K
	petri_2__t5_petri_2.vout	2021-07-25 14:26	7.3K
	petri_2__t6_petri_2	2021-07-18 05:23	25K
	petri_2__t6_petri_2.vout	2021-07-25 19:43	7.3K
	petri_2__t7_petri_2	2021-07-18 05:25	23K
	petri_2__t7_petri_2.vout	2021-07-25 16:02	7.3K