Tool	YES	NO	MAYBE	TIMEOUT
AProVE	213	28	5	22
AProVE 2011	204	28	12	24
Julia	163	22	83	0
COSTA	134	0	117	17

Example	AProVE		AProVE 2011		Julia		COSTA
	YES	2.05	YES	2.25	YES	2.73	YES	1.03
	TIMEOUT	60	TIMEOUT	60	MAYBE	2.54	MAYBE	2.56
	YES	5.2	YES	4.64	YES	3.22	MAYBE	4.29
	YES	15.38	YES	10.18	MAYBE	7.54	TIMEOUT	60
	YES	5.23	YES	5.35	MAYBE	5.04	MAYBE	15.93
	YES	1.86	YES	2.19	YES	2.38	YES	0.92
	YES	3.9	YES	4.36	YES	2.33	YES	1.01
	YES	1.68	YES	2.05	YES	2.34	YES	0.9
	YES	2.0	YES	18.13	YES	2.54	YES	1.9
	YES	1.55	YES	2.13	YES	2.37	YES	0.89
	YES	8.68	YES	9.2	YES	5.08	MAYBE	42.1
	YES	9.87	YES	14.4	MAYBE	6.02	MAYBE	53.13
	YES	9.19	YES	8.13	MAYBE	7.84	TIMEOUT	60
	YES	2.38	YES	5.99	MAYBE	2.39	MAYBE	2.75
	YES	1.88	YES	3.0	MAYBE	2.34	MAYBE	2.78
	YES	2.22	YES	2.98	MAYBE	2.38	MAYBE	2.74
	TIMEOUT	60	TIMEOUT	60	YES	2.37	MAYBE	2.64
	YES	5.4	TIMEOUT	60	MAYBE	2.38	MAYBE	2.92
	TIMEOUT	60	YES	12.33	MAYBE	4.21	MAYBE	18.52
	YES	2.13	YES	2.36	YES	3.12	YES	1.35
	YES	1.84	YES	2.05	YES	2.98	MAYBE	3.53
	YES	2.7	YES	6.5	YES	3.14	YES	1.45
	YES	2.4	YES	2.6	YES	3.65	MAYBE	19.0
	YES	5.09	YES	4.66	MAYBE	2.42	MAYBE	2.61
	YES	1.55	YES	1.84	YES	2.51	YES	0.91
	YES	3.97	YES	2.4	YES	2.5	MAYBE	2.65
	YES	4.88	YES	4.68	MAYBE	2.4	MAYBE	2.62
	YES	1.54	YES	1.75	YES	2.56	MAYBE	2.53
	YES	2.01	TIMEOUT	60	MAYBE	2.32	MAYBE	2.86
	YES	1.62	YES	1.81	YES	2.28	YES	0.89
	YES	1.78	YES	2.22	YES	2.41	YES	0.92
	TIMEOUT	60	TIMEOUT	60	MAYBE	2.38	MAYBE	2.71
	YES	8.0	YES	9.28	MAYBE	4.79	MAYBE	36.24
	YES	1.84	YES	2.68	YES	2.61	YES	0.92
	YES	2.15	YES	6.88	YES	2.35	YES	0.97
	YES	1.72	YES	2.15	YES	2.31	YES	0.91
	YES	1.54	YES	1.84	YES	2.2	YES	0.87
	YES	1.56	YES	1.8	YES	2.2	YES	0.88
	YES	1.7	YES	1.77	YES	2.25	YES	0.92
	YES	1.69	YES	1.82	YES	2.33	YES	0.91
	YES	1.57	YES	1.81	YES	2.36	YES	0.88
	YES	1.7	YES	2.19	YES	2.35	YES	1.72
	YES	2.06	YES	2.1	YES	2.36	YES	0.92
	YES	2.85	YES	3.32	YES	2.5	YES	0.96
	YES	1.77	YES	1.88	YES	2.37	YES	1.01
	YES	3.73	YES	9.28	YES	2.45	YES	1.36
	YES	2.3	YES	2.33	YES	2.33	YES	0.92
	YES	2.47	YES	2.63	YES	2.4	YES	0.95
	YES	1.68	YES	1.86	YES	2.27	YES	0.89
	YES	2.43	YES	2.86	YES	2.53	YES	0.92
	YES	2.08	YES	3.95	YES	2.27	YES	0.94
	YES	1.57	YES	1.79	YES	2.15	YES	0.89
	YES	1.64	YES	1.82	YES	2.2	YES	0.88
	YES	1.56	YES	1.99	YES	2.16	YES	1.64
	YES	1.51	YES	1.81	YES	2.2	YES	0.89
	YES	1.54	YES	1.57	YES	2.34	YES	0.89
	YES	1.53	YES	1.79	YES	2.2	YES	0.89
	YES	1.8	YES	1.9	YES	2.28	YES	0.92
	YES	1.79	YES	2.35	YES	2.58	YES	1.78
	YES	2.46	YES	4.09	YES	2.39	YES	0.95
	YES	2.37	YES	3.07	YES	2.35	YES	1.02
	YES	1.85	YES	3.29	YES	2.5	YES	1.71
	YES	1.69	YES	2.9	YES	2.39	YES	0.93
	YES	2.02	YES	3.65	YES	2.39	YES	2.07
	TIMEOUT	60	TIMEOUT	60	MAYBE	2.52	YES	1.8
	YES	1.8	YES	2.66	YES	2.43	YES	0.92
	YES	2.63	YES	4.26	YES	2.44	YES	1.02
	YES	1.63	YES	2.05	YES	2.26	MAYBE	2.7
	YES	1.57	TIMEOUT	60	MAYBE	2.33	MAYBE	2.52
	YES	2.36	YES	1.96	YES	2.95	YES	2.52
	YES	13.31	YES	13.62	MAYBE	7.84	MAYBE	17.71
	YES	3.13	YES	3.27	YES	3.74	MAYBE	5.08
	TIMEOUT	60	TIMEOUT	60	YES	4.08	MAYBE	6.97
	YES	1.65	YES	1.89	YES	2.19	YES	0.31
	YES	1.68	YES	1.84	YES	2.85	YES	1.53
	YES	1.64	YES	2.0	YES	2.59	YES	0.85
	YES	1.25	YES	1.16	MAYBE	2.36	MAYBE	3.31
	YES	1.75	YES	3.79	YES	2.9	YES	1.26
	YES	1.28	YES	1.19	MAYBE	2.71	MAYBE	3.07
	YES	1.25	YES	1.16	MAYBE	2.54	MAYBE	3.59
	YES	8.98	YES	8.65	YES	4.86	MAYBE	22.03
	YES	8.59	YES	11.48	MAYBE	6.62	TIMEOUT	60
	YES	1.24	YES	1.15	YES	2.28	MAYBE	2.86
	YES	1.25	YES	1.15	YES	2.26	MAYBE	2.51
	YES	1.77	YES	1.85	MAYBE	2.44	MAYBE	3.28
	YES	2.7	YES	6.67	YES	3.41	YES	1.8
	YES	1.24	YES	1.16	YES	2.36	MAYBE	3.17
	YES	1.31	YES	1.23	MAYBE	2.98	MAYBE	12.06
	YES	1.27	YES	1.17	MAYBE	2.69	MAYBE	3.4
	YES	5.65	YES	4.36	MAYBE	2.97	MAYBE	8.05
	YES	2.24	YES	9.94	MAYBE	3.39	MAYBE	9.06
	YES	1.23	YES	1.17	MAYBE	2.47	MAYBE	1.43
	YES	1.3	YES	1.22	MAYBE	2.7	MAYBE	3.01
	YES	1.63	YES	1.87	MAYBE	2.73	MAYBE	3.65
	YES	2.2	YES	2.25	MAYBE	3.16	MAYBE	4.2
	YES	1.27	YES	1.15	MAYBE	2.41	MAYBE	2.6
	YES	2.81	YES	3.37	MAYBE	2.96	MAYBE	4.97
	YES	7.99	YES	7.51	MAYBE	4.48	MAYBE	12.8
	YES	8.46	YES	7.1	MAYBE	4.99	MAYBE	20.39
	YES	24.32	YES	5.4	MAYBE	3.01	MAYBE	7.77
	YES	12.55	YES	13.57	MAYBE	3.48	MAYBE	9.11
	YES	3.2	YES	9.0	MAYBE	6.28	YES	1.61
	YES	1.61	YES	1.87	MAYBE	2.63	MAYBE	3.74
	YES	2.2	YES	2.22	MAYBE	2.95	MAYBE	5.17
	YES	1.28	YES	1.16	MAYBE	2.39	MAYBE	2.61
	YES	6.66	YES	12.11	MAYBE	2.79	MAYBE	8.2
	YES	2.4	YES	4.71	MAYBE	2.86	MAYBE	5.94
	YES	17.94	YES	16.33	MAYBE	4.19	YES	5.88
	YES	25.53	YES	33.04	MAYBE	7.14	YES	30.27
	YES	8.29	YES	11.41	YES	4.61	YES	3.86
	YES	1.9	YES	12.51	YES	2.88	YES	1.48
	YES	2.35	YES	6.39	YES	3.22	YES	1.29
	YES	1.89	YES	2.69	YES	3.59	MAYBE	3.24
	YES	1.83	YES	2.76	YES	2.83	MAYBE	2.68
	YES	14.67	YES	6.2	MAYBE	3.29	MAYBE	7.06
	YES	1.6	YES	1.86	MAYBE	2.86	MAYBE	4.29
	YES	9.48	YES	8.01	MAYBE	3.67	YES	1.5
	YES	19.52	MAYBE	18.38	MAYBE	9.07	YES	5.41
	YES	4.89	YES	14.08	MAYBE	4.32	YES	3.9
	YES	32.12	YES	29.58	YES	3.97	MAYBE	6.35
	YES	13.55	MAYBE	6.59	MAYBE	3.91	MAYBE	6.18
	TIMEOUT	60	YES	18.06	MAYBE	4.57	MAYBE	9.98
	YES	9.17	YES	10.88	MAYBE	3.94	YES	5.2
	YES	1.56	YES	1.79	YES	2.46	YES	0.84
	YES	1.67	YES	2.31	YES	2.25	YES	0.54
	YES	11.88	YES	14.38	MAYBE	5.94	YES	9.65
	YES	26.45	MAYBE	12.76	MAYBE	7.19	YES	7.2
	YES	4.43	YES	6.55	MAYBE	4.02	MAYBE	7.14
	YES	5.97	YES	16.08	MAYBE	3.85	YES	4.8
	YES	5.83	YES	14.15	MAYBE	3.02	YES	1.51
	YES	2.93	YES	4.08	YES	2.96	MAYBE	4.34
	YES	27.06	YES	56.83	MAYBE	4.06	MAYBE	16.01
	YES	1.54	YES	1.79	YES	2.36	YES	0.84
	YES	4.0	YES	2.42	YES	2.47	MAYBE	2.64
	YES	17.76	YES	8.57	MAYBE	3.39	MAYBE	21.19
	YES	13.18	YES	7.43	MAYBE	3.45	MAYBE	10.17
	YES	11.32	YES	6.08	MAYBE	3.55	MAYBE	7.69
	YES	8.01	YES	5.13	MAYBE	3.39	MAYBE	7.35
	MAYBE	10.76	YES	12.79	YES	3.94	YES	5.55
	YES	10.58	MAYBE	10.55	MAYBE	3.48	TIMEOUT	60
	YES	7.84	YES	9.87	MAYBE	3.72	MAYBE	10.33
	YES	8.35	YES	17.46	MAYBE	3.6	MAYBE	18.75
	YES	1.48	YES	1.6	YES	2.21	YES	0.81
	TIMEOUT	60	MAYBE	19.2	MAYBE	6.76	YES	43.98
	YES	12.05	YES	11.61	YES	3.38	TIMEOUT	60
	YES	3.06	YES	5.76	YES	2.71	YES	1.39
	MAYBE	7.24	MAYBE	8.86	MAYBE	3.11	MAYBE	6.15
	YES	2.97	YES	2.21	YES	2.25	YES	1.03
	YES	1.4	YES	1.52	YES	2.34	YES	0.28
	TIMEOUT	60	TIMEOUT	60	MAYBE	2.14	MAYBE	0.77
	TIMEOUT	60	TIMEOUT	60	MAYBE	2.33	MAYBE	0.67
	YES	2.28	YES	3.31	YES	2.81	YES	0.99
	YES	1.51	YES	1.67	YES	2.49	YES	1.78
	YES	1.2	YES	1.14	YES	2.23	YES	0.25
	YES	5.05	YES	5.85	YES	2.82	YES	0.94
	YES	1.23	YES	1.15	YES	2.31	YES	0.26
	NO	1.24	NO	1.17	NO	2.24	MAYBE	0.63
	YES	8.75	YES	8.63	YES	2.87	MAYBE	0.96
	YES	1.51	YES	1.81	YES	2.63	MAYBE	0.77
	YES	1.23	YES	1.17	YES	2.21	MAYBE	0.76
	YES	1.57	YES	1.75	YES	2.78	MAYBE	0.89
	NO	1.33	NO	1.22	MAYBE	2.28	MAYBE	0.89
	TIMEOUT	60	TIMEOUT	60	MAYBE	3.27	MAYBE	18.2
	YES	1.41	YES	1.51	YES	4.58	YES	1.71
	NO	1.44	NO	1.31	MAYBE	2.35	MAYBE	0.86
	NO	1.54	NO	1.54	MAYBE	2.23	MAYBE	0.72
	YES	1.32	YES	1.24	YES	2.27	YES	0.31
	NO	1.59	NO	1.54	MAYBE	2.28	MAYBE	0.72
	YES	1.31	YES	1.28	YES	2.3	YES	0.31
	YES	1.23	YES	1.13	YES	2.37	YES	0.75
	MAYBE	6.37	MAYBE	6.31	MAYBE	2.3	MAYBE	2.47
	YES	11.11	YES	10.6	YES	17.01	MAYBE	20.82
	YES	4.11	YES	8.23	YES	4.4	MAYBE	14.47
	YES	1.45	YES	1.59	YES	2.33	YES	0.28
	YES	1.42	YES	1.41	YES	2.39	YES	0.29
	YES	1.37	YES	1.31	YES	2.27	YES	0.28
	YES	1.25	YES	1.16	YES	3.45	YES	1.18
	NO	1.53	NO	1.23	MAYBE	2.4	MAYBE	1.48
	NO	1.36	NO	1.26	MAYBE	2.31	YES	0.83
	TIMEOUT	60	TIMEOUT	60	MAYBE	4.37	MAYBE	2.41
	YES	1.2	YES	1.13	YES	2.67	MAYBE	0.79
	YES	1.26	YES	1.48	YES	4.4	YES	3.86
	YES	1.73	YES	2.33	YES	2.6	YES	1.17
	YES	1.49	YES	1.61	YES	3.1	YES	2.1
	YES	1.52	YES	1.66	YES	3.73	YES	1.36
	YES	7.95	MAYBE	7.89	YES	23.65	TIMEOUT	60
	YES	1.4	YES	1.61	YES	2.43	YES	0.27
	YES	1.43	YES	1.56	YES	2.37	YES	0.26
	YES	2.73	YES	2.09	YES	2.43	YES	0.77
	YES	1.24	YES	1.15	YES	2.6	YES	0.26
	YES	1.44	YES	1.59	YES	2.72	YES	0.29
	YES	1.21	YES	1.14	YES	5.32	YES	0.44
	YES	1.35	YES	1.32	YES	2.75	YES	0.64
	YES	1.61	YES	1.86	YES	8.56	YES	2.63
	YES	1.49	YES	1.4	YES	6.97	YES	3.0
	TIMEOUT	60	YES	15.82	YES	4.35	TIMEOUT	60
	YES	14.02	YES	21.7	YES	11.1	YES	12.99
	YES	7.61	YES	45.6	YES	4.43	TIMEOUT	60
	TIMEOUT	60	MAYBE	6.52	MAYBE	2.51	YES	0.4
	MAYBE	28.28	MAYBE	7.17	MAYBE	2.85	MAYBE	1.29
	YES	1.72	YES	1.74	YES	3.0	YES	1.33
	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
	YES	3.97	YES	7.1	YES	4.32	MAYBE	6.42
	TIMEOUT	60	MAYBE	57.81	YES	17.09	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	YES	18.88	TIMEOUT	60
	YES	13.15	YES	20.65	YES	9.88	YES	14.72
	YES	3.85	TIMEOUT	60	YES	7.73	YES	0.73
	YES	1.23	YES	1.13	YES	2.6	MAYBE	2.61
	TIMEOUT	60	TIMEOUT	60	YES	29.61	TIMEOUT	60
	YES	4.32	YES	4.96	YES	3.64	YES	1.01
	MAYBE	6.66	TIMEOUT	60	MAYBE	3.26	MAYBE	2.82
	YES	6.23	YES	8.89	YES	6.19	YES	0.49
	YES	7.18	YES	17.61	YES	6.65	YES	14.34
	YES	3.0	YES	21.97	YES	28.98	TIMEOUT	60
	YES	9.73	YES	8.06	YES	4.33	YES	2.81
	YES	1.74	YES	4.05	YES	3.78	MAYBE	1.54
	YES	9.27	YES	9.48	YES	6.86	MAYBE	14.23
	YES	1.9	YES	2.73	YES	3.04	YES	1.82
	YES	3.0	YES	4.47	YES	4.31	YES	1.52
	YES	3.9	YES	8.23	YES	3.58	YES	2.02
	YES	1.95	YES	2.26	YES	3.55	YES	1.19
	YES	1.95	YES	2.3	YES	3.56	YES	1.2
	YES	1.8	YES	2.04	YES	3.12	YES	1.3
	YES	15.53	TIMEOUT	60	YES	21.36	TIMEOUT	60
	YES	5.65	TIMEOUT	60	YES	6.84	YES	3.12
	YES	7.34	TIMEOUT	60	MAYBE	13.8	MAYBE	54.25
	YES	3.31	YES	3.69	YES	3.75	YES	1.93
	YES	2.46	YES	5.53	YES	4.69	YES	0.53
	YES	10.38	YES	27.07	YES	15.12	TIMEOUT	60
	YES	1.72	YES	2.96	YES	2.73	MAYBE	0.83
	YES	5.23	YES	9.63	YES	3.67	YES	1.0
	YES	2.0	YES	3.5	YES	9.1	YES	0.4
	TIMEOUT	60	TIMEOUT	60	YES	11.29	YES	14.89
	TIMEOUT	60	TIMEOUT	60	YES	26.33	TIMEOUT	60
	YES	15.4	YES	28.18	YES	4.21	YES	2.41
	TIMEOUT	60	MAYBE	8.9	YES	59.02	TIMEOUT	60
	TIMEOUT	60	YES	30.66	YES	11.93	YES	18.83
	NO	6.34	NO	5.89	NO	2.25	MAYBE	0.64
	NO	1.38	NO	1.26	NO	2.23	MAYBE	2.44
	NO	1.27	NO	1.16	NO	2.14	MAYBE	0.64
	YES	14.57	YES	33.07	YES	52.58	TIMEOUT	60
	NO	1.27	NO	1.18	NO	2.28	MAYBE	0.63
	NO	1.26	NO	1.22	NO	2.21	MAYBE	0.23
	NO	1.3	NO	1.19	NO	2.33	MAYBE	0.26
	NO	1.26	NO	1.16	NO	2.09	MAYBE	0.25
	NO	1.3	NO	1.21	NO	2.24	MAYBE	0.24
	NO	1.39	NO	1.32	NO	2.78	MAYBE	0.28
	NO	5.03	NO	5.01	NO	2.18	MAYBE	0.25
	NO	1.28	NO	1.19	NO	2.19	MAYBE	0.25
	NO	7.46	NO	6.98	NO	2.1	MAYBE	0.24
	NO	15.35	NO	14.22	NO	2.18	MAYBE	0.24
	NO	13.09	NO	12.26	NO	2.26	MAYBE	0.24
	NO	3.33	NO	3.06	NO	2.19	MAYBE	0.24
	NO	1.25	NO	1.15	NO	2.16	MAYBE	0.24
	NO	1.27	NO	1.18	NO	2.19	MAYBE	0.24
	NO	3.19	NO	2.9	NO	2.12	MAYBE	0.24
	NO	1.32	NO	1.2	NO	2.08	MAYBE	0.23
	NO	1.4	NO	1.3	NO	2.13	MAYBE	0.24
	NO	1.29	NO	1.21	NO	2.16	MAYBE	0.67
	TIMEOUT	60	TIMEOUT	60	YES	4.74	YES	2.04
	YES	4.82	TIMEOUT	60	YES	3.78	YES	0.64
	YES	1.88	TIMEOUT	60	YES	3.47	YES	2.11
	YES	9.15	YES	8.25	YES	2.85	YES	0.5
	YES	3.62	YES	6.18	YES	4.31	YES	2.08