Tool	YES	MAYBE	TIMEOUT
AProVE tb'	232 [6.3]	57 [19.1]	7
AProVE om'	219 [6.1]	68 [18.4]	9
AProVE im	196 [6.0]	89 [19.1]	11

Example	AProVE tb'		AProVE om'		AProVE im
	MAYBE	17.63	MAYBE	17.15	MAYBE	31.57
	YES	3.38	YES	3.54	YES	3.61
	YES	4.56	YES	3.37	MAYBE	17.35
	YES	4.95	YES	4.92	YES	3.41
	MAYBE	17.39	MAYBE	17.07	MAYBE	17.89
	YES	5.61	YES	5.39	YES	5.12
	MAYBE	15.51	MAYBE	15.54	MAYBE	15.38
	YES	5.69	YES	5.35	YES	5.68
	KILLED	60.00	KILLED	60.00	KILLED	60.00
	MAYBE	21.05	MAYBE	19.36	MAYBE	31.88
	YES	10.84	YES	9.80	YES	14.67
	YES	15.28	MAYBE	20.28	YES	23.40
	MAYBE	32.44	KILLED	60.00	KILLED	60.00
	KILLED	60.00	KILLED	60.00	KILLED	60.00
	MAYBE	8.41	KILLED	60.00	KILLED	60.00
	YES	3.42	YES	3.88	YES	3.51
	YES	3.99	YES	4.78	YES	4.43
	YES	4.91	YES	4.62	YES	4.91
	YES	4.04	YES	4.43	YES	3.95
	YES	4.50	YES	4.42	YES	4.73
	YES	4.56	YES	4.64	YES	3.62
	YES	4.50	YES	4.58	YES	4.63
	YES	21.89	YES	16.39	YES	20.39
	YES	26.99	YES	28.18	MAYBE	52.47
	MAYBE	16.69	MAYBE	15.28	MAYBE	15.44
	YES	4.94	YES	4.39	YES	4.75
	YES	4.87	YES	4.90	YES	5.11
	YES	4.62	YES	4.74	YES	4.37
	YES	5.06	YES	5.45	MAYBE	18.20
	KILLED	60.00	MAYBE	51.90	MAYBE	32.32
	YES	13.10	YES	8.26	YES	8.31
	YES	4.53	YES	4.46	YES	3.26
	YES	4.46	YES	4.71	YES	4.62
	YES	5.00	YES	5.35	YES	5.16
	MAYBE	18.18	MAYBE	16.91	MAYBE	16.07
	YES	4.61	YES	4.65	YES	4.19
	MAYBE	15.42	MAYBE	15.86	MAYBE	15.66
	YES	4.67	YES	5.59	YES	5.71
	YES	4.18	YES	3.59	YES	4.13
	YES	5.76	YES	5.94	MAYBE	18.16
	YES	4.52	YES	4.25	YES	4.47
	YES	5.12	YES	4.74	YES	4.78
	YES	4.84	YES	4.67	YES	4.69
	YES	4.40	YES	4.51	YES	4.50
	YES	7.59	YES	7.76	YES	7.80
	YES	5.24	YES	4.43	YES	5.07
	YES	4.52	YES	4.65	MAYBE	15.62
	YES	4.59	YES	4.58	YES	3.54
	YES	3.49	YES	4.88	YES	4.67
	YES	3.93	YES	4.53	YES	4.69
	YES	5.54	YES	5.08	YES	5.27
	YES	12.97	YES	8.52	YES	7.79
	YES	5.54	YES	7.31	YES	6.80
	YES	4.23	YES	4.14	YES	4.84
	YES	7.30	YES	8.43	YES	7.62
	YES	4.29	YES	4.46	YES	4.31
	YES	4.97	YES	4.70	YES	4.84
	YES	21.91	YES	18.11	YES	28.25
	MAYBE	13.55	MAYBE	14.10	MAYBE	13.70
	YES	5.62	YES	6.04	MAYBE	18.26
	YES	6.83	YES	7.32	MAYBE	25.01
	YES	5.01	YES	3.97	YES	4.92
	MAYBE	15.55	MAYBE	15.56	MAYBE	15.72
	MAYBE	15.78	MAYBE	16.68	MAYBE	16.46
	YES	4.07	MAYBE	14.54	YES	4.42
	MAYBE	14.77	MAYBE	13.99	MAYBE	15.60
	YES	4.56	YES	4.32	YES	4.17
	YES	7.18	YES	8.00	YES	7.38
	YES	4.09	YES	5.17	YES	4.48
	MAYBE	24.80	MAYBE	18.12	MAYBE	19.38
	MAYBE	14.24	MAYBE	14.50	MAYBE	13.90
	MAYBE	14.78	MAYBE	14.84	MAYBE	14.53
	MAYBE	14.70	MAYBE	14.51	MAYBE	15.32
	MAYBE	57.73	KILLED	60.00	MAYBE	40.61
	YES	11.03	YES	8.68	YES	11.03
	YES	4.12	YES	4.13	YES	3.61
	MAYBE	24.34	MAYBE	23.70	MAYBE	18.09
	MAYBE	50.34	MAYBE	51.97	MAYBE	41.01
	YES	8.62	YES	10.06	YES	7.29
	YES	12.37	YES	16.44	YES	14.17
	YES	14.07	YES	14.35	YES	12.61
	KILLED	60.00	KILLED	60.00	KILLED	60.00
	YES	13.16	YES	10.63	YES	16.46
	YES	4.50	YES	4.51	YES	3.16
	YES	6.18	YES	6.64	KILLED	60.00
	MAYBE	15.21	MAYBE	16.16	MAYBE	14.05
	YES	18.00	YES	13.38	YES	18.36
	YES	5.94	YES	5.76	MAYBE	17.87
	YES	12.04	YES	9.40	YES	8.54
	YES	4.69	YES	5.17	YES	3.67
	YES	6.40	YES	6.04	YES	6.01
	YES	3.59	YES	4.85	YES	4.65
	YES	4.33	YES	4.54	YES	4.40
	YES	4.82	YES	4.99	YES	4.76
	YES	8.15	YES	8.93	YES	7.59
	YES	6.17	YES	6.88	YES	6.13
	YES	10.90	YES	9.39	YES	7.14
	MAYBE	21.72	MAYBE	21.92	MAYBE	23.39
	YES	6.76	YES	6.35	YES	7.04
	YES	5.33	YES	6.51	YES	6.92
	YES	4.38	YES	3.38	YES	3.02
	MAYBE	14.31	MAYBE	14.63	MAYBE	14.46
	YES	4.13	YES	4.77	YES	4.69
	YES	4.84	YES	4.77	YES	4.03
	YES	8.26	YES	7.23	YES	8.15
	YES	5.96	YES	4.97	YES	4.59
	YES	5.16	YES	4.06	YES	5.33
	YES	4.56	YES	4.54	YES	4.02
	YES	5.18	YES	3.74	MAYBE	17.48
	YES	4.95	YES	4.65	YES	3.92
	YES	11.81	YES	10.46	YES	13.33
	YES	12.33	YES	11.11	MAYBE	18.82
	YES	7.68	YES	10.10	YES	10.14
	YES	4.50	YES	3.04	YES	3.04
	MAYBE	17.12	MAYBE	17.89	MAYBE	18.02
	YES	5.27	YES	5.94	YES	5.62
	YES	5.01	YES	5.04	YES	5.01
	YES	52.86	YES	32.82	YES	22.31
	YES	4.31	YES	3.94	YES	3.75
	YES	3.46	YES	4.50	YES	4.60
	YES	4.47	YES	4.59	YES	4.50
	YES	4.57	YES	4.78	YES	4.84
	YES	4.49	YES	4.47	YES	4.56
	YES	4.56	YES	4.92	YES	4.60
	YES	3.74	YES	4.48	YES	4.50
	YES	4.60	YES	4.64	YES	4.30
	YES	4.07	YES	4.70	YES	4.50
	YES	27.09	YES	26.01	KILLED	60.00
	YES	12.83	YES	10.65	YES	10.21
	YES	4.43	YES	4.57	YES	4.56
	YES	4.41	YES	3.62	YES	4.61
	YES	5.01	YES	4.72	YES	4.78
	YES	4.90	YES	4.78	YES	4.84
	YES	5.30	YES	4.45	YES	5.64
	MAYBE	16.35	MAYBE	15.54	MAYBE	26.28
	YES	4.29	YES	5.42	YES	4.07
	YES	3.18	YES	4.72	YES	4.57
	YES	4.78	YES	5.62	MAYBE	20.43
	YES	5.05	YES	5.07	YES	5.08
	YES	6.89	YES	7.90	YES	7.92
	YES	4.92	YES	4.32	YES	4.56
	YES	5.35	YES	6.18	YES	6.06
	YES	4.56	YES	4.49	YES	4.20
	YES	3.54	YES	4.68	YES	5.06
	MAYBE	15.70	MAYBE	16.99	MAYBE	15.72
	MAYBE	17.04	MAYBE	17.94	MAYBE	17.83
	YES	5.07	YES	3.83	YES	4.81
	YES	6.69	YES	6.84	YES	6.92
	YES	4.34	YES	4.64	YES	3.89
	YES	5.29	YES	5.28	MAYBE	18.62
	YES	3.35	YES	4.18	YES	3.74
	YES	3.37	YES	4.50	YES	3.42
	YES	4.15	YES	4.38	YES	3.95
	YES	4.40	YES	3.76	YES	3.21
	YES	4.72	YES	5.31	MAYBE	19.41
	YES	5.47	YES	5.35	MAYBE	18.72
	MAYBE	21.42	MAYBE	19.93	MAYBE	20.21
	YES	5.94	YES	5.60	MAYBE	20.54
	YES	6.32	YES	5.81	MAYBE	17.75
	YES	3.33	YES	3.33	YES	3.37
	YES	5.00	YES	5.13	YES	5.14
	YES	14.71	YES	15.40	YES	11.13
	MAYBE	28.77	MAYBE	25.56	MAYBE	20.99
	YES	6.80	YES	6.28	YES	7.24
	YES	4.96	YES	4.95	YES	4.62
	MAYBE	14.59	MAYBE	14.96	MAYBE	15.96
	YES	4.88	YES	4.58	YES	5.31
	YES	4.67	YES	4.74	YES	4.51
	YES	4.52	YES	4.58	YES	4.00
	MAYBE	20.80	MAYBE	18.50	MAYBE	16.34
	MAYBE	14.94	MAYBE	14.63	MAYBE	14.00
	YES	4.62	YES	5.04	YES	4.92
	MAYBE	17.89	MAYBE	17.48	MAYBE	17.29
	MAYBE	16.30	MAYBE	16.06	MAYBE	16.48
	MAYBE	21.24	MAYBE	20.72	MAYBE	20.73
	YES	5.41	YES	4.64	MAYBE	15.18
	YES	4.94	YES	3.33	YES	4.05
	MAYBE	18.34	MAYBE	17.03	MAYBE	17.70
	YES	4.52	YES	5.09	YES	4.36
	YES	5.96	YES	5.06	YES	4.78
	MAYBE	20.37	MAYBE	21.14	MAYBE	18.50
	YES	6.02	YES	6.02	MAYBE	15.90
	YES	6.29	YES	6.24	MAYBE	15.71
	YES	3.63	YES	4.42	YES	4.41
	YES	3.66	YES	3.46	YES	3.25
	YES	4.56	YES	4.75	MAYBE	16.07
	YES	4.48	YES	4.32	YES	4.57
	YES	4.85	YES	5.11	YES	4.84
	YES	4.74	YES	4.83	YES	4.08
	YES	4.40	YES	4.70	MAYBE	14.14
	YES	4.63	YES	4.85	MAYBE	14.72
	YES	3.27	YES	4.46	YES	3.82
	MAYBE	14.69	MAYBE	14.58	MAYBE	14.74
	YES	3.20	YES	4.47	YES	4.46
	MAYBE	21.68	MAYBE	20.23	KILLED	60.00
	YES	3.83	YES	3.66	YES	3.08
	MAYBE	15.20	MAYBE	14.59	MAYBE	15.44
	YES	4.56	YES	4.32	YES	4.73
	YES	4.59	YES	3.83	YES	3.97
	MAYBE	16.42	MAYBE	14.93	MAYBE	15.19
	YES	4.21	YES	4.74	YES	4.87
	YES	4.34	YES	5.73	YES	5.53
	YES	8.76	YES	7.88	YES	15.95
	YES	12.58	YES	7.02	YES	7.60
	YES	4.60	YES	4.54	YES	4.47
	YES	7.12	YES	7.74	MAYBE	35.56
	YES	4.51	YES	5.25	MAYBE	18.61
	MAYBE	15.22	MAYBE	14.88	MAYBE	16.63
	YES	5.46	YES	5.02	YES	4.68
	YES	4.35	YES	4.31	YES	4.37
	YES	4.32	YES	4.51	YES	4.31
	YES	11.31	YES	11.07	YES	15.16
	MAYBE	26.76	MAYBE	24.37	MAYBE	19.14
	YES	4.35	YES	4.34	YES	3.93
	MAYBE	15.64	MAYBE	14.36	MAYBE	14.71
	YES	5.49	YES	4.39	YES	3.96
	MAYBE	14.49	MAYBE	14.76	MAYBE	14.39
	YES	4.55	YES	4.51	YES	4.23
	YES	4.31	YES	3.79	YES	4.34
	YES	6.49	YES	6.24	MAYBE	20.53
	YES	6.12	YES	7.03	MAYBE	20.07
	MAYBE	17.62	MAYBE	16.00	MAYBE	19.70
	MAYBE	15.09	MAYBE	15.00	MAYBE	15.37
	YES	4.49	YES	4.49	YES	4.80
	MAYBE	13.99	MAYBE	15.28	MAYBE	15.70
	MAYBE	17.93	MAYBE	17.07	MAYBE	16.51
	MAYBE	14.65	MAYBE	14.34	MAYBE	14.11
	MAYBE	15.27	MAYBE	14.94	MAYBE	14.64
	YES	4.67	YES	4.30	YES	4.44
	YES	4.14	YES	4.43	YES	3.21
	YES	4.63	MAYBE	25.40	YES	4.17
	YES	5.18	YES	4.71	YES	5.04
	YES	5.18	YES	5.23	MAYBE	17.11
	YES	8.13	YES	7.46	YES	7.34
	YES	4.60	YES	4.62	YES	4.25
	MAYBE	15.45	MAYBE	14.59	MAYBE	14.08
	YES	4.55	YES	4.57	YES	3.33
	YES	4.73	YES	4.67	YES	4.58
	YES	5.18	YES	5.02	YES	4.91
	YES	5.64	MAYBE	17.19	YES	5.37
	YES	4.25	YES	4.13	YES	4.11
	YES	4.79	YES	4.79	MAYBE	16.80
	YES	5.06	YES	5.07	YES	5.07
	KILLED	60.00	KILLED	60.00	KILLED	60.00
	YES	4.79	MAYBE	15.21	YES	4.45
	YES	4.26	MAYBE	14.74	YES	4.56
	YES	5.64	MAYBE	15.49	YES	5.00
	YES	6.13	MAYBE	16.46	YES	5.80
	YES	4.98	MAYBE	17.99	YES	5.43
	YES	5.82	MAYBE	24.68	YES	5.04
	YES	10.50	YES	13.89	YES	11.43
	YES	5.18	MAYBE	24.42	YES	5.61
	YES	5.60	YES	4.94	YES	4.61
	YES	4.58	YES	4.71	YES	5.12
	MAYBE	19.48	MAYBE	19.94	MAYBE	17.80
	YES	16.17	YES	10.06	YES	8.59
	KILLED	60.00	KILLED	60.00	KILLED	60.00
	YES	5.16	YES	4.92	YES	4.81
	YES	7.29	YES	7.40	YES	4.72
	YES	4.98	YES	4.52	YES	5.01
	YES	6.88	YES	6.38	YES	6.66
	YES	5.35	YES	5.18	YES	5.12
	YES	4.94	YES	4.93	YES	4.63
	YES	10.57	YES	6.81	YES	6.99
	MAYBE	32.31	MAYBE	27.89	MAYBE	31.79
	YES	5.36	YES	5.24	YES	5.43
	MAYBE	15.37	MAYBE	15.62	MAYBE	15.46
	YES	4.96	YES	5.06	YES	4.77
	YES	4.40	YES	4.13	YES	4.10
	YES	4.73	YES	5.07	YES	5.01
	YES	5.80	YES	5.53	YES	5.60
	YES	5.12	YES	4.89	YES	5.14
	KILLED	60.00	KILLED	60.00	KILLED	60.00
	YES	13.01	YES	13.22	YES	11.45
	YES	11.89	YES	12.14	YES	9.19
	YES	6.08	YES	6.03	YES	5.85
	YES	5.24	YES	4.34	MAYBE	16.08
	YES	4.95	MAYBE	15.82	MAYBE	15.24
	YES	6.38	YES	6.64	MAYBE	33.40
	YES	4.93	YES	4.61	YES	5.27
	YES	5.06	YES	5.21	MAYBE	15.19
	YES	4.91	YES	5.52	YES	5.01
	YES	5.29	YES	5.29	MAYBE	15.57
	YES	4.73	YES	4.49	YES	4.13
	YES	9.76	YES	10.53	YES	9.29
	YES	4.57	YES	4.46	YES	4.68
	YES	7.21	YES	11.18	YES	7.73
	YES	5.36	YES	5.62	MAYBE	17.89
	YES	5.91	MAYBE	18.58	YES	6.02
	MAYBE	19.71	MAYBE	18.71	MAYBE	16.99
	YES	4.73	YES	4.62	YES	4.93
	YES	6.38	YES	6.13	YES	6.60
	YES	4.63	YES	4.86	YES	4.04
	YES	7.58	YES	7.14	YES	7.15
	MAYBE	15.06	MAYBE	15.17	MAYBE	16.07
	YES	5.25	YES	5.28	YES	5.92