HOIRESTART + g (tt)	HOIRESTART + g (ttef(c))	HOIRESTART + g (ttef)
Avg. runtime compare	32.7241 sec (#37)	23.9595 sec (#37)	36.9278 sec (#37)
Avg. Fails compare	42503.7 Fails (#37)	32916.6 Fails (#37)	37004.9 Fails (#37)
Avg. runtime solved	32.7241 sec (#37)	23.9595 sec (#37)	36.9278 sec (#37)
Avg. Fails solved	42503.7 Fails (#37)	32916.6 Fails (#37)	37004.9 Fails (#37)
Avg. runtime all	218.259 sec (#55)	212.366 sec (#55)	221.113 sec (#55)
Avg. Fails all	184294 Fails (#55)	170301 Fails (#55)	157016 Fails (#55)

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
pack001	612	612	1.29s	3813	612	612	1.37s	3571	612	612	1.83s	3610
pack002	-	748	Time Out	283807	-	747	Time Out	257473	-	747	Time Out	229424
pack003	-	625	Time Out	620477	-	625	Time Out	473483	-	625	Time Out	349622
pack004	1381	1381	47.30s	60383	1381	1381	47.60s	57923	1381	1381	54.77s	46044
pack005	983	983	74.50s	95743	983	983	39.69s	57297	983	983	51.88s	51360
pack006	1119	1119	15.82s	45957	1119	1119	17.59s	44441	1119	1119	24.55s	44526
pack007	1082	1082	0.07s	182	1082	1082	0.07s	190	1082	1082	0.06s	180
pack008	1274	1274	111.25s	210585	1274	1274	126.69s	213057	1274	1274	132.91s	208352
pack009	-	1951	Time Out	546434	-	1951	Time Out	534987	-	1951	Time Out	493301
pack010	1216	1216	3.54s	11452	1216	1216	3.95s	12060	1216	1216	4.27s	11777
pack011	940	940	290.44s	234948	940	940	9.16s	19968	940	940	174.84s	138610
pack012	-	1241	Time Out	580767	-	1241	Time Out	501819	-	1241	Time Out	454247
pack013	829	829	0.10s	856	829	829	0.10s	594	829	829	0.19s	862
pack014	1565	1565	66.79s	80969	1565	1565	46.77s	54168	1565	1565	88.97s	81203
pack015	1198	1198	153.15s	241324	1198	1198	147.74s	220054	1198	1198	135.08s	194724
pack016	-	1813	Time Out	458456	-	1813	Time Out	501367	-	1813	Time Out	396788
pack017	-	1651	Time Out	368791	-	1651	Time Out	258796	-	1651	Time Out	272759
pack018	-	1480	Time Out	649859	-	1480	Time Out	575819	-	1480	Time Out	524605
pack019	-	1542	Time Out	374261	-	1542	Time Out	364868	-	1542	Time Out	296464
pack020	1661	1661	157.30s	175013	1661	1661	239.28s	234794	1661	1661	227.44s	163751
pack021	1606	1606	0.10s	378	1606	1606	0.12s	563	1606	1606	0.14s	607
pack022	1787	1787	1.80s	6524	1787	1787	2.43s	7544	1787	1787	2.69s	6586
pack023	1092	1092	4.75s	21785	1092	1092	4.08s	16594	1092	1092	5.23s	15316
pack024	1625	1625	25.50s	48988	1625	1625	31.19s	54622	1625	1625	35.78s	46567
pack025	-	2147	Time Out	683790	-	2147	Time Out	593508	-	2147	Time Out	402867
pack026	926	926	12.80s	46204	926	926	15.07s	44163	926	926	19.06s	43431
pack027	-	1793	Time Out	458423	-	1793	Time Out	408117	-	1793	Time Out	413002
pack028	-	1962	Time Out	543926	-	1962	Time Out	558867	-	1962	Time Out	507682
pack029	1233	1233	1.71s	9784	1233	1233	3.20s	12805	1233	1233	1.44s	5311
pack030	597	597	0.07s	512	597	597	0.08s	470	597	597	0.09s	463
pack031	1949	1949	0.12s	280	1949	1949	0.12s	280	1949	1949	0.14s	280
pack032	2943	2943	0.02s	18	2943	2943	0.03s	18	2943	2943	0.04s	18
pack033	3390	3390	0.02s	18	3390	3390	0.03s	18	3390	3390	0.01s	18
pack034	2371	2371	0.15s	276	2371	2371	0.14s	276	2371	2371	0.15s	276
pack035	2305	2305	0.03s	18	2305	2305	0.02s	18	2305	2305	0.03s	18
pack036	-	2191	Time Out	561115	-	2191	Time Out	468451	-	2191	Time Out	510490
pack037	-	3614	Time Out	472691	-	3614	Time Out	551711	-	3614	Time Out	495360
pack038	2180	2180	0.27s	979	2180	2180	0.59s	1604	2180	2180	0.64s	1628
pack039	-	2734	Time Out	281614	-	2738	Time Out	317513	-	2734	Time Out	312742
pack040	3024	3024	2.46s	4160	3024	3024	2.60s	3889	3024	3024	2.95s	4243
pack041	-	680	Time Out	351271	-	679	Time Out	341275	-	679	Time Out	312361
pack042	838	838	19.21s	43261	838	838	2.25s	6486	838	838	3.36s	7454
pack043	2439	2439	4.87s	22095	2439	2439	5.40s	22033	2439	2439	6.88s	22934
pack044	3050	3050	0.94s	3207	3050	3050	1.05s	3207	3050	3050	0.97s	2900
pack045	2712	2712	0.03s	18	2712	2712	0.02s	18	2712	2712	0.03s	18
pack046	-	3277	Time Out	432547	-	3277	Time Out	580119	-	3277	Time Out	459581
pack047	-	2745	Time Out	410502	-	2745	Time Out	400949	-	2745	Time Out	401085
pack048	2446	2446	0.18s	296	2446	2446	0.20s	296	2446	2446	0.18s	296
pack049	675	675	194.47s	158267	675	675	135.25s	117639	675	675	385.83s	257295
pack050	-	2716	Time Out	484793	-	2716	Time Out	459528	-	2716	Time Out	434300
pack051	838	838	19.22s	43261	838	838	2.21s	6486	838	838	3.36s	7454
pack052	2253	2253	0.29s	733	2253	2253	0.18s	419	2253	2253	0.28s	718
pack053	2521	2521	0.03s	18	2521	2521	0.03s	18	2521	2521	0.04s	18
pack054	2750	2750	0.10s	203	2750	2750	0.11s	203	2750	2750	0.11s	203
pack055	2628	2628	0.10s	130	2628	2628	0.09s	130	2628	2628	0.11s	130