Tool	YES	MAYBE	TIMEOUT
AProVE-New	342 [4.72]	124 [5.70]	13
AProVE-[31]	265 [3.57]	197 [7.20]	17
AProVE-[32]	287 [3.45]	176 [9.43]	16
AProVE-[35]	340 [3.58]	127 [6.26]	12

Example	AProVE-New		AProVE-[31]		AProVE-[32]		AProVE-[35]
	YES	2.53	MAYBE	3.71	YES	2.41	YES	2.49
	MAYBE	3.31	MAYBE	3.18	MAYBE	3.15	MAYBE	3.03
	YES	2.7	YES	2.62	YES	2.62	YES	2.55
	YES	2.43	MAYBE	2.78	YES	2.41	YES	2.38
(non-term.)	MAYBE	3.17	MAYBE	2.83	MAYBE	3.13	MAYBE	3.22
(non-term.)	MAYBE	3.15	MAYBE	2.32	MAYBE	3.15	MAYBE	3.12
	YES	2.4	MAYBE	3.41	YES	2.39	YES	2.41
(non-term.)	MAYBE	3.13	MAYBE	3.41	MAYBE	3.15	MAYBE	3.14
(non-term.)	MAYBE	3.31	MAYBE	3.09	MAYBE	3.18	MAYBE	3.12
	YES	4.17	MAYBE	6.6	YES	3.81	YES	3.19
	YES	3.34	MAYBE	3.9	YES	3.49	YES	3.98
	YES	2.97	MAYBE	12.56	YES	2.69	YES	2.68
	YES	3.9	MAYBE	6.0	YES	3.16	YES	3.21
	YES	2.89	MAYBE	11.71	YES	2.63	YES	2.62
	YES	2.48	MAYBE	3.38	YES	2.43	YES	2.43
	YES	2.56	MAYBE	5.39	YES	2.5	YES	2.5
	YES	2.67	MAYBE	3.63	YES	2.5	YES	2.5
	YES	2.5	MAYBE	3.65	YES	2.52	YES	2.5
	YES	2.65	YES	2.77	YES	2.6	YES	2.56
	MAYBE	3.44	MAYBE	3.08	MAYBE	3.26	MAYBE	3.15
	YES	4.77	YES	2.88	YES	4.76	YES	5.52
	MAYBE	3.48	MAYBE	4.49	MAYBE	3.18	MAYBE	3.18
	YES	6.1	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	YES	2.78	MAYBE	4.17	YES	2.59	YES	2.59
	YES	2.45	YES	2.8	YES	2.42	YES	2.52
	YES	2.63	MAYBE	5.46	YES	2.52	YES	2.63
(non-term.)	MAYBE	3.16	MAYBE	3.52	MAYBE	3.23	MAYBE	3.26
	YES	2.59	YES	2.84	YES	2.47	YES	2.5
(non-term.)	MAYBE	3.1	MAYBE	3.66	MAYBE	3.09	MAYBE	2.98
	YES	2.6	MAYBE	3.3	YES	2.53	YES	2.52
	YES	3.32	YES	2.67	YES	3.05	YES	2.79
	YES	6.59	YES	3.67	YES	4.45	YES	3.55
	YES	3.23	MAYBE	4.05	YES	3.08	YES	2.97
	YES	3.58	YES	2.91	YES	3.36	YES	3.21
(non-term.)	MAYBE	3.22	MAYBE	3.13	MAYBE	3.1	MAYBE	3.15
	YES	2.45	MAYBE	3.71	YES	2.39	YES	2.42
	YES	2.61	MAYBE	3.89	YES	2.58	YES	2.55
(non-term.)	MAYBE	3.67	MAYBE	4.02	MAYBE	3.22	MAYBE	3.15
	YES	2.64	MAYBE	2.34	YES	2.58	YES	2.6
	YES	2.68	MAYBE	7.25	YES	2.52	YES	2.54
(non-term.)	MAYBE	3.56	MAYBE	7.47	MAYBE	3.29	MAYBE	3.15
	YES	2.82	MAYBE	2.36	YES	2.59	YES	2.63
	MAYBE	5.29	MAYBE	11.02	MAYBE	3.88	MAYBE	3.49
(non-term.)	MAYBE	12.31	MAYBE	43.74	TIMEOUT	60	MAYBE	4.84
	YES	3.1	MAYBE	9.95	YES	2.93	YES	2.88
	YES	3.0	MAYBE	2.5	YES	2.81	YES	2.75
	YES	2.91	MAYBE	6.26	YES	2.69	YES	2.75
	MAYBE	4.42	MAYBE	9.0	MAYBE	4.37	MAYBE	3.84
	MAYBE	6.46	MAYBE	10.68	MAYBE	7.06	MAYBE	5.75
	YES	3.72	MAYBE	2.71	YES	3.3	YES	3.05
	YES	3.44	MAYBE	10.85	YES	3.31	YES	2.89
	YES	2.75	TIMEOUT	60	YES	3.03	YES	2.89
	YES	5.67	MAYBE	11.04	MAYBE	6.83	YES	3.54
	YES	3.02	MAYBE	2.71	YES	2.88	YES	2.88
	YES	2.86	MAYBE	9.97	YES	2.78	YES	2.81
	YES	2.41	MAYBE	3.32	YES	2.4	YES	2.42
