Index of /~mptp/1147/mptp/problems_small_consist/sysrel

	Name	Last modified	Size	Description
	Parent Directory		-
	sysrel__l1_sysrel	2013-09-04 12:20	2.4K
	sysrel__l13_sysrel	2013-09-04 12:20	4.3K
	sysrel__t1_sysrel	2013-09-04 12:20	4.2K
	sysrel__t2_sysrel	2013-09-04 12:20	3.9K
	sysrel__t3_sysrel	2013-09-04 12:20	1.4K
	sysrel__t4_sysrel	2013-09-04 12:20	3.8K
	sysrel__t5_sysrel	2013-09-04 12:20	3.1K
	sysrel__t6_sysrel	2013-09-04 12:20	4.0K
	sysrel__t7_sysrel	2013-09-04 12:20	5.4K
	sysrel__t8_sysrel	2013-09-04 12:20	5.3K
	sysrel__t9_sysrel	2013-09-04 12:20	2.5K
	sysrel__t10_sysrel	2013-09-04 12:20	5.2K
	sysrel__t11_sysrel	2013-09-04 12:20	1.4K
	sysrel__t12_sysrel	2013-09-04 12:20	1.8K
	sysrel__t13_sysrel	2013-09-04 12:20	4.5K
	sysrel__t14_sysrel	2013-09-04 12:20	6.1K
	sysrel__t15_sysrel	2013-09-04 12:20	2.5K
	sysrel__t16_sysrel	2013-09-04 12:20	3.8K
	sysrel__t17_sysrel	2013-09-04 12:20	4.5K
	sysrel__t18_sysrel	2013-09-04 12:20	5.5K
	sysrel__t19_sysrel	2013-09-04 12:20	4.7K
	sysrel__t20_sysrel	2013-09-04 12:20	6.3K
	sysrel__t21_sysrel	2013-09-04 12:20	7.3K
	sysrel__t22_sysrel	2013-09-04 12:20	6.9K
	sysrel__t23_sysrel	2013-09-04 12:20	6.1K
	sysrel__t24_sysrel	2013-09-04 12:20	6.9K
	sysrel__t25_sysrel	2013-09-04 12:20	4.2K
	sysrel__t26_sysrel	2013-09-04 12:20	5.7K
	sysrel__t27_sysrel	2013-09-04 12:20	5.6K
	sysrel__t28_sysrel	2013-09-04 12:20	4.5K
	sysrel__t29_sysrel	2013-09-04 12:20	8.7K
	sysrel__t30_sysrel	2013-09-04 12:20	7.3K
	sysrel__t31_sysrel	2013-09-04 12:20	8.2K
	sysrel__t32_sysrel	2013-09-04 12:20	2.4K
	sysrel__t33_sysrel	2013-09-04 12:20	2.5K
	sysrel__t34_sysrel	2013-09-04 12:20	6.4K
	sysrel__t35_sysrel	2013-09-04 12:20	8.0K
	sysrel__t36_sysrel	2013-09-04 12:20	8.8K
	sysrel__t37_sysrel	2013-09-04 12:20	6.7K
	sysrel__t38_sysrel	2013-09-04 12:20	5.2K
	sysrel__t39_sysrel	2013-09-04 12:20	7.6K
	sysrel__t40_sysrel	2013-09-04 12:20	6.2K