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

	Name	Last modified	Size	Description
	Parent Directory		-
	scm_halt__l1_scm_halt	2013-09-04 12:57	37K
	scm_halt__l2_scm_halt	2013-09-04 12:57	56K
	scm_halt__l3_scm_halt	2013-09-04 12:57	53K
	scm_halt__l4_scm_halt	2013-09-04 12:57	58K
	scm_halt__t2_scm_halt	2013-09-04 12:57	76K
	scm_halt__t4_scm_halt	2013-09-04 12:57	76K
	scm_halt__t5_scm_halt	2013-09-04 12:57	79K
	scm_halt__t6_scm_halt	2013-09-04 12:57	113K
	scm_halt__t7_scm_halt	2013-09-04 12:57	67K
	scm_halt__t8_scm_halt	2013-09-04 12:57	71K
	scm_halt__t9_scm_halt	2013-09-04 12:57	70K
	scm_halt__t10_scm_halt	2013-09-04 12:57	108K
	scm_halt__t11_scm_halt	2013-09-04 12:57	114K
	scm_halt__t12_scm_halt	2013-09-04 12:57	119K
	scm_halt__t13_scm_halt	2013-09-04 12:57	110K
	scm_halt__t14_scm_halt	2013-09-04 12:57	110K
	scm_halt__t15_scm_halt	2013-09-04 12:57	207K
	scm_halt__t16_scm_halt	2013-09-04 12:57	151K
	scm_halt__t17_scm_halt	2013-09-04 12:57	106K
	scm_halt__t18_scm_halt	2013-09-04 12:57	155K
	scm_halt__t19_scm_halt	2013-09-04 12:57	137K
	scm_halt__t20_scm_halt	2013-09-04 12:57	93K
	scm_halt__t21_scm_halt	2013-09-04 12:57	94K
	scm_halt__t22_scm_halt	2013-09-04 12:57	75K
	scm_halt__t23_scm_halt	2013-09-04 12:57	117K
	scm_halt__t24_scm_halt	2013-09-04 12:57	120K
	scm_halt__t25_scm_halt	2013-09-04 12:57	63K
	scm_halt__t26_scm_halt	2013-09-04 12:57	59K
	scm_halt__t27_scm_halt	2013-09-04 12:57	73K
	scm_halt__t28_scm_halt	2013-09-04 12:57	103K
	scm_halt__t29_scm_halt	2013-09-04 12:57	105K
	scm_halt__t30_scm_halt	2013-09-04 12:57	62K
	scm_halt__t31_scm_halt	2013-09-04 12:57	57K
	scm_halt__t32_scm_halt	2013-09-04 12:57	61K
	scm_halt__t33_scm_halt	2013-09-04 12:57	63K
	scm_halt__t34_scm_halt	2013-09-04 12:57	66K
	scm_halt__t35_scm_halt	2013-09-04 12:57	63K
	scm_halt__t36_scm_halt	2013-09-04 12:57	66K
	scm_halt__t37_scm_halt	2013-09-04 12:57	73K
	scm_halt__t38_scm_halt	2013-09-04 12:57	66K
	scm_halt__t39_scm_halt	2013-09-04 12:57	65K
	scm_halt__t40_scm_halt	2013-09-04 12:57	68K
	scm_halt__t41_scm_halt	2013-09-04 12:57	65K
	scm_halt__t42_scm_halt	2013-09-04 12:57	68K
	scm_halt__t43_scm_halt	2013-09-04 12:57	75K
	scm_halt__t44_scm_halt	2013-09-04 12:57	67K
	scm_halt__t45_scm_halt	2013-09-04 12:57	69K
	scm_halt__t46_scm_halt	2013-09-04 12:57	67K
	scm_halt__t47_scm_halt	2013-09-04 12:57	69K
	scm_halt__t48_scm_halt	2013-09-04 12:57	72K
	scm_halt__t49_scm_halt	2013-09-04 12:57	57K
	scm_halt__t50_scm_halt	2013-09-04 12:57	56K
	scm_halt__t51_scm_halt	2013-09-04 12:57	65K
	scm_halt__t52_scm_halt	2013-09-04 12:57	62K
	scm_halt__t53_scm_halt	2013-09-04 12:57	62K
	scm_halt__t54_scm_halt	2013-09-04 12:57	123K
	scm_halt__t55_scm_halt	2013-09-04 12:57	83K
	scm_halt__t56_scm_halt	2013-09-04 12:57	77K
	scm_halt__t57_scm_halt	2013-09-04 12:57	85K
	scm_halt__t58_scm_halt	2013-09-04 12:57	77K
	scm_halt__t59_scm_halt	2013-09-04 12:57	83K
	scm_halt__t60_scm_halt	2013-09-04 12:57	318K
	scm_halt__t61_scm_halt	2013-09-04 12:57	110K
	scm_halt__t62_scm_halt	2013-09-04 12:57	117K
	scm_halt__t63_scm_halt	2013-09-04 12:57	123K
	scm_halt__t64_scm_halt	2013-09-04 12:57	251K
	scm_halt__t65_scm_halt	2013-09-04 12:57	136K
	scm_halt__t66_scm_halt	2013-09-04 12:57	454K
	scm_halt__t67_scm_halt	2013-09-04 12:57	125K
	scm_halt__t68_scm_halt	2013-09-04 12:57	126K
	scm_halt__t69_scm_halt	2013-09-04 12:57	112K
	scm_halt__t70_scm_halt	2013-09-04 12:57	110K