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

	Name	Last modified	Size	Description
	Parent Directory		-
	mboolean__l2_mboolean	2013-09-04 13:01	8.3K
	mboolean__l3_mboolean	2013-09-04 13:01	6.3K
	mboolean__l4_mboolean	2013-09-04 13:01	6.1K
	mboolean__l5_mboolean	2013-09-04 13:01	5.7K
	mboolean__l6_mboolean	2013-09-04 13:01	7.2K
	mboolean__l27_mboolean	2013-09-04 13:01	4.3K
	mboolean__l28_mboolean	2013-09-04 13:01	4.1K
	mboolean__t1_mboolean	2013-09-04 13:01	12K
	mboolean__t2_mboolean	2013-09-04 13:01	7.9K
	mboolean__t3_mboolean	2013-09-04 13:01	7.6K
	mboolean__t4_mboolean	2013-09-04 13:01	7.9K
	mboolean__t5_mboolean	2013-09-04 13:01	6.4K
	mboolean__t6_mboolean	2013-09-04 13:01	5.2K
	mboolean__t7_mboolean	2013-09-04 13:01	7.4K
	mboolean__t8_mboolean	2013-09-04 13:01	7.8K
	mboolean__t9_mboolean	2013-09-04 13:01	7.6K
	mboolean__t10_mboolean	2013-09-04 13:01	11K
	mboolean__t11_mboolean	2013-09-04 13:01	8.8K
	mboolean__t12_mboolean	2013-09-04 13:01	9.1K
	mboolean__t13_mboolean	2013-09-04 13:01	13K
	mboolean__t14_mboolean	2013-09-04 13:01	5.8K
	mboolean__t15_mboolean	2013-09-04 13:01	5.3K
	mboolean__t16_mboolean	2013-09-04 13:01	6.9K
	mboolean__t17_mboolean	2013-09-04 13:01	7.9K
	mboolean__t18_mboolean	2013-09-04 13:01	5.4K
	mboolean__t19_mboolean	2013-09-04 13:01	7.0K
	mboolean__t20_mboolean	2013-09-04 13:01	3.6K
	mboolean__t21_mboolean	2013-09-04 13:01	7.8K
	mboolean__t22_mboolean	2013-09-04 13:01	7.3K
	mboolean__t23_mboolean	2013-09-04 13:01	7.3K
	mboolean__t24_mboolean	2013-09-04 13:01	7.6K
	mboolean__t25_mboolean	2013-09-04 13:01	5.0K
	mboolean__t26_mboolean	2013-09-04 13:01	4.7K
	mboolean__t27_mboolean	2013-09-04 13:01	5.8K
	mboolean__t28_mboolean	2013-09-04 13:01	6.7K
	mboolean__t29_mboolean	2013-09-04 13:01	6.1K
	mboolean__t30_mboolean	2013-09-04 13:01	5.6K
	mboolean__t31_mboolean	2013-09-04 13:01	5.2K
	mboolean__t32_mboolean	2013-09-04 13:01	10K
	mboolean__t33_mboolean	2013-09-04 13:01	13K
	mboolean__t34_mboolean	2013-09-04 13:01	16K
	mboolean__t35_mboolean	2013-09-04 13:01	16K
	mboolean__t36_mboolean	2013-09-04 13:01	11K