Index of /~mptp/1147/MPTP2/problems_small_consist/petri

	Name	Last modified	Size	Description
	Parent Directory		-
	petri__t1_petri	2013-09-04 12:08	15K
	petri__t2_petri	2013-09-04 12:08	14K
	petri__t3_petri	2013-09-04 12:08	15K
	petri__t4_petri	2013-09-04 12:08	14K
	petri__t5_petri	2013-09-04 12:08	15K
	petri__t6_petri	2013-09-04 12:08	14K
	petri__t7_petri	2013-09-04 12:08	15K
	petri__t8_petri	2013-09-04 12:08	14K
	petri__t9_petri	2013-09-04 12:08	13K
	petri__t10_petri	2013-09-04 12:08	13K
	petri__t11_petri	2013-09-04 12:08	13K
	petri__t12_petri	2013-09-04 12:08	13K
	petri__t13_petri	2013-09-04 12:08	14K
	petri__t14_petri	2013-09-04 12:08	15K
	petri__t15_petri	2013-09-04 12:08	19K
	petri__t16_petri	2013-09-04 12:08	19K
	petri__t17_petri	2013-09-04 12:08	18K
	petri__t18_petri	2013-09-04 12:08	18K
	petri__t19_petri	2013-09-04 12:08	17K
	petri__t20_petri	2013-09-04 12:08	17K