Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/ringcat1

	Name	Last modified	Size	Description
	Parent Directory		-
	ringcat1__l6_ringcat1	2013-09-04 12:45	12K
	ringcat1__l10_ringcat1	2013-09-04 12:45	16K
	ringcat1__l12_ringcat1	2013-09-04 12:45	12K
	ringcat1__l13_ringcat1	2013-09-04 12:45	18K
	ringcat1__l14_ringcat1	2013-09-04 12:45	18K
	ringcat1__l15_ringcat1	2013-09-04 12:45	16K
	ringcat1__l18_ringcat1	2013-09-04 12:45	17K
	ringcat1__l19_ringcat1	2013-09-04 12:45	16K
	ringcat1__l57_ringcat1	2013-09-04 12:45	28K
	ringcat1__l58_ringcat1	2013-09-04 12:45	28K
	ringcat1__l59_ringcat1	2013-09-04 12:45	40K
	ringcat1__t1_ringcat1	2013-09-04 12:45	14K
	ringcat1__t2_ringcat1	2013-09-04 12:45	16K
	ringcat1__t3_ringcat1	2013-09-04 12:45	15K
	ringcat1__t4_ringcat1	2013-09-04 12:45	17K
	ringcat1__t5_ringcat1	2013-09-04 12:45	20K
	ringcat1__t6_ringcat1	2013-09-04 12:45	20K
	ringcat1__t7_ringcat1	2013-09-04 12:45	19K
	ringcat1__t8_ringcat1	2013-09-04 12:45	15K
	ringcat1__t9_ringcat1	2013-09-04 12:45	19K
	ringcat1__t10_ringcat1	2013-09-04 12:45	16K
	ringcat1__t11_ringcat1	2013-09-04 12:45	25K
	ringcat1__t12_ringcat1	2013-09-04 12:45	12K
	ringcat1__t13_ringcat1	2013-09-04 12:45	15K
	ringcat1__t14_ringcat1	2013-09-04 12:45	15K
	ringcat1__t15_ringcat1	2013-09-04 12:45	14K
	ringcat1__t16_ringcat1	2013-09-04 12:45	15K
	ringcat1__t17_ringcat1	2013-09-04 12:45	12K
	ringcat1__t18_ringcat1	2013-09-04 12:45	13K
	ringcat1__t19_ringcat1	2013-09-04 12:45	17K
	ringcat1__t20_ringcat1	2013-09-04 12:45	20K
	ringcat1__t21_ringcat1	2013-09-04 12:45	24K
	ringcat1__t22_ringcat1	2013-09-04 12:45	25K
	ringcat1__t24_ringcat1	2013-09-04 12:45	26K
	ringcat1__t25_ringcat1	2013-09-04 12:45	32K