HOIRESTART + g (tt)	HOIRESTART + g (ttef(c))	HOIRESTART + g (ttef)
Avg. runtime compare	77.65 sec (#16)	37.2156 sec (#16)	44.44 sec (#16)
Avg. Fails compare	245442 Fails (#16)	122039 Fails (#16)	105751 Fails (#16)
Avg. runtime solved	77.65 sec (#16)	17.4615 sec (#39)	19.4954 sec (#39)
Avg. Fails solved	245442 Fails (#16)	56953.8 Fails (#39)	47786.5 Fails (#39)
Avg. runtime all	447.69 sec (#55)	186.791 sec (#55)	188.235 sec (#55)
Avg. Fails all	699615 Fails (#55)	292101 Fails (#55)	257747 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	-	23	Time Out	922813	23	23	0.02s	321	23	23	0.05s	459
pack002	-	32	Time Out	869174	32	32	0.19s	1857	32	32	0.08s	612
pack003	-	29	Time Out	938681	29	29	0.13s	1458	29	29	0.05s	374
pack004	-	44	Time Out	1022717	-	44	Time Out	1004413	-	44	Time Out	816337
pack005	42	42	107.10s	386399	42	42	103.47s	357991	42	42	114.72s	364436
pack006	47	47	140.95s	448271	47	47	183.46s	490685	47	47	209.92s	457207
pack007	41	41	205.37s	515449	41	41	165.38s	436991	41	41	273.95s	431887
pack008	44	44	37.70s	219593	44	44	40.64s	202180	44	44	15.00s	50664
pack009	-	72	Time Out	1111731	-	72	Time Out	1158751	-	72	Time Out	1042451
pack010	38	38	46.30s	237894	38	38	0.05s	778	38	38	0.06s	511
pack011	-	44	Time Out	882379	44	44	0.07s	850	44	44	0.03s	372
pack012	-	45	Time Out	925218	45	45	0.07s	683	45	45	1.15s	7674
pack013	36	36	35.16s	193569	36	36	0.19s	3152	36	36	0.39s	3684
pack014	-	45	Time Out	852959	45	45	0.16s	1877	45	45	0.05s	449
pack015	-	43	Time Out	854298	43	43	0.01s	369	43	43	0.05s	527
pack016	-	63	Time Out	933146	63	63	0.26s	1934	63	63	0.37s	1872
pack017	-	62	Time Out	957440	62	62	0.31s	2497	62	62	0.60s	2760
pack018	-	60	Time Out	1039383	60	60	2.30s	20488	60	60	3.34s	20496
pack019	-	59	Time Out	942992	59	59	0.16s	1465	59	59	0.26s	1426
pack020	-	62	Time Out	1027163	62	62	1.22s	10145	62	62	0.14s	675
pack021	51	51	0.02s	514	51	51	0.03s	368	51	51	0.04s	307
pack022	59	59	107.35s	363153	59	59	14.07s	82130	59	59	5.24s	23120
pack023	-	51	Time Out	857640	51	51	0.10s	857	51	51	0.21s	1264
pack024	-	56	Time Out	763768	56	56	0.94s	6656	56	56	9.69s	34458
pack025	-	70	Time Out	875518	-	70	Time Out	834959	-	70	Time Out	528751
pack026	-	54	Time Out	776513	54	54	0.04s	420	54	54	0.03s	319
pack027	-	56	Time Out	851034	55	55	0.20s	1408	55	55	0.87s	3782
pack028	-	64	Time Out	949282	64	64	0.22s	1528	64	64	0.27s	1254
pack029	43	43	144.72s	395433	43	43	0.52s	5875	43	43	0.21s	1501
pack030	20	20	135.49s	393023	20	20	0.04s	505	20	20	0.04s	348
pack031	-	70	Time Out	768185	70	70	0.00s	25	70	70	0.00s	25
pack032	80	80	0.13s	2180	80	80	0.06s	893	80	80	0.08s	833
pack033	78	78	45.97s	174529	78	78	49.43s	171136	78	78	56.51s	194961
pack034	73	73	1.20s	16215	73	73	0.73s	8633	73	73	1.29s	11955
pack035	-	77	Time Out	829575	-	77	Time Out	794604	-	77	Time Out	620900
pack036	-	106	Time Out	681706	-	106	Time Out	780763	-	106	Time Out	656210
pack037	-	138	Time Out	964370	-	138	Time Out	869888	-	138	Time Out	878407
pack038	-	87	Time Out	724133	86	86	77.68s	201324	86	86	31.41s	88831
pack039	-	111	Time Out	770492	-	111	Time Out	865215	-	111	Time Out	727082
pack040	-	91	Time Out	719475	-	91	Time Out	663876	-	91	Time Out	588117
pack041	-	27	Time Out	858102	27	27	0.58s	4687	27	27	0.08s	463
pack042	-	29	Time Out	819777	29	29	0.23s	1669	29	29	0.11s	547
pack043	105	105	17.77s	98163	105	105	19.94s	93026	105	105	20.82s	90518
pack044	103	103	0.89s	12157	103	103	1.20s	11742	103	103	1.56s	11933
pack045	-	87	Time Out	698423	-	87	Time Out	649359	-	87	Time Out	569856
pack046	-	128	Time Out	899103	-	128	Time Out	819149	-	128	Time Out	785390
pack047	-	107	Time Out	838883	-	107	Time Out	831603	-	107	Time Out	762774
pack048	-	77	Time Out	836657	-	77	Time Out	797511	-	77	Time Out	772082
pack049	-	29	Time Out	960424	29	29	0.47s	4390	29	29	0.35s	2463
pack050	-	109	Time Out	996936	-	109	Time Out	959689	-	109	Time Out	1003968
pack051	-	29	Time Out	998593	29	29	0.19s	1669	29	29	0.09s	547
pack052	85	85	216.28s	470525	85	85	16.24s	86535	85	85	11.21s	48158
pack053	-	113	Time Out	956111	-	113	Time Out	956711	-	113	Time Out	939414
pack054	-	100	Time Out	890806	-	100	Time Out	922987	-	100	Time Out	807645
pack055	-	97	Time Out	986182	-	97	Time Out	934902	-	97	Time Out	813053