Tool	YES	NO	MAYBE	TIMEOUT
AProVE	1	53	0	3
AProVE 2011	1	53	0	3
Julia	1	0	56	0
COSTA	1	0	53	3

Example	AProVE		AProVE 2011		Julia		COSTA
	NO	1.42	NO	1.24	MAYBE	3.37	MAYBE	2.39
	NO	1.75	NO	1.8	MAYBE	3.92	MAYBE	2.65
	NO	1.44	NO	1.34	MAYBE	3.49	MAYBE	0.89
	NO	1.35	NO	1.25	MAYBE	3.54	MAYBE	0.84
	NO	2.15	NO	2.08	MAYBE	3.26	MAYBE	2.45
	NO	1.5	NO	1.3	MAYBE	3.27	MAYBE	2.92
	NO	1.41	NO	1.34	MAYBE	3.64	MAYBE	1.48
	TIMEOUT	60	TIMEOUT	60	MAYBE	3.6	MAYBE	0.9
	NO	1.29	NO	1.17	MAYBE	3.02	MAYBE	1.08
	NO	1.31	NO	1.21	MAYBE	3.02	MAYBE	0.9
	NO	1.33	NO	1.25	MAYBE	3.48	MAYBE	0.81
	NO	3.04	NO	3.06	MAYBE	3.61	MAYBE	9.9
	NO	1.27	NO	1.2	MAYBE	2.99	MAYBE	0.86
	NO	1.72	NO	1.78	MAYBE	3.22	MAYBE	2.44
	NO	2.5	NO	2.16	MAYBE	5.2	MAYBE	2.69
	NO	1.66	NO	1.58	MAYBE	3.4	MAYBE	2.5
	NO	1.5	NO	1.48	MAYBE	3.44	MAYBE	2.42
	NO	1.27	NO	1.16	MAYBE	2.98	MAYBE	0.83
	NO	1.46	NO	1.45	MAYBE	3.43	MAYBE	2.49
	NO	12.51	NO	14.24	MAYBE	3.01	MAYBE	0.74
	NO	1.24	NO	1.17	MAYBE	3.01	MAYBE	0.73
	NO	1.73	NO	1.57	MAYBE	3.45	MAYBE	2.56
	NO	1.61	NO	1.59	MAYBE	3.35	MAYBE	2.47
	NO	1.72	NO	3.68	MAYBE	3.09	MAYBE	10.39
	NO	1.33	NO	1.23	MAYBE	3.18	MAYBE	0.85
	TIMEOUT	60	TIMEOUT	60	MAYBE	3.25	MAYBE	0.93
	NO	4.59	NO	1.37	MAYBE	3.61	MAYBE	1.48
	NO	1.77	NO	1.78	MAYBE	3.44	MAYBE	8.57
	NO	1.66	NO	1.79	MAYBE	3.61	MAYBE	3.34
	NO	1.7	NO	1.47	MAYBE	3.54	MAYBE	2.56
	TIMEOUT	60	TIMEOUT	60	MAYBE	4.69	MAYBE	4.4
	NO	2.8	NO	2.71	MAYBE	4.29	MAYBE	3.35
	NO	1.32	NO	1.2	MAYBE	2.54	MAYBE	0.76
	NO	1.28	NO	1.16	MAYBE	2.94	MAYBE	0.74
	NO	1.59	NO	1.8	MAYBE	3.09	MAYBE	2.48
	NO	1.99	NO	1.91	MAYBE	2.9	TIMEOUT	60
	NO	1.44	NO	1.31	MAYBE	2.55	MAYBE	1.37
	NO	1.28	NO	1.17	MAYBE	2.63	MAYBE	0.83
	NO	1.55	NO	1.44	MAYBE	2.5	MAYBE	0.8
	NO	4.21	NO	4.34	MAYBE	2.76	TIMEOUT	60
	NO	1.76	NO	2.7	MAYBE	2.64	MAYBE	4.33
	NO	1.91	NO	2.46	MAYBE	5.12	TIMEOUT	60
	NO	1.54	NO	1.42	MAYBE	3.18	MAYBE	1.01
	NO	1.35	NO	1.24	MAYBE	2.91	MAYBE	0.78
	NO	1.53	NO	1.46	MAYBE	2.82	MAYBE	2.84
	NO	1.53	NO	1.45	MAYBE	2.61	MAYBE	4.9
	NO	1.74	NO	1.56	MAYBE	2.51	MAYBE	7.44
	NO	1.43	NO	1.95	MAYBE	2.33	MAYBE	0.9
	YES	1.41	YES	1.46	YES	2.33	YES	0.31
	NO	1.32	NO	1.2	MAYBE	2.28	MAYBE	0.75
	NO	1.34	NO	1.24	MAYBE	2.33	MAYBE	0.85
	NO	1.45	NO	1.34	MAYBE	2.24	MAYBE	0.81
	NO	1.49	NO	1.38	MAYBE	2.21	MAYBE	0.83
	NO	1.26	NO	1.17	MAYBE	2.17	MAYBE	0.84
	NO	1.27	NO	1.17	MAYBE	2.19	MAYBE	0.85
	NO	1.55	NO	1.77	MAYBE	2.92	MAYBE	2.51
	NO	1.29	NO	1.16	MAYBE	2.22	MAYBE	0.75