Index of /~mptp/1147/MPTP2/problems_small_consist/gate_1

	Name	Last modified	Size	Description
	Parent Directory		-
	gate_1__t1_gate_1	2013-09-04 12:41	874
	gate_1__t2_gate_1	2013-09-04 12:41	499
	gate_1__t3_gate_1	2013-09-04 12:41	561
	gate_1__t4_gate_1	2013-09-04 12:41	756
	gate_1__t5_gate_1	2013-09-04 12:41	832
	gate_1__t6_gate_1	2013-09-04 12:41	1.1K
	gate_1__t7_gate_1	2013-09-04 12:41	703
	gate_1__t8_gate_1	2013-09-04 12:41	1.0K
	gate_1__t9_gate_1	2013-09-04 12:41	963
	gate_1__t10_gate_1	2013-09-04 12:41	961
	gate_1__t11_gate_1	2013-09-04 12:41	1.2K
	gate_1__t12_gate_1	2013-09-04 12:41	866
	gate_1__t13_gate_1	2013-09-04 12:41	743
	gate_1__t14_gate_1	2013-09-04 12:41	868
	gate_1__t15_gate_1	2013-09-04 12:41	1.0K
	gate_1__t16_gate_1	2013-09-04 12:41	2.1K
	gate_1__t17_gate_1	2013-09-04 12:41	1.5K
	gate_1__t18_gate_1	2013-09-04 12:41	1.2K
	gate_1__t19_gate_1	2013-09-04 12:41	1.0K
	gate_1__t20_gate_1	2013-09-04 12:41	1.2K
	gate_1__t21_gate_1	2013-09-04 12:41	1.2K
	gate_1__t22_gate_1	2013-09-04 12:41	1.3K
	gate_1__t23_gate_1	2013-09-04 12:41	1.1K
	gate_1__t24_gate_1	2013-09-04 12:41	1.3K
	gate_1__t25_gate_1	2013-09-04 12:41	1.3K
	gate_1__t26_gate_1	2013-09-04 12:41	1.5K
	gate_1__t27_gate_1	2013-09-04 12:41	1.2K
	gate_1__t28_gate_1	2013-09-04 12:41	1.4K
	gate_1__t29_gate_1	2013-09-04 12:41	1.5K
	gate_1__t30_gate_1	2013-09-04 12:41	1.6K
	gate_1__t31_gate_1	2013-09-04 12:41	1.3K
	gate_1__t32_gate_1	2013-09-04 12:41	1.5K
	gate_1__t33_gate_1	2013-09-04 12:41	1.6K
	gate_1__t34_gate_1	2013-09-04 12:41	1.7K
	gate_1__t35_gate_1	2013-09-04 12:41	1.4K
	gate_1__t36_gate_1	2013-09-04 12:41	1.6K
	gate_1__t37_gate_1	2013-09-04 12:41	1.7K
	gate_1__t38_gate_1	2013-09-04 12:41	1.9K
	gate_1__t39_gate_1	2013-09-04 12:41	1.5K
	gate_1__t40_gate_1	2013-09-04 12:41	3.2K
	gate_1__t41_gate_1	2013-09-04 12:41	1.3K
	gate_1__t42_gate_1	2013-09-04 12:41	14K