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

	Name	Last modified	Size	Description
	Parent Directory		-
	petri_3__t9_petri_3.vout	2021-07-25 17:28	7.3K
	petri_3__t9_petri_3	2021-07-18 02:22	50K
	petri_3__t8_petri_3.vout	2021-07-25 14:38	7.3K
	petri_3__t8_petri_3	2021-07-18 02:22	61K
	petri_3__t7_petri_3.vout	2021-07-25 14:23	89K
	petri_3__t7_petri_3.vmin1out	2021-07-25 20:58	87K
	petri_3__t7_petri_3.vmin1	2021-07-25 20:57	2.2K
	petri_3__t7_petri_3.depvmin1	2021-07-25 21:03	69
	petri_3__t7_petri_3.depv1	2021-07-25 20:57	69
	petri_3__t7_petri_3	2021-07-18 02:21	33K
	petri_3__t6_petri_3.vout	2021-07-25 15:45	7.3K
	petri_3__t6_petri_3	2021-07-18 02:21	27K
	petri_3__t5_petri_3.vout	2021-07-25 16:24	6.8K
	petri_3__t5_petri_3	2021-07-18 02:23	32K
	petri_3__t4_petri_3.vout	2021-07-25 20:33	7.3K
	petri_3__t4_petri_3	2021-07-18 02:23	25K
	petri_3__t3_petri_3.vout	2021-07-25 17:35	60K
	petri_3__t3_petri_3.vmin1out	2021-07-25 21:01	68K
	petri_3__t3_petri_3.vmin1	2021-07-25 20:57	1.8K
	petri_3__t3_petri_3.depvmin1	2021-07-25 21:03	72
	petri_3__t3_petri_3.depv1	2021-07-25 20:57	72
	petri_3__t3_petri_3	2021-07-18 02:20	16K
	petri_3__t2_petri_3.vout	2021-07-25 20:23	6.8K
	petri_3__t2_petri_3	2021-07-18 02:20	18K
	petri_3__t1_petri_3.vout	2021-07-25 15:41	6.8K
	petri_3__t1_petri_3	2021-07-18 02:20	18K
	petri_3__l13_petri_3.vout	2021-07-25 20:48	43K
	petri_3__l13_petri_3.vmin1out	2021-07-25 21:00	42K
	petri_3__l13_petri_3.vmin1	2021-07-25 20:57	2.7K
	petri_3__l13_petri_3.depvmin1	2021-07-25 21:03	129
	petri_3__l13_petri_3.depv1	2021-07-25 20:57	217
	petri_3__l13_petri_3	2021-07-18 02:24	22K
	petri_3__l12_petri_3.vout	2021-07-25 19:58	6.8K
	petri_3__l12_petri_3	2021-07-18 02:25	41K
	petri_3__l6_petri_3.vout	2021-07-25 18:48	6.1K
	petri_3__l6_petri_3.vmin1out	2021-07-25 21:02	5.7K
	petri_3__l6_petri_3.vmin1	2021-07-25 20:57	470
	petri_3__l6_petri_3.depvmin1	2021-07-25 21:03	57
	petri_3__l6_petri_3.depv1	2021-07-25 20:57	57
	petri_3__l6_petri_3	2021-07-18 02:24	6.8K