Index of /~mptp/1147/MPTP2/problems_thf_tls/osalg_4

	Name	Last modified	Size	Description
	Parent Directory		-
	osalg_4__t1_osalg_4	2017-01-12 22:06	46K
	osalg_4__t2_osalg_4	2017-01-12 22:06	60K
	osalg_4__t3_osalg_4	2017-01-12 22:06	39K
	osalg_4__t4_osalg_4	2017-01-12 22:06	44K
	osalg_4__t5_osalg_4	2017-01-12 22:06	43K
	osalg_4__t6_osalg_4	2017-01-12 22:06	158K
	osalg_4__t7_osalg_4	2017-01-12 22:06	43K
	osalg_4__t8_osalg_4	2017-01-12 22:06	42K
	osalg_4__t9_osalg_4	2017-01-12 22:06	28K
	osalg_4__t10_osalg_4	2017-01-12 22:06	59K
	osalg_4__t11_osalg_4	2017-01-12 22:06	43K
	osalg_4__t12_osalg_4	2017-01-12 22:06	71K
	osalg_4__t13_osalg_4	2017-01-12 22:06	58K
	osalg_4__t14_osalg_4	2017-01-12 22:06	92K
	osalg_4__t15_osalg_4	2017-01-12 22:06	129K
	osalg_4__t16_osalg_4	2017-01-12 22:06	71K
	osalg_4__t17_osalg_4	2017-01-12 22:06	140K
	osalg_4__t18_osalg_4	2017-01-12 22:06	96K
	osalg_4__t19_osalg_4	2017-01-12 22:06	66K
	osalg_4__t20_osalg_4	2017-01-12 22:06	60K
	osalg_4__t21_osalg_4	2017-01-12 22:06	74K
	osalg_4__t22_osalg_4	2017-01-12 22:06	69K
	osalg_4__t23_osalg_4	2017-01-12 22:06	73K
	osalg_4__t24_osalg_4	2017-01-12 22:06	100K
	osalg_4__t25_osalg_4	2017-01-12 22:06	129K