Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_small_consist/petri_2

	Name	Last modified	Size	Description
	Parent Directory		-
	petri_2__l6_petri_2	2013-09-04 12:07	10K
	petri_2__l7_petri_2	2013-09-04 12:07	20K
	petri_2__l8_petri_2	2013-09-04 12:07	20K
	petri_2__l9_petri_2	2013-09-04 12:07	17K
	petri_2__l23_petri_2	2013-09-04 12:07	7.9K
	petri_2__l24_petri_2	2013-09-04 12:07	10K
	petri_2__t1_petri_2	2013-09-04 12:07	17K
	petri_2__t2_petri_2	2013-09-04 12:07	18K
	petri_2__t3_petri_2	2013-09-04 12:07	19K
	petri_2__t4_petri_2	2013-09-04 12:07	18K
	petri_2__t5_petri_2	2013-09-04 12:07	24K
	petri_2__t6_petri_2	2013-09-04 12:07	29K
	petri_2__t7_petri_2	2013-09-04 12:07	23K