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

	Name	Last modified	Size	Description
	Parent Directory		-
	real_ns1__l1_real_ns1	2013-09-04 12:26	39K
	real_ns1__l18_real_ns1	2013-09-04 12:26	34K
	real_ns1__t1_real_ns1	2013-09-04 12:26	41K
	real_ns1__t2_real_ns1	2013-09-04 12:26	46K
	real_ns1__t3_real_ns1	2013-09-04 12:26	45K
	real_ns1__t4_real_ns1	2013-09-04 12:26	48K
	real_ns1__t5_real_ns1	2013-09-04 12:26	57K
	real_ns1__t6_real_ns1	2013-09-04 12:26	28K
	real_ns1__t7_real_ns1	2013-09-04 12:26	61K
	real_ns1__t8_real_ns1	2013-09-04 12:26	55K
	real_ns1__t9_real_ns1	2013-09-04 12:26	42K
	real_ns1__t10_real_ns1	2013-09-04 12:26	60K
	real_ns1__t11_real_ns1	2013-09-04 12:26	132K
	real_ns1__t12_real_ns1	2013-09-04 12:26	86K
	real_ns1__t13_real_ns1	2013-09-04 12:26	50K
	real_ns1__t14_real_ns1	2013-09-04 12:26	63K
	real_ns1__t15_real_ns1	2013-09-04 12:26	44K
	real_ns1__t16_real_ns1	2013-09-04 12:26	70K
	real_ns1__t17_real_ns1	2013-09-04 12:26	67K
	real_ns1__t18_real_ns1	2013-09-04 12:26	67K