Example	AProVE
	Ω(1),O(n^1)	5.23
	MAYBE	28.43
	Ω(1),O(n^2)	8.27
	TIMEOUT	60
	Ω(1),O(n^3)	10.64
	Ω(1),O(n^1)	4.7
	Ω(1),O(n^1)	5.82
	Ω(1),O(n^1)	4.07
	Ω(1),O(n^1)	6.36
	Ω(1),O(n^1)	3.78
	Ω(1),O(n^1)	9.83
	TIMEOUT	60
	MAYBE	52.77
	Ω(1),O(n^2)	6.1
	Ω(1),O(n^1)	4.61
	Ω(1),O(n^1)	3.93
	Ω(1),O(n^1)	4.03
	Ω(1),O(n^2)	6.01
	TIMEOUT	60
	Ω(1),O(n^2)	6.72
	Ω(1),O(n^1)	5.01
	Ω(1),O(n^4)	8.21
	Ω(1),O(n^1)	5.0
	Ω(1),O(n^1)	4.18
	Ω(1),O(n^1)	4.17
	Ω(1),O(n^1)	4.09
	Ω(1),O(n^1)	3.97
	MAYBE	26.51
	Ω(1),O(1)	3.92
	Ω(1),O(n^1)	3.91
	Ω(1),O(n^1)	3.96
	Ω(1),O(n^2)	4.72
	Ω(1),O(n^1)	8.51
	Ω(1),O(n^1)	4.0
	Ω(1),O(1)	3.5
	Ω(1),O(n^1)	4.04
	Ω(1),O(n^2)	3.92
	Ω(1),O(n^1)	3.85
	Ω(1),O(n^1)	3.7
	Ω(1),O(n^1)	4.22
	Ω(1),O(n^1)	4.13
	Ω(1),O(n^1)	3.67
	Ω(1),O(n^1)	4.86
	Ω(1),O(n^1)	4.21
	Ω(1),O(n^1)	4.17
	Ω(1),O(n^1)	4.13
	Ω(1),O(n^1)	4.88
	Ω(1),O(n^1)	4.13
	Ω(1),O(n^1)	4.32
	Ω(1),O(n^1)	5.06
	Ω(1),O(n^1)	4.19
	Ω(1),O(n^1)	4.16
	Ω(1),O(n^1)	3.76
	Ω(1),O(n^1)	3.75
	Ω(1),O(1)	3.9
	Ω(1),O(1)	2.81
	Ω(1),O(n^1)	3.47
	Ω(1),O(n^1)	4.02
	Ω(1),O(n^1)	4.05
	Ω(1),O(n^1)	3.84
	Ω(1),O(n^1)	6.1
	Ω(1),O(n^2)	4.67
	Ω(1),O(n^2)	3.9
	Ω(1),O(n^2)	3.86
	Ω(1),O(n^1)	4.55
	Ω(1),O(n^1)	4.03
	Ω(1),O(n^1)	4.02
	Ω(1),O(n^2)	4.95
	Ω(1),O(n^1)	4.68
	Ω(1),O(1)	5.57
	Ω(1),O(n^1)	4.5
	TIMEOUT	60
	TIMEOUT	60
	Ω(1),O(n^4)	11.51
	Ω(1),O(1)	3.28
	Ω(1),O(n^1)	5.25
	Ω(1),O(n^1)	3.84
	Ω(1),O(1)	2.33
	Ω(1),O(n^1)	4.93
	Ω(1),O(1)	2.18
	Ω(1),O(1)	2.23
	Ω(1),O(n^1)	13.01
	TIMEOUT	60
	Ω(1),O(1)	2.15
	Ω(1),O(1)	2.45
	Ω(1),O(n^1)	4.2
	Ω(1),O(n^2)	9.27
	Ω(1),O(1)	2.28
	Ω(1),O(1)	2.29
	Ω(1),O(1)	2.16
	Ω(1),O(n^1)	8.48
	Ω(1),O(n^1)	8.06
	Ω(1),O(1)	2.47
	Ω(1),O(1)	2.61
	Ω(1),O(1)	3.92
	Ω(1),O(n^1)	6.46
	Ω(1),O(1)	2.33
	Ω(1),O(n^1)	5.63
	MAYBE	50.02
	TIMEOUT	60
	MAYBE	17.79
	Ω(1),O(n^1)	5.24
	MAYBE	23.66
	Ω(1),O(n^1)	4.13
	MAYBE	15.65
	MAYBE	17.27
	Ω(1),O(1)	2.32
	Ω(1),O(1)	5.01
	Ω(1),O(1)	2.72
	Ω(1),O(1)	4.82
	Ω(1),O(n^1)	3.66
	Ω(1),O(1)	2.53
	Ω(1),O(1)	2.46
	Ω(1),O(1)	3.29
	Ω(1),O(1)	3.35
	Ω(1),O(1)	3.22
	Ω(1),O(1)	2.36
	TIMEOUT	60
	MAYBE	29.08
	Ω(1),O(n^1)	3.66
	Ω(1),O(n^1)	3.47
	Ω(1),O(1)	3.45
	Ω(1),O(1)	2.19
	MAYBE	58.71
	MAYBE	34.06
	TIMEOUT	60
	TIMEOUT	60
	MAYBE	14.29
	TIMEOUT	60
	Ω(1),O(n^1)	4.28
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	Ω(1),O(n^1)	17.51
	Ω(1),O(n^1)	11.89
	Ω(1),O(n^1)	11.74
	Ω(1),O(n^1)	12.16
	TIMEOUT	60
	TIMEOUT	60
	TIMEOUT	60
	Ω(1),O(n^1)	21.83
	Ω(1),O(n^1)	10.1
	TIMEOUT	60
	Ω(1),O(n^1)	10.8
	Ω(1),O(n^1)	10.75
	Ω(1),O(n^1)	12.23
	Ω(1),O(n^1)	37.54
	TIMEOUT	60
	Ω(1),O(n^1)	12.05
	Ω(1),O(n^1)	18.54
	Ω(1),O(n^1)	9.69
	TIMEOUT	60
	Ω(1),O(n^1)	18.96
	Ω(1),O(n^1)	14.03
	Ω(1),O(n^1)	11.88
	Ω(1),O(n^1)	12.28
	Ω(1),O(n^1)	10.45
	Ω(1),O(n^1)	12.24
	Ω(1),O(n^1)	10.47
	Ω(1),O(n^1)	11.3
	Ω(1),O(n^1)	11.36
	Ω(1),O(n^1)	13.97
	Ω(1),O(n^1)	11.18
	Ω(1),O(n^1)	13.95
	MAYBE	51.34
	Ω(1),O(n^1)	17.33
	TIMEOUT	60
	Ω(1),O(n^1)	11.37
	TIMEOUT	60
	Ω(1),O(n^1)	16.68
	Ω(1),O(n^1)	14.1
	TIMEOUT	60
	TIMEOUT	60
	MAYBE	55.21
	Ω(1),O(n^1)	13.87
	Ω(1),O(n^1)	8.05
	Ω(1),O(n^1)	11.73
	Ω(1),O(n^1)	26.4
	Ω(1),O(n^2)	7.54
	TIMEOUT	60
	TIMEOUT	60
	Ω(1),O(n^2)	28.61
	Ω(1),O(n^5)	9.01
	Ω(1),O(1)	2.32
	TIMEOUT	60
	Ω(1),O(n^1)	5.48
	Ω(1),O(n^1)	5.6
	Ω(1),O(n^4)	18.79
	Ω(1),O(n^2)	32.16
	TIMEOUT	60
	Ω(1),O(n^2)	7.76
	Ω(1),O(n^4)	26.33
	MAYBE	13.5
	Ω(1),O(n^1)	6.45
	MAYBE	13.43
	Ω(1),O(n^1)	7.62
	Ω(1),O(n^1)	7.04
	Ω(1),O(n^1)	7.78