Tool	YES	MAYBE	TIMEOUT
AProVE tb'	232 [6.3]	57 [19.1]	7
AProVE [LOPSTR '06]	208 [3.9]	69 [15.4]	19

Example	AProVE tb'		AProVE [LOPSTR '06]
	MAYBE	17.63	KILLED	60.00
	YES	3.38	YES	3.01
	YES	4.56	YES	2.29
	YES	4.95	YES	2.73
	MAYBE	17.39	MAYBE	13.14
	YES	5.61	YES	4.19
	MAYBE	15.51	MAYBE	14.04
	YES	5.69	YES	3.08
	KILLED	60.00	MAYBE	27.36
	MAYBE	21.05	KILLED	60.00
	YES	10.84	KILLED	60.00
	YES	15.28	YES	4.86
	MAYBE	32.44	MAYBE	15.83
	KILLED	60.00	MAYBE	19.18
	MAYBE	8.41	MAYBE	30.51
	YES	3.42	YES	2.40
	YES	3.99	YES	2.61
	YES	4.91	YES	1.92
	YES	4.04	YES	2.54
	YES	4.50	YES	2.29
	YES	4.56	YES	2.02
	YES	4.50	YES	2.20
	YES	21.89	KILLED	60.00
	YES	26.99	KILLED	60.00
	MAYBE	16.69	MAYBE	13.50
	YES	4.94	YES	2.64
	YES	4.87	YES	3.01
	YES	4.62	YES	3.12
	YES	5.06	YES	5.71
	KILLED	60.00	KILLED	60.00
	YES	13.10	YES	9.66
	YES	4.53	YES	2.50
	YES	4.46	YES	1.94
	YES	5.00	YES	2.87
	MAYBE	18.18	MAYBE	13.03
	YES	4.61	YES	2.01
	MAYBE	15.42	MAYBE	13.61
	YES	4.67	YES	3.05
	YES	4.18	YES	3.05
	YES	5.76	YES	4.25
	YES	4.52	YES	2.35
	YES	5.12	YES	2.36
	YES	4.84	YES	2.49
	YES	4.40	YES	2.23
	YES	7.59	YES	4.70
	YES	5.24	YES	2.77
	YES	4.52	YES	1.97
	YES	4.59	YES	2.38
	YES	3.49	YES	3.04
	YES	3.93	YES	3.04
	YES	5.54	YES	3.29
	YES	12.97	YES	5.44
	YES	5.54	YES	6.45
	YES	4.23	YES	2.25
	YES	7.30	YES	4.79
	YES	4.29	YES	2.04
	YES	4.97	YES	2.59
	YES	21.91	KILLED	60.00
	MAYBE	13.55	MAYBE	12.48
	YES	5.62	YES	3.91
	YES	6.83	YES	6.16
	YES	5.01	YES	2.18
	MAYBE	15.55	MAYBE	13.10
	MAYBE	15.78	MAYBE	12.76
	YES	4.07	MAYBE	12.97
	MAYBE	14.77	MAYBE	13.08
	YES	4.56	YES	2.65
	YES	7.18	YES	3.44
	YES	4.09	YES	2.78
	MAYBE	24.80	MAYBE	14.05
	MAYBE	14.24	MAYBE	12.62
	MAYBE	14.78	MAYBE	12.20
	MAYBE	14.70	MAYBE	13.07
	MAYBE	57.73	KILLED	60.00
	YES	11.03	YES	9.95
	YES	4.12	YES	2.71
	MAYBE	24.34	MAYBE	13.18
	MAYBE	50.34	MAYBE	13.30
	YES	8.62	YES	5.38
	YES	12.37	KILLED	60.00
	YES	14.07	YES	12.96
	KILLED	60.00	KILLED	60.00
	YES	13.16	YES	6.37
	YES	4.50	YES	2.46
	YES	6.18	YES	3.96
	MAYBE	15.21	MAYBE	13.37
	YES	18.00	KILLED	60.00
	YES	5.94	YES	4.15
	YES	12.04	YES	14.15
	YES	4.69	YES	3.38
	YES	6.40	YES	4.49
	YES	3.59	YES	3.28
	YES	4.33	YES	2.15
	YES	4.82	YES	2.71
	YES	8.15	YES	6.26
	YES	6.17	YES	6.65
	YES	10.90	YES	7.20
	MAYBE	21.72	MAYBE	18.63
	YES	6.76	YES	3.74
	YES	5.33	YES	5.53
	YES	4.38	YES	2.02
	MAYBE	14.31	MAYBE	12.27
	YES	4.13	YES	2.29
	YES	4.84	YES	2.60
	YES	8.26	YES	34.28
	YES	5.96	YES	4.38
	YES	5.16	YES	2.94
	YES	4.56	YES	2.98
	YES	5.18	YES	4.49
	YES	4.95	YES	3.49
	YES	11.81	YES	10.04
	YES	12.33	MAYBE	13.61
	YES	7.68	YES	14.63
	YES	4.50	YES	2.08
	MAYBE	17.12	MAYBE	15.74
	YES	5.27	YES	5.38
	YES	5.01	YES	2.77
	YES	52.86	YES	8.38
	YES	4.31	YES	2.06
	YES	3.46	YES	2.39
	YES	4.47	YES	2.98
	YES	4.57	YES	2.07
	YES	4.49	YES	2.52
	YES	4.56	YES	2.07
	YES	3.74	YES	2.12
	YES	4.60	YES	2.07
	YES	4.07	YES	2.40
	YES	27.09	KILLED	60.00
	YES	12.83	YES	4.84
	YES	4.43	YES	2.23
	YES	4.41	YES	2.43
	YES	5.01	YES	3.50
	YES	4.90	YES	3.28
	YES	5.30	YES	3.42
	MAYBE	16.35	KILLED	60.00
	YES	4.29	YES	2.40
	YES	3.18	YES	2.38
	YES	4.78	YES	4.50
	YES	5.05	YES	3.73
	YES	6.89	YES	3.40
	YES	4.92	YES	2.55
	YES	5.35	YES	4.20
	YES	4.56	YES	2.51
	YES	3.54	YES	3.06
	MAYBE	15.70	MAYBE	13.02
	MAYBE	17.04	MAYBE	13.27
	YES	5.07	YES	2.98
	YES	6.69	YES	4.24
	YES	4.34	YES	2.62
	YES	5.29	MAYBE	18.99
	YES	3.35	YES	3.35
	YES	3.37	YES	2.98
	YES	4.15	YES	2.54
	YES	4.40	YES	2.88
	YES	4.72	MAYBE	24.88
	YES	5.47	MAYBE	13.68
	MAYBE	21.42	MAYBE	24.59
	YES	5.94	MAYBE	13.98
	YES	6.32	MAYBE	13.74
	YES	3.33	YES	2.72
	YES	5.00	YES	3.78
	YES	14.71	YES	3.65
	MAYBE	28.77	KILLED	60.00
	YES	6.80	YES	3.92
	YES	4.96	YES	3.16
	MAYBE	14.59	KILLED	60.00
	YES	4.88	YES	3.47
	YES	4.67	YES	3.28
	YES	4.52	YES	3.43
	MAYBE	20.80	MAYBE	13.67
	MAYBE	14.94	MAYBE	13.07
	YES	4.62	YES	2.81
	MAYBE	17.89	MAYBE	13.20
	MAYBE	16.30	MAYBE	14.17
	MAYBE	21.24	MAYBE	13.07
	YES	5.41	MAYBE	13.98
	YES	4.94	YES	3.22
	MAYBE	18.34	MAYBE	13.58
	YES	4.52	YES	3.33
	YES	5.96	YES	2.57
	MAYBE	20.37	MAYBE	23.52
	YES	6.02	MAYBE	13.74
	YES	6.29	MAYBE	14.16
	YES	3.63	YES	2.28
	YES	3.66	YES	2.78
	YES	4.56	MAYBE	12.71
	YES	4.48	YES	1.96
	YES	4.85	YES	2.03
	YES	4.74	YES	2.76
	YES	4.40	MAYBE	13.63
	YES	4.63	MAYBE	13.44
	YES	3.27	YES	2.63
	MAYBE	14.69	MAYBE	12.85
	YES	3.20	YES	2.58
	MAYBE	21.68	KILLED	60.00
	YES	3.83	YES	2.16
	MAYBE	15.20	MAYBE	12.67
	YES	4.56	YES	2.70
	YES	4.59	YES	3.73
	MAYBE	16.42	MAYBE	13.34
	YES	4.21	YES	2.29
	YES	4.34	YES	3.50
	YES	8.76	YES	4.18
	YES	12.58	YES	7.52
	YES	4.60	YES	2.43
	YES	7.12	YES	16.78
	YES	4.51	YES	4.45
	MAYBE	15.22	MAYBE	13.35
	YES	5.46	YES	3.57
	YES	4.35	YES	2.66
	YES	4.32	YES	2.07
	YES	11.31	YES	6.46
	MAYBE	26.76	MAYBE	33.59
	YES	4.35	YES	2.25
	MAYBE	15.64	MAYBE	12.59
	YES	5.49	YES	4.26
	MAYBE	14.49	MAYBE	12.49
	YES	4.55	YES	2.45
	YES	4.31	YES	2.15
	YES	6.49	YES	4.17
	YES	6.12	YES	4.69
	MAYBE	17.62	MAYBE	15.16
	MAYBE	15.09	MAYBE	13.46
	YES	4.49	YES	3.69
	MAYBE	13.99	MAYBE	13.17
	MAYBE	17.93	MAYBE	13.51
	MAYBE	14.65	MAYBE	13.14
	MAYBE	15.27	MAYBE	12.11
	YES	4.67	YES	2.09
	YES	4.14	YES	2.07
	YES	4.63	YES	3.98
	YES	5.18	YES	2.87
	YES	5.18	MAYBE	24.84
	YES	8.13	YES	4.37
	YES	4.60	YES	2.55
	MAYBE	15.45	MAYBE	12.84
	YES	4.55	YES	2.37
	YES	4.73	YES	2.49
	YES	5.18	YES	2.53
	YES	5.64	YES	3.47
	YES	4.25	YES	2.15
	YES	4.79	YES	2.51
	YES	5.06	YES	2.67
	KILLED	60.00	KILLED	60.00
	YES	4.79	YES	2.78
	YES	4.26	YES	2.67
	YES	5.64	YES	3.92
	YES	6.13	YES	4.61
	YES	4.98	YES	3.47
	YES	5.82	YES	10.36
	YES	10.50	MAYBE	13.88
	YES	5.18	YES	5.16
	YES	5.60	YES	2.70
	YES	4.58	YES	3.28
	MAYBE	19.48	MAYBE	16.53
	YES	16.17	YES	5.05
	KILLED	60.00	KILLED	60.00
	YES	5.16	YES	3.19
	YES	7.29	YES	3.72
	YES	4.98	YES	2.29
	YES	6.88	YES	4.82
	YES	5.35	YES	3.17
	YES	4.94	YES	2.23
	YES	10.57	KILLED	60.00
	MAYBE	32.31	MAYBE	13.50
	YES	5.36	YES	4.11
	MAYBE	15.37	MAYBE	13.91
	YES	4.96	MAYBE	13.03
	YES	4.40	YES	1.78
	YES	4.73	YES	2.92
	YES	5.80	YES	2.62
	YES	5.12	YES	3.43
	KILLED	60.00	MAYBE	32.96
	YES	13.01	YES	4.86
	YES	11.89	YES	6.08
	YES	6.08	YES	5.08
	YES	5.24	YES	2.65
	YES	4.95	YES	2.83
	YES	6.38	YES	8.54
	YES	4.93	YES	4.06
	YES	5.06	YES	2.28
	YES	4.91	YES	3.04
	YES	5.29	YES	3.37
	YES	4.73	YES	3.42
	YES	9.76	YES	6.98
	YES	4.57	YES	2.48
	YES	7.21	YES	7.37
	YES	5.36	YES	3.98
	YES	5.91	YES	4.71
	MAYBE	19.71	MAYBE	14.92
	YES	4.73	YES	3.04
	YES	6.38	YES	14.64
	YES	4.63	YES	2.02
	YES	7.58	YES	3.79
	MAYBE	15.06	MAYBE	12.96
	YES	5.25	YES	3.66