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

	Name	Last modified	Size	Description
	Parent Directory		-
	turing_1__l38_turing_1	2013-09-04 12:46	53K
	turing_1__l40_turing_1	2013-09-04 12:46	53K
	turing_1__l42_turing_1	2013-09-04 12:46	61K
	turing_1__l44_turing_1	2013-09-04 12:46	54K
	turing_1__l52_turing_1	2013-09-04 12:46	48K
	turing_1__l53_turing_1	2013-09-04 12:46	48K
	turing_1__l54_turing_1	2013-09-04 12:46	55K
	turing_1__l60_turing_1	2013-09-04 12:46	47K
	turing_1__l61_turing_1	2013-09-04 12:46	47K
	turing_1__l62_turing_1	2013-09-04 12:46	55K
	turing_1__l68_turing_1	2013-09-04 12:46	43K
	turing_1__l69_turing_1	2013-09-04 12:46	43K
	turing_1__l70_turing_1	2013-09-04 12:46	50K
	turing_1__l71_turing_1	2013-09-04 12:46	56K
	turing_1__l94_turing_1	2013-09-04 12:46	37K
	turing_1__t1_turing_1	2013-09-04 12:46	9.3K
	turing_1__t2_turing_1	2013-09-04 12:46	18K
	turing_1__t3_turing_1	2013-09-04 12:46	18K
	turing_1__t4_turing_1	2013-09-04 12:46	31K
	turing_1__t5_turing_1	2013-09-04 12:46	33K
	turing_1__t6_turing_1	2013-09-04 12:46	32K
	turing_1__t7_turing_1	2013-09-04 12:46	19K
	turing_1__t8_turing_1	2013-09-04 12:46	20K
	turing_1__t9_turing_1	2013-09-04 12:46	19K
	turing_1__t10_turing_1	2013-09-04 12:46	21K
	turing_1__t11_turing_1	2013-09-04 12:46	38K
	turing_1__t12_turing_1	2013-09-04 12:46	34K
	turing_1__t13_turing_1	2013-09-04 12:46	19K
	turing_1__t14_turing_1	2013-09-04 12:46	51K
	turing_1__t15_turing_1	2013-09-04 12:46	50K
	turing_1__t16_turing_1	2013-09-04 12:46	42K
	turing_1__t17_turing_1	2013-09-04 12:46	28K
	turing_1__t18_turing_1	2013-09-04 12:46	134K
	turing_1__t19_turing_1	2013-09-04 12:46	31K
	turing_1__t20_turing_1	2013-09-04 12:46	135K
	turing_1__t21_turing_1	2013-09-04 12:46	228K
	turing_1__t22_turing_1	2013-09-04 12:46	50K
	turing_1__t23_turing_1	2013-09-04 12:46	226K
	turing_1__t24_turing_1	2013-09-04 12:46	21K
	turing_1__t25_turing_1	2013-09-04 12:46	30K
	turing_1__t26_turing_1	2013-09-04 12:46	20K
	turing_1__t27_turing_1	2013-09-04 12:46	431K
	turing_1__t28_turing_1	2013-09-04 12:46	34K
	turing_1__t29_turing_1	2013-09-04 12:46	103K
	turing_1__t30_turing_1	2013-09-04 12:46	45K
	turing_1__t31_turing_1	2013-09-04 12:46	400K
	turing_1__t32_turing_1	2013-09-04 12:46	85K
	turing_1__t33_turing_1	2013-09-04 12:46	45K
	turing_1__t34_turing_1	2013-09-04 12:46	251K
	turing_1__t35_turing_1	2013-09-04 12:46	72K
	turing_1__t36_turing_1	2013-09-04 12:46	40K
	turing_1__t37_turing_1	2013-09-04 12:46	253K
	turing_1__t38_turing_1	2013-09-04 12:46	339K
	turing_1__t39_turing_1	2013-09-04 12:46	12K
	turing_1__t40_turing_1	2013-09-04 12:46	12K
	turing_1__t41_turing_1	2013-09-04 12:46	12K
	turing_1__t42_turing_1	2013-09-04 12:46	12K
	turing_1__t43_turing_1	2013-09-04 12:46	37K
	turing_1__t44_turing_1	2013-09-04 12:46	37K
	turing_1__t45_turing_1	2013-09-04 12:46	67K
	turing_1__t46_turing_1	2013-09-04 12:46	24K
	turing_1__t47_turing_1	2013-09-04 12:46	24K
	turing_1__t48_turing_1	2013-09-04 12:46	40K
	turing_1__t49_turing_1	2013-09-04 12:46	75K