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

	Name	Last modified	Size	Description
	Parent Directory		-
	xxreal_0__l6_xxreal_0	2013-09-04 12:05	5.7K
	xxreal_0__l7_xxreal_0	2013-09-04 12:05	4.6K
	xxreal_0__l8_xxreal_0	2013-09-04 12:05	5.8K
	xxreal_0__l9_xxreal_0	2013-09-04 12:05	5.9K
	xxreal_0__l10_xxreal_0	2013-09-04 12:05	5.9K
	xxreal_0__l11_xxreal_0	2013-09-04 12:05	7.4K
	xxreal_0__l13_xxreal_0	2013-09-04 12:05	7.4K
	xxreal_0__l14_xxreal_0	2013-09-04 12:05	7.4K
	xxreal_0__l22_xxreal_0	2013-09-04 12:05	6.5K
	xxreal_0__t1_xxreal_0	2013-09-04 12:05	8.3K
	xxreal_0__t2_xxreal_0	2013-09-04 12:05	8.5K
	xxreal_0__t3_xxreal_0	2013-09-04 12:05	7.6K
	xxreal_0__t4_xxreal_0	2013-09-04 12:05	5.1K
	xxreal_0__t5_xxreal_0	2013-09-04 12:05	7.6K
	xxreal_0__t6_xxreal_0	2013-09-04 12:05	6.2K
	xxreal_0__t7_xxreal_0	2013-09-04 12:05	6.3K
	xxreal_0__t8_xxreal_0	2013-09-04 12:05	4.5K
	xxreal_0__t9_xxreal_0	2013-09-04 12:05	7.5K
	xxreal_0__t10_xxreal_0	2013-09-04 12:05	6.3K
	xxreal_0__t11_xxreal_0	2013-09-04 12:05	5.8K
	xxreal_0__t12_xxreal_0	2013-09-04 12:05	7.5K
	xxreal_0__t13_xxreal_0	2013-09-04 12:05	6.3K
	xxreal_0__t14_xxreal_0	2013-09-04 12:05	5.9K
	xxreal_0__t15_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t16_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t17_xxreal_0	2013-09-04 12:05	1.1K
	xxreal_0__t18_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t19_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t20_xxreal_0	2013-09-04 12:05	1.7K
	xxreal_0__t21_xxreal_0	2013-09-04 12:05	1.7K
	xxreal_0__t22_xxreal_0	2013-09-04 12:05	1.2K
	xxreal_0__t23_xxreal_0	2013-09-04 12:05	1.3K
	xxreal_0__t24_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t25_xxreal_0	2013-09-04 12:05	1.1K
	xxreal_0__t26_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t27_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t28_xxreal_0	2013-09-04 12:05	1.7K
	xxreal_0__t29_xxreal_0	2013-09-04 12:05	1.7K
	xxreal_0__t30_xxreal_0	2013-09-04 12:05	1.2K
	xxreal_0__t31_xxreal_0	2013-09-04 12:05	1.3K
	xxreal_0__t32_xxreal_0	2013-09-04 12:05	1.5K
	xxreal_0__t33_xxreal_0	2013-09-04 12:05	1.3K
	xxreal_0__t34_xxreal_0	2013-09-04 12:05	1.3K
	xxreal_0__t35_xxreal_0	2013-09-04 12:05	1.6K
	xxreal_0__t36_xxreal_0	2013-09-04 12:05	1.6K
	xxreal_0__t37_xxreal_0	2013-09-04 12:05	1.9K
	xxreal_0__t38_xxreal_0	2013-09-04 12:05	1.8K
	xxreal_0__t39_xxreal_0	2013-09-04 12:05	1.8K
	xxreal_0__t40_xxreal_0	2013-09-04 12:05	2.5K
	xxreal_0__t41_xxreal_0	2013-09-04 12:05	9.2K
	xxreal_0__t42_xxreal_0	2013-09-04 12:05	9.1K
	xxreal_0__t43_xxreal_0	2013-09-04 12:05	9.1K
	xxreal_0__t44_xxreal_0	2013-09-04 12:05	9.2K
	xxreal_0__t45_xxreal_0	2013-09-04 12:05	7.8K
	xxreal_0__t46_xxreal_0	2013-09-04 12:05	6.4K
	xxreal_0__t47_xxreal_0	2013-09-04 12:05	7.5K
	xxreal_0__t48_xxreal_0	2013-09-04 12:05	7.7K
	xxreal_0__t49_xxreal_0	2013-09-04 12:05	1.2K
	xxreal_0__t50_xxreal_0	2013-09-04 12:05	1.2K