Tool	NO	MAYBE	TIMEOUT
AProVE-NL	232 [4.49]	0	9
AProVE 2011	228 [3.51]	0	13
TTT2	194 [0.61]	47 [10.17]	0
NTI	214 [0.70]	0	27
VMTL	95 [0.34]	86 [3.93]	60

Example	AProVE-NL		AProVE 2011		TTT2		NTI		VMTL
	NO	1.79	NO	1.2	NO	0.36	NO	0.03	MAYBE	2.49
	NO	1.72	NO	1.47	NO	0.35	NO	0.03	MAYBE	27.93
	NO	4.66	NO	4.02	NO	5.01	NO	0.03	MAYBE	3.1
	TIMEOUT	60	NO	3.0	NO	1.48	NO	0.25	MAYBE	54.2
	NO	3.37	NO	5.29	MAYBE	10.42	NO	0.04	MAYBE	30.77
	NO	1.87	NO	1.65	NO	0.61	NO	0.03	TIMEOUT	60
	NO	1.83	NO	3.0	NO	0.36	NO	0.03	TIMEOUT	60
	NO	1.65	NO	1.66	NO	0.33	NO	0.03	MAYBE	0.54
	NO	1.92	NO	2.06	NO	0.93	NO	34.4	TIMEOUT	60
	NO	24.44	NO	11.79	MAYBE	10.47	TIMEOUT	60	TIMEOUT	60
	NO	1.78	NO	1.19	NO	0.62	NO	0.03	MAYBE	0.93
	NO	10.12	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	TIMEOUT	60
	NO	1.74	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	13.73
	NO	2.0	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	MAYBE	0.87
	NO	1.81	TIMEOUT	60	MAYBE	10.4	TIMEOUT	60	MAYBE	1.24
	NO	2.03	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	1.18
	NO	4.17	TIMEOUT	60	MAYBE	10.42	TIMEOUT	60	TIMEOUT	60
	NO	5.34	TIMEOUT	60	MAYBE	10.46	TIMEOUT	60	TIMEOUT	60
	NO	1.68	NO	1.66	NO	0.48	NO	0.03	MAYBE	0.61
	NO	1.73	TIMEOUT	60	MAYBE	10.37	TIMEOUT	60	MAYBE	0.64
	NO	2.0	NO	1.79	NO	0.75	NO	0.2	TIMEOUT	60
	NO	1.46	NO	0.66	NO	0.35	NO	0.03	NO	0.34
	NO	1.45	NO	1.2	NO	0.34	NO	0.03	NO	0.39
	NO	1.47	NO	1.53	NO	0.35	NO	0.03	NO	0.39
	NO	1.49	NO	0.67	NO	0.34	NO	0.03	NO	0.59
	NO	1.47	NO	0.67	NO	0.34	NO	0.03	MAYBE	22.08
	NO	1.57	NO	1.08	NO	0.35	NO	0.03	NO	0.61
	NO	1.47	NO	1.22	NO	0.35	NO	0.03	NO	0.41
	NO	1.83	NO	1.15	MAYBE	10.39	NO	0.06	MAYBE	0.69
	NO	17.7	NO	1.38	NO	1.04	NO	0.04	TIMEOUT	60
	NO	1.65	NO	1.44	NO	0.47	NO	0.03	NO	0.76
	NO	3.67	NO	1.77	NO	0.69	NO	0.04	MAYBE	10.18
	NO	1.73	NO	1.6	NO	0.68	NO	0.03	MAYBE	0.9
	NO	1.46	NO	0.68	NO	0.62	NO	0.03	MAYBE	0.89
	NO	1.87	NO	2.49	MAYBE	10.49	NO	0.03	MAYBE	2.02
	NO	1.63	NO	1.25	NO	0.35	NO	0.03	MAYBE	26.35
	NO	1.81	NO	5.6	NO	0.71	NO	0.03	MAYBE	1.98
	NO	1.97	NO	1.13	NO	0.52	NO	0.04	TIMEOUT	60
	NO	3.12	NO	2.48	MAYBE	10.38	NO	0.11	MAYBE	0.5
	NO	1.98	NO	1.23	NO	0.62	NO	0.03	TIMEOUT	60
	NO	2.26	NO	1.33	NO	0.77	NO	0.03	TIMEOUT	60
	NO	1.6	NO	1.4	NO	0.47	NO	0.03	MAYBE	0.62
	NO	2.11	NO	1.77	NO	1.36	NO	0.03	MAYBE	3.76
	NO	1.52	NO	0.65	NO	0.6	NO	0.03	MAYBE	17.68
	TIMEOUT	60	TIMEOUT	60	MAYBE	6.86	NO	0.33	MAYBE	3.87
	TIMEOUT	60	NO	1.52	NO	0.63	NO	0.03	TIMEOUT	60
	NO	1.74	NO	1.04	MAYBE	10.38	NO	0.03	MAYBE	0.58
	NO	1.84	NO	1.09	NO	0.62	NO	0.03	MAYBE	0.75
	NO	2.14	NO	1.33	NO	1.49	NO	0.03	NO	1.15
	NO	1.84	NO	1.77	NO	0.36	NO	0.04	MAYBE	0.48
	NO	1.6	NO	1.89	NO	0.34	NO	0.03	MAYBE	0.41
	NO	1.67	NO	1.69	NO	0.35	NO	0.03	MAYBE	0.45
	NO	1.68	NO	1.94	NO	0.36	NO	0.03	MAYBE	0.46
	NO	1.71	NO	1.55	NO	0.35	NO	0.03	MAYBE	0.45
	NO	1.69	NO	1.23	NO	0.35	NO	0.04	MAYBE	0.56
	NO	1.73	NO	1.03	NO	0.41	NO	0.03	MAYBE	0.5
	NO	1.73	NO	1.7	NO	0.35	NO	0.03	MAYBE	0.44
	NO	1.47	NO	1.26	NO	0.44	NO	0.03	NO	0.49
	NO	1.85	NO	1.2	MAYBE	6.48	NO	0.03	MAYBE	0.53
	NO	1.73	NO	1.79	NO	0.36	NO	0.04	MAYBE	0.47
	NO	1.71	NO	1.57	NO	0.35	NO	0.03	MAYBE	0.46
	NO	1.63	NO	1.67	NO	0.34	NO	0.03	MAYBE	0.43
	NO	1.72	NO	1.93	NO	0.36	NO	0.04	MAYBE	0.48
	NO	1.74	NO	1.79	NO	0.36	NO	0.03	NO	0.57
	NO	1.63	NO	1.1	NO	0.35	NO	0.04	NO	0.48
	NO	1.72	NO	2.01	NO	0.66	NO	0.03	NO	0.99
	TIMEOUT	60	NO	1.7	NO	0.36	NO	0.04	MAYBE	0.62
	NO	1.62	NO	1.55	NO	0.35	NO	0.03	MAYBE	0.43
	NO	1.65	NO	1.26	NO	0.35	NO	0.03	NO	0.31
	NO	1.68	NO	1.29	NO	0.36	NO	0.03	MAYBE	0.65
	NO	1.81	NO	1.77	NO	0.36	NO	0.05	MAYBE	0.55
	NO	1.64	NO	1.75	NO	0.35	NO	0.03	NO	0.4
	NO	1.94	NO	1.96	NO	0.37	NO	0.05	MAYBE	0.58
	NO	1.61	NO	1.63	NO	0.36	NO	0.03	MAYBE	0.43
	NO	1.52	NO	1.34	NO	0.35	NO	0.04	MAYBE	0.31
	NO	1.68	NO	1.72	NO	0.36	NO	0.03	MAYBE	0.43
	NO	1.7	NO	1.71	NO	0.34	NO	0.04	MAYBE	0.47
	NO	1.78	NO	1.26	NO	0.36	NO	0.03	MAYBE	0.65
	NO	19.27	NO	1.84	NO	0.36	NO	0.04	MAYBE	0.8
	NO	1.9	NO	2.01	NO	0.37	NO	0.04	MAYBE	0.52
	NO	1.5	NO	0.64	NO	0.34	NO	0.03	NO	0.37
	NO	1.81	NO	1.48	NO	0.35	NO	0.04	NO	0.37
	NO	1.69	NO	1.41	NO	0.35	NO	0.03	NO	0.37
	NO	16.52	NO	1.77	NO	0.35	NO	0.04	TIMEOUT	60
	NO	1.8	NO	1.82	NO	0.36	NO	0.04	MAYBE	0.55
	NO	1.49	NO	1.41	NO	0.35	NO	0.03	MAYBE	0.37
	NO	1.59	NO	1.9	NO	0.33	NO	0.03	MAYBE	0.42
	NO	1.6	NO	1.27	NO	0.35	NO	0.03	MAYBE	0.52
	NO	1.51	NO	1.29	NO	0.48	NO	0.03	MAYBE	0.52
	NO	1.47	NO	1.24	NO	0.35	NO	0.03	NO	0.35
	NO	1.74	NO	1.41	NO	0.66	NO	0.04	MAYBE	0.65
	NO	1.75	NO	1.74	NO	0.37	NO	0.03	MAYBE	0.49
	NO	1.6	NO	1.08	NO	0.5	NO	0.03	MAYBE	0.53
	NO	1.73	NO	1.14	NO	0.51	NO	0.03	NO	3.08
	NO	1.46	NO	0.66	NO	0.57	NO	0.03	TIMEOUT	60
	NO	1.89	NO	11.64	NO	0.73	NO	0.03	MAYBE	0.81
	NO	1.99	NO	1.17	NO	0.58	NO	0.03	TIMEOUT	60
	TIMEOUT	60	NO	3.21	MAYBE	10.39	NO	0.37	TIMEOUT	60
	TIMEOUT	60	NO	7.4	MAYBE	10.39	NO	5.32	TIMEOUT	60
	NO	2.02	NO	1.21	NO	0.56	NO	0.04	MAYBE	0.57
	NO	1.73	NO	1.05	MAYBE	10.39	NO	0.03	TIMEOUT	60
	NO	30.96	NO	2.07	NO	1.14	NO	0.05	MAYBE	0.17
	NO	1.72	NO	1.2	NO	0.36	NO	0.03	NO	0.6
	NO	1.72	NO	1.21	NO	0.36	NO	0.03	NO	0.73
	NO	1.51	NO	0.61	NO	0.35	NO	0.04	NO	0.17
	NO	1.47	NO	0.58	NO	0.34	NO	0.03	NO	0.16
	NO	3.5	NO	8.09	MAYBE	10.47	NO	0.41	TIMEOUT	60
	NO	1.48	NO	1.34	NO	0.44	NO	0.03	NO	0.39
	NO	2.23	NO	3.41	NO	1.79	NO	0.23	MAYBE	1.73
	NO	2.0	NO	1.55	NO	0.47	NO	0.04	NO	0.6
	TIMEOUT	60	TIMEOUT	60	NO	1.36	NO	0.12	NO	2.65
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.51	NO	16.35	TIMEOUT	60
	NO	1.45	NO	1.36	NO	0.46	NO	0.03	MAYBE	0.54
	NO	1.45	NO	1.23	NO	0.34	NO	0.03	NO	0.31
	NO	1.55	NO	0.6	NO	0.35	NO	0.03	NO	0.16
	NO	1.51	NO	1.56	NO	0.35	NO	0.03	NO	0.38
	NO	1.69	NO	1.29	NO	0.36	NO	0.03	NO	0.34
	NO	19.97	NO	18.62	MAYBE	10.56	TIMEOUT	60	TIMEOUT	60
	NO	1.5	NO	0.62	NO	0.36	NO	0.03	NO	0.17
	NO	1.68	NO	1.24	NO	0.34	NO	0.04	MAYBE	0.61
	NO	1.87	NO	1.12	NO	0.56	NO	0.03	TIMEOUT	60
	NO	8.47	NO	2.32	MAYBE	10.44	NO	0.05	TIMEOUT	60
	NO	11.15	NO	6.42	MAYBE	10.51	TIMEOUT	60	MAYBE	10.64
	NO	1.46	NO	1.21	NO	0.35	NO	0.03	NO	0.38
	NO	1.52	NO	0.6	NO	0.34	NO	0.03	NO	0.16
	NO	2.53	NO	3.76	NO	1.18	NO	0.05	TIMEOUT	60
	NO	1.46	NO	0.59	NO	0.35	NO	0.03	NO	0.16
	NO	1.79	NO	1.53	NO	0.35	NO	0.03	NO	0.5
	NO	1.5	NO	1.43	NO	1.08	NO	0.03	NO	0.83
	NO	1.5	NO	1.28	NO	0.43	NO	0.03	NO	0.34
	TIMEOUT	60	TIMEOUT	60	MAYBE	6.59	NO	0.07	MAYBE	1.29
	NO	32.26	NO	28.56	MAYBE	6.62	NO	0.11	MAYBE	0.58
	NO	1.5	NO	1.23	NO	0.35	NO	0.03	NO	0.32
	NO	3.9	TIMEOUT	60	NO	1.72	NO	0.07	MAYBE	1.2
	NO	1.98	NO	1.19	NO	0.67	NO	0.03	TIMEOUT	60
	NO	1.96	NO	1.18	NO	0.69	NO	0.03	TIMEOUT	60
	NO	12.05	NO	6.5	MAYBE	10.51	TIMEOUT	60	MAYBE	16.63
	NO	1.56	NO	1.28	NO	0.34	NO	0.03	NO	0.41
	NO	1.47	NO	0.59	NO	0.35	NO	0.03	NO	0.16
	NO	1.47	NO	0.6	NO	0.35	NO	0.03	NO	0.16
	NO	57.44	NO	57.96	MAYBE	10.54	TIMEOUT	60	TIMEOUT	60
	NO	1.84	NO	1.51	NO	0.36	NO	0.05	MAYBE	0.84
	NO	5.7	NO	2.58	NO	0.82	NO	0.16	TIMEOUT	60
	NO	2.26	NO	1.4	NO	0.83	NO	0.04	MAYBE	1.75
	NO	1.49	NO	0.64	NO	0.35	NO	0.03	NO	0.15
	NO	1.52	NO	0.59	NO	0.36	NO	0.03	NO	0.16
	NO	1.59	NO	0.58	NO	0.34	NO	0.03	NO	0.16
	NO	1.51	NO	0.59	NO	0.35	NO	0.03	NO	0.16
	NO	13.15	NO	12.51	NO	4.48	NO	3.27	TIMEOUT	60
	NO	1.49	NO	0.61	NO	0.36	NO	0.04	NO	0.16
	NO	7.13	NO	12.39	NO	4.59	NO	3.1	TIMEOUT	60
	NO	1.48	NO	0.59	NO	0.35	NO	0.03	NO	0.17
	NO	1.5	NO	0.62	NO	0.35	NO	0.04	NO	0.16
	NO	11.52	NO	9.48	MAYBE	10.6	NO	0.61	TIMEOUT	60
	NO	1.47	NO	0.64	NO	0.35	NO	0.03	NO	0.16
	NO	2.47	NO	2.39	NO	1.44	NO	0.05	NO	1.31
	NO	1.46	NO	0.57	NO	0.34	NO	0.03	NO	0.16
	NO	1.56	NO	0.66	NO	0.36	NO	0.04	NO	0.17
	NO	17.76	NO	11.29	MAYBE	10.57	TIMEOUT	60	TIMEOUT	60
	NO	1.46	NO	0.6	NO	0.35	NO	0.03	NO	0.16
	NO	1.48	NO	1.39	NO	0.6	NO	0.03	MAYBE	0.71
	NO	1.51	NO	0.6	NO	0.35	NO	0.03	NO	0.16
	NO	1.48	NO	0.59	NO	0.36	NO	0.03	NO	0.16
	NO	1.85	NO	1.04	NO	0.56	NO	0.03	TIMEOUT	60
	NO	8.73	NO	2.37	MAYBE	10.48	NO	0.09	TIMEOUT	60
	NO	1.57	NO	0.97	NO	0.42	NO	0.03	MAYBE	0.4
	NO	2.06	NO	1.16	NO	0.88	NO	0.04	MAYBE	1.23
	NO	1.51	NO	0.64	NO	0.37	NO	0.04	NO	0.17
	NO	1.55	NO	0.66	NO	0.35	NO	0.03	NO	0.39
	NO	11.8	NO	9.61	NO	2.43	NO	0.44	TIMEOUT	60
	NO	1.48	NO	0.63	NO	0.36	NO	0.03	NO	0.16
	NO	4.13	NO	8.2	NO	1.44	NO	0.13	TIMEOUT	60
	NO	13.96	NO	11.22	MAYBE	10.51	NO	1.57	TIMEOUT	60
	NO	1.48	NO	0.58	NO	0.35	NO	0.03	NO	0.16
	NO	11.55	NO	8.48	NO	3.14	NO	0.43	MAYBE	34.3
	NO	1.55	NO	0.64	NO	0.35	NO	0.03	NO	0.17
	NO	2.61	NO	5.01	NO	1.43	NO	1.13	TIMEOUT	60
	NO	1.57	NO	0.61	NO	0.35	NO	0.05	NO	0.17
	NO	1.71	NO	1.7	NO	0.36	NO	0.06	MAYBE	0.59
	NO	1.5	NO	0.6	NO	0.36	NO	0.05	NO	0.16
	NO	1.52	NO	0.67	NO	0.36	NO	0.05	NO	0.17
	NO	1.57	NO	0.71	NO	0.37	NO	0.05	NO	0.17
	NO	25.81	NO	22.97	MAYBE	10.55	TIMEOUT	60	TIMEOUT	60
	NO	1.59	NO	0.61	NO	0.36	NO	0.03	NO	0.16
	NO	31.29	NO	29.07	MAYBE	10.59	TIMEOUT	60	TIMEOUT	60
	NO	1.55	NO	0.63	NO	0.36	NO	0.04	NO	0.16
	NO	24.25	NO	17.94	MAYBE	10.57	TIMEOUT	60	TIMEOUT	60
	NO	25.8	NO	22.46	MAYBE	10.56	TIMEOUT	60	TIMEOUT	60
	NO	1.74	NO	0.92	MAYBE	10.62	TIMEOUT	60	TIMEOUT	60
	NO	1.81	NO	1.42	NO	1.58	NO	0.04	MAYBE	0.81
	NO	2.02	NO	1.58	NO	1.56	NO	0.1	MAYBE	2.83
	NO	20.69	NO	12.14	MAYBE	10.56	TIMEOUT	60	TIMEOUT	60
	NO	1.49	NO	0.6	NO	0.34	NO	0.03	NO	0.15
	NO	1.77	NO	0.96	MAYBE	10.62	TIMEOUT	60	TIMEOUT	60
	NO	2.77	NO	1.82	NO	0.75	NO	0.06	MAYBE	1.97
	NO	2.87	NO	2.56	NO	1.68	NO	0.12	MAYBE	5.76
	NO	1.44	NO	0.59	NO	0.35	NO	0.03	NO	0.17
	NO	1.69	NO	0.74	NO	0.41	NO	0.96	NO	0.17
	NO	1.68	NO	0.76	NO	0.44	NO	5.52	NO	0.2
	NO	1.52	NO	0.65	NO	0.37	NO	0.29	NO	0.17
	NO	1.55	NO	0.7	NO	0.39	NO	0.61	NO	0.17
	NO	1.51	NO	0.63	NO	0.37	NO	0.06	NO	0.16
	NO	1.54	NO	0.67	NO	0.37	NO	0.26	NO	0.17
	NO	1.62	NO	0.64	NO	0.36	NO	0.08	NO	0.16
	NO	1.55	NO	0.73	NO	0.38	NO	0.17	NO	0.17
	NO	1.47	NO	0.61	NO	0.34	NO	0.04	NO	0.16
	NO	1.58	NO	0.64	NO	0.36	NO	0.05	NO	0.16
	NO	1.52	NO	0.61	NO	0.35	NO	0.03	NO	0.16
	NO	1.47	NO	0.6	NO	0.35	NO	0.03	NO	0.16
	NO	1.55	NO	0.67	NO	0.37	NO	0.08	NO	0.16
	NO	1.56	NO	0.74	NO	0.39	NO	0.06	NO	0.17
	NO	1.51	NO	0.61	NO	0.35	NO	0.04	NO	0.17
	NO	37.84	NO	50.05	MAYBE	10.57	TIMEOUT	60	TIMEOUT	60
	NO	1.52	NO	0.65	NO	0.36	NO	0.04	NO	0.17
	NO	37.29	NO	32.11	MAYBE	10.59	TIMEOUT	60	TIMEOUT	60
	NO	1.76	NO	1.04	MAYBE	10.6	TIMEOUT	60	TIMEOUT	60
	NO	6.7	NO	1.68	NO	1.41	NO	0.05	TIMEOUT	60
	NO	5.29	NO	5.28	NO	1.45	NO	0.23	TIMEOUT	60
	NO	24.61	NO	21.28	MAYBE	10.62	TIMEOUT	60	TIMEOUT	60
	NO	1.53	NO	0.59	NO	0.34	NO	0.03	NO	0.16
	NO	2.05	NO	1.2	MAYBE	10.68	TIMEOUT	60	TIMEOUT	60
	NO	11.72	NO	10.08	MAYBE	10.46	NO	31.39	TIMEOUT	60
	NO	17.38	NO	23.17	MAYBE	10.65	NO	33.36	TIMEOUT	60
	NO	1.48	NO	0.62	NO	0.37	NO	0.03	NO	0.17
	NO	7.88	NO	8.79	MAYBE	10.47	TIMEOUT	60	TIMEOUT	60
	NO	1.96	NO	1.67	NO	1.41	NO	0.04	TIMEOUT	60
	NO	1.57	NO	0.66	NO	0.37	NO	0.08	NO	0.17
	NO	44.65	NO	32.98	NO	0.38	NO	0.13	TIMEOUT	60
	NO	1.48	NO	0.6	NO	0.35	NO	0.04	NO	0.17
	NO	2.18	NO	11.01	NO	0.36	NO	0.05	TIMEOUT	60
	NO	1.49	NO	0.6	NO	0.35	NO	0.03	NO	0.17
	NO	1.51	NO	0.59	NO	0.35	NO	0.04	NO	0.16
	NO	1.54	NO	0.65	NO	0.37	NO	0.06	NO	0.16
	NO	1.48	NO	0.59	NO	0.35	NO	0.03	NO	0.16
	NO	1.46	NO	0.6	NO	0.35	NO	0.03	NO	0.16
	NO	1.46	NO	0.59	NO	0.35	NO	0.03	NO	0.16
	NO	1.45	NO	0.58	NO	0.35	NO	0.03	NO	0.16
	NO	3.55	NO	2.47	NO	0.56	NO	0.09	MAYBE	1.88
	NO	2.71	NO	1.81	NO	0.68	NO	0.07	MAYBE	1.24
	NO	2.75	NO	1.94	NO	0.65	NO	0.07	MAYBE	1.18
	NO	2.9	NO	1.92	NO	0.55	NO	0.07	TIMEOUT	60