Problem	Previously best		HOTRESTART + g (tt)				HOTRESTART + g (ttef(c))				HOTRESTART + g (ttef)
	LB	UB	LB	UB	Run time	Fails	LB	UB	Run time	Fails	LB	UB	Run time	Fails
st27_4.data	-	-	112	-	Time Out		112	-	Time Out		112	-	Time Out
st51_4.data	-	-	161	-	Time Out		155	-	Time Out		152	-	Time Out
st51_12.data	-	-	116	-	Time Out		114	-	Time Out		113	-	Time Out
st103_3.data	-	265	211	-	Time Out		216	-	Time Out		216	-	Time Out
st103_4.data	-	441	226	-	Time Out		280	-	Time Out		279	-	Time Out
st103_6.data	-	212	207	-	Time Out		207	-	Time Out		207	-	Time Out
st103_7.data	-	292	234	-	Time Out		233	-	Time Out		232	-	Time Out
st103_8.data	-	295	203	-	Time Out		207	-	Time Out		207	-	Time Out
st103_11.data	-	172	160	-	Time Out		159	-	Time Out		159	-	Time Out
st103_12.data	-	294	213	-	Time Out		213	-	Time Out		212	-	Time Out
st103_15.data	-	184	157	-	Time Out		156	-	Time Out		155	-	Time Out
st103_16.data	-	181	167	-	Time Out		167	-	Time Out		166	-	Time Out