Problem	HOTRESTART + g (tt)				HOTRESTART + g (ttef(c))				HOTRESTART + g (ttef)
	LB	UB	Run time	Fails	LB	UB	Run time	Fails	LB	UB	Run time	Fails
pack002	745	-	Time Out		745	-	Time Out		745	-	Time Out
pack003	624	-	Time Out		624	-	Time Out		624	-	Time Out
pack009	1558	-	Time Out		1593	-	Time Out		1588	-	Time Out
pack012	1234	-	Time Out		1234	-	Time Out		1233	-	Time Out
pack016	1716	-	Time Out		1783	-	Time Out		1782	-	Time Out
pack017	1584	-	Time Out		1641	-	Time Out		1641	-	Time Out
pack018	1459	-	Time Out		1462	-	Time Out		1461	-	Time Out
pack019	1506	-	Time Out		1526	-	Time Out		1525	-	Time Out
pack025	1729	-	Time Out		2053	-	Time Out		2061	-	Time Out
pack027	1782	-	Time Out		1789	-	Time Out		1789	-	Time Out
pack028	1846	-	Time Out		1897	-	Time Out		1897	-	Time Out
pack036	2173	-	Time Out		2174	-	Time Out		2175	-	Time Out
pack037	3259	-	Time Out		3325	-	Time Out		3313	-	Time Out
pack039	2730	-	Time Out		2730	-	Time Out		2730	-	Time Out
pack041	678	-	Time Out		679	-	Time Out		678	-	Time Out
pack046	3243	-	Time Out		3243	-	Time Out		3243	-	Time Out
pack047	2740	-	Time Out		2740	-	Time Out		2740	-	Time Out
pack050	2687	-	Time Out		2687	-	Time Out		2686	-	Time Out