Example	AProVE		restricted AProVE		MuTerm
	YES	1.27	YES	0.88	YES	0.01
	YES	1.04	YES	0.84	YES	0.01
	YES	1.28	YES	0.93	YES	0.02
	YES	11.54	MAYBE	2.35	MAYBE	20.86
	YES	1.08	YES	0.75	YES	0.01
	YES	1.62	YES	1.23	YES	0.01
	YES	0.99	YES	0.76	YES	0.00
	YES	0.97	YES	0.70	YES	0.00
	YES	1.32	YES	0.93	YES	0.02
	MAYBE	79.34	MAYBE	54.84	MAYBE	51.40
	YES	1.09	YES	0.69	YES	0.01
	YES	1.10	YES	0.81	YES	0.01
	YES	1.09	YES	0.75	YES	0.01
	YES	1.25	YES	0.92	YES	0.02
	YES	1.03	YES	0.83	YES	0.00
	YES	0.98	YES	0.70	YES	0.00
	YES	0.96	YES	0.70	YES	0.01
	YES	1.05	YES	0.75	YES	0.01
	YES	1.10	YES	0.81	YES	0.01
	YES	1.10	YES	0.85	YES	0.01
	YES	1.09	YES	0.81	YES	0.01
	YES	1.04	YES	0.79	YES	0.01
	MAYBE	91.73	MAYBE	85.56	MAYBE	57.87
	YES	1.17	YES	0.86	YES	0.01
	YES	1.03	YES	0.82	YES	0.01
	YES	0.96	YES	0.70	YES	0.01
	YES	1.93	YES	1.28	YES	0.12
	YES	1.03	YES	0.81	YES	0.01
	YES	0.98	YES	0.70	YES	0.01
	YES	1.11	YES	0.81	YES	0.23
	YES	2.57	MAYBE	72.37	MAYBE	84.26
	YES	1.05	YES	0.81	YES	0.01
	KILLED	120.00	MAYBE	97.33	MAYBE	61.56
	YES	1.12	YES	0.90	YES	0.01
	YES	1.58	YES	0.92	YES	0.05
	YES	3.15	MAYBE	116.29	MAYBE	59.20
	YES	1.15	YES	0.75	YES	0.01
	YES	1.00	YES	0.71	YES	0.01
	YES	1.03	YES	0.83	YES	0.01
	YES	1.11	YES	0.81	YES	0.01
	YES	1.11	YES	0.81	YES	0.01
	YES	1.11	YES	0.81	YES	0.01
	YES	1.11	MAYBE	4.44	MAYBE	17.32
	YES	1.71	YES	1.90	YES	4.35
	YES	1.20	YES	0.95	YES	0.01
	YES	1.05	YES	0.74	YES	0.01
	YES	1.02	YES	0.78	YES	0.01
	YES	1.03	YES	0.76	YES	0.01
	YES	1.16	YES	0.86	YES	0.01
	MAYBE	71.89	MAYBE	73.89	MAYBE	54.20
	YES	1.25	YES	1.04	YES	0.01
	YES	1.22	YES	0.89	YES	0.01
	YES	1.15	YES	0.82	YES	0.01
	YES	8.28	YES	5.43	KILLED	120.00
	KILLED	120.00	MAYBE	60.38	KILLED	120.00
	YES	3.17	YES	3.25	MAYBE	82.06
	KILLED	120.00	MAYBE	51.02	MAYBE	87.53
	MAYBE	31.26	MAYBE	14.81	MAYBE	72.17
	MAYBE	13.02	MAYBE	12.02	MAYBE	25.00
	YES	4.87	YES	4.17	YES	17.63
	YES	57.98	YES	47.38	KILLED	120.00
	YES	2.71	YES	2.34	YES	16.77
	YES	47.14	YES	32.68	MAYBE	78.22
	MAYBE	21.37	MAYBE	4.46	MAYBE	43.99
	MAYBE	13.29	MAYBE	4.39	MAYBE	17.02
	YES	4.82	YES	3.24	YES	0.34
	YES	4.95	YES	3.55	YES	86.98
	YES	1.26	YES	1.05	YES	0.02
	YES	2.35	YES	1.83	YES	0.03
	YES	1.10	YES	0.82	YES	0.01
	YES	1.09	YES	0.76	YES	0.01
	YES	5.80	YES	3.34	YES	0.80
	YES	5.04	YES	3.75	YES	1.11
	YES	1.22	YES	0.97	YES	0.01
	YES	3.40	YES	1.82	YES	0.17
	YES	1.04	YES	0.75	YES	0.01
	YES	1.04	YES	0.76	YES	0.01
	YES	2.95	YES	2.28	YES	0.08
	YES	3.39	YES	3.19	YES	85.28
	YES	1.11	YES	0.87	YES	0.01
	YES	2.13	YES	1.28	YES	0.03
	YES	1.10	YES	0.87	YES	0.01
	YES	1.04	YES	0.76	YES	0.01
	YES	11.62	YES	9.14	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	6.04	YES	4.53	KILLED	120.00
	KILLED	120.00	MAYBE	71.50	KILLED	120.00
	YES	1.34	YES	1.05	YES	0.01
	YES	1.15	YES	0.89	YES	0.01
	YES	1.15	YES	0.89	YES	0.01