(non-term.)	MAYBE	3.22	MAYBE	3.52	MAYBE	3.17	MAYBE	3.14
	YES	3.23	MAYBE	2.5	YES	3.11	YES	2.95
	YES	3.11	MAYBE	17.99	YES	2.91	YES	2.75
	YES	3.43	MAYBE	2.76	YES	3.29	YES	3.16
	YES	3.89	MAYBE	2.4	YES	3.44	YES	3.34
	YES	3.28	MAYBE	4.88	YES	3.1	YES	3.0
	YES	2.6	MAYBE	7.26	YES	2.52	YES	2.52
	YES	2.72	MAYBE	2.87	YES	2.54	YES	2.58
	YES	2.47	MAYBE	4.25	YES	2.45	YES	2.48
	YES	2.64	MAYBE	4.83	YES	2.58	YES	2.53
(non-term.)	MAYBE	3.74	MAYBE	11.53	MAYBE	3.49	MAYBE	3.3
	YES	2.61	YES	3.29	YES	2.49	YES	2.47
	YES	2.69	MAYBE	2.62	YES	2.57	YES	2.52
	YES	2.77	MAYBE	21.9	YES	2.59	YES	2.69
	YES	3.39	MAYBE	18.13	MAYBE	6.16	YES	2.88
	YES	2.73	MAYBE	7.22	YES	2.59	YES	2.62
	YES	2.93	MAYBE	2.42	YES	2.77	YES	2.78
	YES	54.1	YES	3.36	YES	5.79	YES	23.54
	YES	2.68	MAYBE	2.39	YES	2.52	YES	2.56
	YES	2.66	MAYBE	4.19	YES	2.6	YES	2.59
(non-term.)	MAYBE	9.86	MAYBE	14.27	MAYBE	7.88	MAYBE	6.12
	YES	2.74	MAYBE	2.67	YES	2.62	YES	2.67
	YES	2.47	MAYBE	2.35	YES	2.44	YES	2.41
	YES	2.59	MAYBE	3.8	YES	2.6	YES	2.6
	YES	2.45	MAYBE	3.31	YES	2.42	YES	2.42
	YES	2.52	MAYBE	2.67	YES	2.49	YES	2.5
	YES	2.56	MAYBE	9.02	YES	2.52	YES	2.57
	YES	3.42	MAYBE	4.82	MAYBE	3.94	YES	2.78
	YES	2.51	MAYBE	2.62	YES	2.42	YES	2.54
	YES	2.58	MAYBE	3.83	YES	2.5	YES	2.51
(non-term.)	MAYBE	3.75	MAYBE	11.46	MAYBE	3.92	MAYBE	3.82
	YES	3.78	MAYBE	2.4	YES	3.22	YES	3.18
	YES	3.58	MAYBE	8.77	YES	3.11	YES	3.12
	YES	2.87	MAYBE	4.58	YES	2.68	YES	2.66
	YES	2.96	MAYBE	2.37	YES	2.72	YES	2.74
	MAYBE	3.79	MAYBE	4.3	MAYBE	3.14	MAYBE	3.12
	YES	2.44	MAYBE	3.14	YES	2.39	YES	2.39
	YES	2.5	MAYBE	3.44	YES	2.42	YES	2.46
	YES	2.58	MAYBE	3.46	YES	2.5	YES	2.43
	YES	3.39	MAYBE	36.37	YES	3.0	YES	2.84
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	YES	19.58	YES	3.49	YES	14.0	YES	12.7
	YES	12.9	MAYBE	2.37	YES	11.36	YES	13.31
	YES	4.2	MAYBE	2.37	YES	3.45	YES	3.28
	YES	3.85	MAYBE	10.87	YES	3.19	YES	2.91
	YES	2.69	MAYBE	7.7	YES	2.6	YES	2.56
	YES	3.04	MAYBE	2.39	YES	2.87	YES	2.75
	TIMEOUT	60	MAYBE	26.43	MAYBE	31.36	MAYBE	19.24
