L2Sia-wfr				L2Sia							HSF							Ultimate-LTL							T2-ctlstar							T2-termination
	result			time	result			time	delta			result			time	delta			result			time	delta			result			time	delta			result			time	delta
bip/atm.02.000	safe			2.56	safe			2.48	0			?			0	-1			?			544.84	-1			?			1202.58	-1			-			-	-
bip/atm.02.001	safe			0.59	safe			0.51	0			?			0	-1			?			0	-1			?			1202.62	-1			-			-	-
bip/atm.02.002	safe			0.39	safe			0.31	0			?			0	-1			?			1204.65	-1			?			1202.5	-1			-			-	-
bip/atm.03.000	safe			1.05	safe			1.02	0			?			0	-1			?			810.77	-1			?			1202.1	-1			-			-	-
bip/atm.03.001	safe			0.93	safe			0.9	0			?			0	-1			?			1204.66	-1			?			1202.26	-1			-			-	-
bip/atm.03.002	safe			0.68	safe			0.61	0			?			0	-1			?			1201.84	-1			?			1202.34	-1			-			-	-
bip/atm.04.000	safe			6.98	safe			6.93	0			?			0	-1			?			1185.76	-1			?			1202.37	-1			-			-	-
bip/atm.04.001	safe			0.66	safe			0.64	0			?			0	-1			?			1204.65	-1			?			1202.26	-1			-			-	-
bip/atm.04.002	safe			0.87	safe			0.85	0			?			0	-1			?			1204.66	-1			?			1202.1	-1			-			-	-
bip/atm.05.000	safe			13.01	safe			12.93	0			?			0	-1			?			1201.72	-1			?			1202.4	-1			-			-	-
bip/atm.05.001	safe			0.87	safe			0.82	0			?			0	-1			?			1201.72	-1			?			1202.61	-1			-			-	-
bip/atm.05.002	safe			2.2	safe			2.22	0			?			0	-1			?			1201.89	-1			?			1202.59	-1			-			-	-
bip/atm.06.000	safe			14.7	safe			14.66	0			?			0.44	-1			?			1204.19	-1			?			1201.13	-1			-			-	-
bip/atm.06.001	safe			0.93	safe			0.89	0			?			0.43	-1			?			819.7	-1			?			1201.66	-1			-			-	-
bip/atm.06.002	safe			0.5	safe			0.45	0			?			0.42	-1			?			690.11	-1			?			1201.77	-1			-			-	-
bip/atm.07.000	safe			49.66	safe			50.21	0			?			0.47	-1			?			1201.79	-1			?			1201.38	-1			-			-	-
bip/atm.07.001	safe			0.91	safe			0.87	0			?			0.47	-1			?			1201.69	-1			?			1201.5	-1			-			-	-
bip/atm.07.002	safe			0.89	safe			0.86	0			?			0.47	-1			?			708.64	-1			?			1201.47	-1			-			-	-
bip/atm.08.000	safe			63.03	safe			64.9	0			?			0.52	-1			?			1201.7	-1			?			1201.08	-1			-			-	-
bip/atm.08.001	safe			1.04	safe			1.02	0			?			0.5	-1			?			236.28	-1			?			1201.73	-1			-			-	-
bip/atm.08.002	safe			1.36	safe			1.36	0			?			0.51	-1			?			250.89	-1			?			1200.62	-1			-			-	-
bip/atm.09.000	safe			84.21	safe			87.73	0			?			0.58	-1			?			1201.71	-1			?			1200.42	-1			-			-	-
bip/atm.09.001	safe			1.87	safe			1.82	0			?			0.56	-1			?			1201.92	-1			?			1201.42	-1			-			-	-
bip/atm.09.002	safe			2.46	safe			2.42	0			?			0.55	-1			?			272.74	-1			?			1201.36	-1			-			-	-
bip/atm.10.000	safe			177.08	safe			179.03	0			?			0.62	-1			?			1201.7	-1			?			1201.16	-1			-			-	-
bip/atm.10.001	safe			2.28	safe			2.25	0			?			0.8	-1			?			348.78	-1			?			1200.57	-1			-			-	-
bip/atm.10.002	safe			1.68	safe			1.65	0			?			0.79	-1			?			262.65	-1			?			1200.5	-1			-			-	-
bip/atm.11.000	safe			199.95	safe			198.15	0			?			0.78	-1			?			157.76	-1			?			1199.93	-1			-			-	-
bip/atm.11.001	safe			1.96	safe			1.94	0			?			0.72	-1			?			144.48	-1			?			1200.83	-1			-			-	-
bip/atm.11.002	safe			2.39	safe			2.34	0			?			0.73	-1			?			143.11	-1			?			1199.99	-1			-			-	-
bip/atm.12.000	safe			301.22	safe			313.27	0			?			0.81	-1			?			162.6	-1			?			1200.04	-1			-			-	-
bip/atm.12.001	safe			1.87	safe			1.78	0			?			0.75	-1			?			169.05	-1			?			1200.45	-1			-			-	-
bip/atm.12.002	safe			1.2	safe			1.18	0			?			0.71	-1			?			134.22	-1			?			1200.43	-1			-			-	-
bip/atm.13.000	safe			278.86	safe			281.8	0			?			0.82	-1			?			388.95	-1			?			1199.44	-1			-			-	-
bip/atm.13.001	safe			3.02	safe			3.0	0			?			1.02	-1			?			159.57	-1			?			1199.93	-1			-			-	-
bip/atm.13.002	safe			3.32	safe			3.27	0			?			0.77	-1			?			184.99	-1			?			1199.91	-1			-			-	-
bip/atm.14.000	safe			532.45	safe			536.25	0			?			0.83	-1			?			182.1	-1			?			1199.37	-1			-			-	-
bip/atm.14.001	safe			2.66	safe			2.64	0			?			0.83	-1			?			161.06	-1			?			1199.88	-1			-			-	-
bip/atm.14.002	safe			4.96	safe			4.97	0			?			0.85	-1			?			168.3	-1			?			1199.18	-1			-			-	-
bip/atm.15.000	safe			839.27	safe			837.24	0			?			0.87	-1			?			542.8	-1			?			1199.06	-1			-			-	-
bip/atm.15.001	safe			2.8	safe			2.78	0			?			0.89	-1			?			492.52	-1			?			1199.65	-1			-			-	-
bip/atm.15.002	safe			5.94	safe			6.02	0			?			0.87	-1			?			187.76	-1			?			1198.12	-1			-			-	-
bip/atm.16.000	safe			692.5	safe			692.75	0			?			0.95	-1			?			298.88	-1			?			1198.47	-1			-			-	-
bip/atm.16.001	safe			8.95	safe			8.93	0			?			1.06	-1			?			228.52	-1			?			1198.1	-1			-			-	-
bip/atm.16.002	safe			5.03	safe			4.89	0			?			1.06	-1			?			185.37	-1			?			1198.14	-1			-			-	-
bip/atm.17.000	?			1201.84	?			1201.73	0			?			0.98	0			?			533.11	0			?			1197.93	0			-			-	-
bip/atm.17.001	safe			2.92	safe			2.8	0			?			1.11	-1			?			212.58	-1			?			1198.55	-1			-			-	-
bip/atm.17.002	safe			10.11	safe			10.09	0			?			0.96	-1			?			245.6	-1			?			1198.14	-1			-			-	-
bip/atm.18.000	?			1202.16	?			1201.76	0			?			0.96	0			?			567.52	0			?			1198.13	0			-			-	-
bip/atm.18.001	safe			2.68	safe			2.64	0			?			0.98	-1			?			321.95	-1			?			1198.01	-1			-			-	-
bip/atm.18.002	safe			1.34	safe			1.17	0			?			1.02	-1			?			185.25	-1			?			1198.43	-1			-			-	-
bip/atm.19.000	?			1201.73	?			1202.9	0			?			1.02	0			?			234.11	0			?			1198.33	0			-			-	-
bip/atm.19.001	safe			2.77	safe			2.45	0			?			1.02	-1			?			306.41	-1			?			1197.97	-1			-			-	-
bip/atm.19.002	safe			4.33	safe			4.22	0			?			1.02	-1			?			261.14	-1			?			1198.1	-1			-			-	-
bip/atm.20.000	?			1201.48	?			1202.02	0			?			1.09	0			?			300.91	0			?			1198.12	0			-			-	-
bip/atm.20.001	safe			7.61	safe			7.7	0			?			1.07	-1			?			238.21	-1			?			1198.02	-1			-			-	-
bip/atm.20.002	safe			4.91	safe			4.95	0			?			1.06	-1			?			273.84	-1			?			1197.42	-1			-			-	-
bip/atm.21.000	safe			29.68	safe			29.98	0			?			1.14	-1			?			382.58	-1			?			1197.28	-1			-			-	-
bip/atm.21.001	safe			4.46	safe			4.44	0			?			1.18	-1			?			1125.39	-1			?			1197.98	-1			-			-	-
bip/atm.21.002	safe			3.81	safe			3.7	0			?			1.15	-1			?			438.12	-1			?			1197.85	-1			-			-	-
bip/atm_local.02.000	safe			0.76	safe			0.65	0			?			0	-1			?			467.96	-1			?			1201.82	-1			-			-	-
bip/atm_local.02.001	safe			0.71	safe			0.59	0			?			0	-1			?			1201.69	-1			?			1201.91	-1			-			-	-
bip/atm_local.02.002	safe			0.46	safe			0.34	0			?			0	-1			?			1201.95	-1			?			1201.46	-1			-			-	-
bip/atm_local.03.000	safe			3.69	safe			3.57	0			?			0	-1			?			663.61	-1			?			1201.29	-1			-			-	-
bip/atm_local.03.001	safe			1.0	safe			1.01	0			?			0	-1			?			1201.66	-1			?			1201.42	-1			-			-	-
bip/atm_local.03.002	safe			0.71	safe			0.7	0			?			0	-1			?			1202.02	-1			?			1201.27	-1			-			-	-
bip/atm_local.04.000	safe			8.05	safe			7.92	0			?			0	-1			?			801.58	-1			?			1201.81	-1			-			-	-
bip/atm_local.04.001	safe			1.04	safe			1.02	0			?			0	-1			?			1201.98	-1			?			1201.73	-1			-			-	-
bip/atm_local.04.002	safe			0.49	safe			0.47	0			?			0	-1			?			1201.74	-1			?			1201.51	-1			-			-	-
bip/atm_local.05.000	safe			10.46	safe			10.35	0			?			0	-1			?			1201.66	-1			?			1201.46	-1			-			-	-
bip/atm_local.05.001	safe			0.72	safe			0.71	0			?			0	-1			?			1201.68	-1			?			1201.28	-1			-			-	-
bip/atm_local.05.002	safe			0.91	safe			0.92	0			?			0	-1			?			1201.67	-1			?			1201.27	-1			-			-	-
bip/atm_local.06.000	safe			6.27	safe			6.16	0			?			0.42	-1			?			1201.73	-1			?			1201.63	-1			-			-	-
bip/atm_local.06.001	safe			2.99	safe			2.92	0			?			0.43	-1			?			838.34	-1			?			1201.61	-1			-			-	-
bip/atm_local.06.002	safe			1.13	safe			1.1	0			?			0.43	-1			?			910.49	-1			?			1201.65	-1			-			-	-
bip/atm_local.07.000	safe			8.39	safe			8.32	0			?			0.45	-1			?			1201.72	-1			?			1200.76	-1			-			-	-
bip/atm_local.07.001	safe			1.27	safe			1.27	0			?			0.46	-1			?			1099.19	-1			?			1201.32	-1			-			-	-
bip/atm_local.07.002	safe			1.33	safe			1.37	0			?			0.45	-1			?			530.17	-1			?			1201.48	-1			-			-	-
bip/atm_local.08.000	safe			8.74	safe			8.73	0			?			0.5	-1			?			1201.79	-1			?			1201.57	-1			-			-	-
bip/atm_local.08.001	safe			1.68	safe			1.69	0			?			0.49	-1			?			284.25	-1			?			1201.28	-1			-			-	-
bip/atm_local.08.002	safe			0.74	safe			0.79	0			?			0.49	-1			?			216.22	-1			?			1200.72	-1			-			-	-
bip/atm_local.09.000	safe			9.83	safe			9.79	0			?			0.53	-1			?			1201.79	-1			?			1201.35	-1			-			-	-
bip/atm_local.09.001	safe			1.2	safe			1.17	0			?			0.54	-1			?			366.64	-1			?			1201.52	-1			-			-	-
bip/atm_local.09.002	safe			1.0	safe			0.99	0			?			0.53	-1			?			269.0	-1			?			1201.31	-1			-			-	-
bip/atm_local.10.000	safe			2.46	safe			2.43	0			?			0.61	-1			?			1204.12	-1			?			1200.6	-1			-			-	-
bip/atm_local.10.001	safe			1.4	safe			1.41	0			?			0.62	-1			?			322.29	-1			?			1200.83	-1			-			-	-
bip/atm_local.10.002	safe			2.07	safe			2.02	0			?			0.73	-1			?			215.32	-1			?			1200.61	-1			-			-	-
bip/atm_local.11.000	safe			11.17	safe			11.13	0			?			0.7	-1			?			143.87	-1			?			1199.91	-1			-			-	-
bip/atm_local.11.001	safe			1.43	safe			1.41	0			?			0.73	-1			?			132.47	-1			?			1199.93	-1			-			-	-
bip/atm_local.11.002	safe			2.81	safe			2.78	0			?			0.7	-1			?			156.94	-1			?			1199.87	-1			-			-	-
bip/atm_local.12.000	safe			5.57	safe			5.65	0			?			0.79	-1			?			161.69	-1			?			1199.54	-1			-			-	-
bip/atm_local.12.001	safe			2.21	safe			2.18	0			?			0.88	-1			?			139.58	-1			?			1199.61	-1			-			-	-
bip/atm_local.12.002	safe			2.34	safe			2.37	0			?			0.85	-1			?			135.95	-1			?			1199.43	-1			-			-	-
bip/atm_local.13.000	safe			4.75	safe			4.66	0			?			0.73	-1			?			146.32	-1			?			1198.8	-1			-			-	-
bip/atm_local.13.001	safe			3.34	safe			3.29	0			?			0.74	-1			?			139.01	-1			?			1200.0	-1			-			-	-
bip/atm_local.13.002	safe			3.88	safe			3.83	0			?			0.72	-1			?			136.41	-1			?			1199.05	-1			-			-	-
bip/atm_local.14.000	safe			3.41	safe			3.34	0			?			0.79	-1			?			156.86	-1			?			1198.22	-1			-			-	-
bip/atm_local.14.001	safe			2.47	safe			2.43	0			?			0.8	-1			?			147.93	-1			?			1199.27	-1			-			-	-
bip/atm_local.14.002	safe			3.19	safe			3.19	0			?			0.8	-1			?			140.05	-1			?			1198.43	-1			-			-	-
bip/atm_local.15.000	safe			3.41	safe			3.21	0			?			0.84	-1			?			199.0	-1			?			1197.87	-1			-			-	-
bip/atm_local.15.001	safe			2.47	safe			2.5	0			?			0.93	-1			?			165.18	-1			?			1199.44	-1			-			-	-
bip/atm_local.15.002	safe			3.91	safe			3.77	0			?			0.89	-1			?			177.42	-1			?			1198.64	-1			-			-	-
bip/atm_local.16.000	safe			81.16	safe			79.89	0			?			0.82	-1			?			413.02	-1			?			1198.18	-1			-			-	-
bip/atm_local.16.001	safe			2.57	safe			2.53	0			?			0.91	-1			?			170.43	-1			?			1199.23	-1			-			-	-
bip/atm_local.16.002	safe			3.23	safe			3.25	0			?			0.86	-1			?			155.56	-1			?			1197.37	-1			-			-	-
bip/atm_local.17.000	safe			13.24	safe			13.02	0			?			0.98	-1			?			163.66	-1			?			1198.42	-1			-			-	-
bip/atm_local.17.001	safe			2.1	safe			1.98	0			?			0.89	-1			?			154.48	-1			?			1198.9	-1			-			-	-
bip/atm_local.17.002	safe			2.75	safe			2.68	0			?			0.94	-1			?			466.05	-1			?			1197.66	-1			-			-	-
bip/atm_local.18.000	safe			7.84	safe			7.8	0			?			0.94	-1			?			302.49	-1			?			1197.59	-1			-			-	-
bip/atm_local.18.001	safe			3.22	safe			3.24	0			?			1.26	-1			?			226.99	-1			?			1198.51	-1			-			-	-
bip/atm_local.18.002	safe			1.94	safe			1.93	0			?			0.96	-1			?			223.35	-1			?			1197.74	-1			-			-	-
bip/atm_local.19.000	safe			19.74	safe			19.74	0			?			0.98	-1			?			299.15	-1			?			1197.43	-1			-			-	-
bip/atm_local.19.001	safe			2.96	safe			2.85	0			?			1.06	-1			?			174.66	-1			?			1197.35	-1			-			-	-
bip/atm_local.19.002	safe			4.45	safe			4.38	0			?			1.02	-1			?			161.75	-1			?			1198.05	-1			-			-	-
bip/atm_local.20.000	safe			17.62	safe			17.52	0			?			1.0	-1			?			261.99	-1			?			1197.52	-1			-			-	-
bip/atm_local.20.001	safe			3.17	safe			3.1	0			?			1.01	-1			?			479.93	-1			?			1198.33	-1			-			-	-
bip/atm_local.20.002	safe			3.96	safe			3.89	0			?			1.07	-1			?			188.16	-1			?			1197.76	-1			-			-	-
bip/atm_local.21.000	safe			6.46	safe			6.43	0			?			1.18	-1			?			520.98	-1			?			1198.37	-1			-			-	-
bip/atm_local.21.001	safe			4.69	safe			4.66	0			?			1.12	-1			?			452.1	-1			?			1198.4	-1			-			-	-
bip/atm_local.21.002	safe			3.57	safe			3.55	0			?			1.06	-1			?			447.92	-1			?			1198.03	-1			-			-	-
bip/mutual_exclusion.02.000	safe			0.07	safe			0.06	0			safe			7.27	0			safe			9.91	0			?			1201.76	-1			-			-	-
bip/mutual_exclusion.02.001	safe			12.93	safe			9.97	0			?			0	-1			?			167.51	-1			?			1201.44	-1			-			-	-
bip/mutual_exclusion.02.002	safe			5.49	safe			29.59	0			?			0	-1			?			197.42	-1			?			1201.47	-1			-			-	-
bip/mutual_exclusion.03.000	safe			0.06	safe			0.05	0			safe			27.68	0			safe			11.16	0			?			1201.57	-1			-			-	-
bip/mutual_exclusion.03.001	unsafe			1.16	unsafe			1.17	0			?			0	-1			?			190.3	-1			?			1201.52	-1			-			-	-
bip/mutual_exclusion.03.002	safe			39.19	?			1201.51	-1			?			0	-1			?			200.62	-1			?			1201.67	-1			-			-	-
bip/mutual_exclusion.04.000	safe			0.08	safe			0.08	0			safe			50.0	0			safe			13.21	0			?			1201.91	-1			-			-	-
bip/mutual_exclusion.04.001	unsafe			0.99	unsafe			0.99	0			?			0	-1			?			782.77	-1			?			1201.74	-1			-			-	-
bip/mutual_exclusion.04.002	safe			29.23	?			1201.76	-1			?			0	-1			?			512.8	-1			?			1201.6	-1			-			-	-
bip/mutual_exclusion.05.000	safe			0.06	safe			0.06	0			safe			220.2	0			safe			13.2	0			?			1201.57	-1			-			-	-
bip/mutual_exclusion.05.001	unsafe			2.18	unsafe			2.17	0			?			0	-1			?			607.77	-1			?			1201.57	-1			-			-	-
bip/mutual_exclusion.05.002	safe			78.78	?			1201.42	-1			?			0	-1			?			570.82	-1			?			1201.67	-1			-			-	-
bip/mutual_exclusion.06.000	safe			0.08	safe			0.04	0			safe			352.09	0			safe			18.46	0			?			1201.28	-1			-			-	-
bip/mutual_exclusion.06.001	unsafe			5.11	unsafe			5.02	0			?			0	-1			?			578.22	-1			?			1201.32	-1			-			-	-
bip/mutual_exclusion.06.002	safe			233.01	?			1201.81	-1			?			0	-1			?			624.35	-1			?			1201.98	-1			-			-	-
bip/mutual_exclusion.07.000	safe			0.09	safe			0.09	0			safe			637.53	0			safe			15.98	0			?			1201.32	-1			-			-	-
bip/mutual_exclusion.07.001	unsafe			6.39	unsafe			6.33	0			?			0	-1			?			596.36	-1			?			1201.66	-1			-			-	-
bip/mutual_exclusion.07.002	safe			253.42	?			1201.83	-1			?			0	-1			?			764.21	-1			?			1201.34	-1			-			-	-
bip/mutual_exclusion.08.000	safe			0.17	safe			0.06	0			safe			656.14	0			safe			20.84	0			?			1201.33	-1			-			-	-
bip/mutual_exclusion.08.001	unsafe			3.34	unsafe			3.23	0			?			0	-1			?			641.61	-1			?			1201.31	-1			-			-	-
bip/mutual_exclusion.08.002	?			1201.88	?			1201.71	0			?			0	0			?			731.42	0			?			1201.12	0			-			-	-
bip/mutual_exclusion.09.000	safe			0.06	safe			0.08	0			?			0	-1			safe			17.74	0			?			1201.29	-1			-			-	-
bip/mutual_exclusion.09.001	unsafe			8.92	unsafe			8.9	0			?			0	-1			?			887.27	-1			?			1201.76	-1			-			-	-
bip/mutual_exclusion.09.002	safe			669.92	?			1201.68	-1			?			0	-1			?			1117.12	-1			?			1201.45	-1			-			-	-
bip/mutual_exclusion.10.000	safe			0.29	safe			0.05	0			?			0	-1			safe			19.53	0			?			1201.28	-1			-			-	-
bip/mutual_exclusion.10.001	unsafe			11.17	unsafe			10.92	0			?			0	-1			?			0	-1			?			1201.48	-1			-			-	-
bip/mutual_exclusion.10.002	?			1201.55	?			1201.79	0			?			0	0			?			863.02	0			?			1201.2	0			-			-	-
bip/mutual_exclusion.11.000	safe			0.25	safe			0.05	0			?			0	-1			safe			19.65	0			?			1201.7	-1			-			-	-
bip/mutual_exclusion.11.001	unsafe			10.04	unsafe			9.9	0			?			0	-1			?			1204.15	-1			?			1201.4	-1			-			-	-
bip/mutual_exclusion.11.002	?			1201.67	?			1201.33	0			?			0	0			?			1129.68	0			?			1201.19	0			-			-	-
bip/mutual_exclusion.12.000	safe			0.4	safe			0.06	0			?			0	-1			safe			21.71	0			?			1201.48	-1			-			-	-
bip/mutual_exclusion.12.001	unsafe			14.75	unsafe			14.57	0			?			0	-1			?			1201.9	-1			?			1201.28	-1			-			-	-
bip/mutual_exclusion.12.002	?			1201.61	?			1201.74	0			?			0	0			?			1201.78	0			?			1201.7	0			-			-	-
bip/mutual_exclusion.13.000	safe			0.08	safe			0.06	0			?			0	-1			safe			22.02	0			?			1201.2	-1			-			-	-
bip/mutual_exclusion.13.001	unsafe			12.58	unsafe			12.33	0			?			0	-1			?			1201.85	-1			?			1201.27	-1			-			-	-
bip/mutual_exclusion.13.002	?			1201.44	?			1201.72	0			?			0	0			?			1201.71	0			?			1201.28	0			-			-	-
bip/mutual_exclusion.14.000	safe			0.09	safe			0.21	0			?			0	-1			safe			25.18	0			?			1201.67	-1			-			-	-
bip/mutual_exclusion.14.001	unsafe			35.95	unsafe			36.32	0			?			0	-1			?			1201.7	-1			?			1201.6	-1			-			-	-
bip/mutual_exclusion.14.002	?			1201.93	?			1201.64	0			?			0	0			?			1201.79	0			?			1201.53	0			-			-	-
bip/mutual_exclusion.15.000	safe			0.09	safe			0.06	0			?			0.61	-1			safe			25.67	0			?			1201.39	-1			-			-	-
bip/mutual_exclusion.15.001	unsafe			21.32	unsafe			21.63	0			?			0.52	-1			?			1201.69	-1			?			1201.43	-1			-			-	-
bip/mutual_exclusion.15.002	?			1201.75	?			1201.78	0			?			0	0			?			1201.81	0			?			1201.31	0			-			-	-
bip/mutual_exclusion.16.000	safe			0.19	safe			0.06	0			?			0.62	-1			safe			27.75	0			?			1201.67	-1			-			-	-
bip/mutual_exclusion.16.001	unsafe			19.21	unsafe			19.13	0			?			0.53	-1			?			1202.02	-1			?			1201.39	-1			-			-	-
bip/mutual_exclusion.16.002	?			1201.54	?			1201.17	0			?			0.52	0			?			1201.78	0			?			1201.65	0			-			-	-
bip/mutual_exclusion.17.000	safe			0.19	safe			0.07	0			?			0.64	-1			safe			27.46	0			?			1201.66	-1			-			-	-
bip/mutual_exclusion.17.001	unsafe			15.89	unsafe			15.68	0			?			0.55	-1			?			1201.94	-1			?			1201.4	-1			-			-	-
bip/mutual_exclusion.17.002	?			1201.52	?			1201.46	0			?			0.56	0			?			1202.0	0			?			1201.43	0			-			-	-
bip/mutual_exclusion.18.000	safe			0.12	safe			0.08	0			?			0.6	-1			safe			28.52	0			?			1201.84	-1			-			-	-
bip/mutual_exclusion.18.001	unsafe			53.02	unsafe			52.4	0			?			0.69	-1			?			1201.84	-1			?			1201.33	-1			-			-	-
bip/mutual_exclusion.18.002	?			1201.41	?			1201.99	0			?			0.68	0			?			1201.73	0			?			1201.82	0			-			-	-
bip/mutual_exclusion.19.000	safe			0.12	safe			0.08	0			?			0.71	-1			safe			25.5	0			?			1201.35	-1			-			-	-
bip/mutual_exclusion.19.001	unsafe			44.84	unsafe			44.27	0			?			0.73	-1			?			1201.76	-1			?			1201.4	-1			-			-	-
bip/mutual_exclusion.19.002	?			1201.59	?			1201.62	0			?			0.71	0			?			1201.86	0			?			1201.56	0			-			-	-
bip/mutual_exclusion.20.000	safe			0.2	safe			0.09	0			?			0.72	-1			safe			40.86	0			?			1201.58	-1			-			-	-
bip/mutual_exclusion.20.001	unsafe			192.73	unsafe			182.24	0			?			0.74	-1			?			1201.84	-1			?			1201.33	-1			-			-	-
bip/mutual_exclusion.20.002	?			1201.91	?			1201.5	0			?			0.61	0			?			1201.82	0			?			1201.35	0			-			-	-
bip/mutual_exclusion.21.000	safe			0.19	safe			0.09	0			?			0.63	-1			safe			30.25	0			?			1201.77	-1			-			-	-
bip/mutual_exclusion.21.001	unsafe			28.18	unsafe			27.75	0			?			0.63	-1			?			1201.74	-1			?			1201.5	-1			-			-	-
bip/mutual_exclusion.21.002	?			1201.9	?			1201.63	0			?			0.73	0			?			1201.74	0			?			1201.56	0			-			-	-
bip/mutual_exclusion_local.02.000	safe			0.16	safe			0.04	0			safe			16.07	0			safe			9.26	0			?			1201.69	-1			-			-	-
bip/mutual_exclusion_local.02.001	safe			7.36	safe			16.88	0			?			0	-1			?			166.26	-1			?			1201.28	-1			-			-	-
bip/mutual_exclusion_local.02.002	safe			8.47	safe			28.17	0			?			0	-1			?			149.18	-1			?			1201.71	-1			-			-	-
bip/mutual_exclusion_local.03.000	safe			0.18	safe			0.05	0			safe			58.75	0			safe			10.72	0			?			1201.68	-1			-			-	-
bip/mutual_exclusion_local.03.001	unsafe			27.0	unsafe			42.59	0			?			0	-1			?			203.7	-1			?			1201.73	-1			-			-	-
bip/mutual_exclusion_local.03.002	safe			17.43	safe			1103.29	0			?			0	-1			?			174.51	-1			?			1201.72	-1			-			-	-
bip/mutual_exclusion_local.04.000	safe			0.17	safe			0.05	0			safe			118.92	0			safe			12.19	0			?			1201.87	-1			-			-	-
bip/mutual_exclusion_local.04.001	unsafe			35.34	unsafe			153.58	0			?			0	-1			?			270.56	-1			?			1201.73	-1			-			-	-
bip/mutual_exclusion_local.04.002	safe			26.55	?			1201.7	-1			?			0	-1			?			263.94	-1			?			1201.68	-1			-			-	-
bip/mutual_exclusion_local.05.000	safe			0.06	safe			0.04	0			safe			390.12	0			safe			13.35	0			?			1201.68	-1			-			-	-
bip/mutual_exclusion_local.05.001	unsafe			63.7	unsafe			181.49	0			?			0	-1			?			504.95	-1			?			1201.73	-1			-			-	-
bip/mutual_exclusion_local.05.002	safe			25.13	?			1201.48	-1			?			0	-1			?			322.56	-1			?			1201.72	-1			-			-	-
bip/mutual_exclusion_local.06.000	safe			0.06	safe			0.05	0			safe			1195.39	0			safe			14.39	0			?			1201.47	-1			-			-	-
bip/mutual_exclusion_local.06.001	unsafe			87.3	unsafe			476.87	0			?			0	-1			?			419.2	-1			?			1201.73	-1			-			-	-
bip/mutual_exclusion_local.06.002	safe			81.5	?			1201.93	-1			?			0	-1			?			620.83	-1			?			1201.48	-1			-			-	-
bip/mutual_exclusion_local.07.000	safe			0.08	safe			0.16	0			safe			1028.2	0			safe			15.96	0			?			1201.22	-1			-			-	-
bip/mutual_exclusion_local.07.001	unsafe			311.75	unsafe			764.16	0			?			0	-1			?			524.18	-1			?			1201.46	-1			-			-	-
bip/mutual_exclusion_local.07.002	safe			113.58	?			1201.9	-1			?			0	-1			?			703.13	-1			?			1201.46	-1			-			-	-
bip/mutual_exclusion_local.08.000	safe			0.18	safe			0.18	0			?			0	-1			safe			16.91	0			?			1201.43	-1			-			-	-
bip/mutual_exclusion_local.08.001	unsafe			427.64	?			1202.3	-1			?			0	-1			?			859.86	-1			?			1201.59	-1			-			-	-
bip/mutual_exclusion_local.08.002	?			1201.62	?			1201.99	0			?			0	0			?			829.11	0			?			1201.3	0			-			-	-
bip/mutual_exclusion_local.09.000	safe			0.16	safe			0.05	0			?			0	-1			safe			15.53	0			?			1201.47	-1			-			-	-
bip/mutual_exclusion_local.09.001	unsafe			417.08	?			1202.03	-1			?			0	-1			?			1115.39	-1			?			1201.47	-1			-			-	-
bip/mutual_exclusion_local.09.002	safe			307.57	?			1201.52	-1			?			0	-1			?			786.86	-1			?			1201.44	-1			-			-	-
bip/mutual_exclusion_local.10.000	safe			0.17	safe			0.17	0			?			0	-1			safe			18.59	0			?			1201.26	-1			-			-	-
bip/mutual_exclusion_local.10.001	unsafe			192.15	?			1202.01	-1			?			0	-1			?			982.85	-1			?			1201.25	-1			-			-	-
bip/mutual_exclusion_local.10.002	safe			131.69	?			1201.52	-1			?			0	-1			?			895.38	-1			?			1200.96	-1			-			-	-
bip/mutual_exclusion_local.11.000	safe			0.16	safe			0.05	0			?			0	-1			safe			19.73	0			?			1201.45	-1			-			-	-
bip/mutual_exclusion_local.11.001	unsafe			516.25	?			1201.55	-1			?			0	-1			?			1168.27	-1			?			1201.55	-1			-			-	-
bip/mutual_exclusion_local.11.002	safe			136.07	?			1201.77	-1			?			0	-1			?			1169.47	-1			?			1201.37	-1			-			-	-
bip/mutual_exclusion_local.12.000	safe			0.18	safe			0.17	0			?			0	-1			safe			21.26	0			?			1201.26	-1			-			-	-
bip/mutual_exclusion_local.12.001	?			1201.63	?			1201.48	0			?			0	0			?			1201.68	0			?			1201.43	0			-			-	-
bip/mutual_exclusion_local.12.002	safe			177.69	?			1201.68	-1			?			0	-1			?			1204.16	-1			?			1201.2	-1			-			-	-
bip/mutual_exclusion_local.13.000	safe			0.19	safe			0.07	0			?			0	-1			safe			21.25	0			?			1201.24	-1			-			-	-
bip/mutual_exclusion_local.13.001	unsafe			298.34	?			1201.85	-1			?			0	-1			?			1201.68	-1			?			1201.55	-1			-			-	-
bip/mutual_exclusion_local.13.002	safe			1104.72	?			1201.95	-1			?			0	-1			?			1201.7	-1			?			1201.4	-1			-			-	-
bip/mutual_exclusion_local.14.000	safe			0.09	safe			0.06	0			?			0	-1			safe			21.35	0			?			1201.73	-1			-			-	-
bip/mutual_exclusion_local.14.001	unsafe			892.53	?			1201.83	-1			?			0	-1			?			1201.74	-1			?			1201.78	-1			-			-	-
bip/mutual_exclusion_local.14.002	safe			922.82	?			1201.69	-1			?			0	-1			?			1201.74	-1			?			1201.34	-1			-			-	-
bip/mutual_exclusion_local.15.000	safe			0.09	safe			0.06	0			?			0	-1			safe			24.77	0			?			1201.07	-1			-			-	-
bip/mutual_exclusion_local.15.001	unsafe			353.8	?			1201.52	-1			?			0	-1			?			1201.68	-1			?			1201.46	-1			-			-	-
bip/mutual_exclusion_local.15.002	?			1201.99	?			1201.53	0			?			0	0			?			1201.89	0			?			1201.35	0			-			-	-
bip/mutual_exclusion_local.16.000	safe			0.19	safe			0.06	0			?			0.63	-1			safe			25.61	0			?			1201.72	-1			-			-	-
bip/mutual_exclusion_local.16.001	unsafe			215.48	?			1201.81	-1			?			0.52	-1			?			1202.0	-1			?			1201.71	-1			-			-	-
bip/mutual_exclusion_local.16.002	safe			493.54	?			1202.16	-1			?			0.53	-1			?			1201.76	-1			?			1201.29	-1			-			-	-
bip/mutual_exclusion_local.17.000	safe			0.2	safe			0.07	0			?			0.63	-1			safe			26.37	0			?			1201.37	-1			-			-	-
bip/mutual_exclusion_local.17.001	?			1201.62	?			1201.99	0			?			0.54	0			?			1201.81	0			?			1201.06	0			-			-	-
bip/mutual_exclusion_local.17.002	safe			464.39	?			1201.63	-1			?			0.64	-1			?			1201.8	-1			?			1201.34	-1			-			-	-
bip/mutual_exclusion_local.18.000	safe			0.09	safe			0.19	0			?			0.55	-1			safe			28.27	0			?			1201.44	-1			-			-	-
bip/mutual_exclusion_local.18.001	?			1201.81	?			1201.58	0			?			0.54	0			?			1201.72	0			?			1201.3	0			-			-	-
bip/mutual_exclusion_local.18.002	safe			1184.87	?			1201.69	-1			?			0.64	-1			?			1201.75	-1			?			1201.59	-1			-			-	-
bip/mutual_exclusion_local.19.000	safe			0.19	safe			0.07	0			?			0.68	-1			safe			29.08	0			?			1201.57	-1			-			-	-
bip/mutual_exclusion_local.19.001	?			1202.13	?			1201.92	0			?			0.68	0			?			1201.79	0			?			1201.66	0			-			-	-
bip/mutual_exclusion_local.19.002	safe			417.23	?			1202.1	-1			?			0.67	-1			?			1201.79	-1			?			1201.74	-1			-			-	-
bip/mutual_exclusion_local.20.000	safe			0.19	safe			0.08	0			?			0.71	-1			safe			45.67	0			?			1201.38	-1			-			-	-
bip/mutual_exclusion_local.20.001	?			1201.89	?			1201.85	0			?			0.7	0			?			1201.79	0			?			1201.31	0			-			-	-
bip/mutual_exclusion_local.20.002	?			1201.88	?			1201.85	0			?			0.7	0			?			1201.88	0			?			1201.54	0			-			-	-
bip/mutual_exclusion_local.21.000	safe			0.1	safe			0.17	0			?			0.7	-1			safe			27.05	0			?			1201.4	-1			-			-	-
bip/mutual_exclusion_local.21.001	?			1201.56	?			1201.94	0			?			0.7	0			?			1201.81	0			?			1201.66	0			-			-	-
bip/mutual_exclusion_local.21.002	?			1202.0	?			1201.63	0			?			0.71	0			?			1201.75	0			?			1201.76	0			-			-	-
crafted/any-down-live	safe			1.16	?			1201.83	-1			?			0	-1			?			343.25	-1			safe			19.535	0			-			-	-
crafted/choice-live	safe			14.63	?			1201.83	-1			safe			8.05	0			?			346.61	-1			safe			136.628	0			-			-	-
crafted/conc-whiles-live	safe			5.03	?			1201.81	-1			?			0	-1			?			215.98	-1			?			297.09	-1			-			-	-
crafted/count-down-live	safe			0.23	?			1201.96	-1			safe			2.37	0			?			142.55	-1			safe			78.684	0			-			-	-
crafted/count-nested-live	?			1201.52	?			1201.83	0			?			0	0			?			210.97	0			safe			30.367	+1			-			-	-
crafted/count-up-to-sym-live	safe			0.23	?			1201.98	-1			?			0	-1			safe			8.64	0			safe			17.934	0			-			-	-
crafted/example-fig2-live	safe			0.34	?			1201.97	-1			?			0	-1			?			32.24	-1			safe			18.279	0			-			-	-
crafted/example1-live	safe			0.31	?			1201.28	-1			safe			1.62	0			safe			10.5	0			safe			16.952	0			-			-	-
crafted/example2-live	safe			0.16	?			1201.93	-1			?			0	-1			safe			2.59	0			safe			16.309	0			-			-	-
crafted/example3-live	safe			0.36	?			1202.02	-1			safe			1.42	0			safe			140.62	0			?			18.481	-1			-			-	-
crafted/example4-live-int	safe			0.25	?			1201.91	-1			?			0	-1			safe			2.81	0			?			17.42	-1			-			-	-
crafted/gothenburg-live	safe			0.49	?			1201.7	-1			safe			3.2	0			safe			372.25	0			safe			51.237	0			-			-	-
crafted/loops-live	safe			1.22	?			1201.87	-1			?			0	-1			?			256.75	-1			?			320.84	-1			-			-	-
crafted/parallel-live	safe			0.31	?			1201.94	-1			safe			12.25	0			safe			347.41	0			safe			28.437	0			-			-	-
crafted/piecewise-live	safe			0.63	?			1201.72	-1			safe			3.71	0			safe			15.85	0			?			15.89	-1			-			-	-
crafted/stabilize-live	safe			0.53	?			1201.96	-1			?			0.3	-1			?			231.74	-1			safe			1.126	0			-			-	-
crafted/swap-dec-live	safe			0.36	?			1201.93	-1			safe			1.73	0			?			222.38	-1			safe			1.432	0			-			-	-
timed-toint/counter.003.000	safe			3.7	safe			3.39	0			?			0.42	-1			?			458.68	-1			?			146.61	-1			-			-	-
timed-toint/counter.004.000	safe			16.44	?			1201.87	-1			?			0.43	-1			?			375.28	-1			?			163.09	-1			-			-	-
timed-toint/counter.005.000	safe			214.08	?			1202.03	-1			?			0.39	-1			?			531.15	-1			?			186.65	-1			-			-	-
timed-toint/counter.006.000	?			1201.22	?			1201.23	0			?			0.4	0			?			408.8	0			?			194.23	0			-			-	-
timed-toint/counter.007.000	?			1201.13	?			1201.99	0			?			0.35	0			?			468.95	0			?			176.5	0			-			-	-
timed-toint/counter.008.000	?			1202.01	?			1202.15	0			?			0.39	0			?			385.5	0			?			247.36	0			-			-	-
timed-toint/counter.009.000	?			1202.03	?			1201.95	0			?			0.39	0			?			386.79	0			?			199.8	0			-			-	-
timed-toint/counter.010.000	?			1201.78	?			1201.73	0			?			0.45	0			?			200.98	0			?			231.04	0			-			-	-
timed-toint/csma_aut.002.000	?			1201.82	?			944.22	0			?			2.12	0			?			1201.64	0			?			1201.35	0			-			-	-
timed-toint/csma_aut.002.001	safe			7.82	safe			7.78	0			?			1.9	-1			?			1201.67	-1			?			1201.79	-1			-			-	-
timed-toint/csma_aut.002.002	safe			0.86	safe			0.86	0			?			1.94	-1			?			1201.78	-1			?			1201.2	-1			-			-	-
timed-toint/csma_aut.003.000	?			1201.28	?			1201.85	0			?			3.55	0			?			1201.85	0			?			1201.7	0			-			-	-
timed-toint/csma_aut.003.001	?			1201.58	?			1201.88	0			?			2.99	0			?			1201.67	0			?			1201.35	0			-			-	-
timed-toint/csma_aut.003.002	safe			0.65	safe			0.48	0			?			3.12	-1			?			1201.73	-1			?			1201.6	-1			-			-	-
timed-toint/csma_aut.004.000	?			1201.95	?			1201.71	0			?			5.85	0			?			1201.72	0			?			1201.38	0			-			-	-
timed-toint/csma_aut.004.001	?			1201.83	?			1201.78	0			?			4.34	0			?			1201.66	0			?			1201.24	0			-			-	-
timed-toint/csma_aut.004.002	safe			1.02	safe			1.01	0			?			4.59	-1			?			1201.76	-1			?			1201.3	-1			-			-	-
timed-toint/csma_aut.005.000	?			1202.23	?			1201.61	0			?			10.63	0			?			1201.87	0			?			1201.18	0			-			-	-
timed-toint/csma_aut.005.001	?			1201.83	?			1201.91	0			?			6.22	0			?			1201.7	0			?			1201.31	0			-			-	-
timed-toint/csma_aut.005.002	safe			1.48	safe			1.34	0			?			6.44	-1			?			1201.72	-1			?			1201.91	-1			-			-	-
timed-toint/csma_aut.006.000	?			1201.68	?			1201.96	0			?			21.54	0			?			1201.66	0			?			1201.3	0			-			-	-
timed-toint/csma_aut.006.001	?			1201.67	?			1202.05	0			?			8.19	0			?			1201.68	0			?			1201.39	0			-			-	-
timed-toint/csma_aut.006.002	safe			2.14	safe			2.01	0			?			8.77	-1			?			1201.72	-1			?			1201.27	-1			-			-	-
timed-toint/csma_aut.007.000	?			1202.12	?			1201.94	0			?			44.63	0			?			1201.67	0			?			1201.35	0			-			-	-
timed-toint/csma_aut.007.001	?			1203.09	?			1201.83	0			?			11.27	0			?			1201.66	0			?			1201.23	0			-			-	-
timed-toint/csma_aut.007.002	safe			2.47	safe			2.44	0			?			12.09	-1			?			1201.69	-1			?			1201.46	-1			-			-	-
timed-toint/csma_aut.008.000	?			1201.65	?			1201.8	0			?			90.65	0			?			1201.69	0			?			1201.39	0			-			-	-
timed-toint/csma_aut.008.001	?			1201.58	?			1201.66	0			?			14.79	0			?			1204.08	0			?			1201.25	0			-			-	-
timed-toint/csma_aut.008.002	safe			2.35	safe			2.34	0			?			16.65	-1			?			1201.71	-1			?			1201.49	-1			-			-	-
timed-toint/csma_aut.009.000	?			1202.11	?			1201.86	0			?			200.18	0			?			1201.75	0			?			1201.41	0			-			-	-
timed-toint/csma_aut.009.001	?			1201.43	?			1201.89	0			?			21.15	0			?			1201.71	0			?			1201.43	0			-			-	-
timed-toint/csma_aut.009.002	safe			1.22	safe			1.1	0			?			22.85	-1			?			1201.73	-1			?			1201.47	-1			-			-	-
timed-toint/csma_aut.010.000	?			1201.86	?			1201.53	0			?			499.45	0			?			1201.77	0			?			1201.28	0			-			-	-
timed-toint/csma_aut.010.001	?			1201.7	?			1201.33	0			?			28.13	0			?			1201.78	0			?			1201.43	0			-			-	-
timed-toint/csma_aut.010.002	safe			1.11	safe			0.97	0			?			30.55	-1			?			1201.68	-1			?			1201.29	-1			-			-	-
timed-toint/csma_aut.011.000	?			1201.96	?			1201.62	0			?			0	0			?			1201.68	0			?			1201.56	0			-			-	-
timed-toint/csma_aut.011.001	?			1201.51	?			1201.76	0			?			36.44	0			?			1201.74	0			?			1201.23	0			-			-	-
timed-toint/csma_aut.011.002	safe			5.43	safe			5.26	0			?			39.36	-1			?			415.33	-1			?			1201.23	-1			-			-	-
timed-toint/csma_aut.012.000	?			1201.96	?			1201.85	0			?			0	0			?			290.11	0			?			1201.46	0			-			-	-
timed-toint/csma_aut.012.001	?			1202.24	?			1201.13	0			?			44.71	0			?			1201.67	0			?			1201.25	0			-			-	-
timed-toint/csma_aut.012.002	safe			5.66	safe			5.54	0			?			48.83	-1			?			0	-1			?			1201.42	-1			-			-	-
timed-toint/csma_aut.013.000	?			1201.52	?			1201.6	0			?			0	0			?			414.81	0			?			1201.36	0			-			-	-
timed-toint/csma_aut.013.001	?			1201.8	?			1202.09	0			?			55.2	0			?			214.22	0			?			1201.23	0			-			-	-
timed-toint/csma_aut.013.002	safe			6.35	safe			6.22	0			?			67.91	-1			?			198.0	-1			?			1201.51	-1			-			-	-
timed-toint/csma_aut.014.000	?			1201.47	?			1201.55	0			?			0	0			?			619.35	0			?			1201.42	0			-			-	-
timed-toint/csma_aut.014.001	?			1201.49	?			1201.58	0			?			67.18	0			?			205.1	0			?			1201.58	0			-			-	-
timed-toint/csma_aut.014.002	safe			5.89	safe			5.76	0			?			73.87	-1			?			367.92	-1			?			1201.43	-1			-			-	-
timed-toint/csma_aut.015.000	?			1201.76	?			1201.66	0			?			0	0			?			395.1	0			?			1201.87	0			-			-	-
timed-toint/csma_aut.015.001	?			1201.68	?			1201.97	0			?			80.71	0			?			251.71	0			?			1201.37	0			-			-	-
timed-toint/csma_aut.015.002	safe			9.27	safe			9.14	0			?			90.91	-1			?			264.28	-1			?			1201.44	-1			-			-	-
timed-toint/fischer_aut.002.000	safe			0.38	safe			0.38	0			?			2.6	-1			?			1204.13	-1			?			1080.44	-1			-			-	-
timed-toint/fischer_aut.002.001	safe			2.2	safe			2.17	0			?			3.76	-1			?			1201.73	-1			?			1181.35	-1			-			-	-
timed-toint/fischer_aut.002.002	safe			17.3	safe			17.18	0			?			1.95	-1			?			970.98	-1			?			645.5	-1			-			-	-
timed-toint/fischer_aut.002.003	safe			0.59	safe			0.46	0			?			1.97	-1			?			1201.63	-1			?			739.77	-1			-			-	-
timed-toint/fischer_aut.002.004	safe			1.18	safe			1.07	0			?			1.96	-1			?			1201.68	-1			?			703.81	-1			-			-	-
timed-toint/fischer_aut.002.005	safe			0.42	safe			0.31	0			?			2.02	-1			?			1201.68	-1			?			698.71	-1			-			-	-
timed-toint/fischer_aut.003.000	safe			0.46	safe			0.36	0			?			6.74	-1			?			1201.73	-1			?			1201.7	-1			-			-	-
timed-toint/fischer_aut.003.001	safe			8.61	safe			8.47	0			?			22.58	-1			?			1201.66	-1			?			1201.63	-1			-			-	-
timed-toint/fischer_aut.003.002	safe			143.9	safe			143.95	0			?			5.13	-1			?			1201.72	-1			?			1201.65	-1			-			-	-
timed-toint/fischer_aut.003.003	safe			1.42	safe			1.38	0			?			5.2	-1			?			1201.74	-1			?			1201.82	-1			-			-	-
timed-toint/fischer_aut.003.004	safe			1.88	safe			1.85	0			?			5.2	-1			?			1201.74	-1			?			1201.25	-1			-			-	-
timed-toint/fischer_aut.003.005	safe			0.71	safe			0.71	0			?			5.18	-1			?			1201.75	-1			?			1201.67	-1			-			-	-
timed-toint/fischer_aut.004.000	safe			0.52	safe			0.5	0			?			16.47	-1			?			1201.76	-1			?			1201.66	-1			-			-	-
timed-toint/fischer_aut.004.001	safe			14.61	safe			14.62	0			?			124.81	-1			?			1201.72	-1			?			1201.63	-1			-			-	-
timed-toint/fischer_aut.004.002	safe			203.37	safe			207.55	0			?			10.05	-1			?			1201.75	-1			?			1201.71	-1			-			-	-
timed-toint/fischer_aut.004.003	safe			0.42	safe			0.3	0			?			9.95	-1			?			1201.66	-1			?			1201.2	-1			-			-	-
timed-toint/fischer_aut.004.004	safe			0.62	safe			0.51	0			?			10.01	-1			?			1201.73	-1			?			1201.49	-1			-			-	-
timed-toint/fischer_aut.004.005	safe			0.48	safe			0.38	0			?			9.91	-1			?			1201.74	-1			?			1201.47	-1			-			-	-
timed-toint/fischer_aut.005.000	safe			0.94	safe			0.83	0			?			42.06	-1			?			1201.67	-1			?			1201.29	-1			-			-	-
timed-toint/fischer_aut.005.001	safe			66.35	safe			66.25	0			?			1011.97	-1			?			1201.72	-1			?			1201.22	-1			-			-	-
timed-toint/fischer_aut.005.002	?			1201.77	?			1201.92	0			?			29.38	0			?			1201.7	0			?			1201.34	0			-			-	-
timed-toint/fischer_aut.005.003	safe			0.94	safe			0.82	0			?			25.65	-1			?			1201.72	-1			?			1201.59	-1			-			-	-
timed-toint/fischer_aut.005.004	safe			1.38	safe			1.53	0			?			25.55	-1			?			1201.74	-1			?			1201.2	-1			-			-	-
timed-toint/fischer_aut.005.005	safe			0.8	safe			0.76	0			?			25.29	-1			?			1201.88	-1			?			1201.43	-1			-			-	-
timed-toint/fischer_aut.006.000	safe			0.96	safe			0.86	0			?			103.91	-1			?			1201.71	-1			?			1201.37	-1			-			-	-
timed-toint/fischer_aut.006.001	safe			92.71	safe			95.75	0			?			0	-1			?			1201.71	-1			?			1201.38	-1			-			-	-
timed-toint/fischer_aut.006.002	safe			1062.51	safe			1012.62	0			?			60.08	-1			?			1201.69	-1			?			1201.77	-1			-			-	-
timed-toint/fischer_aut.006.003	safe			2.53	safe			2.4	0			?			60.5	-1			?			1201.69	-1			?			1201.33	-1			-			-	-
timed-toint/fischer_aut.006.004	safe			0.68	safe			0.55	0			?			60.4	-1			?			1201.68	-1			?			1201.19	-1			-			-	-
timed-toint/fischer_aut.006.005	safe			2.23	safe			2.1	0			?			60.93	-1			?			1201.77	-1			?			1201.31	-1			-			-	-
timed-toint/fischer_aut.007.000	safe			1.3	safe			1.18	0			?			308.34	-1			?			1201.67	-1			?			1201.24	-1			-			-	-
timed-toint/fischer_aut.007.001	safe			159.98	safe			164.93	0			?			0	-1			?			1201.66	-1			?			1201.42	-1			-			-	-
timed-toint/fischer_aut.007.002	safe			643.7	safe			662.67	0			?			167.11	-1			?			1201.71	-1			?			1201.65	-1			-			-	-
timed-toint/fischer_aut.007.003	safe			2.06	safe			1.96	0			?			184.69	-1			?			1201.72	-1			?			1201.3	-1			-			-	-
timed-toint/fischer_aut.007.004	safe			3.22	safe			3.12	0			?			167.97	-1			?			1201.66	-1			?			1201.48	-1			-			-	-
timed-toint/fischer_aut.007.005	safe			1.99	safe			1.89	0			?			187.75	-1			?			1201.75	-1			?			1201.38	-1			-			-	-
timed-toint/fischer_aut.008.000	safe			1.14	safe			1.12	0			?			725.65	-1			?			1201.79	-1			?			1201.41	-1			-			-	-
timed-toint/fischer_aut.008.001	safe			154.09	safe			151.86	0			?			0	-1			?			1201.67	-1			?			1201.29	-1			-			-	-
timed-toint/fischer_aut.008.002	?			1201.37	?			1202.05	0			?			418.42	0			?			1201.72	0			?			1201.6	0			-			-	-
timed-toint/fischer_aut.008.003	safe			1.87	safe			1.87	0			?			354.45	-1			?			1201.65	-1			?			1200.99	-1			-			-	-
timed-toint/fischer_aut.008.004	safe			2.05	safe			1.97	0			?			356.56	-1			?			1201.69	-1			?			1201.45	-1			-			-	-
timed-toint/fischer_aut.008.005	safe			1.18	safe			1.01	0			?			356.62	-1			?			1201.69	-1			?			1201.17	-1			-			-	-
timed-toint/fischer_aut.009.000	safe			1.54	safe			1.51	0			?			0	-1			?			1201.68	-1			?			1201.25	-1			-			-	-
timed-toint/fischer_aut.009.001	safe			350.16	safe			331.19	0			?			0	-1			?			1201.73	-1			?			1201.19	-1			-			-	-
timed-toint/fischer_aut.009.002	?			1202.61	?			1201.2	0			?			851.15	0			?			1201.68	0			?			1201.37	0			-			-	-
timed-toint/fischer_aut.009.003	safe			0.96	safe			0.85	0			?			853.61	-1			?			1201.67	-1			?			1201.56	-1			-			-	-
timed-toint/fischer_aut.009.004	safe			2.88	safe			2.81	0			?			971.96	-1			?			1201.74	-1			?			1202.13	-1			-			-	-
timed-toint/fischer_aut.009.005	safe			1.02	safe			0.95	0			?			854.22	-1			?			1201.69	-1			?			1201.39	-1			-			-	-
timed-toint/fischer_aut.010.000	safe			1.48	safe			1.34	0			?			0	-1			?			1204.68	-1			?			1201.35	-1			-			-	-
timed-toint/fischer_aut.010.001	safe			293.18	safe			292.2	0			?			0	-1			?			1201.7	-1			?			1201.53	-1			-			-	-
timed-toint/fischer_aut.010.002	?			1201.94	?			1201.81	0			?			0	0			?			1201.66	0			?			1201.43	0			-			-	-
timed-toint/fischer_aut.010.003	safe			4.05	safe			4.03	0			?			0	-1			?			1201.72	-1			?			1201.25	-1			-			-	-
timed-toint/fischer_aut.010.004	safe			1.18	safe			1.15	0			?			0	-1			?			1201.68	-1			?			1201.33	-1			-			-	-
timed-toint/fischer_aut.010.005	safe			2.86	safe			2.85	0			?			0	-1			?			1201.79	-1			?			1201.25	-1			-			-	-
timed-toint/fischer_aut.011.000	safe			2.78	safe			2.79	0			?			0	-1			?			1201.74	-1			?			1201.25	-1			-			-	-
timed-toint/fischer_aut.011.001	?			1201.44	safe			1164.85	+1			?			34.26	0			?			1201.67	0			?			1201.19	0			-			-	-
timed-toint/fischer_aut.011.002	?			1201.51	?			1201.65	0			?			0	0			?			1201.74	0			?			1201.63	0			-			-	-
timed-toint/fischer_aut.011.003	safe			5.22	safe			5.12	0			?			0	-1			?			1201.76	-1			?			1201.34	-1			-			-	-
timed-toint/fischer_aut.011.004	safe			4.69	safe			4.57	0			?			0	-1			?			1201.76	-1			?			1201.19	-1			-			-	-
timed-toint/fischer_aut.011.005	safe			10.45	safe			10.39	0			?			0	-1			?			1201.74	-1			?			1201.33	-1			-			-	-
timed-toint/fischer_aut.012.000	safe			3.76	safe			3.65	0			?			0	-1			?			1201.71	-1			?			1201.36	-1			-			-	-
timed-toint/fischer_aut.012.001	safe			328.7	safe			312.06	0			?			35.05	-1			?			1201.74	-1			?			1201.51	-1			-			-	-
timed-toint/fischer_aut.012.002	?			1202.17	?			1201.95	0			?			0	0			?			1201.76	0			?			1201.61	0			-			-	-
timed-toint/fischer_aut.012.003	safe			2.18	safe			2.15	0			?			0	-1			?			1201.71	-1			?			1201.23	-1			-			-	-
timed-toint/fischer_aut.012.004	safe			3.97	safe			3.87	0			?			0	-1			?			1201.77	-1			?			1201.33	-1			-			-	-
timed-toint/fischer_aut.012.005	safe			3.98	safe			3.82	0			?			0	-1			?			1201.77	-1			?			1201.31	-1			-			-	-
timed-toint/fischer_aut.013.000	safe			4.31	safe			4.32	0			?			0	-1			?			1201.74	-1			?			1201.21	-1			-			-	-
timed-toint/fischer_aut.013.001	safe			455.22	safe			450.29	0			?			33.88	-1			?			1201.66	-1			?			1201.15	-1			-			-	-
timed-toint/fischer_aut.013.002	?			1201.66	?			1201.63	0			?			0	0			?			1201.68	0			?			1201.58	0			-			-	-
timed-toint/fischer_aut.013.003	safe			6.5	safe			6.46	0			?			0	-1			?			1201.73	-1			?			1201.43	-1			-			-	-
timed-toint/fischer_aut.013.004	safe			2.94	safe			2.84	0			?			0	-1			?			1201.72	-1			?			1201.14	-1			-			-	-
timed-toint/fischer_aut.013.005	safe			6.65	safe			6.53	0			?			0	-1			?			1201.74	-1			?			1201.28	-1			-			-	-
timed-toint/fischer_aut.014.000	safe			2.67	safe			2.53	0			?			0	-1			?			1201.74	-1			?			1201.39	-1			-			-	-
timed-toint/fischer_aut.014.001	safe			380.8	safe			389.24	0			?			0.57	-1			?			1201.73	-1			?			1201.43	-1			-			-	-
timed-toint/fischer_aut.014.002	?			1201.94	?			1201.77	0			?			0	0			?			1201.78	0			?			1201.83	0			-			-	-
timed-toint/fischer_aut.014.003	safe			10.27	safe			10.17	0			?			0	-1			?			1201.72	-1			?			1201.27	-1			-			-	-
timed-toint/fischer_aut.014.004	safe			3.05	safe			2.93	0			?			0	-1			?			1201.67	-1			?			1201.27	-1			-			-	-
timed-toint/fischer_aut.014.005	safe			7.88	safe			7.73	0			?			0	-1			?			1201.83	-1			?			1201.3	-1			-			-	-
timed-toint/fischer_aut.015.000	safe			3.51	safe			3.38	0			?			0	-1			?			1201.75	-1			?			1201.3	-1			-			-	-
timed-toint/fischer_aut.015.001	safe			1168.59	safe			1192.17	0			?			0.61	-1			?			710.2	-1			?			1201.43	-1			-			-	-
timed-toint/fischer_aut.015.002	?			1201.87	?			1202.05	0			?			0	0			?			1201.75	0			?			1201.33	0			-			-	-
timed-toint/fischer_aut.015.003	safe			7.67	safe			7.57	0			?			0	-1			?			899.28	-1			?			1201.67	-1			-			-	-
timed-toint/fischer_aut.015.004	safe			2.43	safe			2.28	0			?			0	-1			?			0	-1			?			1201.48	-1			-			-	-
timed-toint/fischer_aut.015.005	safe			10.81	safe			10.69	0			?			0	-1			?			1201.68	-1			?			1201.36	-1			-			-	-
timed-toint/fischer_sal_aut.002.000	safe			0.48	safe			0.35	0			?			2.24	-1			safe			512.25	0			?			1077.96	-1			-			-	-
timed-toint/fischer_sal_aut.002.001	safe			2.26	safe			2.13	0			?			3.46	-1			?			1201.69	-1			?			1201.93	-1			-			-	-
timed-toint/fischer_sal_aut.002.002	safe			6.98	safe			6.92	0			?			1.7	-1			?			1201.65	-1			?			680.91	-1			-			-	-
timed-toint/fischer_sal_aut.002.003	safe			2.22	safe			2.2	0			?			1.69	-1			?			1204.05	-1			?			706.17	-1			-			-	-
timed-toint/fischer_sal_aut.002.004	?			1201.79	?			558.94	0			?			1.69	0			?			1201.74	0			?			723.94	0			-			-	-
timed-toint/fischer_sal_aut.002.005	?			1201.9	?			624.27	0			?			1.68	0			?			1201.68	0			?			701.4	0			-			-	-
timed-toint/fischer_sal_aut.003.000	safe			0.45	safe			0.31	0			?			5.91	-1			safe			456.04	0			?			1201.79	-1			-			-	-
timed-toint/fischer_sal_aut.003.001	safe			5.29	safe			5.31	0			?			20.47	-1			?			1201.68	-1			?			1201.92	-1			-			-	-
timed-toint/fischer_sal_aut.003.002	safe			76.49	safe			74.7	0			?			4.46	-1			?			1201.78	-1			?			1201.93	-1			-			-	-
timed-toint/fischer_sal_aut.003.003	safe			1.64	safe			1.52	0			?			4.54	-1			?			1201.7	-1			?			1201.58	-1			-			-	-
timed-toint/fischer_sal_aut.003.004	?			1201.88	?			594.99	0			?			4.52	0			?			1201.69	0			?			1201.77	0			-			-	-
timed-toint/fischer_sal_aut.003.005	?			1201.82	?			571.0	0			?			4.51	0			?			1201.8	0			?			1201.72	0			-			-	-
timed-toint/fischer_sal_aut.004.000	safe			0.78	safe			0.66	0			?			14.03	-1			?			1201.74	-1			?			1201.4	-1			-			-	-
timed-toint/fischer_sal_aut.004.001	safe			8.66	safe			8.5	0			?			115.61	-1			?			1201.7	-1			?			1201.93	-1			-			-	-
timed-toint/fischer_sal_aut.004.002	safe			43.53	safe			43.85	0			?			8.75	-1			?			1201.68	-1			?			1201.62	-1			-			-	-
timed-toint/fischer_sal_aut.004.003	safe			4.41	safe			4.33	0			?			8.77	-1			?			1201.74	-1			?			1201.63	-1			-			-	-
timed-toint/fischer_sal_aut.004.004	?			1201.92	?			575.19	0			?			8.7	0			?			1201.74	0			?			1201.57	0			-			-	-
timed-toint/fischer_sal_aut.004.005	?			1201.89	?			596.14	0			?			8.69	0			?			1201.65	0			?			1201.65	0			-			-	-
timed-toint/fischer_sal_aut.005.000	safe			0.89	safe			0.78	0			?			37.99	-1			?			1201.63	-1			?			1201.5	-1			-			-	-
timed-toint/fischer_sal_aut.005.001	safe			110.0	safe			110.07	0			?			1022.74	-1			?			1201.71	-1			?			1201.52	-1			-			-	-
timed-toint/fischer_sal_aut.005.002	safe			853.56	safe			819.81	0			?			23.05	-1			?			1201.71	-1			?			1201.52	-1			-			-	-
timed-toint/fischer_sal_aut.005.003	safe			2.56	safe			2.45	0			?			22.7	-1			?			1201.68	-1			?			1201.42	-1			-			-	-
timed-toint/fischer_sal_aut.005.004	?			1201.86	?			629.84	0			?			22.54	0			?			1201.64	0			?			1201.42	0			-			-	-
timed-toint/fischer_sal_aut.005.005	?			1201.59	?			572.06	0			?			22.54	0			?			1201.74	0			?			1201.48	0			-			-	-
timed-toint/fischer_sal_aut.006.000	safe			1.08	safe			0.97	0			?			93.9	-1			?			1201.69	-1			?			1201.32	-1			-			-	-
timed-toint/fischer_sal_aut.006.001	safe			117.38	safe			117.8	0			?			0	-1			?			1201.68	-1			?			1201.57	-1			-			-	-
timed-toint/fischer_sal_aut.006.002	safe			483.62	safe			471.11	0			?			54.52	-1			?			1201.74	-1			?			1201.47	-1			-			-	-
timed-toint/fischer_sal_aut.006.003	safe			3.76	safe			3.71	0			?			62.97	-1			?			1201.7	-1			?			1201.53	-1			-			-	-
timed-toint/fischer_sal_aut.006.004	?			1201.33	?			952.1	0			?			54.4	0			?			0	0			?			1201.36	0			-			-	-
timed-toint/fischer_sal_aut.006.005	?			1201.34	?			811.32	0			?			54.52	0			?			1201.76	0			?			1201.48	0			-			-	-
timed-toint/fischer_sal_aut.007.000	safe			1.25	safe			1.12	0			?			281.44	-1			?			1201.72	-1			?			1201.44	-1			-			-	-
timed-toint/fischer_sal_aut.007.001	safe			134.67	safe			134.54	0			?			0	-1			?			1201.97	-1			?			1201.29	-1			-			-	-
timed-toint/fischer_sal_aut.007.002	safe			625.06	safe			594.11	0			?			152.79	-1			?			1201.73	-1			?			1201.29	-1			-			-	-
timed-toint/fischer_sal_aut.007.003	safe			9.21	safe			9.02	0			?			155.44	-1			?			1201.68	-1			?			1201.43	-1			-			-	-
timed-toint/fischer_sal_aut.007.004	?			1201.74	?			1201.81	0			?			154.21	0			?			1201.68	0			?			1201.26	0			-			-	-
timed-toint/fischer_sal_aut.007.005	?			1201.84	?			843.41	0			?			152.99	0			?			1201.67	0			?			1201.27	0			-			-	-
timed-toint/fischer_sal_aut.008.000	safe			1.76	safe			1.68	0			?			778.86	-1			?			1201.73	-1			?			1201.45	-1			-			-	-
timed-toint/fischer_sal_aut.008.001	safe			432.92	safe			429.08	0			?			0	-1			?			1201.73	-1			?			1201.48	-1			-			-	-
timed-toint/fischer_sal_aut.008.002	?			1201.56	?			1201.34	0			?			373.64	0			?			1201.75	0			?			1201.4	0			-			-	-
timed-toint/fischer_sal_aut.008.003	safe			13.13	safe			13.21	0			?			332.22	-1			?			1201.66	-1			?			1201.4	-1			-			-	-
timed-toint/fischer_sal_aut.008.004	?			1201.74	?			1081.91	0			?			342.53	0			?			1201.74	0			?			1201.45	0			-			-	-
timed-toint/fischer_sal_aut.008.005	?			1201.55	?			1202.79	0			?			341.17	0			?			1201.72	0			?			1201.52	0			-			-	-
timed-toint/fischer_sal_aut.009.000	safe			2.3	safe			2.29	0			?			0	-1			?			1201.65	-1			?			1201.38	-1			-			-	-
timed-toint/fischer_sal_aut.009.001	safe			329.75	safe			329.0	0			?			0	-1			?			1201.78	-1			?			1201.14	-1			-			-	-
timed-toint/fischer_sal_aut.009.002	safe			771.15	safe			806.54	0			?			824.63	-1			?			1201.74	-1			?			1201.14	-1			-			-	-
timed-toint/fischer_sal_aut.009.003	safe			7.04	safe			6.96	0			?			892.65	-1			?			1201.73	-1			?			1201.32	-1			-			-	-
timed-toint/fischer_sal_aut.009.004	?			1201.75	?			1201.65	0			?			789.87	0			?			1201.71	0			?			1201.38	0			-			-	-
timed-toint/fischer_sal_aut.009.005	?			1201.39	?			1202.06	0			?			925.28	0			?			1201.71	0			?			1201.22	0			-			-	-
timed-toint/fischer_sal_aut.010.000	safe			1.56	safe			1.55	0			?			0	-1			?			1201.85	-1			?			1201.35	-1			-			-	-
timed-toint/fischer_sal_aut.010.001	safe			156.48	safe			157.04	0			?			0	-1			?			1201.66	-1			?			1201.4	-1			-			-	-
timed-toint/fischer_sal_aut.010.002	?			1201.72	?			1201.69	0			?			0	0			?			1201.72	0			?			1201.47	0			-			-	-
timed-toint/fischer_sal_aut.010.003	safe			8.27	safe			8.23	0			?			0	-1			?			1201.74	-1			?			1201.38	-1			-			-	-
timed-toint/fischer_sal_aut.010.004	?			1201.75	?			1201.88	0			?			0	0			?			1201.69	0			?			1201.45	0			-			-	-
timed-toint/fischer_sal_aut.010.005	?			1202.06	?			1201.8	0			?			0	0			?			1204.44	0			?			1201.49	0			-			-	-
timed-toint/fischer_sal_aut.011.000	safe			1.65	safe			1.63	0			?			0	-1			?			1201.66	-1			?			1201.63	-1			-			-	-
timed-toint/fischer_sal_aut.011.001	safe			272.15	safe			279.55	0			?			34.17	-1			?			1201.69	-1			?			1201.26	-1			-			-	-
timed-toint/fischer_sal_aut.011.002	?			1201.56	?			1201.25	0			?			0	0			?			1201.68	0			?			1201.26	0			-			-	-
timed-toint/fischer_sal_aut.011.003	safe			10.45	safe			10.42	0			?			0	-1			?			1201.71	-1			?			1201.32	-1			-			-	-
timed-toint/fischer_sal_aut.011.004	?			1201.83	?			1201.65	0			?			0	0			?			1201.67	0			?			1201.26	0			-			-	-
timed-toint/fischer_sal_aut.011.005	?			1201.79	?			1192.24	0			?			0	0			?			1201.75	0			?			1201.32	0			-			-	-
timed-toint/fischer_sal_aut.012.000	safe			2.14	safe			2.03	0			?			0	-1			?			1201.71	-1			?			1201.27	-1			-			-	-
timed-toint/fischer_sal_aut.012.001	safe			173.51	safe			173.22	0			?			34.32	-1			?			1201.68	-1			?			1201.73	-1			-			-	-
timed-toint/fischer_sal_aut.012.002	?			1201.59	?			1201.74	0			?			0	0			?			1201.71	0			?			1201.35	0			-			-	-
timed-toint/fischer_sal_aut.012.003	safe			53.74	safe			53.61	0			?			0	-1			?			1201.68	-1			?			1201.3	-1			-			-	-
timed-toint/fischer_sal_aut.012.004	?			1201.75	?			1201.66	0			?			0	0			?			1201.7	0			?			1201.34	0			-			-	-
timed-toint/fischer_sal_aut.012.005	?			1201.73	?			1201.71	0			?			0	0			?			1201.71	0			?			1201.36	0			-			-	-
timed-toint/fischer_sal_aut.013.000	safe			2.42	safe			2.38	0			?			0	-1			?			1201.72	-1			?			1201.69	-1			-			-	-
timed-toint/fischer_sal_aut.013.001	?			1201.74	?			1201.67	0			?			34.35	0			?			1201.75	0			?			1201.2	0			-			-	-
timed-toint/fischer_sal_aut.013.002	?			1201.87	?			1201.78	0			?			0	0			?			1201.76	0			?			1201.2	0			-			-	-
timed-toint/fischer_sal_aut.013.003	safe			24.96	safe			25.17	0			?			0	-1			?			1201.88	-1			?			1201.27	-1			-			-	-
timed-toint/fischer_sal_aut.013.004	?			1201.65	?			1202.15	0			?			0	0			?			1201.7	0			?			1201.35	0			-			-	-
timed-toint/fischer_sal_aut.013.005	?			1201.62	?			1201.86	0			?			0	0			?			1201.66	0			?			1201.19	0			-			-	-
timed-toint/fischer_sal_aut.014.000	safe			2.42	safe			2.4	0			?			0	-1			?			1201.75	-1			?			1201.35	-1			-			-	-
timed-toint/fischer_sal_aut.014.001	safe			922.08	safe			933.48	0			?			0.58	-1			?			1201.74	-1			?			1201.69	-1			-			-	-
timed-toint/fischer_sal_aut.014.002	?			1202.01	?			1202.09	0			?			0	0			?			1201.8	0			?			1201.35	0			-			-	-
timed-toint/fischer_sal_aut.014.003	safe			43.91	safe			43.81	0			?			0	-1			?			1201.74	-1			?			1201.38	-1			-			-	-
timed-toint/fischer_sal_aut.014.004	?			1201.82	?			1201.7	0			?			0	0			?			1201.67	0			?			1201.34	0			-			-	-
timed-toint/fischer_sal_aut.014.005	?			1201.96	?			1201.55	0			?			0	0			?			1201.67	0			?			1201.37	0			-			-	-
timed-toint/fischer_sal_aut.015.000	safe			2.91	safe			2.84	0			?			0	-1			?			1201.65	-1			?			1201.79	-1			-			-	-
timed-toint/fischer_sal_aut.015.001	safe			570.96	safe			553.2	0			?			0.53	-1			?			675.04	-1			?			1201.35	-1			-			-	-
timed-toint/fischer_sal_aut.015.002	?			1201.35	?			1201.9	0			?			0	0			?			1201.69	0			?			1201.35	0			-			-	-
timed-toint/fischer_sal_aut.015.003	safe			18.62	safe			18.46	0			?			0	-1			?			1201.65	-1			?			1201.76	-1			-			-	-
timed-toint/fischer_sal_aut.015.004	?			1201.61	?			1201.49	0			?			0	0			?			1089.27	0			?			1201.31	0			-			-	-
timed-toint/fischer_sal_aut.015.005	?			1201.79	?			1201.63	0			?			0	0			?			1123.37	0			?			1201.26	0			-			-	-
timed-toint/hddi.002.000	safe			55.63	safe			56.26	0			?			5.39	-1			?			1201.68	-1			?			1201.58	-1			-			-	-
timed-toint/hddi.002.001	safe			76.78	safe			76.33	0			?			5.4	-1			?			1201.66	-1			?			1201.8	-1			-			-	-
timed-toint/hddi.002.002	safe			70.99	safe			70.8	0			?			5.33	-1			?			1201.69	-1			?			1201.83	-1			-			-	-
timed-toint/hddi.002.003	?			1201.56	?			1201.51	0			?			0	0			?			1201.68	0			?			1201.78	0			-			-	-
timed-toint/hddi.003.000	safe			993.63	safe			995.67	0			?			8.24	-1			?			1201.66	-1			?			1201.49	-1			-			-	-
timed-toint/hddi.003.001	safe			399.54	safe			388.05	0			?			8.12	-1			?			1201.68	-1			?			1201.71	-1			-			-	-
timed-toint/hddi.003.002	safe			387.79	safe			375.84	0			?			8.15	-1			?			1201.7	-1			?			1201.44	-1			-			-	-
timed-toint/hddi.003.003	?			1201.65	?			1201.9	0			?			0	0			?			1201.72	0			?			1201.48	0			-			-	-
timed-toint/hddi.004.000	?			1201.79	?			1201.72	0			?			19.16	0			?			1201.71	0			?			1201.48	0			-			-	-
timed-toint/hddi.004.001	?			1201.91	?			1201.88	0			?			19.24	0			?			1201.72	0			?			1201.4	0			-			-	-
timed-toint/hddi.004.002	?			1201.72	?			1201.74	0			?			19.59	0			?			0	0			?			1201.3	0			-			-	-
timed-toint/hddi.004.003	?			1201.42	?			1201.57	0			?			0	0			?			1201.71	0			?			1201.24	0			-			-	-
timed-toint/hddi.005.000	?			1202.83	?			1201.53	0			?			44.17	0			?			1201.72	0			?			1201.21	0			-			-	-
timed-toint/hddi.005.001	?			1201.88	?			1201.56	0			?			44.43	0			?			1201.74	0			?			1201.57	0			-			-	-
timed-toint/hddi.005.002	?			1201.67	?			1201.68	0			?			45.27	0			?			1201.76	0			?			1201.27	0			-			-	-
timed-toint/hddi.005.003	?			1201.91	?			1201.74	0			?			0	0			?			1201.75	0			?			1201.29	0			-			-	-
timed-toint/hddi.006.000	?			1201.72	?			1201.55	0			?			141.41	0			?			1201.66	0			?			1202.05	0			-			-	-
timed-toint/hddi.006.001	?			1201.99	?			1201.72	0			?			145.57	0			?			1201.72	0			?			1201.42	0			-			-	-
timed-toint/hddi.006.002	?			1201.81	?			1201.64	0			?			141.48	0			?			1201.71	0			?			1201.52	0			-			-	-
timed-toint/hddi.006.003	?			1202.15	?			1201.95	0			?			0	0			?			1201.75	0			?			1201.2	0			-			-	-
timed-toint/hddi.007.000	?			1201.3	?			1201.87	0			?			295.86	0			?			1201.72	0			?			1201.2	0			-			-	-
timed-toint/hddi.007.001	?			1201.91	?			1201.95	0			?			298.87	0			?			1201.75	0			?			1201.33	0			-			-	-
timed-toint/hddi.007.002	?			1202.0	?			1201.77	0			?			299.22	0			?			1201.67	0			?			1201.51	0			-			-	-
timed-toint/hddi.007.003	?			1201.61	?			1201.53	0			?			0	0			?			1201.72	0			?			1201.4	0			-			-	-
timed-toint/hddi.008.000	?			1201.72	?			1201.77	0			?			620.46	0			?			1201.74	0			?			1201.24	0			-			-	-
timed-toint/hddi.008.001	?			1202.19	?			1201.65	0			?			631.04	0			?			1201.72	0			?			1201.38	0			-			-	-
timed-toint/hddi.008.002	?			1201.46	?			1202.81	0			?			624.65	0			?			1201.76	0			?			1201.44	0			-			-	-
timed-toint/hddi.008.003	?			1201.43	?			1201.7	0			?			0	0			?			1201.8	0			?			1201.46	0			-			-	-
timed-toint/hddi.009.000	?			1201.76	?			1201.81	0			?			0	0			?			1201.73	0			?			1201.39	0			-			-	-
timed-toint/hddi.009.001	?			1201.4	?			1201.7	0			?			0	0			?			1201.73	0			?			1201.45	0			-			-	-
timed-toint/hddi.009.002	?			1201.97	?			1201.87	0			?			0	0			?			378.2	0			?			1201.81	0			-			-	-
timed-toint/hddi.009.003	?			1201.68	?			1201.97	0			?			0	0			?			384.31	0			?			1201.28	0			-			-	-
timed-toint/hddi.010.000	?			1201.88	?			1201.9	0			?			0	0			?			1201.73	0			?			1201.15	0			-			-	-
timed-toint/hddi.010.001	?			1201.88	?			1201.97	0			?			0	0			?			1201.97	0			?			1201.29	0			-			-	-
timed-toint/hddi.010.002	?			1202.11	?			1201.93	0			?			0	0			?			1201.77	0			?			1201.31	0			-			-	-
timed-toint/hddi.010.003	?			1201.64	?			1201.8	0			?			0	0			?			470.97	0			?			1201.28	0			-			-	-
timed-toint/hddi.011.000	?			1201.75	?			1202.02	0			?			0	0			?			607.39	0			?			1201.28	0			-			-	-
timed-toint/hddi.011.001	?			1201.27	?			1201.82	0			?			0	0			?			287.14	0			?			1201.75	0			-			-	-
timed-toint/hddi.011.002	?			1202.8	?			1201.87	0			?			0	0			?			292.04	0			?			1201.47	0			-			-	-
timed-toint/hddi.011.003	?			1201.58	?			1201.95	0			?			0	0			?			214.52	0			?			1201.33	0			-			-	-
timed-toint/hddi.012.000	?			1201.77	?			1201.89	0			?			0	0			?			247.76	0			?			1201.44	0			-			-	-
timed-toint/hddi.012.001	?			1201.54	?			1201.59	0			?			0	0			?			234.77	0			?			1201.53	0			-			-	-
timed-toint/hddi.012.002	?			1202.18	?			1202.11	0			?			0	0			?			221.33	0			?			1200.79	0			-			-	-
timed-toint/hddi.012.003	?			1201.76	?			1201.23	0			?			0	0			?			204.86	0			?			1201.3	0			-			-	-
timed-toint/hddi.013.000	?			1201.91	?			1202.02	0			?			0	0			?			260.69	0			?			1201.3	0			-			-	-
timed-toint/hddi.013.001	?			1202.02	?			1201.76	0			?			0	0			?			279.54	0			?			1201.37	0			-			-	-
timed-toint/hddi.013.002	?			1202.09	?			1201.86	0			?			0	0			?			255.76	0			?			1201.37	0			-			-	-
timed-toint/hddi.013.003	?			1201.84	?			1202.0	0			?			127.99	0			?			218.15	0			?			1201.3	0			-			-	-
timed-toint/hddi.014.000	?			1201.69	?			1201.97	0			?			127.6	0			?			752.54	0			?			1201.4	0			-			-	-
timed-toint/hddi.014.001	?			1201.98	?			1201.74	0			?			0	0			?			302.56	0			?			1200.8	0			-			-	-
timed-toint/hddi.014.002	?			1201.78	?			1202.12	0			?			128.07	0			?			299.67	0			?			1200.61	0			-			-	-
timed-toint/hddi.014.003	?			1202.16	?			1201.91	0			?			0	0			?			252.96	0			?			1201.41	0			-			-	-
timed-toint/hddi.015.000	?			1201.9	?			1201.71	0			?			0.8	0			?			137.46	0			?			1201.4	0			-			-	-
timed-toint/hddi.015.001	?			1202.07	?			1201.66	0			?			0.72	0			?			181.8	0			?			1200.57	0			-			-	-
timed-toint/hddi.015.002	?			1202.13	?			1201.93	0			?			0.71	0			?			155.01	0			?			1200.8	0			-			-	-
timed-toint/hddi.015.003	?			1201.97	?			1202.07	0			?			0.71	0			?			151.22	0			?			1201.31	0			-			-	-
timed-toint/lynch_mahata_aut.002.000	?			1202.16	?			647.7	0			?			23.25	0			?			1204.07	0			?			1201.68	0			-			-	-
timed-toint/lynch_mahata_aut.002.001	unsafe			147.61	?			775.29	-1			?			23.44	-1			?			1201.73	-1			?			1201.33	-1			-			-	-
timed-toint/lynch_mahata_aut.002.002	safe			0.05	safe			0.04	0			safe			28.63	0			safe			11.14	0			?			1201.44	-1			-			-	-
timed-toint/lynch_mahata_aut.003.000	?			1201.68	?			1201.71	0			?			55.23	0			?			1204.74	0			?			1201.39	0			-			-	-
timed-toint/lynch_mahata_aut.003.001	?			1201.41	?			1201.68	0			?			52.94	0			?			1204.4	0			?			1201.44	0			-			-	-
timed-toint/lynch_mahata_aut.003.002	safe			0.06	safe			0.04	0			safe			67.05	0			safe			12.07	0			?			1201.02	-1			-			-	-
timed-toint/lynch_mahata_aut.004.000	?			1201.77	?			1202.43	0			?			102.63	0			?			1204.73	0			?			1201.42	0			-			-	-
timed-toint/lynch_mahata_aut.004.001	?			1201.79	?			1201.49	0			?			120.7	0			?			1201.75	0			?			1201.33	0			-			-	-
timed-toint/lynch_mahata_aut.004.002	safe			0.16	safe			0.04	0			safe			134.98	0			safe			16.32	0			?			1201.31	-1			-			-	-
timed-toint/lynch_mahata_aut.005.000	?			1202.05	?			1201.59	0			?			190.52	0			?			1201.74	0			?			1201.48	0			-			-	-
timed-toint/lynch_mahata_aut.005.001	?			1201.69	?			1201.6	0			?			207.33	0			?			1202.0	0			?			1201.59	0			-			-	-
timed-toint/lynch_mahata_aut.005.002	safe			0.17	safe			0.05	0			safe			214.48	0			safe			19.28	0			?			1201.28	-1			-			-	-
timed-toint/lynch_mahata_aut.006.000	?			1201.93	?			1201.8	0			?			313.44	0			?			1201.84	0			?			1201.28	0			-			-	-
timed-toint/lynch_mahata_aut.006.001	?			1201.64	?			1202.17	0			?			402.0	0			?			1204.16	0			?			1201.38	0			-			-	-
timed-toint/lynch_mahata_aut.006.002	safe			0.18	safe			0.05	0			safe			417.2	0			safe			15.51	0			?			1202.08	-1			-			-	-
timed-toint/lynch_mahata_aut.007.000	?			1201.86	?			1201.29	0			?			439.06	0			?			1201.67	0			?			1202.03	0			-			-	-
timed-toint/lynch_mahata_aut.007.001	?			1201.99	?			1201.99	0			?			521.1	0			?			1201.77	0			?			1201.39	0			-			-	-
timed-toint/lynch_mahata_aut.007.002	safe			0.17	safe			0.05	0			safe			586.06	0			safe			17.25	0			?			1201.53	-1			-			-	-
timed-toint/lynch_mahata_aut.008.000	?			1201.87	?			1201.38	0			?			630.66	0			?			1201.74	0			?			1201.31	0			-			-	-
timed-toint/lynch_mahata_aut.008.001	?			1201.83	?			1202.15	0			?			947.7	0			?			1201.81	0			?			1201.37	0			-			-	-
timed-toint/lynch_mahata_aut.008.002	safe			0.2	safe			0.05	0			safe			733.88	0			safe			18.78	0			?			1201.18	-1			-			-	-
timed-toint/lynch_mahata_aut.009.000	?			1201.82	?			1201.34	0			?			964.21	0			?			1201.9	0			?			1201.44	0			-			-	-
timed-toint/lynch_mahata_aut.009.001	?			1201.38	?			1201.6	0			?			0	0			?			515.84	0			?			1201.68	0			-			-	-
timed-toint/lynch_mahata_aut.009.002	safe			0.18	safe			0.06	0			safe			1175.39	0			safe			20.29	0			?			1201.28	-1			-			-	-
timed-toint/lynch_mahata_aut.010.000	?			1201.65	?			1201.41	0			?			0	0			?			1201.7	0			?			1201.28	0			-			-	-
timed-toint/lynch_mahata_aut.010.001	?			1201.91	?			1201.46	0			?			0	0			?			944.3	0			?			1201.42	0			-			-	-
timed-toint/lynch_mahata_aut.010.002	safe			0.19	safe			0.06	0			?			0	-1			safe			23.27	0			?			1201.37	-1			-			-	-
timed-toint/lynch_mahata_aut.011.000	?			1202.04	?			1201.77	0			?			0	0			?			407.35	0			?			1201.29	0			-			-	-
timed-toint/lynch_mahata_aut.011.001	?			1201.62	?			1201.59	0			?			0	0			?			1204.06	0			?			1201.39	0			-			-	-
timed-toint/lynch_mahata_aut.011.002	safe			0.17	safe			0.06	0			?			0	-1			safe			22.93	0			?			1201.63	-1			-			-	-
timed-toint/lynch_mahata_aut.012.000	?			1201.89	?			1201.59	0			?			0	0			?			473.31	0			?			1201.3	0			-			-	-
timed-toint/lynch_mahata_aut.012.001	?			1201.45	?			1201.63	0			?			0	0			?			425.44	0			?			1201.6	0			-			-	-
timed-toint/lynch_mahata_aut.012.002	safe			0.19	safe			0.06	0			?			0	-1			safe			26.17	0			?			1201.43	-1			-			-	-
timed-toint/lynch_mahata_aut.013.000	?			1201.84	?			1202.42	0			?			0	0			?			363.74	0			?			1201.33	0			-			-	-
timed-toint/lynch_mahata_aut.013.001	?			1201.95	?			1201.83	0			?			0.65	0			?			368.73	0			?			1200.77	0			-			-	-
timed-toint/lynch_mahata_aut.013.002	safe			0.09	safe			0.07	0			?			0	-1			safe			28.62	0			?			1201.24	-1			-			-	-
timed-toint/lynch_mahata_aut.014.000	?			1201.71	?			1201.52	0			?			0	0			?			252.6	0			?			1201.24	0			-			-	-
timed-toint/lynch_mahata_aut.014.001	?			1201.41	?			1201.98	0			?			0.58	0			?			390.81	0			?			1201.61	0			-			-	-
timed-toint/lynch_mahata_aut.014.002	safe			0.21	safe			0.07	0			?			0	-1			safe			29.08	0			?			1201.41	-1			-			-	-
timed-toint/lynch_mahata_aut.015.000	?			1201.57	?			1201.99	0			?			0	0			?			227.48	0			?			1201.35	0			-			-	-
timed-toint/lynch_mahata_aut.015.001	?			1201.82	?			1201.63	0			?			0.74	0			?			372.91	0			?			1200.52	0			-			-	-
timed-toint/lynch_mahata_aut.015.002	safe			0.2	safe			0.07	0			?			0	-1			safe			32.17	0			?			1201.82	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_1_neg	?			1201.83	?			1201.84	0			?			1.36	0			?			2.1	0			?			16.094	0			-			-	-
ultimate-ltl/coolant/coolant_basis_1_safe_sfty	safe			0.9	safe			0.85	0			?			1.34	-1			safe			4.2	0			safe			1.607	0			-			-	-
ultimate-ltl/coolant/coolant_basis_1_unsafe_sfty	?			1202.0	?			1202.74	0			?			1.3	0			unsafe			19.03	+1			?			15.71	0			-			-	-
ultimate-ltl/coolant/coolant_basis_2_neg	?			1202.04	?			1202.06	0			?			0	0			?			67.94	0			?			8.155	0			-			-	-
ultimate-ltl/coolant/coolant_basis_2_safe_liveness	safe			27.26	safe			23.07	0			?			0	-1			safe			103.85	0			safe			3.418	0			-			-	-
ultimate-ltl/coolant/coolant_basis_2_unsafe_liveness	unsafe			5.12	unsafe			3.68	0			?			0	-1			?			1095.66	-1			?			10.748	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_3_safe_sftyliveness	safe			0.86	safe			0.76	0			?			1.21	-1			safe			3.28	0			?			6.406	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_3_unsafe_sftyliveness	unsafe			2.05	unsafe			1.98	0			?			1.09	-1			?			63.88	-1			?			10.949	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_4_1_unsafe_sftyliveness	?			1202.69	?			1202.2	0			?			1.26	0			?			81.69	0			?			9.869	0			-			-	-
ultimate-ltl/coolant/coolant_basis_4_2_unsafe_sftyliveness	?			1201.83	?			1202.08	0			?			1.5	0			?			78.72	0			?			14.886	0			-			-	-
ultimate-ltl/coolant/coolant_basis_4_neg	unsafe			0.49	unsafe			0.49	0			?			0	-1			unsafe			18.63	0			?			7.335	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_4_safe_sftyliveness	safe			1.25	safe			1.14	0			?			1.2	-1			safe			3.6	0			?			5.035	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_4_unsafe_sftyliveness	?			1202.03	?			1201.81	0			?			1.32	0			?			1201.8	0			?			58.68	0			-			-	-
ultimate-ltl/coolant/coolant_basis_5_neg	unsafe			0.74	unsafe			0.62	0			?			1.2	-1			unsafe			10.6	0			?			0.36	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_5_safe_sftyliveness	safe			1.85	safe			1.74	0			?			1.12	-1			safe			4.22	0			?			0.36	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_5_unsafe_sftyliveness	?			1201.91	?			1201.28	0			?			1.19	0			?			66.35	0			?			0.36	0			-			-	-
ultimate-ltl/coolant/coolant_basis_6_safe_sftyliveness	safe			2.74	safe			2.65	0			?			0	-1			safe			4.46	0			?			12.953	-1			-			-	-
ultimate-ltl/coolant/coolant_basis_6_unsafe_sftyliveness	?			1202.13	?			1201.93	0			?			0	0			?			84.63	0			?			7.015	0			-			-	-
ultimate-ltl/decision-predicates/01-exsec2	safe			0.19	safe			0.07	0			safe			192.67	0			safe			2.68	0			safe			0.48	0			-			-	-
ultimate-ltl/decision-predicates/02-fig8-2007	safe			0.54	safe			0.48	0			?			0.26	-1			safe			3.04	0			safe			4.61	0			-			-	-
ultimate-ltl/decision-predicates/03-toyacquirerelease	safe			0.32	safe			0.21	0			?			0.22	-1			safe			3.2	0			?			2.18	-1			-			-	-
ultimate-ltl/decision-predicates/04-toylinarith1	unsafe			2.62	unsafe			2.67	0			?			0	-1			unsafe			2.6	0			safe			2.591	?			-			-	-
ultimate-ltl/decision-predicates/05-toylinarith2	safe			23.78	?			1201.88	-1			?			0	-1			safe			3.1	0			?			0.53	-1			-			-	-
ultimate-ltl/decision-predicates/06-postgreSQL_strmsrv	safe			3.94	safe			3.82	0			?			0	-1			safe			3.59	0			?			26.5	-1			-			-	-
ultimate-ltl/decision-predicates/07-postgreSQL_strmsrv_wbug	safe			4.32	safe			4.23	0			?			0	-1			safe			3.47	0			?			106.712	-1			-			-	-
ultimate-ltl/decision-predicates/08-postgreSQL_pgarch	unsafe			0.51	unsafe			0.4	0			?			98.8	-1			?			63.1	-1			?			304.47	-1			-			-	-
ultimate-ltl/decision-predicates/09-postgreSQL_dropbuf_prop1	unsafe			4.27	unsafe			2.15	0			?			0.22	-1			unsafe			21.53	0			?			0.31	-1			-			-	-
ultimate-ltl/decision-predicates/10-postgreSQL_dropbuf_prop2	safe			1.44	safe			1.44	0			safe			147.68	0			safe			14.9	0			?			24.502	-1			-			-	-
ultimate-ltl/decision-predicates/11-apache_accept_liveness	unsafe			13.11	unsafe			13.17	0			?			0.22	-1			?			140.38	-1			?			147.681	-1			-			-	-
ultimate-ltl/decision-predicates/12-apache_progress	safe			1.85	safe			1.85	0			?			0.13	-1			safe			3.99	0			?			97.472	-1			-			-	-
ultimate-ltl/decision-predicates/13-windows_os_frag1	safe			0.81	safe			0.71	0			?			0.24	-1			safe			38.51	0			safe			31.411	0			-			-	-
ultimate-ltl/decision-predicates/14-windows_os_frag2	safe			0.3	safe			0.29	0			?			0	-1			safe			3.07	0			safe			26.423	0			-			-	-
ultimate-ltl/decision-predicates/15-windows_os_frag2_wbug	unsafe			0.58	unsafe			0.59	0			?			0	-1			unsafe			7.35	0			?			240.145	-1			-			-	-
ultimate-ltl/decision-predicates/16-windows_os_frag3	safe			0.1	safe			0.09	0			safe			88.38	0			safe			2.89	0			safe			1.243	0			-			-	-
ultimate-ltl/decision-predicates/17-windows_os_frag4_prop1	safe			0.38	safe			0.35	0			?			0.12	-1			safe			18.04	0			?			259.729	-1			-			-	-
ultimate-ltl/decision-predicates/18-windows_os_frag4_prop2	unsafe			6.64	?			1201.35	-1			?			1.11	-1			unsafe			46.05	0			?			314.98	-1			-			-	-
ultimate-ltl/decision-predicates/19-windows_os_frag5	safe			7.43	?			1202.14	-1			?			0.53	-1			?			1204.05	-1			safe			113.798	0			-			-	-
ultimate-ltl/decision-predicates/20-windows_os_frag6	safe			2.36	?			1201.73	-1			?			0	-1			?			269.18	-1			?			4.11	-1			-			-	-
ultimate-ltl/decision-predicates/21-windows_os_frag6_wbug	unsafe			0.27	unsafe			0.23	0			?			0	-1			unsafe			4.69	0			?			6.583	-1			-			-	-
ultimate-ltl/decision-predicates/22-windows_os_frag7	safe			0.94	?			1201.92	-1			?			0	-1			safe			14.49	0			safe			1.965	0			-			-	-
ultimate-ltl/decision-predicates/23-windows_os_frag8	safe			2.14	?			1201.85	-1			?			0	-1			?			890.95	-1			safe			40.188	0			-			-	-
t2-ctl/P1	safe			1.06	?			1201.99	-1			safe			5.51	0			safe			3.65	0			safe			1.328	0			-			-	-
t2-ctl/P2	safe			0.23	safe			0.22	0			safe			5.61	0			safe			2.72	0			safe			1.438	0			-			-	-
t2-ctl/P3	unsafe			0.24	unsafe			0.23	0			?			4.1	-1			unsafe			7.18	0			?			1.298	-1			-			-	-
t2-ctl/P4	safe			0.44	safe			0.43	0			?			3.03	-1			safe			3.11	0			?			0.958	-1			-			-	-
t2-ctl/P5	safe			5.19	?			1202.06	-1			safe			14.48	0			safe			3.93	0			safe			0.572	0			-			-	-
t2-ctl/P6	safe			0.23	safe			0.21	0			safe			1.77	0			safe			2.92	0			safe			2.456	0			-			-	-
t2-ctl/P7	safe			4.28	?			1203.16	-1			safe			16.73	0			safe			4.5	0			safe			0.574	0			-			-	-
t2-ctl/P8	safe			3.42	?			1201.95	-1			safe			10.53	0			safe			3.83	0			safe			2.187	0			-			-	-
t2-ctl/P9	safe			55.39	?			1201.3	-1			safe			350.67	0			safe			4.79	0			safe			2.742	0			-			-	-
t2-ctl/P10	unsafe			21.12	unsafe			11.82	0			?			427.7	-1			unsafe			41.26	0			?			11.761	-1			-			-	-
t2-ctl/P11	unsafe			98.5	?			1201.77	-1			?			0	-1			unsafe			38.51	0			?			10.024	-1			-			-	-
t2-ctl/P12	unsafe			230.08	unsafe			17.27	0			?			447.91	-1			?			96.91	-1			?			42.084	-1			-			-	-
t2-ctl/P13	?			1201.88	?			1201.97	0			?			0	0			safe			7.57	+1			safe			0.787	+1			-			-	-
t2-ctl/P14	safe			0.07	safe			0.06	0			?			399.46	-1			safe			3.58	0			safe			0.797	0			-			-	-
t2-ctl/P15	unsafe			19.88	?			1202.13	-1			?			143.52	-1			?			155.07	-1			?			4.552	-1			-			-	-
t2-ctl/P16	safe			0.04	safe			0.07	0			?			423.67	-1			safe			3.48	0			safe			4.193	0			-			-	-
t2-ctl/P17	safe			1.17	?			1201.87	-1			safe			5.73	0			safe			25.0	0			safe			1.511	0			-			-	-
t2-ctl/P18	unsafe			0.34	?			1201.98	-1			?			1.36	-1			unsafe			5.77	0			?			5.472	-1			-			-	-
t2-ctl/P19	unsafe			0.23	unsafe			0.1	0			?			3.15	-1			unsafe			12.09	0			?			4.833	-1			-			-	-
t2-ctl/P20	unsafe			0.28	?			1202.06	-1			?			3.22	-1			unsafe			12.63	0			?			1122.45	-1			-			-	-
t2-ctl/P21	safe			0.37	safe			0.3	0			safe			1.24	0			safe			2.91	0			safe			0.482	0			-			-	-
t2-ctl/P22	unsafe			0.14	unsafe			0.14	0			?			0.86	-1			unsafe			4.02	0			?			1.044	-1			-			-	-
t2-ctl/P23	unsafe			0.59	?			1202.05	-1			?			7.74	-1			unsafe			7.73	0			?			8.409	-1			-			-	-
t2-ctl/P24	unsafe			0.52	?			1202.11	-1			?			2.79	-1			unsafe			8.08	0			?			1.49	-1			-			-	-
t2-ctl/P25	safe			21.36	?			48.57	-1			safe			21.04	0			safe			11.57	0			safe			0.653	0			-			-	-
t2-ctl/P26	safe			1.77	safe			1.36	0			safe			14.49	0			safe			5.04	0			?			0.747	-1			-			-	-
t2-ctl/P27	safe			1.13	safe			0.64	0			safe			14.29	0			safe			11.89	0			safe			0.867	0			-			-	-
t2-ctl/P28	safe			1.61	safe			0.94	0			safe			25.92	0			safe			4.64	0			?			0.69	-1			-			-	-
t2-testsuite/2	unsafe			0.93	?			1202.01	-1			?			0	-1			?			113.85	-1			?			25.007	-1			unsafe			0.826	0
t2-testsuite/byron-1	safe			0.68	?			1201.27	-1			?			0	-1			safe			7.63	0			safe			1.477	0			safe			0.685	0
t2-testsuite/byron-2	safe			1.02	?			1201.85	-1			safe			7.45	0			safe			30.22	0			safe			0.971	0			safe			0.541	0
t2-testsuite/cfg	?			1201.91	?			1201.9	0			?			2.03	0			unsafe			4.5	+1			?			1.646	0			unsafe			0.633	+1
t2-testsuite/consts1nt	?			1202.04	?			1201.15	0			?			0	0			unsafe			4.77	+1			?			1.531	0			unsafe			0.694	+1
t2-testsuite/consts1	safe			0.16	safe			20.46	0			?			0	-1			safe			4.03	0			safe			1.208	0			safe			0.599	0
t2-testsuite/consts2nt	?			1202.73	?			1201.81	0			?			0.62	0			?			33.3	0			?			0.832	0			unsafe			0.463	+1
t2-testsuite/consts2	safe			0.28	?			1202.07	-1			safe			0.7	0			safe			5.37	0			safe			0.648	0			safe			0.377	0
t2-testsuite/consts3nt	?			1201.78	?			1202.03	0			?			0.6	0			?			31.98	0			?			0.723	0			unsafe			0.462	+1
t2-testsuite/consts3	safe			0.27	?			1201.76	-1			safe			0.7	0			safe			4.02	0			safe			0.615	0			safe			0.371	0
t2-testsuite/consts4nt	?			1201.88	?			1201.85	0			?			0.62	0			?			33.68	0			?			0.859	0			unsafe			0.471	+1
t2-testsuite/consts4	safe			0.27	?			1201.97	-1			safe			0.71	0			safe			4.41	0			safe			0.653	0			safe			0.374	0
t2-testsuite/consts5nt	?			1202.08	?			1201.99	0			?			0.65	0			?			37.09	0			?			0.778	0			unsafe			0.486	+1
t2-testsuite/consts5	safe			0.1	safe			0.09	0			safe			0.63	0			safe			2.72	0			safe			0.708	0			safe			0.398	0
t2-testsuite/create_seg	safe			2.02	?			1202.04	-1			?			0	-1			safe			17.0	0			?			300.51	-1			safe			0.407	0
t2-testsuite/create_via_tmps	safe			4.01	?			1203.27	-1			?			0	-1			safe			50.06	0			?			300.7	-1			safe			0.689	0
t2-testsuite/create	safe			1.5	?			1201.99	-1			?			0	-1			safe			16.55	0			safe			0.953	0			safe			0.402	0
t2-testsuite/ctlstar_3	unsafe			0.19	unsafe			0.08	0			?			1.21	-1			unsafe			5.16	0			?			0.993	-1			unsafe			0.468	0
t2-testsuite/ctlstar_4	unsafe			5.3	?			1202.04	-1			?			20.92	-1			unsafe			38.32	0			?			6.35	-1			unsafe			0.752	0
t2-testsuite/ctlstar_5	unsafe			0.09	unsafe			0.09	0			?			0.61	-1			unsafe			3.44	0			?			0.968	-1			unsafe			0.44	0
t2-testsuite/ctlstar_6	unsafe			0.1	unsafe			0.12	0			?			1.2	-1			unsafe			4.52	0			?			0.977	-1			unsafe			0.461	0
t2-testsuite/ctlstar	unsafe			0.08	unsafe			0.07	0			?			1.27	-1			unsafe			4.51	0			?			1.574	-1			unsafe			0.462	0
t2-testsuite/curious2	safe			0.05	safe			0.04	0			safe			0.12	0			safe			2.54	0			safe			0.455	0			safe			0.213	0
t2-testsuite/curious	unsafe			0.06	unsafe			0.07	0			?			2.18	-1			unsafe			4.8	0			?			1.23	-1			unsafe			0.476	0
t2-testsuite/db	safe			0.15	safe			0.16	0			safe			0.88	0			safe			3.27	0			safe			0.588	0			safe			0.37	0
t2-testsuite/defect	unsafe			0.06	unsafe			0.06	0			?			0.57	-1			unsafe			2.94	0			?			0.77	-1			unsafe			0.428	0
t2-testsuite/destroy_seg_leak	unsafe			4.9	?			1202.3	-1			?			1207.12	-1			?			266.43	-1			?			113.893	-1			unsafe			2.629	0
t2-testsuite/destroy_seg	safe			6.9	?			1201.93	-1			?			0	-1			safe			40.33	0			safe			9.885	0			safe			1.011	0
t2-testsuite/destroy	safe			4.44	?			1202.01	-1			?			0	-1			safe			31.76	0			?			301.05	-1			safe			0.714	0
t2-testsuite/disj_nightmare	safe			0.26	safe			0.16	0			safe			138.61	0			safe			11.54	0			safe			246.114	0			safe			11.693	0
t2-testsuite/eric1	?			1201.65	?			1201.82	0			?			0	0			?			0	0			safe			2.766	+1			safe			2.898	+1
t2-testsuite/eric3	?			1201.83	?			1201.97	0			?			0	0			unsafe			63.35	+1			?			2.488	0			unsafe			0.523	+1
t2-testsuite/example10	unsafe			0.09	unsafe			0.08	0			?			1.61	-1			unsafe			3.46	0			?			0.913	-1			unsafe			0.45	0
t2-testsuite/example9	unsafe			0.55	?			1202.06	-1			?			3.85	-1			unsafe			5.52	0			?			1.164	-1			unsafe			0.473	0
t2-testsuite/flipflop	unsafe			0.08	unsafe			0.07	0			?			0.6	-1			?			9.4	-1			?			0.713	-1			unsafe			0.456	0
t2-testsuite/fun10	unsafe			1.27	unsafe			1.24	0			?			0.21	-1			?			886.59	-1			?			123.362	-1			unsafe			6.295	0
t2-testsuite/fun11	?			1201.65	?			1202.17	0			?			0	0			?			81.79	0			?			1.859	0			?			0.974	0
t2-testsuite/fun1	unsafe			2.69	?			1202.14	-1			?			72.92	-1			?			169.09	-1			?			56.662	-1			unsafe			42.973	0
t2-testsuite/fun2	safe			25.91	?			1201.94	-1			safe			60.12	0			safe			47.69	0			safe			15.593	0			safe			1.476	0
t2-testsuite/fun4	safe			1.76	safe			1.48	0			safe			31.9	0			safe			24.13	0			safe			3.228	0			safe			3.291	0
t2-testsuite/fun6	unsafe			2.01	?			1201.31	-1			?			27.95	-1			?			154.39	-1			?			108.899	-1			unsafe			2.941	0
t2-testsuite/fun7	unsafe			0.26	unsafe			0.26	0			?			12.63	-1			?			506.33	-1			?			13.689	-1			unsafe			0.855	0
t2-testsuite/fun9	?			1202.03	?			1201.99	0			?			1123.79	0			?			196.35	0			?			311.66	0			unsafe			1.404	+1
t2-testsuite/heidy10	safe			0.61	?			1201.34	-1			safe			3.14	0			safe			12.53	0			safe			0.882	0			safe			0.39	0
t2-testsuite/heidy1	?			1201.51	?			1201.19	0			?			0	0			unsafe			3.58	+1			?			0.815	0			unsafe			0.447	+1
t2-testsuite/heidy2	unsafe			0.26	?			1201.86	-1			?			7.61	-1			unsafe			25.15	0			?			1.484	-1			unsafe			0.456	0
t2-testsuite/heidy3	unsafe			0.25	unsafe			0.13	0			?			2.84	-1			unsafe			5.86	0			?			0.967	-1			unsafe			0.471	0
t2-testsuite/heidy5	safe			0.95	?			1201.95	-1			safe			5.27	0			safe			3.44	0			safe			0.78	0			safe			0.367	0
t2-testsuite/heidy6	unsafe			0.8	?			1201.83	-1			?			2.35	-1			unsafe			5.71	0			?			1.244	-1			unsafe			0.501	0
t2-testsuite/heidy7	unsafe			1.83	?			1201.33	-1			?			8.13	-1			unsafe			38.56	0			?			2.087	-1			unsafe			0.521	0
t2-testsuite/heidy8	unsafe			0.21	unsafe			0.1	0			?			4.82	-1			unsafe			40.67	0			?			2.445	-1			unsafe			0.537	0
t2-testsuite/heidy9	safe			0.78	?			1202.13	-1			safe			3.38	0			safe			3.37	0			safe			0.706	0			safe			0.361	0
t2-testsuite/huh	safe			151.77	?			1202.15	-1			?			0	-1			safe			20.29	0			safe			3.313	0			safe			0.493	0
t2-testsuite/iecs	safe			0.27	?			1202.09	-1			?			0	-1			safe			7.47	0			safe			0.699	0			safe			0.522	0
t2-testsuite/n-10	unsafe			0.11	unsafe			0.09	0			?			1.34	-1			unsafe			117.51	0			?			1.563	-1			unsafe			0.485	0
t2-testsuite/n-12a	unsafe			0.09	unsafe			0.07	0			?			0.71	-1			unsafe			6.83	0			?			0.796	-1			unsafe			0.436	0
t2-testsuite/n-12	unsafe			0.09	unsafe			0.08	0			?			0.55	-1			unsafe			26.18	0			?			1.283	-1			unsafe			0.474	0
t2-testsuite/n-13	?			1201.49	?			1201.23	0			?			0.54	0			unsafe			5.8	+1			?			0.736	0			unsafe			0.448	+1
t2-testsuite/n-14	unsafe			0.12	unsafe			0.11	0			?			2.94	-1			unsafe			32.34	0			?			1.52	-1			unsafe			0.491	0
t2-testsuite/n-15a	unsafe			0.08	unsafe			0.06	0			?			3.84	-1			unsafe			5.48	0			?			1.338	-1			unsafe			0.483	0
t2-testsuite/n-15	?			1202.14	?			1201.84	0			?			0.78	0			?			33.62	0			?			1.427	0			unsafe			0.534	+1
t2-testsuite/n-16a	unsafe			0.07	unsafe			0.1	0			?			0.71	-1			?			35.17	-1			?			0.891	-1			unsafe			0.457	0
t2-testsuite/n-16	?			1201.55	?			1201.81	0			?			0.54	0			?			33.42	0			?			1.823	0			unsafe			0.526	+1
t2-testsuite/n-17	?			1201.45	?			1201.87	0			?			0.52	0			?			31.83	0			?			2.074	0			unsafe			0.472	+1
t2-testsuite/n-18a	unsafe			0.07	unsafe			0.06	0			?			1.79	-1			?			35.91	-1			?			2.108	-1			unsafe			0.462	0
t2-testsuite/n-18	?			1201.46	?			1201.24	0			?			0.52	0			?			33.81	0			?			0.842	0			unsafe			0.467	+1
t2-testsuite/n-1c	unsafe			0.19	unsafe			0.08	0			?			1.21	-1			unsafe			111.27	0			?			1.214	-1			unsafe			0.495	0
t2-testsuite/n-1d	unsafe			0.07	unsafe			0.1	0			?			0.63	-1			unsafe			29.43	0			?			1.038	-1			unsafe			0.493	0
t2-testsuite/n-1	unsafe			0.08	unsafe			0.08	0			?			4.17	-1			unsafe			136.92	0			?			1.747	-1			unsafe			0.494	0
t2-testsuite/n-20	unsafe			0.74	?			1202.08	-1			?			1.86	-1			?			151.87	-1			?			0.917	-1			unsafe			0.506	0
t2-testsuite/n-21	?			1201.14	?			1201.78	0			?			2.16	0			unsafe			9.83	+1			?			1.282	0			unsafe			0.513	+1
t2-testsuite/n-32	unsafe			0.08	unsafe			0.07	0			?			1.66	-1			unsafe			9.29	0			?			2.687	-1			unsafe			0.448	0
t2-testsuite/n-33	unsafe			0.23	unsafe			0.12	0			?			0.56	-1			unsafe			10.41	0			?			1.588	-1			unsafe			0.473	0
t2-testsuite/n-36	unsafe			0.28	unsafe			0.17	0			?			0.76	-1			unsafe			123.2	0			?			1.844	-1			unsafe			0.532	0
t2-testsuite/n-37	?			1201.15	?			1203.08	0			?			0	0			?			73.27	0			?			2.123	0			unsafe			0.477	+1
t2-testsuite/n-3a	unsafe			0.07	unsafe			0.07	0			?			2.35	-1			unsafe			30.23	0			?			1.774	-1			unsafe			0.525	0
t2-testsuite/n-3	?			1201.38	?			1201.82	0			?			1.68	0			?			47.92	0			?			0.892	0			unsafe			0.54	+1
t2-testsuite/n-40	?			1201.73	?			1202.09	0			?			29.11	0			unsafe			8.57	+1			?			10.432	0			unsafe			0.643	+1
t2-testsuite/n-46	?			1201.82	?			1201.24	0			?			0	0			?			36.62	0			safe			0.829	+1			unsafe			0.444	+1
t2-testsuite/n-48	?			1202.14	?			1202.0	0			?			2.02	0			?			49.06	0			?			1.251	0			unsafe			0.486	+1
t2-testsuite/n-4	unsafe			0.26	unsafe			0.15	0			?			11.32	-1			unsafe			18.23	0			?			12.94	-1			unsafe			0.993	0
t2-testsuite/n-5	unsafe			0.66	?			1201.22	-1			?			10.08	-1			unsafe			72.32	0			?			16.908	-1			unsafe			1.118	0
t2-testsuite/n-6a	unsafe			0.18	unsafe			0.07	0			?			4.67	-1			unsafe			49.94	0			?			0.928	-1			unsafe			0.594	0
t2-testsuite/n-6	?			1202.89	?			1201.86	0			?			0.54	0			?			37.8	0			?			0.977	0			unsafe			0.483	+1
t2-testsuite/n-7	?			1201.88	?			1202.0	0			?			7.02	0			?			41.15	0			?			1.476	0			unsafe			0.514	+1
t2-testsuite/n-8a	unsafe			0.09	unsafe			0.07	0			?			0.54	-1			unsafe			65.46	0			?			0.918	-1			unsafe			0.471	0
t2-testsuite/n-8	unsafe			0.08	unsafe			0.09	0			?			1.09	-1			unsafe			70.25	0			?			1.972	-1			unsafe			0.487	0
t2-testsuite/n-9	unsafe			0.09	unsafe			0.1	0			?			1.18	-1			?			104.14	-1			?			1.655	-1			unsafe			0.486	0
t2-testsuite/nested2	?			1202.57	?			1201.86	0			?			1706.52	0			?			1201.98	0			safe			1.089	+1			safe			0.449	+1
t2-testsuite/p-10	unsafe			0.1	unsafe			0.08	0			?			1.91	-1			unsafe			100.55	0			?			0.886	-1			unsafe			0.484	0
t2-testsuite/p-12	safe			0.41	?			1201.15	-1			safe			1.4	0			safe			3.36	0			safe			0.671	0			safe			0.364	0
t2-testsuite/p-13	safe			0.05	safe			0.04	0			?			0.34	-1			safe			2.67	0			safe			0.546	0			safe			0.21	0
t2-testsuite/p-14	safe			0.3	?			1201.83	-1			safe			1.78	0			safe			3.49	0			safe			0.596	0			safe			0.364	0
t2-testsuite/p-15	safe			0.55	?			1201.86	-1			safe			2.07	0			safe			3.2	0			safe			0.599	0			safe			0.358	0
t2-testsuite/p-16	safe			0.54	?			1201.88	-1			safe			2.05	0			safe			3.4	0			safe			0.646	0			safe			0.363	0
t2-testsuite/p-18	safe			0.66	?			1202.0	-1			safe			1.37	0			safe			3.2	0			safe			0.677	0			safe			0.358	0
t2-testsuite/p-1b	safe			0.32	?			1201.31	-1			safe			2.12	0			safe			3.41	0			safe			0.687	0			safe			0.361	0
t2-testsuite/p-1d	safe			0.38	?			1201.4	-1			safe			8.66	0			safe			4.21	0			safe			0.918	0			safe			0.375	0
t2-testsuite/p-1	unsafe			0.1	unsafe			0.08	0			?			1.68	-1			unsafe			130.5	0			?			0.975	-1			unsafe			0.482	0
t2-testsuite/p-20	unsafe			0.16	unsafe			0.16	0			?			2.43	-1			unsafe			79.74	0			?			1.095	-1			unsafe			0.482	0
t2-testsuite/p-21	safe			1.34	?			1202.91	-1			safe			4.45	0			safe			4.32	0			safe			0.924	0			safe			0.419	0
t2-testsuite/p-22	safe			0.36	?			1201.15	-1			safe			1.96	0			safe			3.96	0			safe			1.525	0			safe			0.368	0
t2-testsuite/p-32	unsafe			0.08	unsafe			0.07	0			?			1.61	-1			unsafe			9.52	0			?			3.045	-1			unsafe			0.455	0
t2-testsuite/p-33	unsafe			0.08	unsafe			0.07	0			?			1.87	-1			unsafe			9.44	0			?			1.495	-1			unsafe			0.46	0
t2-testsuite/p-34	unsafe			0.2	unsafe			0.21	0			?			1.8	-1			unsafe			160.44	0			?			1.541	-1			unsafe			0.514	0
t2-testsuite/p-36	unsafe			0.13	unsafe			0.13	0			?			1.33	-1			unsafe			222.68	0			?			3.153	-1			unsafe			0.509	0
t2-testsuite/p-37	safe			0.51	safe			0.47	0			safe			27.34	0			safe			15.91	0			safe			1.053	0			safe			0.378	0
t2-testsuite/p-3	safe			0.42	?			1201.99	-1			safe			5.67	0			safe			3.82	0			safe			0.67	0			safe			0.364	0
t2-testsuite/p-40	?			1201.22	?			1201.8	0			safe			3.13	+1			safe			3.42	+1			safe			0.818	+1			safe			0.374	+1
t2-testsuite/p-41	safe			0.05	safe			0.04	0			?			0.35	-1			safe			2.66	0			safe			0.61	0			safe			0.203	0
t2-testsuite/p-42	safe			1.38	?			1201.91	-1			safe			2.81	0			safe			3.96	0			safe			0.661	0			safe			0.358	0
t2-testsuite/p-43	safe			0.44	?			1201.12	-1			safe			11.59	0			safe			25.51	0			safe			2.367	0			safe			2.033	0
t2-testsuite/p-44	safe			0.48	?			1202.11	-1			safe			2.63	0			safe			3.99	0			safe			0.637	0			safe			0.372	0
t2-testsuite/p-45	safe			0.79	?			1201.95	-1			safe			2.51	0			safe			16.11	0			safe			2.073	0			safe			0.371	0
t2-testsuite/p-46	unsafe			0.17	unsafe			0.14	0			?			10.06	-1			?			387.28	-1			?			5.733	-1			?			5.187	-1
t2-testsuite/p-49	safe			0.35	?			1201.83	-1			safe			2.38	0			safe			3.88	0			safe			0.619	0			safe			0.367	0
t2-testsuite/p-4	safe			2.0	?			1201.94	-1			safe			3.73	0			safe			5.22	0			safe			1.07	0			safe			0.399	0
t2-testsuite/p-52	unsafe			0.09	unsafe			0.08	0			?			0.73	-1			unsafe			48.76	0			?			0.797	-1			unsafe			0.473	0
t2-testsuite/p-53	safe			0.14	safe			0.12	0			safe			2.67	0			safe			2.8	0			safe			0.631	0			safe			0.213	0
t2-testsuite/p-55	safe			0.79	?			1201.83	-1			safe			7.59	0			safe			5.56	0			safe			0.948	0			safe			0.405	0
t2-testsuite/p-56	safe			0.52	?			1201.92	-1			safe			4.37	0			safe			3.71	0			safe			0.976	0			safe			0.401	0
t2-testsuite/p-58	safe			0.18	safe			0.12	0			safe			0.49	0			safe			2.94	0			safe			0.519	0			safe			0.359	0
t2-testsuite/p-5	unsafe			0.67	?			1202.21	-1			?			10.52	-1			unsafe			72.47	0			?			16.922	-1			unsafe			1.113	0
t2-testsuite/p-60	?			1201.88	safe			26.39	+1			?			0	0			safe			3.56	+1			safe			0.742	+1			safe			0.382	+1
t2-testsuite/p-61	?			1201.94	?			1201.29	0			?			0	0			safe			3.58	+1			safe			0.734	+1			safe			0.388	+1
t2-testsuite/p-63	safe			0.76	?			1201.84	-1			?			0	-1			safe			15.25	0			safe			1.277	0			safe			0.534	0
t2-testsuite/p-6	safe			0.36	?			1201.72	-1			safe			7.86	0			safe			4.2	0			safe			0.911	0			safe			0.381	0
t2-testsuite/p-7b	safe			0.86	?			1201.91	-1			safe			5.93	0			safe			4.6	0			safe			0.678	0			safe			0.375	0
t2-testsuite/p-7	safe			0.87	?			1201.13	-1			safe			9.02	0			safe			4.32	0			safe			0.839	0			safe			0.397	0
t2-testsuite/p-8	unsafe			0.08	unsafe			0.07	0			?			1.73	-1			?			98.0	-1			?			0.957	-1			unsafe			0.462	0
t2-testsuite/p-9	unsafe			0.09	unsafe			0.07	0			?			1.7	-1			?			100.5	-1			?			0.928	-1			unsafe			0.459	0
t2-testsuite/pgarch	unsafe			59.52	?			1202.24	-1			?			1.27	-1			?			0	-1			?			227.37	-1			unsafe			49.716	0
t2-testsuite/polyrank1	safe			0.55	?			1201.88	-1			?			0.59	-1			safe			11.28	0			?			0.922	-1			safe			0.557	0
t2-testsuite/polyrank2	safe			32.23	?			1201.89	-1			?			0.66	-1			safe			4.0	0			?			1.092	-1			safe			0.591	0
t2-testsuite/polyrank3	safe			5.94	?			1201.86	-1			?			0.53	-1			?			0	-1			?			0.985	-1			safe			0.752	0
t2-testsuite/polyrank4	?			1201.85	?			1201.05	0			?			0.53	0			?			381.0	0			?			1.055	0			safe			1.002	+1
t2-testsuite/polyrank5	?			1203.02	?			1202.09	0			?			0.53	0			safe			5.69	+1			?			1.017	0			safe			1.368	+1
t2-testsuite/polyrank6	safe			1.46	?			1201.97	-1			?			1.78	-1			safe			16.91	0			?			1.668	-1			safe			0.593	0
t2-testsuite/polyrank7	?			1202.68	?			1202.2	0			?			0.55	0			?			34.55	0			?			1.163	0			unsafe			0.438	+1
t2-testsuite/print	safe			15.82	?			1201.8	-1			?			0	-1			safe			78.83	0			safe			45.556	0			safe			2.597	0
t2-testsuite/refine_disj_problem	?			1201.91	?			1201.84	0			?			2.46	0			?			40.21	0			?			1.532	0			unsafe			0.482	+1
t2-testsuite/reverse_div4	unsafe			0.47	unsafe			0.46	0			?			269.47	-1			?			217.54	-1			?			68.108	-1			unsafe			1.534	0
t2-testsuite/reverse_seg_cyclic	safe			70.67	?			1202.07	-1			?			0	-1			safe			36.39	0			safe			18.644	0			safe			1.79	0
t2-testsuite/reverse	safe			123.81	?			1201.32	-1			?			0	-1			safe			42.77	0			safe			49.843	0			safe			4.693	0
t2-testsuite/rev_nt2	unsafe			0.27	unsafe			0.26	0			?			32.69	-1			?			155.03	-1			?			94.872	-1			unsafe			0.809	0
t2-testsuite/rewrite	unsafe			0.08	unsafe			0.06	0			?			0.68	-1			?			61.28	-1			?			0.721	-1			unsafe			0.46	0
t2-testsuite/s1-saved	safe			15.54	?			1201.98	-1			?			0	-1			safe			40.34	0			safe			31.972	0			safe			1.827	0
t2-testsuite/seq2	safe			0.19	?			1202.03	-1			safe			0.85	0			safe			3.17	0			safe			0.624	0			safe			0.355	0
t2-testsuite/seq	safe			0.18	?			1201.86	-1			safe			0.91	0			safe			3.28	0			safe			0.607	0			safe			0.367	0
t2-testsuite/simple	?			1201.15	?			1202.05	0			?			0.96	0			unsafe			15.8	+1			?			1.017	0			unsafe			0.528	+1
t2-testsuite/small01	safe			0.19	?			1202.0	-1			safe			4.98	0			safe			3.5	0			safe			0.943	0			safe			0.388	0
t2-testsuite/small02	?			1202.01	?			1202.03	0			?			7.72	0			?			63.01	0			?			1.089	0			unsafe			0.489	+1
t2-testsuite/small03	?			1201.75	?			1202.19	0			?			1248.49	0			unsafe			3.62	+1			?			0.893	0			unsafe			0.445	+1
t2-testsuite/small04	?			1201.87	?			1202.02	0			?			0	0			unsafe			3.75	+1			?			0.896	0			unsafe			0.438	+1
t2-testsuite/small05	?			1201.89	?			1201.19	0			?			0.53	0			?			33.85	0			?			0.774	0			unsafe			0.452	+1
t2-testsuite/small06	safe			1.52	?			1201.85	-1			safe			6.21	0			safe			3.91	0			safe			0.944	0			safe			0.379	0
t2-testsuite/small07	safe			12.35	?			1202.04	-1			safe			9.72	0			safe			5.97	0			safe			1.029	0			safe			0.431	0
t2-testsuite/small08	safe			7.27	?			1202.09	-1			safe			10.73	0			safe			5.18	0			safe			1.035	0			safe			0.416	0
t2-testsuite/small09	safe			14.14	?			1203.05	-1			safe			19.45	0			safe			5.83	0			safe			1.058	0			safe			0.419	0
t2-testsuite/small10	unsafe			0.07	unsafe			0.06	0			?			1.29	-1			?			70.94	-1			?			2.08	-1			unsafe			0.502	0
t2-testsuite/small11	unsafe			0.07	unsafe			0.07	0			?			0.95	-1			unsafe			3.19	0			?			1.065	-1			unsafe			0.451	0
t2-testsuite/small12	safe			0.66	?			1202.07	-1			safe			2.48	0			safe			4.19	0			safe			0.744	0			safe			0.366	0
t2-testsuite/small13	safe			1.35	?			1201.92	-1			safe			2.26	0			safe			15.47	0			safe			0.723	0			safe			0.367	0
t2-testsuite/small14	?			1201.26	?			1202.14	0			?			2.42	0			?			87.78	0			?			4.234	0			unsafe			0.498	+1
t2-testsuite/small15	?			1202.08	?			1202.04	0			?			1.56	0			?			39.92	0			?			1.481	0			unsafe			0.471	+1
t2-testsuite/small16	?			1201.86	?			1201.15	0			?			1.51	0			unsafe			36.1	+1			?			1.39	0			unsafe			0.454	+1
t2-testsuite/small17	unsafe			0.08	unsafe			0.07	0			?			1.62	-1			unsafe			24.1	0			?			1.005	-1			unsafe			0.457	0
t2-testsuite/small18	unsafe			0.06	unsafe			0.07	0			?			0.73	-1			unsafe			5.14	0			?			1.655	-1			unsafe			0.502	0
t2-testsuite/small19	safe			1.46	?			1202.01	-1			safe			2.25	0			safe			5.96	0			safe			0.748	0			safe			0.404	0
t2-testsuite/small20	safe			1.72	?			1202.27	-1			?			0	-1			safe			4.84	0			safe			1.099	0			safe			0.408	0
t2-testsuite/small21	safe			2.87	?			1202.05	-1			?			0	-1			safe			5.69	0			safe			1.134	0			safe			0.447	0
t2-testsuite/small22	unsafe			0.09	unsafe			0.08	0			?			2.33	-1			?			38.69	-1			?			2.42	-1			unsafe			0.545	0
t2-testsuite/small23	unsafe			0.31	?			1201.92	-1			?			5.0	-1			unsafe			23.71	0			?			13.55	-1			unsafe			0.677	0
t2-testsuite/small24	unsafe			0.06	unsafe			0.06	0			?			0.51	-1			unsafe			5.17	0			?			1.033	-1			unsafe			0.456	0
t2-testsuite/small25	unsafe			0.06	unsafe			0.06	0			?			0.56	-1			unsafe			3.51	0			?			0.99	-1			unsafe			0.424	0
t2-testsuite/small26	safe			0.19	?			1202.94	-1			safe			0.76	0			safe			3.15	0			safe			0.647	0			safe			0.369	0
t2-testsuite/small27	safe			0.05	safe			0.04	0			?			0.23	-1			safe			2.75	0			safe			0.617	0			safe			0.417	0
t2-testsuite/small28	safe			0.1	safe			0.09	0			safe			0.76	0			safe			3.73	0			safe			0.638	0			safe			0.401	0
t2-testsuite/small29	unsafe			0.07	unsafe			0.07	0			?			0.6	-1			unsafe			8.91	0			?			1.239	-1			unsafe			0.494	0
t2-testsuite/small30	unsafe			0.05	unsafe			0.07	0			?			0.59	-1			unsafe			3.29	0			?			1.152	-1			unsafe			0.421	0
t2-testsuite/small31	safe			0.08	safe			0.04	0			?			0.22	-1			safe			2.77	0			safe			0.748	0			safe			0.346	0
t2-testsuite/small32	safe			0.07	safe			0.05	0			?			0.24	-1			safe			2.42	0			safe			0.61	0			safe			0.356	0
t2-testsuite/small33	safe			0.05	safe			0.04	0			?			0.24	-1			safe			2.84	0			safe			0.585	0			safe			0.355	0
t2-testsuite/small34	safe			0.17	?			1202.1	-1			safe			0.8	0			safe			3.55	0			safe			0.758	0			safe			0.354	0
t2-testsuite/small35	?			1201.9	?			1201.91	0			?			0.55	0			?			34.29	0			?			1.151	0			unsafe			0.438	+1
t2-testsuite/test_byron_2	unsafe			0.1	unsafe			0.08	0			?			1.22	-1			unsafe			5.28	0			?			0.99	-1			unsafe			0.449	0
t2-testsuite/traverse2	safe			197.05	?			1201.59	-1			?			0	-1			safe			85.35	0			?			302.48	-1			safe			3.014	0
t2-testsuite/traverse_seg2	safe			27.57	?			1202.67	-1			?			0	-1			safe			37.79	0			safe			30.639	0			safe			2.061	0
t2-testsuite/traverse_seg	safe			34.58	?			1202.02	-1			?			0	-1			safe			49.63	0			safe			33.594	0			safe			2.815	0
t2-testsuite/traverse_twice	safe			51.72	?			1202.2	-1			?			0	-1			safe			50.61	0			safe			62.074	0			safe			3.339	0
t2-testsuite/traverse	safe			24.82	?			1202.12	-1			?			0	-1			safe			46.16	0			safe			28.679	0			safe			1.913	0
t2-testsuite/unsat	safe			0.25	safe			0.14	0			safe			0.99	0			safe			2.8	0			safe			0.579	0			safe			0.362	0
t2-testsuite/w1	unsafe			0.1	unsafe			0.1	0			?			0.81	-1			unsafe			13.79	0			?			0.866	-1			unsafe			0.575	0
# Benchmarks: 835	total	safe	unsafe	time	total	safe	unsafe	time	delta	gained	lost	total	safe	unsafe	time	delta	gained	lost	total	safe	unsafe	time	delta	gained	lost	total	safe	unsafe	time	delta	gained	lost	total	safe	unsafe	time	delta	gained	lost
	602	477	125	31011.79s	459	364	95	22304.35s	-143	2	145	97	97	0	9509.46s	-505	1	506	263	185	78	6936.32s	-339	17	356	116	116	0	1300.303s	-486	8	494	191	89	102	235.206s	39	40	1