Tool	YES	MAYBE
MU-TERM + [17]	62 [2.4]	17 [38.2]
MU-TERM + Rat + Sect. 4.1	65 [2.1]	14 [13.7]

Example	MU-TERM + [17]		MU-TERM + Rat + Sect. 4.1
	YES	0.22	YES	0.18
	MAYBE	0.22	MAYBE	0.44
	YES	0.57	YES	0.55
	YES	0.49	YES	0.51
	MAYBE	120.13	YES	1.40
	YES	0.67	YES	0.29
	MAYBE	120.11	YES	2.75
	YES	18.69	YES	1.98
	YES	0.68	YES	0.29
	MAYBE	120.40	YES	0.60
	YES	0.65	YES	0.35
	YES	0.63	YES	0.35
	YES	0.71	YES	0.75
	YES	0.41	YES	0.40
	YES	0.43	YES	0.30
	YES	2.43	YES	0.80
	YES	0.57	YES	0.90
	YES	0.49	YES	1.65
	YES	0.19	YES	2.97
	YES	0.64	YES	0.70
	YES	0.19	YES	0.24
	YES	0.24	YES	0.60
	YES	0.43	YES	0.70
	YES	0.31	YES	0.50
	YES	0.25	YES	0.20
	YES	21.71	YES	1.86
	YES	0.55	YES	0.35
	YES	0.18	YES	0.55
	YES	0.29	YES	0.84
	YES	0.35	YES	0.45
	YES	14.96	YES	1.15
	YES	0.28	YES	0.40
	YES	3.69	YES	0.50
	YES	0.45	YES	0.35
	YES	1.73	YES	0.30
	YES	1.28	YES	0.75
	YES	0.71	MAYBE	25.54
	YES	0.50	YES	1.80
	YES	0.93	YES	2.99
	YES	0.76	YES	1.90
	YES	26.62	YES	3.20
	MAYBE	0.21	MAYBE	0.41
	MAYBE	22.35	MAYBE	1.28
	MAYBE	120.70	YES	2.56
	MAYBE	22.33	MAYBE	4.43
	MAYBE	120.70	MAYBE	7.00
	YES	36.33	YES	50.65
	MAYBE	0.25	MAYBE	0.35
	YES	0.33	YES	0.35
	YES	0.32	YES	0.55
	YES	0.32	YES	0.45
	YES	0.31	YES	0.25
	MAYBE	0.24	MAYBE	0.44
	YES	0.79	YES	0.95
	YES	0.67	YES	0.55
	YES	0.11	YES	5.76
	YES	0.14	YES	4.15
	YES	0.40	YES	4.44
	MAYBE	0.25	MAYBE	0.84
	YES	0.35	YES	0.75
	MAYBE	0.14	MAYBE	0.14
	YES	0.35	YES	6.95
	YES	0.19	YES	0.40
	MAYBE	0.50	MAYBE	82.45
	YES	0.33	YES	0.85
	YES	0.55	YES	0.40
	MAYBE	0.49	MAYBE	68.00
	YES	0.18	YES	0.55
	YES	0.34	YES	2.20
	MAYBE	0.14	MAYBE	0.14
	YES	0.35	YES	0.55
	MAYBE	0.24	MAYBE	0.85
	YES	0.47	YES	2.90
	YES	0.14	YES	4.15
	YES	0.11	YES	4.70
	YES	0.26	YES	0.50
	YES	0.70	YES	0.55
	YES	0.83	YES	0.70
	YES	0.18	YES	0.20