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
pack004	40	-	Time Out		43	-	Time Out		43	-	Time Out
pack009	50	-	Time Out		57	-	Time Out		57	-	Time Out
pack025	49	-	Time Out		69	-	Time Out		69	-	Time Out
pack035	72	-	Time Out		73	-	Time Out		73	-	Time Out
pack036	85	-	Time Out		100	-	Time Out		100	-	Time Out
pack037	98	-	Time Out		115	-	Time Out		116	-	Time Out
pack039	90	-	Time Out		99	-	Time Out		99	-	Time Out
pack040	80	-	Time Out		87	-	Time Out		87	-	Time Out
pack045	86	-	Time Out		86	-	Time Out		85	-	Time Out
pack046	98	-	Time Out		109	-	Time Out		110	-	Time Out
pack047	103	-	Time Out		103	-	Time Out		103	-	Time Out
pack048	76	-	Time Out		76	-	Time Out		76	-	Time Out
pack050	88	-	Time Out		94	-	Time Out		94	-	Time Out
pack053	93	-	Time Out		96	-	Time Out		97	-	Time Out
pack054	91	-	Time Out		92	-	Time Out		91	-	Time Out
pack055	91	-	Time Out		91	-	Time Out		91	-	Time Out