(non-term.)	MAYBE	25.8	MAYBE	4.5	MAYBE	11.34	MAYBE	8.82
	YES	18.02	MAYBE	53.73	YES	17.48	YES	18.11
	YES	2.78	MAYBE	2.34	YES	2.6	YES	2.63
	YES	2.69	MAYBE	24.7	YES	2.64	YES	2.65
	YES	2.53	MAYBE	2.34	YES	2.46	YES	2.42
	YES	2.56	MAYBE	3.09	YES	2.45	YES	2.46
	YES	2.43	MAYBE	2.31	YES	2.38	YES	2.47
	MAYBE	8.95	TIMEOUT	60	MAYBE	27.74	MAYBE	14.72
	MAYBE	0.52	MAYBE	0.78	MAYBE	0.52	MAYBE	0.54
	MAYBE	0.47	MAYBE	0.56	MAYBE	0.47	MAYBE	0.48
	YES	5.47	YES	3.24	MAYBE	6.17	YES	3.11
	YES	2.66	YES	3.39	YES	2.63	YES	2.52
	YES	2.75	YES	3.33	YES	2.58	YES	2.58
	YES	4.0	YES	3.56	YES	6.47	YES	5.32
	YES	4.03	YES	3.71	YES	5.27	YES	3.8
	MAYBE	5.34	MAYBE	16.98	MAYBE	35.08	MAYBE	30.29
	YES	6.02	YES	4.4	YES	10.21	YES	5.77
	YES	5.47	YES	3.89	YES	6.65	YES	4.14
	YES	2.74	YES	3.16	YES	2.64	YES	2.61
	YES	2.84	YES	3.12	YES	2.66	YES	2.63
	YES	4.65	YES	4.08	MAYBE	23.4	YES	7.01
	MAYBE	18.26	MAYBE	27.02	MAYBE	16.98	MAYBE	15.55
	YES	4.1	YES	3.2	MAYBE	4.36	YES	3.39
	YES	3.04	YES	2.7	YES	2.88	YES	2.78
(non-term.)	MAYBE	3.78	MAYBE	3.1	MAYBE	3.93	MAYBE	3.63
	YES	2.73	YES	2.57	YES	2.59	YES	2.57
	YES	2.74	YES	2.56	YES	2.63	YES	2.56
	YES	2.78	YES	2.63	YES	2.59	YES	2.55
	MAYBE	4.9	MAYBE	3.59	MAYBE	4.14	MAYBE	3.85
	MAYBE	3.43	MAYBE	3.18	MAYBE	3.37	MAYBE	3.2
	YES	4.81	YES	2.84	MAYBE	4.86	YES	3.13
	MAYBE	12.79	MAYBE	9.94	MAYBE	12.98	MAYBE	6.86
	MAYBE	4.34	MAYBE	3.66	MAYBE	4.03	MAYBE	3.34
	MAYBE	5.04	MAYBE	11.66	MAYBE	30.34	MAYBE	22.73
	YES	5.14	YES	3.72	YES	4.04	YES	3.32
	YES	4.77	YES	3.3	MAYBE	4.37	YES	3.02
	MAYBE	11.92	MAYBE	9.78	MAYBE	11.15	MAYBE	5.23
	YES	4.02	YES	2.78	YES	3.99	YES	3.44
	YES	4.16	YES	2.8	YES	4.88	YES	3.77
	MAYBE	4.73	MAYBE	11.81	MAYBE	32.58	MAYBE	29.1
	YES	5.37	YES	4.04	YES	4.87	YES	3.44
	YES	5.56	YES	3.98	YES	6.22	YES	3.89
	YES	2.89	YES	3.04	YES	2.72	YES	2.53
	YES	2.63	YES	2.46	YES	2.54	YES	2.51
	YES	2.57	YES	3.28	YES	2.53	YES	2.5
	YES	2.65	YES	2.46	YES	2.66	YES	2.54
	YES	2.65	YES	2.45	YES	2.53	YES	2.47
	YES	2.59	YES	3.43	YES	2.7	YES	2.57
	YES	2.87	YES	2.54	YES	2.72	YES	2.6
	YES	2.87	YES	3.05	YES	2.71	YES	2.69
	YES	2.79	YES	2.51	YES	2.67	YES	2.61
(non-term.)	MAYBE	3.15	MAYBE	3.77	MAYBE	3.13	MAYBE	3.19
	YES	2.67	YES	2.51	YES	2.56	YES	2.56
	MAYBE	23.35	MAYBE	10.17	MAYBE	28.86	MAYBE	14.76
	YES	2.61	YES	3.0	YES	2.6	YES	2.55
(non-term.)	MAYBE	3.14	MAYBE	3.54	MAYBE	3.15	MAYBE	3.18
	YES	3.41	YES	3.21	YES	3.04	YES	2.86
	YES	3.31	YES	2.54	MAYBE	3.58	YES	2.8
	MAYBE	5.16	MAYBE	4.38	MAYBE	4.54	MAYBE	3.4
	YES	2.56	YES	2.47	YES	2.57	YES	2.47
	YES	3.02	YES	3.12	YES	2.98	YES	2.81
	YES	3.38	YES	3.05	YES	2.93	YES	2.77
	YES	11.78	YES	4.37	YES	4.87	YES	6.46
	YES	3.26	YES	2.65	YES	2.86	YES	3.07
	YES	4.23	YES	3.88	YES	3.28	YES	3.53
	MAYBE	4.49	MAYBE	3.58	MAYBE	3.65	MAYBE	3.39
	YES	7.15	YES	5.91	MAYBE	42.16	YES	6.72
	YES	5.01	YES	3.39	YES	6.25	YES	6.29
	YES	2.63	YES	2.48	YES	2.53	YES	2.55
	YES	2.64	YES	2.89	YES	2.53	YES	2.52
	YES	9.55	YES	3.82	MAYBE	23.62	YES	5.47
	MAYBE	22.4	MAYBE	19.69	MAYBE	34.1	MAYBE	16.52
	YES	3.34	YES	2.49	YES	2.88	YES	2.82
