Tool	YES	MAYBE	TIMEOUT
AProVE	232 [6.3]	57 [19.1]	7
Polytool	204 [3.1]	82 [3.0]	10
TerminWeb	177 [0.5]	118 [0.6]	1
cTI	167 [0.1]	129 [0.0]	0
TALP	163 [2.5]	112 [1.4]	21

Example	AProVE		Polytool		TerminWeb		cTI		TALP
	MAYBE	17.63	MAYBE	3.08	MAYBE	0.34	MAYBE	0.02	MAYBE	0.33
	YES	3.38	MAYBE	1.43	YES	0.30	MAYBE	0.03	YES	0.72
	YES	4.56	YES	1.64	YES	0.90	YES	0.01	YES	0.33
	YES	4.95	YES	1.80	MAYBE	1.01	YES	0.02	YES	1.03
	MAYBE	17.39	MAYBE	2.44	MAYBE	0.11	MAYBE	0.03	MAYBE	0.73
	YES	5.61	YES	2.15	MAYBE	0.10	YES	0.03	KILLED	60.00
	MAYBE	15.51	MAYBE	1.78	MAYBE	1.17	MAYBE	0.05	MAYBE	0.31
	YES	5.69	YES	2.27	MAYBE	1.09	YES	0.03	YES	0.37
	KILLED	60.00	MAYBE	2.67	MAYBE	0.22	MAYBE	0.03	MAYBE	0.27
	MAYBE	21.05	MAYBE	3.29	MAYBE	0.18	MAYBE	0.04	MAYBE	0.23
	YES	10.84	YES	10.02	MAYBE	0.18	MAYBE	0.04	KILLED	60.00
	YES	15.28	KILLED	60.00	MAYBE	0.19	MAYBE	0.04	MAYBE	0.28
	MAYBE	32.44	MAYBE	2.51	MAYBE	0.16	MAYBE	0.03	MAYBE	0.46
	KILLED	60.00	MAYBE	2.46	MAYBE	0.26	MAYBE	0.04	MAYBE	41.16
	MAYBE	8.41	MAYBE	2.53	MAYBE	0.17	MAYBE	0.03	MAYBE	0.48
	YES	3.42	YES	1.27	YES	0.14	YES	0.02	YES	0.46
	YES	3.99	YES	1.82	YES	0.06	YES	0.01	YES	0.25
	YES	4.91	YES	1.27	YES	0.07	YES	0.00	YES	0.35
	YES	4.04	YES	1.27	YES	0.08	YES	0.02	YES	0.25
	YES	4.50	YES	1.38	YES	0.06	YES	0.01	YES	0.29
	YES	4.56	YES	1.33	YES	0.07	YES	0.00	MAYBE	0.23
	YES	4.50	YES	1.26	YES	0.07	YES	0.00	YES	0.27
	YES	21.89	YES	5.76	MAYBE	0.29	MAYBE	0.06	KILLED	60.00
	YES	26.99	KILLED	60.00	MAYBE	0.54	MAYBE	0.07	MAYBE	0.23
	MAYBE	16.69	MAYBE	1.28	MAYBE	0.13	MAYBE	0.02	MAYBE	0.31
	YES	4.94	YES	1.32	YES	0.11	YES	0.00	YES	0.39
	YES	4.87	YES	1.82	YES	0.10	YES	0.01	YES	0.35
	YES	4.62	YES	1.33	YES	0.10	YES	0.02	YES	0.27
	YES	5.06	YES	2.33	YES	0.15	YES	0.03	YES	0.34
	KILLED	60.00	MAYBE	2.77	MAYBE	1.05	MAYBE	0.06	MAYBE	0.26
	YES	13.10	YES	3.71	YES	1.03	YES	0.07	YES	33.76
	YES	4.53	YES	1.28	YES	0.10	YES	0.01	YES	0.25
	YES	4.46	YES	1.27	YES	0.09	YES	0.01	YES	0.34
	YES	5.00	YES	1.45	YES	0.13	YES	0.02	YES	0.30
	MAYBE	18.18	MAYBE	1.60	MAYBE	0.11	MAYBE	0.02	MAYBE	3.50
	YES	4.61	YES	1.28	YES	0.08	YES	0.01	YES	0.27
	MAYBE	15.42	MAYBE	1.47	MAYBE	0.10	MAYBE	0.02	MAYBE	0.21
	YES	4.67	YES	2.11	MAYBE	0.10	MAYBE	0.01	YES	0.42
	YES	4.18	YES	1.38	YES	0.07	YES	0.01	YES	0.50
	YES	5.76	YES	2.27	YES	0.14	YES	0.02	YES	0.31
	YES	4.52	YES	1.27	YES	0.10	YES	0.02	YES	0.28
	YES	5.12	YES	2.04	YES	0.08	YES	0.02	YES	0.46
	YES	4.84	YES	2.06	YES	0.08	YES	0.02	YES	0.24
	YES	4.40	YES	1.27	YES	0.07	YES	0.01	YES	0.28
	YES	7.59	YES	2.58	YES	0.19	YES	0.03	YES	0.40
	YES	5.24	YES	1.78	YES	0.10	YES	0.02	YES	0.27
	YES	4.52	YES	1.28	YES	0.08	YES	0.01	YES	0.25
	YES	4.59	YES	1.27	YES	0.09	YES	0.01	YES	0.45
	YES	3.49	YES	1.73	YES	0.13	YES	0.04	YES	0.47
	YES	3.93	YES	1.80	YES	0.15	YES	0.03	YES	0.50
	YES	5.54	YES	2.94	YES	0.48	YES	0.03	YES	0.36
	YES	12.97	YES	2.97	YES	0.44	YES	0.05	YES	11.42
	YES	5.54	YES	1.88	YES	0.21	YES	0.05	MAYBE	0.32
	YES	4.23	MAYBE	7.87	YES	0.32	MAYBE	0.01	YES	0.47
	YES	7.30	YES	3.47	YES	0.33	YES	0.05	YES	26.09
	YES	4.29	YES	1.41	YES	0.09	YES	0.01	YES	0.24
	YES	4.97	YES	1.51	YES	0.14	YES	0.03	YES	0.26
	YES	21.91	KILLED	60.00	MAYBE	0.34	YES	0.08	KILLED	60.00
	MAYBE	13.55	MAYBE	1.27	MAYBE	0.11	MAYBE	0.02	MAYBE	0.28
	YES	5.62	YES	2.62	YES	0.17	YES	0.04	YES	0.34
	YES	6.83	YES	3.28	YES	0.17	YES	0.03	YES	0.66
	YES	5.01	YES	1.63	MAYBE	0.05	MAYBE	0.01	YES	0.25
	MAYBE	15.55	MAYBE	1.63	MAYBE	0.06	MAYBE	0.01	MAYBE	0.27
	MAYBE	15.78	MAYBE	1.44	MAYBE	0.06	MAYBE	0.01	MAYBE	21.01
	YES	4.07	MAYBE	1.71	YES	0.07	MAYBE	0.01	MAYBE	20.41
	MAYBE	14.77	MAYBE	1.46	MAYBE	0.11	MAYBE	0.02	MAYBE	0.33
	YES	4.56	YES	1.53	YES	0.09	YES	0.01	YES	0.31
	YES	7.18	YES	2.83	YES	0.22	YES	0.03	YES	0.32
	YES	4.09	YES	1.33	YES	0.10	YES	0.01	YES	0.33
	MAYBE	24.80	MAYBE	2.30	MAYBE	0.17	MAYBE	0.03	KILLED	60.00
	MAYBE	14.24	MAYBE	1.42	MAYBE	0.07	MAYBE	0.01	MAYBE	0.29
	MAYBE	14.78	MAYBE	1.30	MAYBE	0.05	MAYBE	0.00	MAYBE	0.23
	MAYBE	14.70	MAYBE	5.23	MAYBE	0.05	MAYBE	0.00	MAYBE	0.19
	MAYBE	57.73	MAYBE	4.67	MAYBE	0.26	MAYBE	0.09	KILLED	60.00
	YES	11.03	YES	4.11	MAYBE	1.33	YES	0.05	YES	31.43
	YES	4.12	YES	1.52	YES	0.11	YES	0.01	YES	0.34
	MAYBE	24.34	MAYBE	2.11	MAYBE	0.12	MAYBE	0.02	MAYBE	22.71
	MAYBE	50.34	MAYBE	10.33	MAYBE	0.16	MAYBE	0.02	KILLED	60.00
	YES	8.62	YES	3.08	YES	0.20	YES	0.03	YES	6.99
	YES	12.37	YES	5.71	MAYBE	0.36	MAYBE	0.06	KILLED	60.00
	YES	14.07	YES	5.35	MAYBE	0.30	YES	0.05	KILLED	60.00
	KILLED	60.00	MAYBE	7.70	MAYBE	0.31	MAYBE	0.05	KILLED	60.00
	YES	13.16	YES	3.78	YES	0.26	YES	0.04	YES	32.42
	YES	4.50	YES	1.46	YES	0.07	YES	0.00	YES	0.24
	YES	6.18	YES	3.28	YES	0.21	YES	0.04	YES	0.32
	MAYBE	15.21	MAYBE	5.73	MAYBE	0.14	MAYBE	0.02	MAYBE	0.31
	YES	18.00	YES	5.39	MAYBE	0.28	MAYBE	0.06	KILLED	60.00
	YES	5.94	YES	2.66	YES	0.19	YES	0.04	YES	0.33
	YES	12.04	YES	6.23	YES	1.09	YES	0.06	YES	32.06
	YES	4.69	YES	1.52	YES	0.15	YES	0.02	YES	0.32
	YES	6.40	YES	2.89	YES	0.13	YES	0.02	YES	0.49
	YES	3.59	YES	1.58	YES	0.12	YES	0.02	YES	0.37
	YES	4.33	YES	1.43	YES	0.09	YES	0.02	YES	0.25
	YES	4.82	YES	1.44	YES	0.17	YES	0.02	YES	0.32
	YES	8.15	YES	2.35	YES	8.02	YES	2.08	YES	0.77
	YES	6.17	YES	1.87	YES	8.07	YES	2.08	YES	0.60
	YES	10.90	YES	2.51	YES	8.14	YES	2.09	YES	0.66
	MAYBE	21.72	MAYBE	1.92	MAYBE	7.90	MAYBE	2.15	MAYBE	0.29
	YES	6.76	YES	1.99	YES	0.13	YES	0.04	YES	0.41
	YES	5.33	YES	3.81	YES	0.23	YES	0.06	YES	0.76
	YES	4.38	YES	0.03	MAYBE	0.06	MAYBE	0.00	MAYBE	0.25
	MAYBE	14.31	MAYBE	1.27	MAYBE	0.06	MAYBE	0.00	MAYBE	0.27
	YES	4.13	YES	1.46	YES	0.05	YES	0.01	YES	0.25
	YES	4.84	YES	1.82	MAYBE	0.10	MAYBE	0.01	YES	0.26
	YES	8.26	YES	4.35	YES	1.69	YES	0.04	KILLED	60.00
	YES	5.96	YES	1.53	YES	0.19	YES	0.05	YES	0.33
	YES	5.16	YES	2.42	MAYBE	0.08	MAYBE	0.01	YES	0.27
	YES	4.56	YES	1.46	YES	0.09	YES	0.01	YES	0.31
	YES	5.18	YES	2.60	YES	0.12	YES	0.03	YES	0.42
	YES	4.95	YES	2.00	YES	0.10	YES	0.02	YES	0.52
	YES	11.81	YES	3.69	MAYBE	1.04	YES	0.06	YES	32.96
	YES	12.33	YES	1.75	YES	0.13	YES	0.03	MAYBE	0.24
	YES	7.68	YES	2.14	YES	0.13	YES	0.03	KILLED	60.00
	YES	4.50	YES	0.03	MAYBE	0.07	MAYBE	0.00	MAYBE	0.34
	MAYBE	17.12	MAYBE	2.17	MAYBE	0.13	MAYBE	0.03	MAYBE	0.22
	YES	5.27	YES	2.58	YES	0.13	YES	0.02	YES	0.93
	YES	5.01	YES	2.08	MAYBE	0.06	MAYBE	0.00	YES	0.27
	YES	52.86	MAYBE	4.79	YES	1.79	MAYBE	0.07	KILLED	60.00
	YES	4.31	YES	1.32	YES	0.10	YES	0.01	YES	0.29
	YES	3.46	YES	1.52	YES	0.54	YES	0.02	YES	0.43
	YES	4.47	MAYBE	1.58	YES	0.34	MAYBE	0.02	YES	0.60
	YES	4.57	YES	1.27	YES	2.73	YES	0.02	YES	0.30
	YES	4.49	YES	1.69	YES	0.71	MAYBE	0.02	YES	0.37
	YES	4.56	YES	1.86	YES	0.14	YES	0.03	YES	0.30
	YES	3.74	YES	1.52	YES	0.09	YES	0.02	YES	0.25
	YES	4.60	YES	1.46	YES	0.09	YES	0.00	YES	0.36
	YES	4.07	YES	1.52	YES	0.10	YES	0.02	YES	0.35
	YES	27.09	YES	5.92	YES	0.41	YES	0.05	KILLED	60.00
	YES	12.83	YES	5.61	MAYBE	0.10	MAYBE	0.04	YES	0.48
	YES	4.43	YES	2.90	YES	0.10	YES	0.02	MAYBE	0.41
	YES	4.41	MAYBE	21.65	YES	0.29	MAYBE	0.02	YES	0.51
	YES	5.01	YES	1.46	YES	0.10	YES	0.02	YES	0.31
	YES	4.90	YES	1.46	YES	0.14	YES	0.02	YES	0.30
	YES	5.30	KILLED	60.00	YES	34.01	YES	0.14	MAYBE	0.35
	MAYBE	16.35	KILLED	60.00	MAYBE	35.94	MAYBE	0.14	MAYBE	0.21
	YES	4.29	YES	3.24	YES	0.13	YES	0.02	YES	0.39
	YES	3.18	YES	1.45	YES	0.10	YES	0.01	YES	0.29
	YES	4.78	YES	2.55	YES	0.15	YES	0.01	YES	0.31
	YES	5.05	YES	2.14	YES	0.11	YES	0.02	YES	0.28
	YES	6.89	YES	2.94	YES	0.17	YES	0.02	YES	7.15
	YES	4.92	YES	1.46	YES	0.10	YES	0.02	YES	0.27
	YES	5.35	YES	3.00	YES	0.15	YES	0.02	YES	0.40
	YES	4.56	YES	1.51	YES	0.10	YES	0.01	YES	0.27
	YES	3.54	YES	1.57	YES	0.10	YES	0.01	YES	0.27
	MAYBE	15.70	MAYBE	1.46	MAYBE	0.10	MAYBE	0.01	MAYBE	0.22
	MAYBE	17.04	MAYBE	1.80	MAYBE	0.09	MAYBE	0.01	MAYBE	2.95
	YES	5.07	YES	2.34	YES	0.08	YES	0.01	YES	0.26
	YES	6.69	KILLED	60.00	KILLED	60.00	YES	0.59	MAYBE	0.29
	YES	4.34	YES	1.99	YES	0.11	YES	0.01	YES	0.27
	YES	5.29	YES	4.07	YES	0.29	YES	0.04	MAYBE	0.25
	YES	3.35	YES	3.36	YES	0.10	YES	0.02	MAYBE	0.22
	YES	3.37	MAYBE	1.51	YES	0.35	MAYBE	0.02	YES	0.38
	YES	4.15	YES	2.35	YES	0.09	YES	0.01	MAYBE	0.21
	YES	4.40	YES	2.00	YES	0.08	YES	0.01	YES	0.54
	YES	4.72	YES	1.99	YES	0.32	YES	0.03	MAYBE	0.87
	YES	5.47	YES	3.50	YES	0.22	YES	0.03	MAYBE	0.35
	MAYBE	21.42	MAYBE	1.93	MAYBE	0.22	MAYBE	0.03	MAYBE	0.23
	YES	5.94	YES	3.85	YES	0.27	YES	0.03	MAYBE	0.27
	YES	6.32	YES	3.90	YES	0.24	YES	0.02	MAYBE	0.26
	YES	3.33	YES	2.94	YES	0.20	YES	0.03	MAYBE	0.25
	YES	5.00	YES	2.01	YES	0.28	YES	0.03	MAYBE	0.47
	YES	14.71	YES	10.50	MAYBE	0.15	MAYBE	0.03	YES	0.33
	MAYBE	28.77	KILLED	60.00	MAYBE	0.12	MAYBE	0.03	MAYBE	0.20
	YES	6.80	YES	3.83	YES	0.12	MAYBE	0.03	YES	0.36
	YES	4.96	YES	2.23	YES	0.19	YES	0.01	YES	0.36
	MAYBE	14.59	MAYBE	1.93	MAYBE	0.13	MAYBE	0.00	MAYBE	0.29
	YES	4.88	YES	2.55	YES	0.14	YES	0.02	YES	0.26
	YES	4.67	YES	2.60	YES	0.14	YES	0.02	MAYBE	0.21
	YES	4.52	YES	2.72	YES	0.15	YES	0.03	MAYBE	0.21
	MAYBE	20.80	MAYBE	2.60	MAYBE	0.15	MAYBE	0.02	MAYBE	14.81
	MAYBE	14.94	MAYBE	2.10	MAYBE	0.15	MAYBE	0.01	MAYBE	0.37
	YES	4.62	YES	4.52	YES	0.12	YES	0.02	YES	0.28
	MAYBE	17.89	MAYBE	1.94	MAYBE	0.17	MAYBE	0.02	MAYBE	0.45
	MAYBE	16.30	MAYBE	2.06	MAYBE	0.14	MAYBE	0.02	MAYBE	0.23
	MAYBE	21.24	MAYBE	3.01	MAYBE	0.16	MAYBE	0.01	MAYBE	0.25
	YES	5.41	YES	2.96	YES	0.13	YES	0.01	MAYBE	0.31
	YES	4.94	YES	6.14	YES	0.13	YES	0.02	YES	0.35
	MAYBE	18.34	MAYBE	2.04	MAYBE	0.12	MAYBE	0.02	MAYBE	0.41
	YES	4.52	YES	3.61	YES	0.21	YES	0.01	YES	1.07
	YES	5.96	YES	3.89	YES	0.21	YES	0.02	YES	0.80
	MAYBE	20.37	MAYBE	2.51	MAYBE	0.21	MAYBE	0.02	MAYBE	0.24
	YES	6.02	YES	4.04	YES	0.24	YES	0.02	MAYBE	0.22
	YES	6.29	YES	4.07	YES	0.21	YES	0.02	MAYBE	0.23
	YES	3.63	YES	3.89	YES	0.10	YES	0.00	YES	0.24
	YES	3.66	YES	1.53	YES	0.06	YES	0.01	YES	0.25
	YES	4.56	YES	2.78	YES	0.08	YES	0.01	MAYBE	0.20
	YES	4.48	YES	2.94	YES	0.07	YES	0.01	YES	0.25
	YES	4.85	YES	4.14	YES	0.06	YES	0.00	YES	0.25
	YES	4.74	YES	0.09	YES	0.14	YES	0.02	MAYBE	0.28
	YES	4.40	YES	1.89	YES	0.08	YES	0.01	MAYBE	0.23
	YES	4.63	YES	1.94	YES	0.08	YES	0.01	MAYBE	0.22
	YES	3.27	YES	2.09	YES	0.08	YES	0.01	YES	0.25
	MAYBE	14.69	MAYBE	1.91	MAYBE	0.10	MAYBE	0.01	MAYBE	0.22
	YES	3.20	YES	2.02	YES	0.07	YES	0.00	YES	0.25
	MAYBE	21.68	MAYBE	6.56	MAYBE	0.28	MAYBE	0.06	MAYBE	0.53
	YES	3.83	YES	1.90	YES	0.07	YES	0.00	YES	0.24
	MAYBE	15.20	MAYBE	2.10	MAYBE	0.11	MAYBE	0.00	MAYBE	0.22
	YES	4.56	YES	3.02	YES	0.08	YES	0.01	YES	0.25
	YES	4.59	YES	3.12	YES	0.11	YES	0.02	YES	0.28
	MAYBE	16.42	MAYBE	1.95	MAYBE	0.15	MAYBE	0.02	MAYBE	0.21
	YES	4.21	YES	1.83	YES	0.06	YES	0.00	YES	0.35
	YES	4.34	YES	5.72	YES	0.08	YES	0.01	YES	0.27
	YES	8.76	YES	7.08	YES	0.10	MAYBE	0.01	YES	6.41
	YES	12.58	MAYBE	4.74	YES	0.17	MAYBE	0.03	YES	20.59
	YES	4.60	YES	1.95	YES	0.10	YES	0.01	YES	0.33
	YES	7.12	YES	6.41	YES	0.24	MAYBE	0.04	YES	0.44
	YES	4.51	YES	2.56	YES	0.16	YES	0.01	YES	0.27
	MAYBE	15.22	MAYBE	1.75	MAYBE	0.13	MAYBE	0.02	MAYBE	0.21
	YES	5.46	YES	2.55	YES	0.10	YES	0.01	YES	0.44
	YES	4.35	YES	1.48	YES	0.10	YES	0.01	MAYBE	0.21
	YES	4.32	YES	3.20	YES	0.12	YES	0.01	YES	0.30
	YES	11.31	YES	5.58	YES	0.66	YES	0.05	YES	24.73
	MAYBE	26.76	MAYBE	3.78	MAYBE	0.65	MAYBE	0.05	MAYBE	0.30
	YES	4.35	YES	2.04	YES	0.08	YES	0.01	YES	0.25
	MAYBE	15.64	MAYBE	1.83	MAYBE	0.09	MAYBE	0.01	MAYBE	0.25
	YES	5.49	YES	3.73	YES	0.20	YES	0.04	YES	0.33
	MAYBE	14.49	MAYBE	3.73	MAYBE	0.10	MAYBE	0.01	MAYBE	0.25
	YES	4.55	YES	3.00	YES	0.09	YES	0.01	YES	0.27
	YES	4.31	YES	2.96	YES	0.09	YES	0.00	MAYBE	0.25
	YES	6.49	YES	2.93	YES	0.19	YES	0.03	YES	2.22
	YES	6.12	YES	5.27	YES	0.18	YES	0.05	YES	0.66
	MAYBE	17.62	MAYBE	2.95	MAYBE	0.17	MAYBE	0.02	MAYBE	0.35
	MAYBE	15.09	MAYBE	1.53	MAYBE	0.12	MAYBE	0.02	MAYBE	0.23
	YES	4.49	YES	7.08	YES	0.13	YES	0.02	YES	0.28
	MAYBE	13.99	MAYBE	1.98	MAYBE	0.10	MAYBE	0.01	MAYBE	0.21
	MAYBE	17.93	MAYBE	2.78	MAYBE	0.09	MAYBE	0.02	MAYBE	2.95
	MAYBE	14.65	MAYBE	2.05	MAYBE	0.13	MAYBE	0.01	MAYBE	0.21
	MAYBE	15.27	MAYBE	1.50	MAYBE	0.11	MAYBE	0.01	MAYBE	0.21
	YES	4.67	YES	1.99	YES	0.08	YES	0.01	MAYBE	0.23
	YES	4.14	YES	2.04	YES	0.09	YES	0.01	YES	0.28
	YES	4.63	MAYBE	2.75	YES	0.13	MAYBE	0.01	MAYBE	0.25
	YES	5.18	YES	4.96	YES	0.27	YES	0.03	YES	0.41
	YES	5.18	YES	4.82	YES	0.30	YES	0.04	MAYBE	0.28
	YES	8.13	YES	4.90	YES	0.32	MAYBE	0.03	YES	10.18
	YES	4.60	YES	3.57	YES	0.06	YES	0.00	YES	0.24
	MAYBE	15.45	MAYBE	1.42	MAYBE	0.08	MAYBE	0.00	MAYBE	0.20
	YES	4.55	YES	3.21	YES	0.07	YES	0.01	YES	0.28
	YES	4.73	MAYBE	2.87	YES	0.29	MAYBE	0.03	YES	0.42
	YES	5.18	YES	2.12	MAYBE	0.06	MAYBE	0.01	YES	0.27
	YES	5.64	MAYBE	1.28	YES	0.16	MAYBE	0.03	MAYBE	0.26
	YES	4.25	YES	0.03	MAYBE	0.07	MAYBE	0.01	YES	0.56
	YES	4.79	YES	4.89	YES	0.92	YES	0.02	YES	0.24
	YES	5.06	YES	3.47	MAYBE	0.81	YES	0.02	YES	0.25
	KILLED	60.00	KILLED	60.00	MAYBE	0.56	MAYBE	0.04	KILLED	60.00
	YES	4.79	MAYBE	1.27	YES	0.15	MAYBE	0.02	MAYBE	0.22
	YES	4.26	MAYBE	2.34	YES	0.11	MAYBE	0.01	MAYBE	0.21
	YES	5.64	MAYBE	2.01	MAYBE	0.10	MAYBE	0.02	MAYBE	0.25
	YES	6.13	MAYBE	2.06	MAYBE	0.14	MAYBE	0.03	MAYBE	0.26
	YES	4.98	MAYBE	2.34	MAYBE	0.08	MAYBE	0.02	MAYBE	0.23
	YES	5.82	MAYBE	2.52	MAYBE	0.12	MAYBE	0.03	MAYBE	2.94
	YES	10.50	MAYBE	3.29	MAYBE	0.13	MAYBE	0.04	MAYBE	0.24
	YES	5.18	MAYBE	1.31	YES	0.12	MAYBE	0.02	MAYBE	0.27
	YES	5.60	YES	5.32	YES	0.22	YES	0.03	YES	0.25
	YES	4.58	YES	2.30	MAYBE	0.22	MAYBE	0.00	YES	0.24
	MAYBE	19.48	MAYBE	6.15	MAYBE	0.33	MAYBE	0.07	MAYBE	0.23
	YES	16.17	YES	3.44	MAYBE	0.34	MAYBE	0.04	YES	22.18
	KILLED	60.00	KILLED	60.00	MAYBE	0.10	MAYBE	0.03	KILLED	60.00
	YES	5.16	YES	3.26	MAYBE	0.08	YES	0.01	YES	0.24
	YES	7.29	YES	4.26	MAYBE	0.11	MAYBE	0.02	YES	0.37
	YES	4.98	YES	1.80	MAYBE	0.14	MAYBE	0.01	YES	0.32
	YES	6.88	YES	5.79	MAYBE	0.31	MAYBE	0.02	YES	0.32
	YES	5.35	YES	3.71	YES	0.06	YES	0.00	MAYBE	0.20
	YES	4.94	YES	4.45	MAYBE	0.06	MAYBE	0.01	YES	0.29
	YES	10.57	MAYBE	2.95	MAYBE	0.08	MAYBE	0.03	KILLED	60.00
	MAYBE	32.31	KILLED	60.00	MAYBE	0.21	MAYBE	0.04	KILLED	60.00
	YES	5.36	YES	11.04	MAYBE	0.14	MAYBE	0.04	MAYBE	0.19
	MAYBE	15.37	YES	2.00	MAYBE	0.07	MAYBE	0.00	MAYBE	0.46
	YES	4.96	MAYBE	2.24	MAYBE	0.08	YES	0.00	MAYBE	0.58
	YES	4.40	YES	0.08	MAYBE	0.05	MAYBE	0.00	MAYBE	0.19
	YES	4.73	YES	3.54	MAYBE	0.38	MAYBE	0.03	YES	0.27
	YES	5.80	YES	2.70	YES	0.10	YES	0.01	YES	0.31
	YES	5.12	YES	4.40	MAYBE	0.08	YES	0.02	YES	0.88
	KILLED	60.00	MAYBE	2.52	MAYBE	0.15	MAYBE	0.02	MAYBE	0.43
	YES	13.01	YES	12.01	MAYBE	0.07	MAYBE	0.01	YES	6.05
	YES	11.89	MAYBE	6.83	MAYBE	0.12	MAYBE	0.02	YES	20.54
	YES	6.08	YES	2.34	YES	0.15	YES	0.03	YES	0.32
	YES	5.24	YES	2.36	MAYBE	0.11	MAYBE	0.01	MAYBE	0.94
	YES	4.95	YES	2.69	MAYBE	0.06	MAYBE	0.01	MAYBE	0.19
	YES	6.38	YES	8.56	MAYBE	0.15	MAYBE	0.04	YES	0.94
	YES	4.93	YES	1.92	YES	0.14	YES	0.02	YES	1.13
	YES	5.06	YES	4.35	YES	0.12	YES	0.01	MAYBE	0.40
	YES	4.91	YES	5.28	YES	0.07	YES	0.01	MAYBE	0.20
	YES	5.29	YES	3.32	YES	0.07	YES	0.01	MAYBE	0.22
	YES	4.73	YES	2.49	YES	0.12	YES	0.01	MAYBE	0.26
	YES	9.76	YES	6.15	MAYBE	1.28	MAYBE	0.07	KILLED	60.00
	YES	4.57	YES	1.81	MAYBE	1.26	MAYBE	0.03	YES	0.54
	YES	7.21	YES	8.12	YES	0.25	MAYBE	0.04	YES	21.08
	YES	5.36	YES	5.61	MAYBE	0.10	MAYBE	0.02	YES	2.04
	YES	5.91	MAYBE	3.58	MAYBE	0.12	MAYBE	0.02	MAYBE	0.20
	MAYBE	19.71	MAYBE	2.79	MAYBE	0.41	MAYBE	0.07	MAYBE	0.25
	YES	4.73	MAYBE	2.55	YES	1.47	MAYBE	0.02	YES	0.26
	YES	6.38	YES	7.52	YES	0.19	YES	0.05	KILLED	60.00
	YES	4.63	YES	0.10	MAYBE	0.06	MAYBE	0.01	MAYBE	0.24
	YES	7.58	YES	5.11	MAYBE	0.21	MAYBE	0.04	YES	9.31
	MAYBE	15.06	MAYBE	2.46	MAYBE	0.11	MAYBE	0.01	MAYBE	0.40
	YES	5.25	YES	21.73	YES	0.17	MAYBE	0.03	YES	0.32