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

	Name	Last modified	Size	Description
	Parent Directory		-
	topreal7__l22_topreal7	2013-09-04 12:29	30K
	topreal7__l27_topreal7	2013-09-04 12:29	88K
	topreal7__t1_topreal7	2013-09-04 12:29	8.8K
	topreal7__t2_topreal7	2013-09-04 12:29	9.1K
	topreal7__t3_topreal7	2013-09-04 12:29	16K
	topreal7__t4_topreal7	2013-09-04 12:29	23K
	topreal7__t5_topreal7	2013-09-04 12:29	18K
	topreal7__t6_topreal7	2013-09-04 12:29	20K
	topreal7__t7_topreal7	2013-09-04 12:29	19K
	topreal7__t8_topreal7	2013-09-04 12:29	16K
	topreal7__t9_topreal7	2013-09-04 12:29	21K
	topreal7__t10_topreal7	2013-09-04 12:29	15K
	topreal7__t11_topreal7	2013-09-04 12:29	48K
	topreal7__t12_topreal7	2013-09-04 12:29	50K
	topreal7__t13_topreal7	2013-09-04 12:29	53K
	topreal7__t14_topreal7	2013-09-04 12:29	47K
	topreal7__t15_topreal7	2013-09-04 12:29	50K
	topreal7__t16_topreal7	2013-09-04 12:29	23K
	topreal7__t17_topreal7	2013-09-04 12:29	23K
	topreal7__t18_topreal7	2013-09-04 12:29	26K
	topreal7__t19_topreal7	2013-09-04 12:29	28K
	topreal7__t20_topreal7	2013-09-04 12:29	26K
	topreal7__t21_topreal7	2013-09-04 12:29	26K
	topreal7__t22_topreal7	2013-09-04 12:29	29K
	topreal7__t23_topreal7	2013-09-04 12:29	41K
	topreal7__t24_topreal7	2013-09-04 12:29	19K
	topreal7__t25_topreal7	2013-09-04 12:29	29K
	topreal7__t26_topreal7	2013-09-04 12:29	30K