(non-term.)	MAYBE	5.88	MAYBE	2.95	MAYBE	3.44	MAYBE	3.08
	YES	3.8	YES	2.99	YES	3.83	YES	3.2
	MAYBE	3.17	MAYBE	3.2	MAYBE	3.16	MAYBE	3.09
	YES	2.81	YES	2.47	YES	2.61	YES	2.57
	YES	2.64	YES	2.46	YES	2.61	YES	2.54
	YES	4.31	YES	4.46	YES	3.45	YES	3.21
	YES	4.72	YES	3.37	MAYBE	7.98	MAYBE	2.66
	MAYBE	7.82	MAYBE	3.9	MAYBE	4.66	MAYBE	4.07
	MAYBE	3.51	MAYBE	4.11	MAYBE	3.25	MAYBE	3.1
	YES	2.86	YES	2.59	YES	2.65	YES	2.59
	MAYBE	3.58	MAYBE	3.79	MAYBE	3.45	MAYBE	3.13
(non-term.)	MAYBE	4.06	MAYBE	9.97	MAYBE	10.23	MAYBE	9.24
	MAYBE	3.17	MAYBE	3.83	MAYBE	3.15	MAYBE	3.17
	YES	2.61	YES	2.49	YES	2.52	YES	2.52
	YES	2.62	YES	3.06	YES	2.54	YES	2.51
	YES	2.67	YES	2.45	YES	2.53	YES	2.54
	YES	4.24	YES	3.51	YES	3.37	YES	3.39
	YES	3.13	YES	2.76	YES	3.06	YES	2.76
	YES	3.14	YES	3.51	YES	3.08	YES	2.76
	YES	3.94	YES	3.28	YES	3.56	YES	3.24
(non-term.)	MAYBE	3.64	MAYBE	3.59	MAYBE	3.89	MAYBE	3.22
	YES	2.79	YES	2.5	YES	2.97	YES	2.72
	YES	2.74	YES	2.49	YES	2.6	YES	2.6
	MAYBE	11.45	MAYBE	6.26	MAYBE	8.12	MAYBE	4.34
	YES	5.53	YES	2.55	MAYBE	6.32	YES	3.12
	YES	3.14	YES	2.63	YES	2.99	YES	2.73
	YES	3.2	YES	3.21	YES	2.92	YES	2.8
	YES	2.48	MAYBE	3.27	YES	2.4	YES	2.43
	MAYBE	14.63	MAYBE	3.78	MAYBE	6.99	MAYBE	4.37
	YES	5.77	YES	3.49	YES	5.47	YES	3.61
	MAYBE	56.4	MAYBE	3.5	MAYBE	26.72	MAYBE	22.87
	YES	39.02	YES	3.38	YES	26.25	YES	25.05
	MAYBE	8.01	TIMEOUT	60	MAYBE	24.42	MAYBE	22.76
	MAYBE	15.81	MAYBE	9.63	MAYBE	15.65	MAYBE	5.79
	YES	10.43	YES	7.85	MAYBE	38.28	YES	7.07
	YES	9.06	YES	6.04	MAYBE	27.32	YES	4.94
	YES	2.81	YES	2.48	YES	2.69	YES	2.63
	YES	5.47	YES	3.19	MAYBE	6.31	YES	3.07
	YES	2.77	YES	3.29	YES	2.58	YES	2.56
	YES	3.4	YES	3.31	YES	3.13	YES	2.87
	YES	2.5	YES	2.97	YES	2.4	YES	2.4
	YES	3.2	YES	3.22	YES	2.87	YES	2.72
	YES	3.18	YES	3.1	YES	3.01	YES	2.77
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	YES	2.96	YES	2.57	YES	2.69	YES	2.69
	YES	2.82	YES	2.56	YES	2.65	YES	2.6
	YES	4.12	YES	2.88	YES	3.35	YES	2.99
	MAYBE	4.65	YES	3.07	YES	3.8	YES	3.45
	YES	3.91	YES	2.82	YES	3.39	YES	2.94
	YES	4.81	YES	2.99	MAYBE	8.12	YES	3.64
	YES	20.23	YES	4.75	YES	10.73	YES	8.99
	YES	4.86	YES	3.04	MAYBE	8.18	YES	3.72
	YES	4.98	YES	2.88	MAYBE	4.37	YES	3.51
	YES	3.07	YES	2.66	YES	2.98	YES	2.78
	TIMEOUT	60	MAYBE	9.57	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	YES	7.53	YES	4.8	YES	32.54	YES	21.33
	YES	2.67	YES	3.27	YES	2.58	YES	2.55
	YES	4.32	YES	4.01	MAYBE	4.6	YES	3.3
	YES	6.12	YES	4.06	YES	3.84	YES	5.47
	YES	3.16	YES	3.3	YES	3.05	YES	2.88
	YES	3.38	YES	3.04	MAYBE	6.42	YES	2.89
	YES	2.82	YES	3.07	YES	2.65	YES	2.67
	YES	4.25	YES	4.76	YES	3.32	YES	3.13
