HOIRESTART + g (tt)	HOIRESTART + g (ttef(c))	HOIRESTART + g (ttef)
Avg. runtime compare	8.90434 sec (#129)	9.3614 sec (#129)	13.5538 sec (#129)
Avg. Fails compare	19997.7 Fails (#129)	16466.2 Fails (#129)	17239.3 Fails (#129)
Avg. runtime solved	17.737 sec (#132)	12.3219 sec (#130)	13.5538 sec (#129)
Avg. Fails solved	32978.7 Fails (#132)	19087.3 Fails (#130)	17239.3 Fails (#129)
Avg. runtime all	66.2243 sec (#144)	69.4144 sec (#144)	74.5953 sec (#144)
Avg. Fails all	87226.7 Fails (#144)	72056.2 Fails (#144)	63554.7 Fails (#144)

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_1.data	-	-	41	41	0.01s	25	41	41	0.00s	25	41	41	0.01s	25
st27_2.data	-	-	53	53	0.02s	161	53	53	0.02s	161	53	53	0.03s	161
st27_3.data	-	-	68	68	0.05s	602	68	68	0.10s	602	68	68	0.13s	590
st27_4.data	-	-	-	114	Time Out	982691	-	114	Time Out	866673	-	114	Time Out	836902
st27_5.data	-	-	56	56	0.00s	116	56	56	0.02s	116	56	56	0.02s	114
st27_6.data	-	-	73	73	0.00s	47	73	73	0.00s	47	73	73	0.01s	36
st27_7.data	-	-	54	54	0.00s	144	54	54	0.02s	144	54	54	0.02s	146
st27_8.data	-	-	95	95	0.49s	6183	95	95	0.64s	5826	95	95	0.87s	6017
st27_9.data	-	-	38	38	0.00s	25	38	38	0.00s	25	38	38	0.01s	25
st27_10.data	-	-	45	45	0.00s	25	45	45	0.00s	25	45	45	0.00s	25
st27_11.data	-	-	57	57	0.02s	72	57	57	0.01s	72	57	57	0.01s	71
st27_12.data	-	-	73	73	88.06s	347666	73	73	102.08s	334048	73	73	138.85s	347993
st27_13.data	-	-	38	38	0.01s	25	38	38	0.00s	25	38	38	0.01s	25
st27_14.data	-	-	55	55	0.00s	60	55	55	0.01s	60	55	55	0.00s	60
st27_15.data	-	-	46	46	0.01s	25	46	46	0.01s	25	46	46	0.00s	25
st27_16.data	-	-	75	75	2.62s	30337	75	75	5.82s	44647	75	75	3.75s	25717
st27_17.data	-	-	55	55	0.01s	46	55	55	0.01s	46	55	55	0.02s	46
st27_18.data	-	-	55	55	0.00s	71	55	55	0.02s	71	55	55	0.02s	71
st27_19.data	-	-	79	79	0.01s	117	79	79	0.02s	117	79	79	0.02s	108
st27_20.data	-	-	152	152	0.21s	3023	152	152	0.42s	3023	152	152	0.70s	3522
st27_21.data	-	-	92	92	0.00s	88	92	92	0.00s	88	92	92	0.01s	88
st27_22.data	-	-	86	86	0.00s	36	86	86	0.00s	36	86	86	0.00s	36
st27_23.data	-	-	82	82	0.01s	91	82	82	0.02s	91	82	82	0.01s	80
st27_24.data	-	-	106	106	0.02s	198	106	106	0.02s	198	106	106	0.02s	193
st27_25.data	-	-	51	51	0.00s	25	51	51	0.01s	25	51	51	0.01s	25
st27_26.data	-	-	53	53	0.01s	25	53	53	0.00s	25	53	53	0.01s	25
st27_27.data	-	-	58	58	0.01s	75	58	58	0.01s	75	58	58	0.02s	75
st27_28.data	-	-	95	95	0.15s	2172	95	95	0.30s	2250	95	95	0.39s	2283
st27_29.data	-	-	51	51	0.01s	63	51	51	0.00s	63	51	51	0.00s	63
st27_30.data	-	-	76	76	0.01s	110	76	76	0.02s	110	76	76	0.02s	111
st27_31.data	-	-	75	75	0.01s	114	75	75	0.02s	114	75	75	0.01s	100
st27_32.data	-	-	82	82	0.02s	367	82	82	0.02s	367	82	82	0.03s	357
st27_33.data	-	-	66	66	0.00s	25	66	66	0.00s	25	66	66	0.01s	25
st27_34.data	-	-	61	61	0.01s	25	61	61	0.01s	25	61	61	0.01s	25
st27_35.data	-	-	115	115	0.01s	66	115	115	0.01s	66	115	115	0.01s	66
st27_36.data	-	-	146	146	0.02s	106	146	146	0.02s	105	146	146	0.02s	105
st27_37.data	-	-	78	78	0.01s	28	78	78	0.01s	28	78	78	0.00s	28
st27_38.data	-	-	100	100	0.01s	35	100	100	0.01s	35	100	100	0.01s	35
st27_39.data	-	-	119	119	0.01s	52	119	119	0.01s	52	119	119	0.00s	52
st27_40.data	-	-	130	130	0.01s	67	130	130	0.00s	67	130	130	0.02s	67
st27_41.data	-	-	60	60	0.01s	25	60	60	0.01s	25	60	60	0.01s	25
st27_42.data	-	-	53	53	0.01s	25	53	53	0.01s	25	53	53	0.01s	25
st27_43.data	-	-	75	75	0.00s	28	75	75	0.01s	28	75	75	0.00s	28
st27_44.data	-	-	88	88	0.02s	147	88	88	0.01s	147	88	88	0.01s	147
st27_45.data	-	-	49	49	0.01s	43	49	49	0.01s	43	49	49	0.01s	43
st27_46.data	-	-	65	65	0.01s	25	65	65	0.00s	25	65	65	0.00s	25
st27_47.data	-	-	75	75	0.01s	67	75	75	0.01s	67	75	75	0.02s	64
st27_48.data	-	-	80	80	0.01s	59	80	80	0.01s	59	80	80	0.01s	59
st51_1.data	-	-	98	98	0.01s	49	98	98	0.02s	49	98	98	0.03s	49
st51_2.data	-	-	96	96	0.06s	257	96	96	0.08s	241	96	96	0.07s	211
st51_3.data	-	-	133	133	258.36s	495200	133	133	279.32s	404116	133	133	326.90s	361469
st51_4.data	-	-	-	219	Time Out	1300369	-	219	Time Out	883136	-	221	Time Out	707196
st51_5.data	-	-	97	97	0.04s	361	97	97	0.06s	373	97	97	0.07s	364
st51_6.data	-	-	126	126	1.53s	6552	126	126	1.69s	5355	126	126	5.25s	11642
st51_7.data	-	-	120	120	331.43s	446923	120	120	305.99s	441568	120	120	317.47s	430999
st51_8.data	-	-	194	194	459.86s	733370	-	194	Time Out	794447	-	194	Time Out	692732
st51_9.data	-	-	74	74	0.02s	49	74	74	0.02s	49	74	74	0.03s	49
st51_10.data	-	-	73	73	0.02s	90	73	73	0.03s	90	73	73	0.02s	90
st51_11.data	-	-	99	99	0.03s	182	99	99	0.05s	182	99	99	0.05s	182
st51_12.data	-	-	-	138	Time Out	1092534	-	139	Time Out	976390	-	137	Time Out	851710
st51_13.data	-	-	84	84	0.01s	60	84	84	0.02s	60	84	84	0.01s	60
st51_14.data	-	-	86	86	0.03s	198	86	86	0.03s	198	86	86	0.01s	197
st51_15.data	-	-	86	86	0.11s	862	86	86	0.15s	855	86	86	0.75s	2947
st51_16.data	-	-	132	132	199.52s	484283	132	132	76.70s	206563	132	132	129.26s	242904
st51_17.data	-	-	84	84	0.02s	49	84	84	0.02s	49	84	84	0.02s	49
st51_18.data	-	-	99	99	0.02s	158	99	99	0.05s	158	99	99	0.06s	158
st51_19.data	-	-	170	170	0.24s	1368	170	170	0.40s	1241	170	170	0.74s	1570
st51_20.data	-	-	274	274	14.69s	77373	274	274	36.80s	97272	274	274	53.69s	96599
st51_21.data	-	-	145	145	0.01s	130	145	145	0.01s	130	145	145	0.01s	130
st51_22.data	-	-	168	168	0.10s	1087	168	168	0.18s	1087	168	168	0.16s	816
st51_23.data	-	-	183	183	0.14s	1360	183	183	0.20s	1360	183	183	0.21s	942
st51_24.data	-	-	228	228	2.61s	23472	228	228	4.94s	27259	228	228	7.14s	28859
st51_25.data	-	-	95	95	0.01s	49	95	95	0.02s	49	95	95	0.02s	49
st51_26.data	-	-	89	89	0.01s	49	89	89	0.01s	49	89	89	0.02s	49
st51_27.data	-	-	113	113	0.03s	92	113	113	0.03s	92	113	113	0.04s	92
st51_28.data	-	-	164	164	3.55s	26112	164	164	7.68s	25528	164	164	11.52s	25753
st51_29.data	-	-	98	98	0.02s	52	98	98	0.02s	52	98	98	0.01s	52
st51_30.data	-	-	105	105	0.08s	827	105	105	0.09s	806	105	105	0.10s	622
st51_31.data	-	-	130	130	0.02s	187	130	130	0.03s	187	130	130	0.02s	184
st51_32.data	-	-	139	139	0.23s	2936	139	139	0.48s	3547	139	139	0.49s	2624
st51_33.data	-	-	116	116	0.02s	94	116	116	0.03s	94	116	116	0.03s	94
st51_34.data	-	-	115	115	0.03s	145	115	115	0.04s	145	115	115	0.04s	145
st51_35.data	-	-	173	173	0.04s	150	173	173	0.05s	150	173	173	0.04s	150
st51_36.data	-	-	300	300	0.39s	3005	300	300	1.49s	5145	300	300	1.91s	4493
st51_37.data	-	-	162	162	0.03s	311	162	162	0.03s	311	162	162	0.04s	311
st51_38.data	-	-	177	177	0.03s	149	177	177	0.02s	149	177	177	0.03s	149
st51_39.data	-	-	189	189	0.10s	1203	189	189	0.10s	762	189	189	0.19s	995
st51_40.data	-	-	218	218	0.03s	146	218	218	0.03s	146	218	218	0.03s	136
st51_41.data	-	-	102	102	0.02s	49	102	102	0.01s	49	102	102	0.01s	49
st51_42.data	-	-	108	108	0.02s	49	108	108	0.00s	49	108	108	0.02s	49
st51_43.data	-	-	121	121	0.04s	217	121	121	0.06s	217	121	121	0.07s	217
st51_44.data	-	-	174	174	0.43s	3282	174	174	0.87s	3305	174	174	1.68s	4237
st51_45.data	-	-	122	122	0.02s	64	122	122	0.02s	64	122	122	0.01s	64
st51_46.data	-	-	125	125	0.01s	78	125	125	0.02s	78	125	125	0.02s	78
st51_47.data	-	-	151	151	0.01s	112	151	151	0.02s	109	151	151	0.01s	99
st51_48.data	-	-	167	167	0.09s	1030	167	167	0.07s	548	167	167	0.14s	638
st103_1.data	158	158	158	158	0.41s	444	158	158	0.53s	442	158	158	0.63s	431
st103_2.data	-	187	182	182	437.01s	474273	-	182	Time Out	447997	-	182	Time Out	295577
st103_3.data	-	265	-	259	Time Out	574080	-	264	Time Out	418969	-	263	Time Out	291943
st103_4.data	-	441	-	445	Time Out	650375	-	449	Time Out	493828	-	447	Time Out	280235
st103_5.data	-	192	191	191	1.58s	4484	191	191	2.78s	4728	191	191	3.53s	4415
st103_6.data	-	212	-	209	Time Out	358428	-	210	Time Out	298669	-	211	Time Out	289759
st103_7.data	-	292	-	293	Time Out	443192	-	300	Time Out	433160	-	304	Time Out	370511
st103_8.data	-	295	-	301	Time Out	534839	-	305	Time Out	509068	-	294	Time Out	360616
st103_9.data	-	139	139	139	0.10s	183	139	139	0.16s	183	139	139	0.23s	183
st103_10.data	-	119	119	119	0.23s	252	119	119	0.32s	252	119	119	0.41s	252
st103_11.data	-	172	-	171	Time Out	500869	-	170	Time Out	351137	-	169	Time Out	291250
st103_12.data	-	294	-	302	Time Out	639984	-	305	Time Out	414191	-	309	Time Out	444386
st103_13.data	127	127	127	127	0.34s	1164	127	127	0.45s	1113	127	127	0.54s	1035
st103_14.data	-	156	152	152	10.98s	21145	152	152	16.51s	20767	152	152	15.98s	15195
st103_15.data	-	184	-	168	Time Out	561759	-	179	Time Out	489005	-	182	Time Out	425510
st103_16.data	-	181	-	181	Time Out	568342	-	179	Time Out	518072	-	182	Time Out	410588
st103_17.data	209	209	209	209	0.06s	101	209	209	0.08s	101	209	209	0.10s	101
st103_18.data	232	232	232	232	0.43s	652	232	232	0.73s	652	232	232	1.21s	747
st103_19.data	-	306	301	301	2.39s	4322	301	301	6.20s	5944	301	301	7.28s	4595
st103_20.data	-	478	475	475	295.75s	565836	475	475	394.23s	357203	-	475	Time Out	379093
st103_21.data	276	276	276	276	0.23s	968	276	276	0.34s	968	276	276	0.40s	959
st103_22.data	-	296	295	295	1.70s	7548	295	295	2.24s	6019	295	295	3.30s	6813
st103_23.data	-	372	368	368	10.57s	38217	368	368	16.81s	37503	368	368	13.23s	20760
st103_24.data	-	452	449	449	26.93s	101195	449	449	41.62s	81616	449	449	76.59s	103459
st103_25.data	177	177	177	177	0.05s	101	177	177	0.08s	101	177	177	0.11s	101
st103_26.data	183	183	183	183	0.06s	101	183	183	0.09s	101	183	183	0.12s	101
st103_27.data	-	199	199	199	0.26s	351	199	199	0.31s	333	199	199	0.41s	333
st103_28.data	-	295	295	295	159.22s	329178	295	295	209.51s	198822	295	295	524.08s	338172
st103_29.data	225	225	225	225	0.04s	230	225	225	0.03s	230	225	225	0.06s	230
st103_30.data	231	231	231	231	0.29s	1635	231	231	0.48s	1635	231	231	0.62s	1635
st103_31.data	-	227	227	227	0.32s	1752	227	227	0.90s	3009	227	227	1.36s	3048
st103_32.data	-	289	281	281	4.32s	25592	281	281	16.96s	49258	281	281	18.71s	37316
st103_33.data	220	220	220	220	0.12s	197	220	220	0.16s	197	220	220	0.17s	197
st103_34.data	264	264	264	264	0.48s	919	264	264	0.88s	919	264	264	1.23s	919
st103_35.data	341	341	341	341	1.85s	3373	341	341	2.73s	2557	341	341	6.46s	4606
st103_36.data	575	575	575	575	6.93s	18923	575	575	31.34s	33508	575	575	18.00s	12548
st103_37.data	327	327	327	327	0.16s	558	327	327	0.25s	558	327	327	0.38s	676
st103_38.data	376	376	376	376	0.18s	519	376	376	0.27s	557	376	376	0.30s	493
st103_39.data	389	389	389	389	0.86s	3123	389	389	2.48s	5885	389	389	3.33s	5427
st103_40.data	451	451	451	451	1.62s	6186	451	451	5.76s	12953	451	451	5.03s	8149
st103_41.data	191	191	191	191	0.06s	101	191	191	0.09s	101	191	191	0.11s	101
st103_42.data	187	187	187	187	0.06s	101	187	187	0.08s	101	187	187	0.10s	101
st103_43.data	260	260	260	260	0.37s	614	260	260	0.63s	614	260	260	0.83s	617
st103_44.data	375	375	375	375	7.90s	24859	375	375	14.54s	19158	375	375	34.28s	28932
st103_45.data	216	216	216	216	0.04s	199	216	216	0.04s	199	216	216	0.06s	199
st103_46.data	251	251	251	251	0.06s	242	251	251	0.07s	246	251	251	0.08s	240
st103_47.data	262	262	262	262	0.45s	2497	262	262	1.19s	3406	262	262	1.37s	2610
st103_48.data	300	300	300	300	0.82s	4274	300	300	2.24s	6151	300	300	4.21s	7522