Tool	YES	NO	MAYBE	TIMEOUT
AProVE	7	0	0	0
AProVE 2011	2	0	4	1
Julia	0	0	7	0
COSTA	1	0	6	0

Example	AProVE		AProVE 2011		Julia		COSTA
	YES	2.38	YES	9.48	MAYBE	2.95	MAYBE	2.01
	YES	2.41	MAYBE	6.54	MAYBE	3.18	MAYBE	1.71
	YES	1.83	TIMEOUT	60	MAYBE	3.08	MAYBE	3.05
	YES	1.82	YES	1.98	MAYBE	2.8	MAYBE	3.74
	YES	2.85	MAYBE	6.33	MAYBE	2.73	MAYBE	4.16
	YES	2.36	MAYBE	6.26	MAYBE	3.14	MAYBE	4.46
	YES	17.25	MAYBE	6.2	MAYBE	6.31	YES	6.45