(non-term.)	MAYBE	25.89	MAYBE	39.19	MAYBE	12.42	MAYBE	8.91
	YES	3.8	YES	2.99	YES	3.37	YES	2.87
	YES	2.62	YES	2.6	YES	2.52	YES	2.53
	YES	2.57	MAYBE	3.17	YES	2.51	YES	2.5
	YES	2.4	YES	2.39	YES	2.4	YES	2.37
	YES	3.86	YES	3.23	MAYBE	4.3	YES	3.1
	YES	3.81	YES	2.92	YES	3.18	YES	3.11
	YES	3.28	YES	3.57	YES	2.72	YES	2.97
	MAYBE	7.77	TIMEOUT	60	MAYBE	25.07	MAYBE	22.71
	YES	4.56	YES	3.63	MAYBE	5.65	YES	3.47
	YES	2.71	YES	3.01	YES	2.61	YES	2.61
	YES	2.83	YES	3.19	YES	2.6	YES	2.6
	YES	10.83	YES	4.29	YES	5.28	YES	6.75
	YES	3.17	YES	3.36	YES	2.98	YES	2.88
	YES	2.57	YES	2.96	YES	2.5	YES	2.52
	YES	7.42	YES	5.64	MAYBE	48.79	YES	7.49
	YES	5.5	YES	4.6	YES	6.74	YES	6.83
	YES	3.07	YES	3.34	YES	2.74	YES	2.85
	YES	2.57	YES	3.13	YES	2.53	YES	2.52
	YES	3.06	YES	2.99	YES	2.94	YES	2.71
	YES	39.68	YES	5.79	MAYBE	26.89	YES	22.06
(non-term.)	MAYBE	3.14	MAYBE	3.94	MAYBE	3.2	MAYBE	3.13
	YES	41.42	TIMEOUT	60	YES	13.44	YES	16.55
	YES	7.04	YES	2.55	YES	4.75	YES	4.26
	YES	7.77	YES	3.6	TIMEOUT	60	YES	4.68
	YES	3.53	YES	2.97	YES	3.2	YES	3.04
	YES	4.2	YES	2.95	MAYBE	7.84	YES	3.22
	TIMEOUT	60	MAYBE	10.0	TIMEOUT	60	TIMEOUT	60
	YES	11.55	YES	3.35	TIMEOUT	60	YES	6.15
	YES	8.04	YES	2.53	YES	4.7	YES	3.8
	YES	2.43	YES	2.46	YES	2.35	YES	2.37
	MAYBE	3.81	MAYBE	3.12	MAYBE	3.58	MAYBE	3.16
	YES	3.77	YES	3.19	YES	3.59	YES	3.29
	TIMEOUT	60	YES	3.07	TIMEOUT	60	TIMEOUT	60
	YES	2.69	YES	2.47	YES	2.54	YES	2.65
	YES	2.49	YES	2.5	YES	2.41	YES	2.46
	YES	2.57	YES	2.44	YES	2.48	YES	2.49
	YES	2.81	YES	2.58	YES	2.67	YES	2.66
	YES	2.62	YES	2.5	YES	2.5	YES	2.52
	YES	2.61	YES	2.58	YES	2.55	YES	2.56
	YES	2.64	YES	3.18	YES	2.51	YES	2.49
	YES	15.7	YES	9.6	TIMEOUT	60	YES	9.13
	YES	15.0	YES	11.69	MAYBE	10.44	YES	6.28
	MAYBE	4.62	MAYBE	3.48	MAYBE	4.05	MAYBE	3.31
	YES	3.35	YES	2.54	MAYBE	3.81	YES	2.82
	YES	3.31	YES	3.25	YES	2.98	YES	2.92
	YES	2.81	YES	2.58	YES	2.63	YES	2.57
	YES	4.5	YES	3.5	YES	3.29	YES	3.64
	TIMEOUT	60	MAYBE	47.15	MAYBE	55.01	MAYBE	43.31
	YES	11.68	YES	5.52	MAYBE	35.21	YES	5.82
	YES	2.8	YES	3.02	YES	2.59	YES	2.6
	YES	2.74	YES	3.0	YES	2.55	YES	2.57
	MAYBE	8.18	TIMEOUT	60	MAYBE	23.78	MAYBE	23.08
	MAYBE	6.98	TIMEOUT	60	MAYBE	23.42	MAYBE	22.98
	MAYBE	6.95	TIMEOUT	60	MAYBE	24.29	MAYBE	22.85
