Tool	NO	MAYBE	TIMEOUT
AProVE-NL	120 [6.71]	0	36
AProVE 2011	97 [13.61]	0	59
TTT2	24 [5.92]	126 [59.68]	6
NTI	67 [6.70]	0	89
VMTL	0	9 [4.96]	147
nonloop	95 [5.96]	2 [0.17]	59
KFL	147 [2.92]	0	9
Matchbox	111 [6.62]	0	45

Example	AProVE-NL		AProVE 2011		TTT2		NTI		VMTL		nonloop		KFL		Matchbox
	NO	1.54	NO	0.76	NO	0.57	NO	0.05	TIMEOUT	60	NO	0.27	NO	0.18	NO	6.19
	NO	1.58	NO	0.82	NO	0.64	NO	0.08	TIMEOUT	60	NO	0.25	NO	0.17	NO	5.68
	NO	2.52	NO	12.68	NO	57.27	NO	3.07	TIMEOUT	60	NO	1.47	NO	0.52	NO	6.27
	NO	3.44	NO	17.92	MAYBE	59.84	NO	6.63	TIMEOUT	60	NO	3.87	NO	0.34	NO	6.49
	NO	18.11	TIMEOUT	60	MAYBE	59.82	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.56	NO	9.16
	NO	2.43	NO	10.61	MAYBE	59.76	NO	1.57	TIMEOUT	60	NO	1.26	NO	0.52	NO	6.8
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.87	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	26.21	TIMEOUT	60
	NO	3.44	NO	18.16	MAYBE	59.85	NO	0.62	TIMEOUT	60	NO	5.13	NO	0.24	NO	6.87
	NO	3.88	NO	31.6	MAYBE	59.87	NO	6.89	TIMEOUT	60	NO	9.64	NO	0.4	NO	7.26
	NO	3.76	NO	24.14	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	3.62	TIMEOUT	60	TIMEOUT	60
	NO	7.04	NO	39.36	MAYBE	59.77	TIMEOUT	60	TIMEOUT	60	NO	6.29	TIMEOUT	60	TIMEOUT	60
	NO	5.25	NO	31.97	MAYBE	59.75	TIMEOUT	60	TIMEOUT	60	NO	3.95	TIMEOUT	60	TIMEOUT	60
	NO	3.27	NO	18.6	MAYBE	59.77	TIMEOUT	60	TIMEOUT	60	NO	1.34	TIMEOUT	60	TIMEOUT	60
	NO	2.66	NO	14.05	MAYBE	59.93	TIMEOUT	60	TIMEOUT	60	NO	1.65	TIMEOUT	60	TIMEOUT	60
	NO	1.65	NO	1.24	MAYBE	59.59	TIMEOUT	60	TIMEOUT	60	NO	0.32	TIMEOUT	60	TIMEOUT	60
	NO	2.02	NO	2.78	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.76	TIMEOUT	60	TIMEOUT	60
	NO	2.22	NO	5.52	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.36	TIMEOUT	60	TIMEOUT	60
	NO	1.93	NO	4.66	MAYBE	59.66	NO	1.83	TIMEOUT	60	NO	0.74	NO	0.19	NO	5.5
	NO	1.53	NO	0.73	NO	0.39	NO	0.09	TIMEOUT	60	MAYBE	0.17	NO	0.21	NO	40.12
	NO	1.69	NO	1.01	NO	0.68	NO	0.16	TIMEOUT	60	MAYBE	0.16	NO	0.52	NO	20.74
	NO	20.8	TIMEOUT	60	MAYBE	59.7	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.81	TIMEOUT	60
	NO	26.79	TIMEOUT	60	MAYBE	59.79	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.64	NO	6.48
	NO	2.42	NO	16.68	MAYBE	59.63	TIMEOUT	60	TIMEOUT	60	NO	3.73	NO	1.0	NO	5.58
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.78	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.21	NO	5.8
	NO	2.44	NO	6.45	MAYBE	59.75	TIMEOUT	60	TIMEOUT	60	NO	1.17	NO	0.31	NO	5.63
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.84	TIMEOUT	60	MAYBE	1.86	TIMEOUT	60	NO	0.34	NO	5.93
	NO	4.89	TIMEOUT	60	MAYBE	59.78	TIMEOUT	60	MAYBE	2.32	TIMEOUT	60	NO	0.29	NO	5.78
	NO	2.68	NO	24.99	MAYBE	59.78	NO	2.26	MAYBE	2.55	NO	9.1	NO	0.2	NO	5.76
	NO	4.28	TIMEOUT	60	MAYBE	59.75	NO	5.51	MAYBE	2.44	NO	34.17	NO	0.53	NO	5.95
	NO	2.74	NO	9.98	MAYBE	59.77	NO	1.89	TIMEOUT	60	NO	1.74	NO	0.19	NO	5.74
	NO	1.93	NO	4.97	MAYBE	59.7	NO	2.7	TIMEOUT	60	NO	0.77	NO	0.18	NO	5.89
	NO	2.62	NO	11.71	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.9	NO	0.26	NO	6.12
	NO	1.71	NO	1.3	NO	1.14	NO	3.94	TIMEOUT	60	NO	0.49	NO	0.23	NO	6.21
	NO	2.1	NO	6.13	MAYBE	59.81	NO	19.91	TIMEOUT	60	NO	0.8	NO	0.48	NO	6.05
	NO	1.66	NO	1.13	MAYBE	59.76	NO	0.19	TIMEOUT	60	NO	0.29	NO	0.25	NO	5.61
	NO	2.55	NO	10.0	TIMEOUT	60	NO	0.2	TIMEOUT	60	NO	1.19	NO	0.49	NO	7.58
	NO	2.69	NO	14.26	MAYBE	59.72	NO	4.21	TIMEOUT	60	NO	2.45	NO	0.25	NO	5.81
	NO	1.92	NO	7.68	MAYBE	59.48	NO	9.21	TIMEOUT	60	NO	0.73	NO	1.12	TIMEOUT	60
	NO	8.25	NO	33.46	MAYBE	59.66	TIMEOUT	60	MAYBE	1.51	NO	7.61	NO	0.63	NO	7.14
	NO	2.82	NO	10.98	MAYBE	59.41	TIMEOUT	60	TIMEOUT	60	NO	1.34	NO	1.19	NO	10.28
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.7	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	30.79	TIMEOUT	60
	NO	10.41	TIMEOUT	60	MAYBE	59.7	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.24	NO	5.66
	NO	15.28	TIMEOUT	60	MAYBE	59.72	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.21	NO	5.8
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.71	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.28	NO	5.76
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.72	TIMEOUT	60	MAYBE	29.41	TIMEOUT	60	NO	2.43	NO	5.87
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.59	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.3	NO	5.72
	NO	18.98	TIMEOUT	60	MAYBE	59.54	TIMEOUT	60	TIMEOUT	60	NO	44.32	NO	0.72	TIMEOUT	60
	NO	2.03	NO	7.41	MAYBE	59.67	NO	0.75	TIMEOUT	60	NO	0.65	NO	0.61	NO	6.73
	NO	2.44	NO	7.63	MAYBE	59.55	NO	0.72	TIMEOUT	60	NO	1.5	NO	1.17	NO	8.01
	NO	2.75	NO	21.2	MAYBE	59.59	TIMEOUT	60	TIMEOUT	60	NO	4.84	NO	1.16	TIMEOUT	60
	NO	48.98	TIMEOUT	60	MAYBE	59.66	TIMEOUT	60	MAYBE	1.36	TIMEOUT	60	NO	0.68	NO	6.02
	NO	4.91	NO	35.94	MAYBE	59.5	NO	6.87	TIMEOUT	60	NO	4.81	NO	0.85	NO	6.98
	NO	1.92	NO	5.2	MAYBE	59.5	NO	5.69	TIMEOUT	60	NO	0.68	NO	0.59	NO	5.83
	NO	3.34	NO	21.29	MAYBE	59.6	NO	8.97	TIMEOUT	60	NO	2.35	NO	0.69	NO	6.23
	NO	1.54	NO	0.81	NO	1.16	NO	1.91	TIMEOUT	60	TIMEOUT	60	NO	0.19	NO	5.39
	NO	1.62	NO	1.01	NO	1.08	NO	1.63	TIMEOUT	60	TIMEOUT	60	NO	0.19	NO	5.4
	NO	1.58	NO	0.86	NO	1.29	NO	0.06	TIMEOUT	60	NO	2.74	NO	0.21	NO	5.62
	NO	1.55	NO	0.79	NO	0.67	NO	0.15	TIMEOUT	60	NO	0.23	NO	0.24	NO	5.41
	NO	1.62	NO	1.32	NO	1.55	NO	0.23	TIMEOUT	60	NO	8.26	NO	0.34	NO	5.65
	NO	4.63	NO	33.85	MAYBE	59.6	TIMEOUT	60	TIMEOUT	60	NO	4.95	NO	1.22	NO	7.14
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.66	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	6.27	NO	6.71
	NO	1.64	NO	1.28	NO	3.74	NO	0.21	TIMEOUT	60	NO	0.33	NO	0.35	NO	5.57
	NO	1.72	NO	10.24	NO	59.35	NO	15.58	TIMEOUT	60	TIMEOUT	60	NO	0.38	NO	5.65
	NO	1.59	NO	0.81	NO	1.68	NO	0.74	TIMEOUT	60	NO	0.27	NO	0.21	NO	5.59
	NO	2.0	NO	2.59	NO	1.85	NO	9.93	TIMEOUT	60	NO	0.54	NO	0.37	NO	5.4
	NO	1.61	NO	1.13	NO	4.27	NO	1.56	TIMEOUT	60	NO	0.42	NO	0.52	TIMEOUT	60
	NO	2.03	NO	10.26	MAYBE	59.51	NO	6.47	TIMEOUT	60	NO	2.08	NO	1.68	TIMEOUT	60
	NO	2.64	NO	9.75	MAYBE	59.51	NO	34.26	TIMEOUT	60	NO	2.64	NO	1.27	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.5	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	38.79	TIMEOUT	60
	NO	2.02	NO	4.43	MAYBE	59.65	NO	0.89	TIMEOUT	60	NO	1.31	NO	0.77	NO	9.75
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.71	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	2.39	TIMEOUT	60
	NO	2.0	NO	4.88	MAYBE	59.58	NO	0.51	TIMEOUT	60	NO	0.96	NO	0.57	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.54	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.3	TIMEOUT	60
	NO	7.8	NO	33.23	MAYBE	59.67	NO	3.92	TIMEOUT	60	NO	8.77	NO	0.73	NO	5.85
	NO	33.85	TIMEOUT	60	MAYBE	59.7	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.59	TIMEOUT	60
	NO	2.14	NO	6.69	MAYBE	59.68	NO	2.08	TIMEOUT	60	NO	0.87	NO	0.54	NO	6.37
	NO	2.48	NO	9.9	MAYBE	59.7	NO	1.54	TIMEOUT	60	NO	2.92	NO	0.52	NO	5.83
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.74	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.15	TIMEOUT	60
	NO	3.49	NO	28.05	MAYBE	59.75	TIMEOUT	60	TIMEOUT	60	NO	9.42	NO	0.55	NO	6.04
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.68	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.0	TIMEOUT	60
	NO	2.07	NO	6.29	MAYBE	59.54	NO	10.23	TIMEOUT	60	NO	0.85	NO	0.81	NO	5.82
	NO	2.29	NO	10.42	MAYBE	59.45	NO	43.08	TIMEOUT	60	NO	1.57	NO	0.78	NO	5.8
	NO	2.44	NO	9.87	MAYBE	59.47	NO	35.12	TIMEOUT	60	NO	1.03	NO	0.63	NO	6.51
	NO	2.09	NO	6.93	MAYBE	59.5	NO	10.12	TIMEOUT	60	NO	0.72	NO	1.04	NO	5.96
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.75	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.51	NO	5.46
	NO	38.63	TIMEOUT	60	MAYBE	59.62	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.35	TIMEOUT	60
	NO	2.85	NO	18.5	MAYBE	59.69	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.64	NO	5.75
	NO	1.86	NO	5.48	MAYBE	59.41	NO	1.24	TIMEOUT	60	NO	0.58	NO	0.39	NO	5.39
	NO	1.71	NO	2.07	MAYBE	59.67	TIMEOUT	60	TIMEOUT	60	NO	0.61	NO	0.39	NO	5.46
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.67	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	4.5	TIMEOUT	60
	NO	5.69	NO	32.45	MAYBE	59.68	NO	5.45	TIMEOUT	60	NO	6.18	NO	0.67	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.69	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	6.34	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.69	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	2.78	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.65	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	45.57	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.66	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	44.01	TIMEOUT	60
	NO	5.56	NO	36.49	MAYBE	59.68	TIMEOUT	60	TIMEOUT	60	NO	7.41	NO	0.72	TIMEOUT	60
	NO	3.26	NO	13.08	MAYBE	59.69	TIMEOUT	60	TIMEOUT	60	NO	2.17	NO	1.02	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.63	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.9	NO	5.89
	NO	19.71	TIMEOUT	60	MAYBE	59.75	NO	24.41	TIMEOUT	60	TIMEOUT	60	NO	1.2	NO	5.91
	NO	7.13	NO	30.34	MAYBE	59.84	NO	1.49	TIMEOUT	60	NO	44.05	NO	0.72	NO	6.03
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.67	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	6.39	NO	5.73
	NO	2.07	NO	4.71	MAYBE	59.63	TIMEOUT	60	TIMEOUT	60	NO	5.83	NO	0.29	NO	5.4
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.73	NO	44.59	TIMEOUT	60	TIMEOUT	60	NO	2.9	NO	6.01
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.71	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	4.41	NO	5.79
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.74	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	4.49	NO	6.09
	NO	24.98	TIMEOUT	60	MAYBE	59.78	NO	27.05	TIMEOUT	60	TIMEOUT	60	NO	0.8	NO	6.26
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.75	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	12.22	NO	5.78
	NO	2.66	NO	13.72	MAYBE	59.68	NO	8.66	TIMEOUT	60	NO	1.66	NO	0.74	NO	6.16
	NO	5.78	NO	27.53	MAYBE	59.73	TIMEOUT	60	TIMEOUT	60	NO	15.65	NO	0.61	TIMEOUT	60
	NO	2.09	NO	12.01	MAYBE	59.63	TIMEOUT	60	TIMEOUT	60	NO	1.79	NO	0.5	NO	5.86
	NO	9.31	NO	42.33	MAYBE	59.66	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.6	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.76	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	2.69	NO	5.96
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.69	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	4.57	NO	5.76
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.79	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	5.03	NO	6.09
	NO	36.44	TIMEOUT	60	MAYBE	59.79	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.81	NO	6.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.67	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	14.42	NO	5.91
	NO	2.26	NO	11.24	MAYBE	59.4	NO	7.7	TIMEOUT	60	NO	0.89	NO	0.78	NO	7.93
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.76	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	12.06	NO	6.02
	NO	13.38	TIMEOUT	60	MAYBE	59.79	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.89	TIMEOUT	60
	NO	16.22	TIMEOUT	60	MAYBE	59.85	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.9	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.65	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	12.08	NO	5.91
	NO	15.85	TIMEOUT	60	MAYBE	59.81	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.8	NO	6.0
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.71	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	24.91	NO	5.88
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.73	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	2.86	NO	5.95
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.68	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	2.61	NO	6.0
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.68	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	28.7	TIMEOUT	60
	NO	2.71	NO	13.44	MAYBE	59.7	NO	7.1	TIMEOUT	60	NO	1.76	NO	0.64	NO	7.4
	NO	7.68	NO	52.43	MAYBE	59.81	TIMEOUT	60	TIMEOUT	60	NO	19.93	NO	0.83	NO	6.03
	NO	29.97	TIMEOUT	60	MAYBE	59.8	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	1.52	NO	6.26
	NO	3.37	NO	15.67	MAYBE	59.69	TIMEOUT	60	TIMEOUT	60	NO	1.72	NO	0.49	TIMEOUT	60
	NO	2.58	NO	9.7	MAYBE	59.63	NO	32.35	TIMEOUT	60	NO	1.29	NO	0.55	TIMEOUT	60
	NO	3.32	NO	18.08	MAYBE	59.71	TIMEOUT	60	TIMEOUT	60	NO	11.26	NO	0.69	NO	5.86
	NO	6.5	NO	34.84	MAYBE	59.74	NO	10.21	TIMEOUT	60	NO	36.97	NO	2.36	NO	5.76
	NO	8.96	NO	44.62	MAYBE	59.7	TIMEOUT	60	TIMEOUT	60	NO	22.25	NO	0.75	NO	5.71
	NO	3.21	NO	11.77	MAYBE	59.63	TIMEOUT	60	MAYBE	1.63	NO	1.98	NO	0.65	TIMEOUT	60
	NO	3.51	NO	20.77	MAYBE	59.78	TIMEOUT	60	TIMEOUT	60	NO	4.91	NO	0.64	NO	5.88
	NO	4.34	NO	43.12	MAYBE	59.77	NO	3.56	TIMEOUT	60	NO	19.29	NO	0.35	NO	6.96
	NO	15.54	TIMEOUT	60	MAYBE	59.61	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.46	NO	7.09
	NO	10.81	TIMEOUT	60	MAYBE	59.67	TIMEOUT	60	TIMEOUT	60	NO	31.0	NO	0.61	NO	5.94
	NO	9.8	NO	43.88	MAYBE	59.68	TIMEOUT	60	TIMEOUT	60	NO	16.85	NO	1.01	NO	6.02
	NO	41.8	TIMEOUT	60	MAYBE	59.59	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.53	NO	7.16
	NO	2.25	NO	10.74	MAYBE	59.61	TIMEOUT	60	TIMEOUT	60	NO	1.06	NO	0.75	TIMEOUT	60
	NO	9.76	TIMEOUT	60	MAYBE	59.59	TIMEOUT	60	TIMEOUT	60	NO	39.53	NO	1.09	NO	7.58
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.51	TIMEOUT	60	MAYBE	1.52	TIMEOUT	60	NO	1.08	TIMEOUT	60
	NO	10.17	NO	49.99	MAYBE	59.6	TIMEOUT	60	TIMEOUT	60	NO	12.82	NO	0.85	NO	5.56
	NO	30.88	TIMEOUT	60	MAYBE	59.46	TIMEOUT	60	TIMEOUT	60	NO	34.66	NO	1.42	TIMEOUT	60
	NO	1.63	NO	1.12	MAYBE	59.54	NO	0.48	TIMEOUT	60	NO	0.31	NO	0.41	NO	5.87
	NO	1.66	NO	1.03	NO	0.58	NO	0.05	TIMEOUT	60	NO	0.33	NO	0.17	NO	6.32
	NO	1.57	NO	0.82	NO	0.61	NO	0.04	TIMEOUT	60	NO	0.26	NO	0.18	NO	6.07
	NO	1.57	NO	0.82	NO	0.57	NO	0.04	TIMEOUT	60	NO	0.26	NO	0.17	NO	5.77
	NO	2.22	NO	3.57	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	NO	0.83	TIMEOUT	60	TIMEOUT	60
	NO	1.52	NO	0.63	NO	0.61	NO	0.03	TIMEOUT	60	NO	0.17	NO	0.17	NO	5.69
	NO	1.51	NO	0.74	NO	0.57	NO	0.04	TIMEOUT	60	NO	0.25	NO	0.18	NO	6.7
	NO	1.48	NO	0.71	NO	0.62	NO	0.05	TIMEOUT	60	NO	0.21	NO	0.19	NO	6.31
	NO	1.5	NO	0.75	NO	0.61	NO	0.07	TIMEOUT	60	NO	0.24	NO	0.18	NO	5.66
	NO	1.54	NO	0.73	NO	0.58	NO	0.06	TIMEOUT	60	NO	0.2	NO	0.19	NO	5.81