Tool	NO	MAYBE	TIMEOUT
AProVE-NL	44 [5.22]	0	14
AProVE 2011	0	0	58
TTT2	0	58 [10.45]	0
NTI	0	0	58
VMTL	0	17 [1.24]	41

Example	AProVE-NL		AProVE 2011		TTT2		NTI		VMTL
	NO	14.31	TIMEOUT	60	MAYBE	10.53	TIMEOUT	60	TIMEOUT	60
	NO	2.04	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	MAYBE	1.46
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.48	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60	TIMEOUT	60
	NO	2.33	TIMEOUT	60	MAYBE	10.42	TIMEOUT	60	TIMEOUT	60
	NO	2.23	TIMEOUT	60	MAYBE	10.42	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.42	TIMEOUT	60	TIMEOUT	60
	NO	2.33	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	MAYBE	1.69
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.43	TIMEOUT	60	TIMEOUT	60
	NO	11.88	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60	TIMEOUT	60
	NO	12.66	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	TIMEOUT	60
	NO	2.25	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	TIMEOUT	60
	NO	2.23	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	TIMEOUT	60
	NO	2.84	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.43	TIMEOUT	60	TIMEOUT	60
	NO	2.16	TIMEOUT	60	MAYBE	10.43	TIMEOUT	60	TIMEOUT	60
	NO	4.47	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60	TIMEOUT	60
	NO	4.83	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	TIMEOUT	60
	NO	2.36	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	TIMEOUT	60
	NO	5.1	TIMEOUT	60	MAYBE	10.49	TIMEOUT	60	TIMEOUT	60
	NO	3.57	TIMEOUT	60	MAYBE	10.49	TIMEOUT	60	TIMEOUT	60
	NO	4.97	TIMEOUT	60	MAYBE	10.53	TIMEOUT	60	TIMEOUT	60
	NO	2.05	TIMEOUT	60	MAYBE	10.4	TIMEOUT	60	TIMEOUT	60
	NO	12.51	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	TIMEOUT	60
	NO	7.74	TIMEOUT	60	MAYBE	10.48	TIMEOUT	60	TIMEOUT	60
	NO	16.09	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60	TIMEOUT	60
	NO	19.71	TIMEOUT	60	MAYBE	10.51	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.55	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.56	TIMEOUT	60	TIMEOUT	60
	NO	15.93	TIMEOUT	60	MAYBE	10.46	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.51	TIMEOUT	60	TIMEOUT	60
	NO	19.78	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60	TIMEOUT	60
	NO	3.83	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	TIMEOUT	60
	NO	3.84	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	TIMEOUT	60
	NO	10.09	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.51	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60	TIMEOUT	60
	NO	2.07	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	1.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.47	TIMEOUT	60	MAYBE	5.22
	NO	5.27	TIMEOUT	60	MAYBE	10.48	TIMEOUT	60	TIMEOUT	60
	NO	1.71	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	0.81
	NO	1.69	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	0.84
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	0.73
	NO	1.7	TIMEOUT	60	MAYBE	10.4	TIMEOUT	60	MAYBE	0.75
	NO	1.78	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	0.63
	NO	1.8	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	0.72
	NO	1.86	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	MAYBE	0.88
	NO	2.28	TIMEOUT	60	MAYBE	10.4	TIMEOUT	60	TIMEOUT	60
	NO	1.75	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	MAYBE	1.2
	NO	1.8	TIMEOUT	60	MAYBE	10.39	TIMEOUT	60	MAYBE	0.73
	NO	1.72	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	MAYBE	0.91
	NO	1.72	TIMEOUT	60	MAYBE	10.4	TIMEOUT	60	MAYBE	1.03
	NO	2.07	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60	TIMEOUT	60
	NO	1.75	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	MAYBE	1.18
	NO	1.73	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60	MAYBE	1.06
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.57	TIMEOUT	60	TIMEOUT	60
	NO	2.68	TIMEOUT	60	MAYBE	10.54	TIMEOUT	60	TIMEOUT	60