(non-term.)	MAYBE	3.97	MAYBE	9.83	MAYBE	10.13	MAYBE	9.21
	YES	2.9	YES	2.58	YES	2.84	YES	2.63
	YES	2.63	YES	2.48	YES	2.55	YES	2.51
	YES	2.61	YES	2.47	YES	2.57	YES	2.54
	YES	3.15	YES	2.66	YES	2.89	YES	2.77
	YES	3.42	YES	2.62	YES	2.95	YES	2.94
	YES	2.64	YES	2.5	YES	2.51	YES	2.53
	YES	6.24	YES	3.25	YES	3.84	YES	3.35
	YES	3.22	YES	2.7	YES	2.87	YES	3.14
	YES	2.62	YES	2.45	YES	2.52	YES	2.53
	YES	2.68	YES	3.0	YES	2.54	YES	2.52
	YES	2.79	YES	2.58	YES	2.59	YES	2.61
	YES	2.78	YES	3.32	YES	2.62	YES	2.58
	YES	5.63	YES	2.54	MAYBE	6.31	YES	3.11
(non-term.)	MAYBE	3.84	MAYBE	3.81	MAYBE	3.47	MAYBE	3.2
	YES	4.54	YES	2.73	MAYBE	4.64	YES	3.23
(non-term.)	MAYBE	3.46	MAYBE	3.27	MAYBE	3.27	MAYBE	2.95
	YES	3.08	YES	2.94	YES	3.02	YES	2.84
	YES	4.31	YES	3.46	MAYBE	4.44	YES	3.17
	YES	12.95	YES	7.78	MAYBE	10.71	YES	6.29
	YES	4.84	YES	3.74	YES	3.35	YES	3.62
	YES	4.88	YES	3.37	YES	3.31	YES	3.59
	YES	2.65	YES	3.08	YES	2.57	YES	2.54
	YES	12.2	YES	4.05	MAYBE	38.02	YES	6.1
	YES	22.15	YES	4.6	TIMEOUT	60	YES	11.29
	YES	3.26	YES	2.51	YES	2.91	YES	2.72
	YES	3.19	YES	2.62	YES	2.84	YES	2.68
	YES	3.75	YES	3.87	YES	3.1	YES	3.18
	YES	2.74	YES	2.62	YES	2.59	YES	2.58
	YES	3.07	YES	2.7	YES	2.78	YES	2.68
	YES	3.08	YES	2.64	YES	2.91	YES	2.66
	TIMEOUT	60	YES	5.56	TIMEOUT	60	TIMEOUT	60
	YES	9.5	YES	7.72	MAYBE	9.74	YES	5.81
(non-term.)	MAYBE	3.26	MAYBE	3.98	MAYBE	3.16	MAYBE	3.11
	YES	5.02	YES	2.89	YES	3.4	YES	3.71
	YES	4.42	YES	3.65	YES	3.27	YES	3.67
	YES	2.51	YES	2.62	YES	2.44	YES	2.39
(non-term.)	MAYBE	3.62	MAYBE	4.6	MAYBE	3.49	MAYBE	3.27
	YES	2.5	YES	2.62	YES	2.44	YES	2.41
(non-term.)	MAYBE	3.8	MAYBE	3.89	MAYBE	3.16	MAYBE	3.09
	MAYBE	3.86	MAYBE	4.36	MAYBE	3.47	MAYBE	3.13
	YES	2.98	YES	2.55	YES	2.72	YES	2.64
	YES	5.23	YES	3.94	YES	4.2	YES	3.51
	YES	3.33	YES	2.58	MAYBE	4.01	YES	2.79
	MAYBE	9.23	MAYBE	5.39	MAYBE	52.22	MAYBE	8.29
(non-term.)	MAYBE	3.42	MAYBE	3.93	MAYBE	3.26	MAYBE	3.16
(non-term.)	MAYBE	3.53	MAYBE	4.65	MAYBE	3.54	MAYBE	3.3
(non-term.)	MAYBE	3.44	MAYBE	3.24	MAYBE	3.15	MAYBE	3.17
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	YES	11.74	YES	5.59	MAYBE	30.41	YES	5.9
	YES	3.24	YES	3.04	MAYBE	3.54	YES	2.82
(non-term.)	MAYBE	10.93	MAYBE	21.25	MAYBE	19.66	MAYBE	19.31
	TIMEOUT	60	TIMEOUT	60	MAYBE	49.11	MAYBE	41.24
	YES	5.12	YES	3.93	YES	3.91	YES	3.63
	YES	10.24	YES	5.74	MAYBE	12.61	YES	5.13
	YES	13.54	YES	8.73	MAYBE	11.11	YES	6.86
	YES	6.2	YES	4.33	MAYBE	28.67	YES	4.6
	TIMEOUT	60	TIMEOUT	60	MAYBE	29.13	TIMEOUT	60
	YES	2.6	YES	3.11	YES	2.45	YES	2.56
	YES	37.22	YES	4.43	TIMEOUT	60	TIMEOUT	60
	YES	2.73	YES	3.21	YES	2.6	YES	2.6
	YES	6.52	YES	4.53	YES	4.29	YES	3.67
	YES	7.54	YES	4.98	MAYBE	6.4	YES	4.27
	MAYBE	26.28	MAYBE	10.45	MAYBE	9.06	MAYBE	12.14
	YES	7.05	YES	5.44	YES	4.32	YES	3.65
	YES	3.38	YES	4.39	YES	3.21	YES	2.97
	YES	5.57	YES	4.9	MAYBE	9.05	YES	3.71
	YES	2.48	YES	3.35	YES	2.46	YES	2.4
