Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/lattice8

	Name	Last modified	Size	Description
	Parent Directory		-
	lattice8__l3_lattice8	2017-01-13 00:38	49K
	lattice8__l4_lattice8	2017-01-13 00:38	41K
	lattice8__l47_lattice8	2017-01-13 00:38	41K
	lattice8__l48_lattice8	2017-01-13 00:38	45K
	lattice8__t1_lattice8	2017-01-13 00:38	62K
	lattice8__t2_lattice8	2017-01-13 00:38	51K
	lattice8__t3_lattice8	2017-01-13 00:38	71K
	lattice8__t4_lattice8	2017-01-13 00:38	64K
	lattice8__t5_lattice8	2017-01-13 00:38	83K
	lattice8__t6_lattice8	2017-01-13 00:38	76K
	lattice8__t7_lattice8	2017-01-13 00:38	100K
	lattice8__t8_lattice8	2017-01-13 00:38	333K
	lattice8__t9_lattice8	2017-01-13 00:38	110K
	lattice8__t10_lattice8	2017-01-13 00:38	82K
	lattice8__t11_lattice8	2017-01-13 00:38	81K
	lattice8__t12_lattice8	2017-01-13 00:38	94K
	lattice8__t13_lattice8	2017-01-13 00:38	85K
	lattice8__t14_lattice8	2017-01-13 00:38	49K
	lattice8__t15_lattice8	2017-01-13 00:38	49K
	lattice8__t16_lattice8	2017-01-13 00:38	50K
	lattice8__t17_lattice8	2017-01-13 00:38	44K
	lattice8__t18_lattice8	2017-01-13 00:38	77K
	lattice8__t19_lattice8	2017-01-13 00:38	78K
	lattice8__t20_lattice8	2017-01-13 00:38	79K
	lattice8__t21_lattice8	2017-01-13 00:38	45K
	lattice8__t22_lattice8	2017-01-13 00:38	92K
	lattice8__t23_lattice8	2017-01-13 00:38	82K
	lattice8__t24_lattice8	2017-01-13 00:38	83K
	lattice8__t25_lattice8	2017-01-13 00:38	92K
	lattice8__t26_lattice8	2017-01-13 00:38	92K
	lattice8__t27_lattice8	2017-01-13 00:38	127K
	lattice8__t28_lattice8	2017-01-13 00:38	68K
	lattice8__t29_lattice8	2017-01-13 00:38	129K
	lattice8__t30_lattice8	2017-01-13 00:38	108K
	lattice8__t31_lattice8	2017-01-13 00:38	109K
	lattice8__t32_lattice8	2017-01-13 00:38	101K
	lattice8__t33_lattice8	2017-01-13 00:38	92K
	lattice8__t34_lattice8	2017-01-13 00:38	354K
	lattice8__t35_lattice8	2017-01-13 00:38	262K
	lattice8__t36_lattice8	2017-01-13 00:38	43K