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

	Name	Last modified	Size	Description
	Parent Directory		-
	numeral1__t1_numeral1	2013-09-04 12:21	51K
	numeral1__t2_numeral1	2013-09-04 12:21	63K
	numeral1__t3_numeral1	2013-09-04 12:21	53K
	numeral1__t4_numeral1	2013-09-04 12:21	42K
	numeral1__t5_numeral1	2013-09-04 12:21	41K
	numeral1__t6_numeral1	2013-09-04 12:21	85K
	numeral1__t7_numeral1	2013-09-04 12:21	70K
	numeral1__t8_numeral1	2013-09-04 12:21	330K
	numeral1__t9_numeral1	2013-09-04 12:21	118K
	numeral1__t10_numeral1	2013-09-04 12:21	330K