(non-term.)	MAYBE	3.14	MAYBE	4.04	MAYBE	3.09	MAYBE	3.03
	YES	2.55	YES	3.37	YES	2.54	YES	2.56
	YES	3.2	YES	2.73	YES	3.06	YES	2.83
	YES	5.57	YES	6.04	YES	5.42	YES	4.27
	YES	4.14	YES	2.74	MAYBE	4.37	YES	3.22
	YES	3.94	YES	2.77	YES	2.98	YES	3.21
	YES	3.28	YES	2.51	YES	2.96	YES	2.81
	YES	4.33	YES	4.07	YES	3.33	YES	3.68
	YES	3.16	YES	2.66	YES	2.88	YES	3.13
	YES	12.54	YES	6.54	MAYBE	19.83	YES	5.89
	YES	4.22	YES	3.71	YES	3.6	YES	3.33
	YES	3.55	YES	3.32	YES	3.24	YES	3.05
	YES	2.52	YES	2.99	YES	2.43	YES	2.41
	MAYBE	6.77	MAYBE	3.67	MAYBE	4.03	MAYBE	3.59
	YES	4.19	YES	4.57	YES	3.66	YES	3.43
	YES	2.62	YES	2.64	YES	2.54	YES	2.48
	YES	30.26	YES	8.84	YES	21.97	YES	15.56
	YES	2.72	YES	2.46	YES	2.58	YES	2.58
	YES	2.69	YES	2.45	YES	2.6	YES	2.52
	YES	2.64	YES	2.54	YES	2.55	YES	2.55
	YES	5.11	YES	3.87	MAYBE	24.23	YES	6.61
	YES	3.41	YES	3.1	YES	2.87	YES	2.74
	YES	2.62	YES	2.51	YES	2.53	YES	2.55
	YES	5.31	YES	3.48	MAYBE	6.21	YES	3.08
	YES	3.05	YES	2.5	YES	2.86	YES	2.73
	YES	2.98	YES	3.25	YES	2.78	YES	2.65
	YES	3.46	YES	2.58	YES	3.11	YES	2.88
	YES	3.17	YES	3.27	YES	2.9	YES	2.67
	YES	2.81	YES	2.49	YES	2.62	YES	2.6
	YES	4.22	YES	2.78	YES	3.93	YES	3.4
	YES	2.68	YES	3.28	YES	2.6	YES	2.6
	YES	10.03	YES	6.43	MAYBE	9.95	YES	5.91
	YES	5.37	YES	3.33	MAYBE	6.0	YES	3.07
	YES	3.0	YES	3.53	YES	2.76	YES	2.64
	YES	3.09	YES	2.53	YES	2.73	YES	2.68
	MAYBE	9.84	MAYBE	7.71	MAYBE	8.76	MAYBE	6.18
	YES	4.85	YES	2.89	YES	4.15	YES	3.55
	YES	4.08	YES	2.77	MAYBE	4.36	YES	3.02
	YES	2.63	YES	2.47	YES	2.57	YES	2.53
	YES	4.34	YES	3.85	YES	3.26	YES	3.59
	YES	3.2	YES	2.66	YES	2.93	YES	3.11
	YES	4.99	YES	5.65	YES	3.97	YES	3.6
	YES	3.18	YES	2.56	YES	2.86	YES	2.71
	YES	3.55	YES	3.06	YES	3.12	YES	3.1
	YES	2.98	YES	3.43	YES	2.91	YES	2.66
(non-term.)	MAYBE	4.03	MAYBE	3.2	MAYBE	3.54	MAYBE	3.25
	YES	3.04	YES	3.55	YES	2.78	YES	2.66
(non-term.)	MAYBE	3.95	MAYBE	9.94	MAYBE	10.21	MAYBE	9.21
	YES	2.87	YES	3.38	YES	2.85	YES	2.63
	YES	5.36	YES	4.57	YES	4.67	YES	3.64
	YES	2.59	MAYBE	5.17	YES	2.53	YES	2.6
	YES	2.43	MAYBE	2.38	YES	2.39	YES	2.4
