Tool	YES	MAYBE	TIMEOUT
AProVE	51	6	3
AProVE 2011	23	29	8
Julia	32	28	0
COSTA	29	5	26

Example	AProVE		AProVE 2011		Julia		COSTA
	YES	10.24	MAYBE	8.61	MAYBE	13.45	TIMEOUT	60
	YES	13.24	MAYBE	8.7	MAYBE	13.89	TIMEOUT	60
	YES	12.73	MAYBE	7.63	MAYBE	22.05	TIMEOUT	60
	MAYBE	7.58	MAYBE	7.0	MAYBE	23.95	TIMEOUT	60
	YES	12.64	MAYBE	8.52	MAYBE	15.13	TIMEOUT	60
	YES	10.25	MAYBE	7.33	MAYBE	14.8	TIMEOUT	60
	YES	25.82	MAYBE	10.07	MAYBE	17.24	TIMEOUT	60
	YES	27.22	MAYBE	9.55	MAYBE	15.35	TIMEOUT	60
	YES	26.3	MAYBE	10.03	MAYBE	14.74	TIMEOUT	60
	YES	10.21	MAYBE	7.44	MAYBE	13.14	TIMEOUT	60
	MAYBE	11.05	MAYBE	6.7	MAYBE	14.24	TIMEOUT	60
	YES	11.96	MAYBE	7.69	MAYBE	14.91	TIMEOUT	60
	YES	14.55	MAYBE	7.87	MAYBE	16.48	TIMEOUT	60
	YES	10.79	MAYBE	7.89	MAYBE	13.56	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	9.14	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	7.09	MAYBE	31.45
	YES	9.3	YES	10.7	YES	4.96	YES	9.79
	YES	8.85	YES	12.61	YES	4.75	YES	3.32
	YES	5.96	YES	8.76	YES	4.6	YES	3.3
	YES	5.92	YES	9.13	YES	4.56	YES	3.16
	YES	5.77	MAYBE	10.17	MAYBE	4.82	MAYBE	12.63
	MAYBE	10.6	MAYBE	14.25	MAYBE	8.52	TIMEOUT	60
	YES	20.26	TIMEOUT	60	MAYBE	5.6	TIMEOUT	60
	YES	12.59	YES	25.91	MAYBE	7.93	MAYBE	40.56
	YES	5.3	YES	8.09	YES	4.5	YES	3.58
	MAYBE	18.74	MAYBE	22.89	MAYBE	14.0	TIMEOUT	60
	YES	5.27	YES	8.96	YES	4.88	YES	3.56
	YES	5.13	YES	8.03	YES	4.81	YES	3.47
	YES	18.84	TIMEOUT	60	MAYBE	5.8	TIMEOUT	60
	YES	4.81	YES	8.17	YES	4.84	YES	3.31
	YES	9.29	TIMEOUT	60	YES	7.29	MAYBE	21.89
	YES	18.12	TIMEOUT	60	MAYBE	5.8	TIMEOUT	60
	YES	9.1	TIMEOUT	60	YES	7.18	MAYBE	35.64
	YES	10.17	YES	12.24	YES	4.83	YES	3.47
	YES	6.09	YES	9.23	YES	4.82	YES	3.4
	YES	6.05	YES	8.93	YES	4.89	YES	3.25
	YES	5.01	YES	8.35	YES	4.9	YES	3.66
	YES	5.07	YES	7.97	YES	4.76	YES	3.64
	YES	5.04	YES	8.4	YES	4.78	YES	3.67
	YES	18.62	MAYBE	18.39	YES	4.97	YES	4.92
	YES	19.72	MAYBE	19.79	YES	5.0	YES	4.88
	YES	19.55	MAYBE	8.18	YES	4.96	YES	4.93
	YES	19.9	MAYBE	21.14	YES	5.16	YES	4.8
	YES	8.68	YES	12.52	YES	4.98	YES	3.46
	MAYBE	10.28	MAYBE	9.69	MAYBE	9.99	TIMEOUT	60
	YES	27.13	YES	12.61	YES	5.26	YES	6.45
	YES	23.82	MAYBE	11.48	MAYBE	5.84	TIMEOUT	60
	YES	18.52	MAYBE	18.19	YES	4.99	YES	4.66
	YES	24.52	MAYBE	11.54	MAYBE	5.79	TIMEOUT	60
	YES	18.5	MAYBE	8.81	YES	5.02	YES	4.67
	YES	22.23	MAYBE	11.74	MAYBE	5.89	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	YES	8.67	TIMEOUT	60
	MAYBE	10.24	MAYBE	12.5	MAYBE	10.35	TIMEOUT	60
	YES	6.43	YES	9.98	YES	5.31	YES	4.29
	YES	5.61	MAYBE	6.56	YES	5.71	YES	6.11
	YES	18.75	YES	21.52	YES	4.36	YES	4.02
	YES	16.26	YES	20.14	YES	4.1	YES	3.06
	YES	25.79	YES	24.46	YES	4.57	YES	6.52
	YES	16.89	YES	19.55	YES	4.08	YES	3.15
	YES	19.83	YES	21.26	YES	4.33	YES	3.89