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

	Name	Last modified	Size	Description
	Parent Directory		-
	boolealg__l11_boolealg	2013-09-04 12:09	3.0K
	boolealg__l67_boolealg	2013-09-04 12:09	10K
	boolealg__t1_boolealg	2013-09-04 12:09	5.6K
	boolealg__t2_boolealg	2013-09-04 12:09	5.2K
	boolealg__t3_boolealg	2013-09-04 12:09	4.9K
	boolealg__t4_boolealg	2013-09-04 12:09	6.5K
	boolealg__t5_boolealg	2013-09-04 12:09	5.1K
	boolealg__t6_boolealg	2013-09-04 12:09	5.0K
	boolealg__t7_boolealg	2013-09-04 12:09	3.7K
	boolealg__t8_boolealg	2013-09-04 12:09	5.9K
	boolealg__t9_boolealg	2013-09-04 12:09	3.3K
	boolealg__t10_boolealg	2013-09-04 12:09	5.7K
	boolealg__t11_boolealg	2013-09-04 12:09	5.3K
	boolealg__t12_boolealg	2013-09-04 12:09	5.7K
	boolealg__t13_boolealg	2013-09-04 12:09	5.7K
	boolealg__t14_boolealg	2013-09-04 12:09	4.4K
	boolealg__t15_boolealg	2013-09-04 12:09	5.0K
	boolealg__t16_boolealg	2013-09-04 12:09	4.2K
	boolealg__t17_boolealg	2013-09-04 12:09	4.4K
	boolealg__t18_boolealg	2013-09-04 12:09	5.1K
	boolealg__t19_boolealg	2013-09-04 12:09	5.7K
	boolealg__t20_boolealg	2013-09-04 12:09	4.2K
	boolealg__t21_boolealg	2013-09-04 12:09	8.4K
	boolealg__t22_boolealg	2013-09-04 12:09	5.7K
	boolealg__t23_boolealg	2013-09-04 12:09	6.2K
	boolealg__t24_boolealg	2013-09-04 12:09	8.3K
	boolealg__t25_boolealg	2013-09-04 12:09	6.3K
	boolealg__t26_boolealg	2013-09-04 12:09	6.9K
	boolealg__t27_boolealg	2013-09-04 12:09	6.9K
	boolealg__t28_boolealg	2013-09-04 12:09	8.2K
	boolealg__t29_boolealg	2013-09-04 12:09	7.4K
	boolealg__t30_boolealg	2013-09-04 12:09	7.2K
	boolealg__t31_boolealg	2013-09-04 12:09	7.4K
	boolealg__t32_boolealg	2013-09-04 12:09	8.9K
	boolealg__t33_boolealg	2013-09-04 12:09	7.7K
	boolealg__t34_boolealg	2013-09-04 12:09	6.1K
	boolealg__t35_boolealg	2013-09-04 12:09	7.4K
	boolealg__t36_boolealg	2013-09-04 12:09	7.9K
	boolealg__t37_boolealg	2013-09-04 12:09	7.0K
	boolealg__t38_boolealg	2013-09-04 12:09	7.7K
	boolealg__t39_boolealg	2013-09-04 12:09	7.4K
	boolealg__t40_boolealg	2013-09-04 12:09	9.7K
	boolealg__t41_boolealg	2013-09-04 12:09	7.0K
	boolealg__t42_boolealg	2013-09-04 12:09	7.0K
	boolealg__t43_boolealg	2013-09-04 12:09	8.8K
	boolealg__t44_boolealg	2013-09-04 12:09	7.8K
	boolealg__t45_boolealg	2013-09-04 12:09	7.0K
	boolealg__t46_boolealg	2013-09-04 12:09	11K
	boolealg__t47_boolealg	2013-09-04 12:09	5.9K
	boolealg__t48_boolealg	2013-09-04 12:09	6.6K
	boolealg__t49_boolealg	2013-09-04 12:09	8.8K
	boolealg__t50_boolealg	2013-09-04 12:09	6.1K
	boolealg__t51_boolealg	2013-09-04 12:09	6.0K
	boolealg__t52_boolealg	2013-09-04 12:09	6.1K
	boolealg__t53_boolealg	2013-09-04 12:09	10K
	boolealg__t54_boolealg	2013-09-04 12:09	8.1K
	boolealg__t55_boolealg	2013-09-04 12:09	10K
	boolealg__t56_boolealg	2013-09-04 12:09	8.2K
	boolealg__t57_boolealg	2013-09-04 12:09	10K
	boolealg__t58_boolealg	2013-09-04 12:09	8.5K
	boolealg__t59_boolealg	2013-09-04 12:09	9.9K
	boolealg__t60_boolealg	2013-09-04 12:09	9.3K
	boolealg__t61_boolealg	2013-09-04 12:09	8.5K
	boolealg__t62_boolealg	2013-09-04 12:09	11K
	boolealg__t63_boolealg	2013-09-04 12:09	9.6K
	boolealg__t64_boolealg	2013-09-04 12:09	8.2K
	boolealg__t65_boolealg	2013-09-04 12:09	8.4K
	boolealg__t66_boolealg	2013-09-04 12:09	8.7K
	boolealg__t67_boolealg	2013-09-04 12:09	9.7K
	boolealg__t68_boolealg	2013-09-04 12:09	9.3K