Tool	YES	MAYBE	TIMEOUT
AProVE Algorithm 2	232 [6.3]	57 [19.1]	7
AProVE Algorithm 1	212 [5.6]	74 [17.8]	0

Example	AProVE Algorithm 2		AProVE Algorithm 1
	MAYBE	17.63	MAYBE	15.42
	YES	3.38	YES	4.21
	YES	4.56	YES	3.89
	YES	4.95	YES	4.30
	MAYBE	17.39	MAYBE	17.23
	YES	5.61	YES	5.33
	MAYBE	15.51	MAYBE	20.17
	YES	5.69	YES	4.98
	KILLED	60.00	ERROR	-1.00
	MAYBE	21.05	ERROR	-1.00
	YES	10.84	YES	10.05
	YES	15.28	YES	18.23
	MAYBE	32.44	ERROR	-1.00
	KILLED	60.00	ERROR	-1.00
	MAYBE	8.41	ERROR	-1.00
	YES	3.42	YES	3.18
	YES	3.99	YES	4.78
	YES	4.91	YES	4.66
	YES	4.04	YES	3.83
	YES	4.50	YES	4.68
	YES	4.56	YES	4.22
	YES	4.50	YES	4.06
	YES	21.89	YES	16.35
	YES	26.99	YES	15.12
	MAYBE	16.69	MAYBE	15.74
	YES	4.94	YES	3.79
	YES	4.87	YES	4.38
	YES	4.62	YES	4.67
	YES	5.06	YES	5.27
	KILLED	60.00	MAYBE	21.52
	YES	13.10	YES	10.03
	YES	4.53	YES	3.80
	YES	4.46	YES	4.27
	YES	5.00	YES	4.78
	MAYBE	18.18	MAYBE	17.58
	YES	4.61	YES	4.01
	MAYBE	15.42	MAYBE	15.25
	YES	4.67	YES	4.87
	YES	4.18	YES	4.05
	YES	5.76	YES	5.53
	YES	4.52	YES	3.32
	YES	5.12	YES	4.44
	YES	4.84	YES	3.96
	YES	4.40	YES	4.09
	YES	7.59	YES	6.64
	YES	5.24	YES	4.90
	YES	4.52	YES	4.13
	YES	4.59	YES	4.15
	YES	3.49	YES	3.93
	YES	3.93	YES	4.24
	YES	5.54	YES	4.90
	YES	12.97	YES	8.26
	YES	5.54	YES	6.11
	YES	4.23	YES	4.17
	YES	7.30	YES	5.61
	YES	4.29	YES	4.22
	YES	4.97	YES	4.17
	YES	21.91	YES	18.12
	MAYBE	13.55	MAYBE	14.24
	YES	5.62	YES	4.56
	YES	6.83	YES	6.53
	YES	5.01	YES	4.02
	MAYBE	15.55	MAYBE	15.77
	MAYBE	15.78	MAYBE	14.66
	YES	4.07	YES	4.84
	MAYBE	14.77	MAYBE	14.93
	YES	4.56	YES	4.09
	YES	7.18	YES	8.15
	YES	4.09	YES	4.06
	MAYBE	24.80	MAYBE	21.24
	MAYBE	14.24	MAYBE	14.81
	MAYBE	14.78	MAYBE	15.04
	MAYBE	14.70	MAYBE	14.49
	MAYBE	57.73	MAYBE	57.26
	YES	11.03	YES	9.89
	YES	4.12	YES	3.83
	MAYBE	24.34	MAYBE	22.73
	MAYBE	50.34	ERROR	-1.00
	YES	8.62	YES	6.57
	YES	12.37	YES	14.30
	YES	14.07	YES	20.38
	KILLED	60.00	ERROR	-1.00
	YES	13.16	YES	12.22
	YES	4.50	YES	3.87
	YES	6.18	YES	5.97
	MAYBE	15.21	MAYBE	14.23
	YES	18.00	YES	15.01
	YES	5.94	YES	4.79
	YES	12.04	YES	8.69
	YES	4.69	YES	3.24
	YES	6.40	YES	4.45
	YES	3.59	YES	4.70
	YES	4.33	YES	4.58
	YES	4.82	YES	4.73
	YES	8.15	YES	7.59
	YES	6.17	YES	7.42
	YES	10.90	YES	6.32
	MAYBE	21.72	MAYBE	19.54
	YES	6.76	YES	6.09
	YES	5.33	YES	6.68
	YES	4.38	YES	3.05
	MAYBE	14.31	MAYBE	14.72
	YES	4.13	YES	4.23
	YES	4.84	YES	6.12
	YES	8.26	YES	9.18
	YES	5.96	YES	4.84
	YES	5.16	YES	5.01
	YES	4.56	YES	3.86
	YES	5.18	YES	5.23
	YES	4.95	YES	5.12
	YES	11.81	YES	11.29
	YES	12.33	MAYBE	17.79
	YES	7.68	YES	8.43
	YES	4.50	YES	3.77
	MAYBE	17.12	MAYBE	16.08
	YES	5.27	YES	6.17
	YES	5.01	YES	4.06
	YES	52.86	YES	13.79
	YES	4.31	YES	4.04
	YES	3.46	YES	4.71
	YES	4.47	YES	4.62
	YES	4.57	YES	3.89
	YES	4.49	YES	4.60
	YES	4.56	YES	4.89
	YES	3.74	YES	3.72
	YES	4.60	YES	3.62
	YES	4.07	YES	3.89
	YES	27.09	MAYBE	35.87
	YES	12.83	YES	15.71
	YES	4.43	YES	4.34
	YES	4.41	YES	4.11
	YES	5.01	YES	4.96
	YES	4.90	YES	4.92
	YES	5.30	YES	5.64
	MAYBE	16.35	MAYBE	16.55
	YES	4.29	YES	4.13
	YES	3.18	YES	4.13
	YES	4.78	MAYBE	16.81
	YES	5.05	YES	4.58
	YES	6.89	YES	6.96
	YES	4.92	MAYBE	14.13
	YES	5.35	YES	4.62
	YES	4.56	YES	4.86
	YES	3.54	YES	4.56
	MAYBE	15.70	MAYBE	14.83
	MAYBE	17.04	MAYBE	16.87
	YES	5.07	YES	3.90
	YES	6.69	YES	5.57
	YES	4.34	YES	3.76
	YES	5.29	YES	4.55
	YES	3.35	YES	4.39
	YES	3.37	YES	4.47
	YES	4.15	YES	3.10
	YES	4.40	YES	2.99
	YES	4.72	YES	4.63
	YES	5.47	YES	5.23
	MAYBE	21.42	MAYBE	17.68
	YES	5.94	MAYBE	15.58
	YES	6.32	MAYBE	16.74
	YES	3.33	YES	4.22
	YES	5.00	YES	4.98
	YES	14.71	YES	8.19
	MAYBE	28.77	MAYBE	20.18
	YES	6.80	YES	6.17
	YES	4.96	YES	4.28
	MAYBE	14.59	MAYBE	14.70
	YES	4.88	YES	3.48
	YES	4.67	YES	4.45
	YES	4.52	YES	4.74
	MAYBE	20.80	MAYBE	17.98
	MAYBE	14.94	MAYBE	15.07
	YES	4.62	YES	3.49
	MAYBE	17.89	MAYBE	17.08
	MAYBE	16.30	MAYBE	15.73
	MAYBE	21.24	MAYBE	16.22
	YES	5.41	MAYBE	15.28
	YES	4.94	YES	3.56
	MAYBE	18.34	MAYBE	16.72
	YES	4.52	YES	5.15
	YES	5.96	YES	5.63
	MAYBE	20.37	MAYBE	16.20
	YES	6.02	MAYBE	14.92
	YES	6.29	MAYBE	15.26
	YES	3.63	YES	4.33
	YES	3.66	YES	3.96
	YES	4.56	YES	4.27
	YES	4.48	YES	4.76
	YES	4.85	YES	4.18
	YES	4.74	YES	4.67
	YES	4.40	MAYBE	14.69
	YES	4.63	MAYBE	14.37
	YES	3.27	YES	4.10
	MAYBE	14.69	MAYBE	15.39
	YES	3.20	YES	4.05
	MAYBE	21.68	MAYBE	18.86
	YES	3.83	YES	3.45
	MAYBE	15.20	MAYBE	14.37
	YES	4.56	YES	4.58
	YES	4.59	YES	4.36
	MAYBE	16.42	MAYBE	14.95
	YES	4.21	YES	4.75
	YES	4.34	YES	4.26
	YES	8.76	YES	6.59
	YES	12.58	YES	8.49
	YES	4.60	YES	3.92
	YES	7.12	MAYBE	19.22
	YES	4.51	MAYBE	15.82
	MAYBE	15.22	MAYBE	15.39
	YES	5.46	YES	4.11
	YES	4.35	YES	4.18
	YES	4.32	YES	3.82
	YES	11.31	YES	12.54
	MAYBE	26.76	MAYBE	17.66
	YES	4.35	YES	4.77
	MAYBE	15.64	MAYBE	13.89
	YES	5.49	YES	4.44
	MAYBE	14.49	MAYBE	14.62
	YES	4.55	YES	4.09
	YES	4.31	YES	3.77
	YES	6.49	MAYBE	15.85
	YES	6.12	MAYBE	17.91
	MAYBE	17.62	MAYBE	15.94
	MAYBE	15.09	MAYBE	14.17
	YES	4.49	YES	4.07
	MAYBE	13.99	MAYBE	15.13
	MAYBE	17.93	MAYBE	17.15
	MAYBE	14.65	MAYBE	14.35
	MAYBE	15.27	MAYBE	14.81
	YES	4.67	YES	3.67
	YES	4.14	YES	4.03
	YES	4.63	MAYBE	35.85
	YES	5.18	YES	4.96
	YES	5.18	YES	4.95
	YES	8.13	YES	6.36
	YES	4.60	YES	4.03
	MAYBE	15.45	MAYBE	14.65
	YES	4.55	YES	4.01
	YES	4.73	YES	4.70
	YES	5.18	YES	3.69
	YES	5.64	YES	4.21
	YES	4.25	YES	4.85
	YES	4.79	YES	3.95
	YES	5.06	YES	4.57
	KILLED	60.00	ERROR	-1.00
	YES	4.79	YES	4.51
	YES	4.26	YES	4.56
	YES	5.64	YES	5.33
	YES	6.13	YES	5.35
	YES	4.98	YES	4.48
	YES	5.82	MAYBE	20.36
	YES	10.50	YES	13.10
	YES	5.18	MAYBE	26.27
	YES	5.60	YES	5.40
	YES	4.58	YES	4.03
	MAYBE	19.48	MAYBE	24.17
	YES	16.17	YES	11.19
	KILLED	60.00	ERROR	-1.00
	YES	5.16	YES	4.74
	YES	7.29	YES	5.72
	YES	4.98	YES	4.28
	YES	6.88	YES	6.04
	YES	5.35	YES	5.13
	YES	4.94	YES	5.21
	YES	10.57	YES	8.49
	MAYBE	32.31	MAYBE	29.61
	YES	5.36	YES	5.44
	MAYBE	15.37	MAYBE	16.08
	YES	4.96	YES	5.67
	YES	4.40	YES	4.58
	YES	4.73	YES	4.04
	YES	5.80	YES	5.08
	YES	5.12	YES	5.11
	KILLED	60.00	ERROR	-1.00
	YES	13.01	YES	6.20
	YES	11.89	YES	13.21
	YES	6.08	YES	6.14
	YES	5.24	YES	4.45
	YES	4.95	YES	4.35
	YES	6.38	MAYBE	17.95
	YES	4.93	YES	5.26
	YES	5.06	YES	5.25
	YES	4.91	YES	4.58
	YES	5.29	YES	4.21
	YES	4.73	YES	4.76
	YES	9.76	YES	7.61
	YES	4.57	YES	4.21
	YES	7.21	YES	8.74
	YES	5.36	YES	5.00
	YES	5.91	YES	6.07
	MAYBE	19.71	MAYBE	18.32
	YES	4.73	YES	3.95
	YES	6.38	YES	6.30
	YES	4.63	MAYBE	14.95
	YES	7.58	YES	6.99
	MAYBE	15.06	MAYBE	15.14
	YES	5.25	YES	4.75