Tool	YES	MAYBE	TIMEOUT
AProVE Integer	104 [4.87]	0	13
AProVE 08	24 [7.21]	6 [0.89]	87
TTT2	6 [3.58]	110 [4.94]	1

Example	AProVE Integer		AProVE 08		TTT2
	YES	1.36	KILLED	60	MAYBE	5.19
	YES	1.38	YES	13.12	MAYBE	5.13
	YES	1.48	KILLED	60	MAYBE	5.06
	YES	1.37	KILLED	60	MAYBE	5.03
	YES	1.42	YES	10.43	MAYBE	5.17
	YES	1.36	YES	2.54	YES	3.68
	YES	1.39	YES	2.27	YES	3.78
	YES	1.4	YES	8.18	MAYBE	5.08
	YES	1.53	KILLED	60	MAYBE	5.2
	YES	2.58	KILLED	60	MAYBE	5.7
	YES	2.73	KILLED	60	MAYBE	5.27
	YES	2.44	KILLED	60	MAYBE	5.26
	YES	5.78	KILLED	60	MAYBE	5.14
	YES	5.03	KILLED	60	MAYBE	5.2
	YES	8.18	KILLED	60	MAYBE	5.3
	YES	11.18	KILLED	60	MAYBE	5.19
	YES	13.04	KILLED	60	MAYBE	5.22
	YES	2.63	KILLED	60	MAYBE	5.33
	YES	3.5	KILLED	60	MAYBE	5.27
	YES	2.31	YES	10.0	MAYBE	5.18
	YES	3.1	KILLED	60	MAYBE	5.18
	YES	5.75	KILLED	60	MAYBE	5.27
	YES	1.34	KILLED	60	MAYBE	5.04
	YES	1.39	KILLED	60	MAYBE	5.08
	YES	1.41	KILLED	60	MAYBE	5.04
	YES	1.62	KILLED	60	MAYBE	5.03
	YES	1.58	KILLED	60	MAYBE	5.08
	YES	5.86	KILLED	60	MAYBE	5.05
	YES	2.2	KILLED	60	MAYBE	5.03
	YES	4.4	KILLED	60	MAYBE	5.03
	YES	5.83	KILLED	60	MAYBE	5.22
	YES	5.76	KILLED	60	MAYBE	5.23
	YES	1.51	KILLED	60	MAYBE	5.12
	YES	1.42	KILLED	60	MAYBE	5.08
	YES	1.74	KILLED	60	MAYBE	5.17
	YES	10.26	KILLED	60	MAYBE	5.1
	KILLED	60	KILLED	60	MAYBE	5.2
	KILLED	60	KILLED	60	MAYBE	5.22
	YES	1.95	KILLED	60	MAYBE	5.14
	KILLED	60	KILLED	60	MAYBE	5.1
	YES	6.51	KILLED	60	MAYBE	5.17
	YES	2.22	KILLED	60	MAYBE	5.18
	KILLED	60	KILLED	60	MAYBE	5.24
	KILLED	60	KILLED	60	MAYBE	5.87
	YES	4.96	KILLED	60	MAYBE	5.11
	KILLED	60	KILLED	60	MAYBE	5.24
	KILLED	60	KILLED	60	MAYBE	5.16
	KILLED	60	KILLED	60	MAYBE	5.1
	YES	1.7	KILLED	60	MAYBE	5.14
	YES	1.63	KILLED	60	MAYBE	5.12
	YES	1.58	KILLED	60	MAYBE	5.19
	YES	2.52	MAYBE	0.89	MAYBE	0
	YES	2.28	KILLED	60	MAYBE	5.19
	YES	39.34	YES	15.37	MAYBE	5.1
	YES	1.6	YES	8.61	MAYBE	5.22
	YES	1.4	YES	2.24	MAYBE	5.09
	YES	1.57	KILLED	60	MAYBE	5.16
	YES	1.36	MAYBE	0.95	KILLED	60
	KILLED	60	KILLED	60	MAYBE	5.27
	YES	1.38	YES	9.23	MAYBE	5.11
	YES	1.5	KILLED	60	MAYBE	5.06
	YES	2.11	YES	4.24	YES	5.21
	YES	1.39	YES	7.45	MAYBE	5.19
	YES	31.66	YES	8.62	MAYBE	5.26
	YES	2.14	KILLED	60	MAYBE	5.13
	YES	1.27	KILLED	60	MAYBE	5.02
	YES	1.3	YES	1.71	MAYBE	5.14
	YES	11.38	KILLED	60	MAYBE	5.17
	YES	1.93	MAYBE	0.89	MAYBE	0
	YES	1.46	MAYBE	0.88	MAYBE	0
	YES	1.27	YES	1.32	YES	0.22
	YES	1.71	KILLED	60	MAYBE	5.17
	YES	1.5	KILLED	60	MAYBE	5.1
	YES	1.39	KILLED	60	MAYBE	5.86
	YES	1.46	YES	9.64	MAYBE	5.11
	YES	10.49	KILLED	60	MAYBE	5.12
	YES	3.61	KILLED	60	MAYBE	5.17
	YES	2.45	YES	11.88	MAYBE	5.26
	YES	1.41	KILLED	60	MAYBE	5.19
	YES	2.78	KILLED	60	MAYBE	5.18
	YES	3.02	KILLED	60	MAYBE	5.25
	YES	1.41	KILLED	60	MAYBE	5.16
	YES	1.98	YES	2.41	YES	3.67
	YES	2.92	YES	7.49	MAYBE	5.14
	YES	25.81	YES	2.7	YES	4.9
	YES	29.92	YES	8.36	MAYBE	5.08
	YES	30.14	YES	8.41	MAYBE	5.16
	YES	1.42	YES	8.51	MAYBE	5.11
	YES	1.39	YES	8.3	MAYBE	5.08
	YES	1.57	KILLED	60	MAYBE	5.2
	YES	1.34	KILLED	60	MAYBE	5.13
	YES	1.41	KILLED	60	MAYBE	5.11
	YES	2.5	KILLED	60	MAYBE	5.11
	KILLED	60	KILLED	60	MAYBE	5.16
	YES	31.48	KILLED	60	MAYBE	5.17
	YES	1.41	KILLED	60	MAYBE	5.08
	YES	1.41	KILLED	60	MAYBE	5.16
	YES	1.57	KILLED	60	MAYBE	5.14
	YES	1.57	KILLED	60	MAYBE	5.26
	YES	1.41	KILLED	60	MAYBE	5.1
	YES	1.48	KILLED	60	MAYBE	5.09
	YES	27.96	KILLED	60	MAYBE	5.08
	YES	3.54	KILLED	60	MAYBE	5.28
	YES	2.74	KILLED	60	MAYBE	5.3
	YES	3.15	KILLED	60	MAYBE	5.15
	YES	2.21	KILLED	60	MAYBE	5.17
	YES	1.42	KILLED	60	MAYBE	5.14
	YES	2.52	KILLED	60	MAYBE	5.18
	YES	1.72	KILLED	60	MAYBE	5.45
	YES	1.58	MAYBE	0.89	MAYBE	0
	YES	11.17	KILLED	60	MAYBE	5.2
	YES	2.07	KILLED	60	MAYBE	5.14
	YES	1.66	MAYBE	0.86	MAYBE	0
	KILLED	60	KILLED	60	MAYBE	5.13
	KILLED	60	KILLED	60	MAYBE	5.25
	KILLED	60	KILLED	60	MAYBE	5.19
	YES	16.11	KILLED	60	MAYBE	5.31