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

	Name	Last modified	Size	Description
	Parent Directory		-
	pboole__l22_pboole	2013-09-04 12:55	6.2K
	pboole__t1_pboole	2013-09-04 12:55	502
	pboole__t2_pboole	2013-09-04 12:55	6.9K
	pboole__t3_pboole	2013-09-04 12:55	6.2K
	pboole__t4_pboole	2013-09-04 12:55	9.7K
	pboole__t5_pboole	2013-09-04 12:55	11K
	pboole__t6_pboole	2013-09-04 12:55	9.5K
	pboole__t7_pboole	2013-09-04 12:55	6.9K
	pboole__t8_pboole	2013-09-04 12:55	6.7K
	pboole__t9_pboole	2013-09-04 12:55	6.2K
	pboole__t10_pboole	2013-09-04 12:55	5.7K
	pboole__t11_pboole	2013-09-04 12:55	6.7K
	pboole__t12_pboole	2013-09-04 12:55	6.9K
	pboole__t13_pboole	2013-09-04 12:55	6.0K
	pboole__t14_pboole	2013-09-04 12:55	8.0K
	pboole__t15_pboole	2013-09-04 12:55	7.8K
	pboole__t16_pboole	2013-09-04 12:55	8.0K
	pboole__t17_pboole	2013-09-04 12:55	7.8K
	pboole__t18_pboole	2013-09-04 12:55	2.8K
	pboole__t19_pboole	2013-09-04 12:55	2.8K
	pboole__t20_pboole	2013-09-04 12:55	3.0K
	pboole__t21_pboole	2013-09-04 12:55	3.0K
	pboole__t22_pboole	2013-09-04 12:55	3.4K
	pboole__t23_pboole	2013-09-04 12:55	3.4K
	pboole__t24_pboole	2013-09-04 12:55	3.5K
	pboole__t25_pboole	2013-09-04 12:55	11K
	pboole__t26_pboole	2013-09-04 12:55	3.7K
	pboole__t27_pboole	2013-09-04 12:55	3.7K
	pboole__t28_pboole	2013-09-04 12:55	7.6K
	pboole__t29_pboole	2013-09-04 12:55	7.4K
	pboole__t30_pboole	2013-09-04 12:55	4.5K
	pboole__t31_pboole	2013-09-04 12:55	4.5K
	pboole__t32_pboole	2013-09-04 12:55	9.4K
	pboole__t33_pboole	2013-09-04 12:55	4.6K
	pboole__t34_pboole	2013-09-04 12:55	4.1K
	pboole__t35_pboole	2013-09-04 12:55	4.1K
	pboole__t36_pboole	2013-09-04 12:55	4.8K
	pboole__t37_pboole	2013-09-04 12:55	2.4K
	pboole__t38_pboole	2013-09-04 12:55	2.4K
	pboole__t39_pboole	2013-09-04 12:55	2.7K
	pboole__t40_pboole	2013-09-04 12:55	2.7K
	pboole__t41_pboole	2013-09-04 12:55	2.6K
	pboole__t42_pboole	2013-09-04 12:55	2.6K
	pboole__t43_pboole	2013-09-04 12:55	9.9K
	pboole__t44_pboole	2013-09-04 12:55	10K
	pboole__t45_pboole	2013-09-04 12:55	14K
	pboole__t46_pboole	2013-09-04 12:55	13K
	pboole__t47_pboole	2013-09-04 12:55	13K
	pboole__t48_pboole	2013-09-04 12:55	13K
	pboole__t49_pboole	2013-09-04 12:55	13K
	pboole__t50_pboole	2013-09-04 12:55	13K
	pboole__t51_pboole	2013-09-04 12:55	13K
	pboole__t52_pboole	2013-09-04 12:55	12K
	pboole__t53_pboole	2013-09-04 12:55	7.3K
	pboole__t54_pboole	2013-09-04 12:55	7.3K
	pboole__t55_pboole	2013-09-04 12:55	2.6K
	pboole__t56_pboole	2013-09-04 12:55	7.0K
	pboole__t57_pboole	2013-09-04 12:55	13K
	pboole__t58_pboole	2013-09-04 12:55	12K
	pboole__t59_pboole	2013-09-04 12:55	12K
	pboole__t60_pboole	2013-09-04 12:55	11K
	pboole__t61_pboole	2013-09-04 12:55	12K
	pboole__t62_pboole	2013-09-04 12:55	10K
	pboole__t63_pboole	2013-09-04 12:55	12K
	pboole__t64_pboole	2013-09-04 12:55	12K
	pboole__t65_pboole	2013-09-04 12:55	13K
	pboole__t66_pboole	2013-09-04 12:55	4.2K
	pboole__t67_pboole	2013-09-04 12:55	4.4K
	pboole__t68_pboole	2013-09-04 12:55	13K
	pboole__t69_pboole	2013-09-04 12:55	12K
	pboole__t70_pboole	2013-09-04 12:55	13K
	pboole__t71_pboole	2013-09-04 12:55	12K
	pboole__t72_pboole	2013-09-04 12:55	9.8K
	pboole__t73_pboole	2013-09-04 12:55	10K
	pboole__t74_pboole	2013-09-04 12:55	16K
	pboole__t75_pboole	2013-09-04 12:55	12K
	pboole__t76_pboole	2013-09-04 12:55	4.3K
	pboole__t77_pboole	2013-09-04 12:55	4.2K
	pboole__t78_pboole	2013-09-04 12:55	2.9K
	pboole__t79_pboole	2013-09-04 12:55	5.2K
	pboole__t80_pboole	2013-09-04 12:55	3.7K
	pboole__t81_pboole	2013-09-04 12:55	14K
	pboole__t82_pboole	2013-09-04 12:55	4.8K
	pboole__t83_pboole	2013-09-04 12:55	5.3K
	pboole__t84_pboole	2013-09-04 12:55	13K
	pboole__t85_pboole	2013-09-04 12:55	15K
	pboole__t86_pboole	2013-09-04 12:55	5.3K
	pboole__t87_pboole	2013-09-04 12:55	5.1K
	pboole__t88_pboole	2013-09-04 12:55	4.5K
	pboole__t89_pboole	2013-09-04 12:55	5.6K
	pboole__t90_pboole	2013-09-04 12:55	6.9K
	pboole__t91_pboole	2013-09-04 12:55	5.6K
	pboole__t92_pboole	2013-09-04 12:55	5.8K
	pboole__t93_pboole	2013-09-04 12:55	14K
	pboole__t94_pboole	2013-09-04 12:55	14K
	pboole__t95_pboole	2013-09-04 12:55	13K
	pboole__t96_pboole	2013-09-04 12:55	5.4K
	pboole__t97_pboole	2013-09-04 12:55	5.4K
	pboole__t98_pboole	2013-09-04 12:55	3.0K
	pboole__t99_pboole	2013-09-04 12:55	2.4K
	pboole__t100_pboole	2013-09-04 12:55	2.4K
	pboole__t101_pboole	2013-09-04 12:55	2.1K
	pboole__t102_pboole	2013-09-04 12:55	3.0K
	pboole__t103_pboole	2013-09-04 12:55	3.7K
	pboole__t104_pboole	2013-09-04 12:55	3.0K
	pboole__t105_pboole	2013-09-04 12:55	2.8K
	pboole__t106_pboole	2013-09-04 12:55	7.4K
	pboole__t107_pboole	2013-09-04 12:55	6.7K
	pboole__t108_pboole	2013-09-04 12:55	7.2K
	pboole__t109_pboole	2013-09-04 12:55	3.2K
	pboole__t110_pboole	2013-09-04 12:55	11K
	pboole__t111_pboole	2013-09-04 12:55	13K
	pboole__t112_pboole	2013-09-04 12:55	11K
	pboole__t113_pboole	2013-09-04 12:55	12K
	pboole__t114_pboole	2013-09-04 12:55	13K
	pboole__t115_pboole	2013-09-04 12:55	8.4K
	pboole__t116_pboole	2013-09-04 12:55	3.4K
	pboole__t117_pboole	2013-09-04 12:55	8.0K
	pboole__t118_pboole	2013-09-04 12:55	7.3K
	pboole__t119_pboole	2013-09-04 12:55	6.7K
	pboole__t120_pboole	2013-09-04 12:55	1.3K
	pboole__t121_pboole	2013-09-04 12:55	9.3K
	pboole__t122_pboole	2013-09-04 12:55	6.0K
	pboole__t123_pboole	2013-09-04 12:55	5.8K
	pboole__t124_pboole	2013-09-04 12:55	10K
	pboole__t125_pboole	2013-09-04 12:55	11K
	pboole__t126_pboole	2013-09-04 12:55	10K
	pboole__t127_pboole	2013-09-04 12:55	12K
	pboole__t128_pboole	2013-09-04 12:55	11K
	pboole__t129_pboole	2013-09-04 12:55	11K
	pboole__t130_pboole	2013-09-04 12:55	7.5K
	pboole__t131_pboole	2013-09-04 12:55	7.5K
	pboole__t132_pboole	2013-09-04 12:55	10K
	pboole__t133_pboole	2013-09-04 12:55	2.1K
	pboole__t134_pboole	2013-09-04 12:55	6.8K
	pboole__t135_pboole	2013-09-04 12:55	10K
	pboole__t136_pboole	2013-09-04 12:55	3.8K
	pboole__t137_pboole	2013-09-04 12:55	8.5K
	pboole__t138_pboole	2013-09-04 12:55	6.6K
	pboole__t139_pboole	2013-09-04 12:55	6.5K
	pboole__t140_pboole	2013-09-04 12:55	7.1K
	pboole__t141_pboole	2013-09-04 12:55	4.6K
	pboole__t142_pboole	2013-09-04 12:55	3.7K
	pboole__t143_pboole	2013-09-04 12:55	7.5K
	pboole__t144_pboole	2013-09-04 12:55	3.6K
	pboole__t145_pboole	2013-09-04 12:55	9.2K
	pboole__t146_pboole	2013-09-04 12:55	2.8K