(non-term.)	MAYBE	3.38	MAYBE	2.39	MAYBE	3.17	MAYBE	3.17
	YES	3.3	MAYBE	4.09	YES	3.11	YES	3.03
	YES	2.48	MAYBE	6.45	YES	2.44	YES	2.5
	MAYBE	2.38	MAYBE	3.08	MAYBE	2.39	MAYBE	2.37
	MAYBE	2.39	MAYBE	3.27	MAYBE	2.34	MAYBE	2.36
	MAYBE	3.13	MAYBE	3.16	MAYBE	3.02	MAYBE	3.02
	YES	2.4	YES	2.63	YES	2.35	YES	2.37
	YES	2.39	YES	2.54	YES	2.51	YES	2.44
	MAYBE	2.36	MAYBE	2.3	MAYBE	2.32	MAYBE	2.35
	YES	2.47	MAYBE	5.64	YES	2.45	YES	2.6
	MAYBE	2.38	MAYBE	3.37	MAYBE	2.37	MAYBE	2.34
	MAYBE	2.35	MAYBE	4.43	MAYBE	2.37	MAYBE	2.4
	YES	2.49	MAYBE	3.8	YES	2.49	YES	2.39
	YES	2.38	MAYBE	3.05	YES	2.41	YES	2.48
	MAYBE	2.37	MAYBE	3.33	MAYBE	2.32	MAYBE	2.34
	MAYBE	3.11	MAYBE	3.47	MAYBE	3.1	MAYBE	2.99
	MAYBE	3.17	MAYBE	3.18	MAYBE	3.06	MAYBE	3.07
	YES	2.44	MAYBE	3.11	YES	2.35	YES	2.4
	MAYBE	2.43	MAYBE	4.11	MAYBE	2.43	MAYBE	2.41
	YES	2.39	MAYBE	11.12	YES	2.37	YES	2.46
	YES	2.43	YES	2.45	YES	2.46	YES	2.52
	MAYBE	2.45	MAYBE	5.41	MAYBE	2.53	MAYBE	2.44
	MAYBE	2.44	MAYBE	4.95	MAYBE	2.41	MAYBE	2.51
	YES	2.37	YES	2.42	YES	2.4	YES	2.38
	MAYBE	2.37	TIMEOUT	60	MAYBE	2.4	MAYBE	2.37
	YES	2.5	MAYBE	2.41	YES	2.58	YES	2.48
	MAYBE	2.74	MAYBE	34.5	MAYBE	2.75	MAYBE	2.64
	MAYBE	2.68	YES	8.74	MAYBE	2.57	MAYBE	2.54
	MAYBE	2.44	MAYBE	2.43	MAYBE	2.45	MAYBE	2.43
	YES	3.23	YES	2.7	YES	2.93	YES	3.11
	MAYBE	2.55	MAYBE	5.82	MAYBE	2.49	MAYBE	2.44
	MAYBE	2.44	MAYBE	6.59	MAYBE	2.42	MAYBE	2.44
	MAYBE	2.48	MAYBE	7.05	MAYBE	2.51	MAYBE	2.48
	MAYBE	2.44	YES	4.1	MAYBE	2.37	MAYBE	2.41
	MAYBE	2.59	YES	3.36	MAYBE	2.62	MAYBE	2.54
	TIMEOUT	60	YES	39.51	TIMEOUT	60	TIMEOUT	60
	MAYBE	2.62	YES	3.34	MAYBE	2.57	MAYBE	2.54
	MAYBE	2.55	MAYBE	34.65	MAYBE	2.53	MAYBE	2.56
	YES	2.8	MAYBE	2.5	YES	3.04	YES	2.93
	MAYBE	3.86	MAYBE	3.84	MAYBE	3.81	MAYBE	3.72
	MAYBE	2.82	YES	6.25	MAYBE	2.65	MAYBE	2.68
	MAYBE	3.42	MAYBE	3.6	MAYBE	3.4	MAYBE	3.44
	MAYBE	2.65	MAYBE	2.66	MAYBE	2.67	MAYBE	2.61
	YES	2.6	YES	2.53	YES	2.55	YES	2.57
	YES	2.64	YES	2.68	YES	2.5	YES	2.51
	MAYBE	2.56	MAYBE	22.03	MAYBE	2.52	MAYBE	2.53
	YES	3.32	YES	2.98	YES	2.99	YES	2.85
	YES	3.05	YES	2.77	YES	2.72	YES	2.71
	MAYBE	2.53	MAYBE	29.67	MAYBE	2.42	MAYBE	2.44
	MAYBE	2.64	YES	2.93	MAYBE	2.61	MAYBE	2.61
	MAYBE	2.59	YES	3.76	MAYBE	2.51	MAYBE	2.53
	MAYBE	2.74	YES	3.63	MAYBE	2.68	MAYBE	2.64
	MAYBE	3.72	MAYBE	3.46	MAYBE	3.45	MAYBE	3.45
	MAYBE	2.56	MAYBE	14.74	MAYBE	2.49	MAYBE	2.48
	YES	3.53	MAYBE	3.4	YES	3.43	YES	3.45
	MAYBE	2.57	YES	3.98	MAYBE	2.48	MAYBE	2.52
	MAYBE	2.61	YES	3.09	MAYBE	2.53	MAYBE	2.54
	MAYBE	2.96	MAYBE	2.85	MAYBE	2.85	MAYBE	2.85
	MAYBE	3.28	MAYBE	3.24	MAYBE	3.23	MAYBE	3.3
	MAYBE	2.64	MAYBE	15.02	MAYBE	2.62	MAYBE	2.59
	MAYBE	2.44	TIMEOUT	60	MAYBE	2.52	MAYBE	2.42
	MAYBE	4.48	MAYBE	3.78	MAYBE	3.85	MAYBE	3.93
	MAYBE	3.01	MAYBE	2.93	MAYBE	2.9	MAYBE	2.92