Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/polyalg1

	Name	Last modified	Size	Description
	Parent Directory		-
	polyalg1__l8_polyalg1	2017-01-12 22:14	58K
	polyalg1__t1_polyalg1	2017-01-12 22:14	20K
	polyalg1__t2_polyalg1	2017-01-12 22:14	20K
	polyalg1__t3_polyalg1	2017-01-12 22:14	44K
	polyalg1__t4_polyalg1	2017-01-12 22:14	34K
	polyalg1__t5_polyalg1	2017-01-12 22:14	81K
	polyalg1__t6_polyalg1	2017-01-12 22:14	48K
	polyalg1__t7_polyalg1	2017-01-12 22:14	48K
	polyalg1__t8_polyalg1	2017-01-12 22:14	39K
	polyalg1__t9_polyalg1	2017-01-12 22:14	40K
	polyalg1__t10_polyalg1	2017-01-12 22:14	68K
	polyalg1__t11_polyalg1	2017-01-12 22:14	31K
	polyalg1__t12_polyalg1	2017-01-12 22:14	32K
	polyalg1__t13_polyalg1	2017-01-12 22:14	37K
	polyalg1__t14_polyalg1	2017-01-12 22:14	36K
	polyalg1__t15_polyalg1	2017-01-12 22:14	42K
	polyalg1__t16_polyalg1	2017-01-12 22:14	42K
	polyalg1__t17_polyalg1	2017-01-12 22:14	42K
	polyalg1__t18_polyalg1	2017-01-12 22:14	47K
	polyalg1__t19_polyalg1	2017-01-12 22:14	53K
	polyalg1__t20_polyalg1	2017-01-12 22:14	49K
	polyalg1__t21_polyalg1	2017-01-12 22:14	36K
	polyalg1__t22_polyalg1	2017-01-12 22:14	61K
	polyalg1__t23_polyalg1	2017-01-12 22:14	73K
	polyalg1__t24_polyalg1	2017-01-12 22:14	56K