experiment

	TcTAra			TcTNoAra			AraTRS			AraTRS CF			Aprove
Problem (all selected)	*	answer		*	answer		*	answer		*	answer		*	answer
AG01/#3.1	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.16	*	TIMEOUT	60.06
AG01/#3.10	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	16.36	*	MAYBE	49.29	*	TIMEOUT	60.02
AG01/#3.12	*	WORST_CASE(?,O(n^3))	24.98	*	WORST_CASE(?,O(n^3))	25.03	*	MAYBE	0.74	*	MAYBE	1.79	*	WORST_CASE(?,O(n^3))	7.16
AG01/#3.13	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.15	*	MAYBE	18.34	*	TIMEOUT	60.06
AG01/#3.15	*	WORST_CASE(?,O(n^1))	7.03	*	WORST_CASE(?,O(n^1))	7.03	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	7.07
AG01/#3.16	*	WORST_CASE(?,O(n^3))	2.92	*	WORST_CASE(?,O(n^3))	2.03	*	MAYBE	0.15	*	MAYBE	0.49	*	TIMEOUT	60.06
AG01/#3.17	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.16	*	MAYBE	16.44	*	TIMEOUT	60.06
AG01/#3.17a	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.86	*	MAYBE	19.56	*	TIMEOUT	60.06
AG01/#3.18	*	MAYBE	55.08	*	MAYBE	55.11	*	MAYBE	0.52	*	MAYBE	1.23	*	TIMEOUT	60.06
AG01/#3.19	*	MAYBE	26.39	*	MAYBE	24.27	*	MAYBE	0.47	*	MAYBE	0.53	*	TIMEOUT	60.06
AG01/#3.2	*	WORST_CASE(?,O(n^2))	2.20	*	WORST_CASE(?,O(n^2))	1.43	*	MAYBE	0.48	*	MAYBE	0.56	*	TIMEOUT	60.05
AG01/#3.22	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.20	*	MAYBE	1.20	*	WORST_CASE(?,O(n^2))	12.96
AG01/#3.23	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	11.27
AG01/#3.24	*	WORST_CASE(?,O(n^1))	1.11	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^2))	0.15	*	WORST_CASE(?,O(n^2))	0.37	*	WORST_CASE(?,O(n^1))	1.87
AG01/#3.26	*	MAYBE	38.41	*	MAYBE	38.15	*	MAYBE	0.27	*	MAYBE	1.32	*	TIMEOUT	60.03
AG01/#3.29	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	0.02	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	3.36
AG01/#3.31	*	MAYBE	55.03	*	MAYBE	55.02	*	MAYBE	0.29	*	MAYBE	0.32	*	MAYBE	1.64
AG01/#3.33	*	WORST_CASE(?,O(1))	0.70	*	WORST_CASE(?,O(1))	0.14	*	WORST_CASE(?,O(n^2))	0.24	*	WORST_CASE(?,O(n^2))	3.61	*	WORST_CASE(?,O(1))	1.99
AG01/#3.35	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	14.53
AG01/#3.36	*	MAYBE	47.17	*	MAYBE	46.35	*	MAYBE	0.19	*	MAYBE	1.19	*	TIMEOUT	60.00
AG01/#3.37	*	WORST_CASE(?,O(n^1))	1.51	*	WORST_CASE(?,O(n^1))	0.90	*	MAYBE	0.23	*	MAYBE	0.36	*	WORST_CASE(?,O(n^1))	2.85
AG01/#3.38	*	MAYBE	55.04	*	MAYBE	55.08	*	MAYBE	1.82	*	MAYBE	48.25	*	MAYBE	3.12
AG01/#3.39	*	WORST_CASE(?,O(n^1))	3.12	*	WORST_CASE(?,O(n^1))	1.22	*	MAYBE	0.59	*	MAYBE	8.63	*	TIMEOUT	60.06
AG01/#3.4	*	MAYBE	24.82	*	MAYBE	23.84	*	MAYBE	0.24	*	MAYBE	0.52	*	TIMEOUT	60.02
AG01/#3.40	*	WORST_CASE(?,O(n^2))	12.43	*	WORST_CASE(?,O(n^2))	9.37	*	MAYBE	0.70	*	MAYBE	0.75	*	TIMEOUT	60.06
AG01/#3.41	*	WORST_CASE(?,O(n^2))	1.27	*	WORST_CASE(?,O(n^2))	1.55	*	WORST_CASE(?,O(n^2))	0.20	*	WORST_CASE(?,O(n^2))	0.17	*	WORST_CASE(?,O(n^1))	8.20
AG01/#3.42	*	WORST_CASE(?,O(n^1))	2.61	*	WORST_CASE(?,O(n^2))	21.45	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.15	*	TIMEOUT	60.06
AG01/#3.47	*	WORST_CASE(?,O(n^2))	0.93	*	WORST_CASE(?,O(n^2))	0.56	*	WORST_CASE(?,O(n^2))	0.18	*	WORST_CASE(?,O(n^2))	0.31	*	WORST_CASE(?,O(n^1))	4.87
AG01/#3.48	*	WORST_CASE(?,O(n^2))	41.83	*	WORST_CASE(?,O(n^2))	40.99	*	MAYBE	0.33	*	MAYBE	1.08	*	TIMEOUT	60.06
AG01/#3.49	*	MAYBE	58.47	*	MAYBE	55.04	*	MAYBE	57.65	*	MAYBE	48.50	*	TIMEOUT	60.06
AG01/#3.5	*	WORST_CASE(?,O(n^2))	3.66	*	WORST_CASE(?,O(n^2))	2.28	*	WORST_CASE(?,O(n^2))	0.26	*	WORST_CASE(?,O(n^2))	0.95	*	TIMEOUT	60.06
AG01/#3.51	*	WORST_CASE(?,O(n^1))	2.07	*	WORST_CASE(?,O(n^1))	1.17	*	MAYBE	0.20	*	MAYBE	0.69	*	WORST_CASE(?,O(n^1))	8.35
AG01/#3.52	*	WORST_CASE(?,O(n^1))	0.69	*	WORST_CASE(?,O(n^1))	0.33	*	MAYBE	0.10	*	MAYBE	0.22	*	WORST_CASE(?,O(n^1))	7.33
AG01/#3.53	*	WORST_CASE(?,O(n^3))	14.17	*	WORST_CASE(?,O(n^3))	10.44	*	MAYBE	1.21	*	MAYBE	3.82	*	WORST_CASE(?,O(n^3))	7.98
AG01/#3.53a	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.07	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	2.08
AG01/#3.53b	*	WORST_CASE(?,O(n^1))	0.93	*	WORST_CASE(?,O(n^1))	0.34	*	MAYBE	0.18	*	MAYBE	0.19	*	WORST_CASE(?,O(n^1))	11.40
AG01/#3.54	*	MAYBE	55.01	*	MAYBE	55.01	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.04
AG01/#3.55	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.02	*	MAYBE	48.96	*	TIMEOUT	60.00
AG01/#3.56	*	WORST_CASE(?,O(n^1))	1.37	*	WORST_CASE(?,O(n^1))	0.68	*	MAYBE	0.24	*	MAYBE	0.34	*	WORST_CASE(?,O(n^1))	7.89
AG01/#3.57	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.84	*	MAYBE	11.94	*	TIMEOUT	60.02
AG01/#3.5a	*	WORST_CASE(?,O(n^2))	6.11	*	WORST_CASE(?,O(n^2))	4.06	*	MAYBE	1.01	*	MAYBE	3.45	*	TIMEOUT	60.05
AG01/#3.5b	*	WORST_CASE(?,O(n^3))	12.84	*	WORST_CASE(?,O(n^3))	8.23	*	MAYBE	1.07	*	MAYBE	9.58	*	TIMEOUT	60.06
AG01/#3.6	*	WORST_CASE(?,O(n^2))	8.85	*	WORST_CASE(?,O(n^2))	6.86	*	MAYBE	2.16	*	MAYBE	5.82	*	TIMEOUT	60.05
AG01/#3.6a	*	WORST_CASE(?,O(n^2))	10.03	*	WORST_CASE(?,O(n^2))	8.01	*	WORST_CASE(?,O(n^2))	0.43	*	WORST_CASE(?,O(n^2))	2.00	*	TIMEOUT	60.06
AG01/#3.6b	*	WORST_CASE(?,O(n^3))	11.71	*	WORST_CASE(?,O(n^3))	7.55	*	MAYBE	2.17	*	MAYBE	14.47	*	TIMEOUT	60.06
AG01/#3.7	*	WORST_CASE(?,O(n^1))	7.02	*	WORST_CASE(?,O(n^1))	7.02	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.07	*	TIMEOUT	60.06
AG01/#3.8a	*	WORST_CASE(?,O(n^2))	3.96	*	WORST_CASE(?,O(n^2))	2.13	*	MAYBE	2.70	*	MAYBE	1.09	*	TIMEOUT	60.05
AG01/#3.8b	*	WORST_CASE(?,O(n^4))	25.05	*	WORST_CASE(?,O(n^4))	24.95	*	MAYBE	1.05	*	MAYBE	48.43	*	TIMEOUT	60.06
AG01/#4.30c	*	MAYBE	55.03	*	MAYBE	55.03	*	MAYBE	1.11	*	MAYBE	3.26	*	TIMEOUT	60.00
AProVE_04/AAECC	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.54	*	MAYBE	24.08	*	TIMEOUT	60.01
AProVE_04/AAECC-ring	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.43	*	TIMEOUT	60.06	*	TIMEOUT	60.00
AProVE_04/IJCAR_1	*	WORST_CASE(?,O(n^1))	55.07	*	WORST_CASE(?,O(n^1))	55.11	*	MAYBE	0.35	*	MAYBE	0.93	*	WORST_CASE(?,O(n^1))	13.27
AProVE_04/IJCAR_12	*	WORST_CASE(?,O(n^2))	55.10	*	WORST_CASE(?,O(n^2))	55.17	*	MAYBE	0.31	*	MAYBE	1.87	*	WORST_CASE(?,O(n^2))	9.93
AProVE_04/IJCAR_18	*	MAYBE	55.04	*	MAYBE	55.17	*	MAYBE	1.16	*	MAYBE	5.88	*	TIMEOUT	60.01
AProVE_04/IJCAR_26	*	MAYBE	55.25	*	MAYBE	55.16	*	MAYBE	1.68	*	MAYBE	7.62	*	TIMEOUT	60.00
AProVE_04/IJCAR_26a	*	MAYBE	55.22	*	MAYBE	59.99	*	MAYBE	2.59	*	MAYBE	9.81	*	TIMEOUT	60.00
AProVE_04/JFP_Ex31	*	MAYBE	55.51	*	MAYBE	55.04	*	MAYBE	0.91	*	MAYBE	3.88	*	WORST_CASE(?,O(n^1))	9.55
AProVE_04/JFP_Ex51	*	WORST_CASE(?,O(n^2))	18.35	*	WORST_CASE(?,O(n^2))	11.42	*	MAYBE	39.05	*	WORST_CASE(?,O(n^2))	49.28	*	TIMEOUT	60.01
AProVE_04/LPAR_intlist	*	MAYBE	55.06	*	MAYBE	55.09	*	TRS is not left-linear	0.09	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_04/Liveness6.1	*	MAYBE	55.23	*	MAYBE	55.05	*	MAYBE	0.49	*	MAYBE	1.96	*	TIMEOUT	60.01
AProVE_04/Liveness6.2	*	WORST_CASE(?,O(n^2))	26.15	*	WORST_CASE(?,O(n^2))	26.13	*	MAYBE	1.44	*	MAYBE	4.62	*	TIMEOUT	60.00
AProVE_04/Liveness6.3	*	WORST_CASE(?,O(n^1))	25.06	*	WORST_CASE(?,O(n^1))	25.03	*	MAYBE	0.59	*	MAYBE	54.10	*	WORST_CASE(?,O(n^1))	9.32
AProVE_04/Liveness6.4	*	MAYBE	55.12	*	MAYBE	55.37	*	MAYBE	0.90	*	TIMEOUT	60.06	*	TIMEOUT	60.03
AProVE_04/Liveness8	*	WORST_CASE(?,O(n^1))	53.03	*	WORST_CASE(?,O(n^1))	53.06	*	MAYBE	0.47	*	MAYBE	18.31	*	TIMEOUT	60.00
AProVE_04/Liveness_WRS	*	WORST_CASE(?,O(n^1))	55.10	*	WORST_CASE(?,O(n^1))	55.04	*	MAYBE	0.61	*	MAYBE	18.62	*	WORST_CASE(?,O(n^1))	3.66
AProVE_04/fac	*	MAYBE	53.34	*	MAYBE	53.60	*	MAYBE	0.24	*	MAYBE	1.44	*	TIMEOUT	60.01
AProVE_04/rta1	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.64	*	MAYBE	2.76	*	TIMEOUT	60.01
AProVE_04/rta2	*	MAYBE	41.90	*	MAYBE	40.81	*	MAYBE	0.13	*	MAYBE	0.45	*	TIMEOUT	60.06
AProVE_04/rta3	*	MAYBE	17.21	*	MAYBE	13.92	*	MAYBE	0.27	*	MAYBE	3.31	*	TIMEOUT	60.01
AProVE_06/div_notCeTermin	*	MAYBE	55.67	*	MAYBE	55.10	*	MAYBE	0.93	*	MAYBE	4.34	*	TIMEOUT	60.00
AProVE_06/div_notTermin	*	MAYBE	55.09	*	MAYBE	55.18	*	MAYBE	2.31	*	MAYBE	11.18	*	TIMEOUT	60.00
AProVE_06/factorial1	*	MAYBE	55.33	*	MAYBE	55.42	*	MAYBE	1.38	*	MAYBE	9.84	*	TIMEOUT	60.00
AProVE_06/factorial2	*	MAYBE	55.26	*	MAYBE	55.05	*	MAYBE	0.93	*	MAYBE	0.77	*	TIMEOUT	60.01
AProVE_06/identity	*	MAYBE	55.15	*	MAYBE	55.21	*	MAYBE	2.18	*	MAYBE	1.18	*	TIMEOUT	60.06
AProVE_06/logarithm	*	MAYBE	56.96	*	MAYBE	55.54	*	MAYBE	1.78	*	MAYBE	1.71	*	TIMEOUT	60.00
AProVE_06/modulo	*	MAYBE	28.59	*	MAYBE	27.15	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_06/nonterm	*	MAYBE	55.11	*	MAYBE	55.03	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	MAYBE	1.23
AProVE_06/quicksort	*	MAYBE	55.38	*	MAYBE	55.19	*	MAYBE	3.50	*	MAYBE	49.17	*	TIMEOUT	60.00
AProVE_06/quot	*	MAYBE	29.35	*	MAYBE	29.46	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_06/sizeChange	*	MAYBE	55.06	*	MAYBE	55.08	*	MAYBE	2.02	*	MAYBE	6.45	*	TIMEOUT	60.02
AProVE_06/tower	*	MAYBE	55.43	*	MAYBE	55.52	*	MAYBE	1.67	*	MAYBE	6.61	*	TIMEOUT	60.00
AProVE_06/tower_sizeChange	*	MAYBE	56.06	*	MAYBE	55.61	*	MAYBE	1.22	*	MAYBE	1.34	*	TIMEOUT	60.01
AProVE_07/kabasci01	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.29	*	MAYBE	44.16	*	WORST_CASE(?,O(n^1))	7.28
AProVE_07/kabasci02	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.15	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/kabasci03	*	TIMEOUT	60.14	*	TIMEOUT	60.06	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	0.98
AProVE_07/kabasci04	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.08	*	MAYBE	2.30	*	TIMEOUT	60.00
AProVE_07/kabasci05	*	TIMEOUT	60.10	*	TIMEOUT	60.06	*	MAYBE	0.51	*	MAYBE	5.40	*	TIMEOUT	60.00
AProVE_07/otto01	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.59	*	MAYBE	1.65	*	TIMEOUT	60.00
AProVE_07/otto02	*	MAYBE	55.03	*	MAYBE	55.12	*	MAYBE	1.02	*	MAYBE	4.04	*	TIMEOUT	60.00
AProVE_07/otto03	*	MAYBE	44.61	*	MAYBE	41.24	*	MAYBE	0.24	*	MAYBE	0.59	*	TIMEOUT	60.06
AProVE_07/otto04	*	MAYBE	59.58	*	MAYBE	55.13	*	MAYBE	2.09	*	MAYBE	49.55	*	MAYBE	2.03
AProVE_07/otto05	*	MAYBE	55.08	*	MAYBE	55.11	*	MAYBE	0.82	*	MAYBE	0.83	*	TIMEOUT	60.06
AProVE_07/otto06	*	TIMEOUT	60.06	*	MAYBE	56.83	*	MAYBE	0.94	*	MAYBE	2.92	*	TIMEOUT	60.00
AProVE_07/otto07	*	MAYBE	32.20	*	MAYBE	31.07	*	MAYBE	0.16	*	MAYBE	0.47	*	TIMEOUT	60.05
AProVE_07/otto08	*	MAYBE	55.11	*	MAYBE	50.17	*	MAYBE	0.38	*	MAYBE	2.18	*	TIMEOUT	60.06
AProVE_07/otto09	*	MAYBE	35.01	*	MAYBE	28.56	*	MAYBE	0.28	*	MAYBE	2.16	*	TIMEOUT	60.06
AProVE_07/otto10	*	MAYBE	55.10	*	MAYBE	55.06	*	MAYBE	0.75	*	MAYBE	2.63	*	TIMEOUT	60.01
AProVE_07/otto11	*	MAYBE	55.20	*	MAYBE	47.56	*	MAYBE	0.45	*	MAYBE	1.34	*	TIMEOUT	60.00
AProVE_07/otto12	*	MAYBE	55.11	*	MAYBE	55.41	*	MAYBE	1.39	*	MAYBE	1.07	*	TIMEOUT	60.06
AProVE_07/otto13	*	MAYBE	55.17	*	MAYBE	55.32	*	MAYBE	2.21	*	MAYBE	2.56	*	TIMEOUT	60.01
AProVE_07/thiemann01	*	MAYBE	55.07	*	MAYBE	55.08	*	MAYBE	0.40	*	MAYBE	1.56	*	TIMEOUT	60.04
AProVE_07/thiemann02	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	6.38	*	MAYBE	24.64	*	TIMEOUT	60.00
AProVE_07/thiemann03	*	MAYBE	55.81	*	MAYBE	55.56	*	MAYBE	2.93	*	MAYBE	3.00	*	TIMEOUT	60.00
AProVE_07/thiemann04	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.84	*	MAYBE	24.23	*	TIMEOUT	60.00
AProVE_07/thiemann05	*	MAYBE	55.57	*	MAYBE	55.33	*	MAYBE	1.47	*	MAYBE	3.46	*	TIMEOUT	60.00
AProVE_07/thiemann06	*	MAYBE	50.14	*	MAYBE	49.83	*	MAYBE	0.33	*	MAYBE	5.35	*	TIMEOUT	60.00
AProVE_07/thiemann07	*	MAYBE	55.84	*	MAYBE	55.25	*	MAYBE	3.82	*	MAYBE	5.44	*	TIMEOUT	60.00
AProVE_07/thiemann08	*	MAYBE	55.11	*	MAYBE	55.03	*	MAYBE	1.20	*	MAYBE	1.42	*	MAYBE	1.20
AProVE_07/thiemann09	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.67	*	MAYBE	2.79	*	TIMEOUT	60.00
AProVE_07/thiemann10	*	MAYBE	55.45	*	MAYBE	55.33	*	MAYBE	0.81	*	MAYBE	1.08	*	TIMEOUT	60.06
AProVE_07/thiemann11	*	MAYBE	56.47	*	MAYBE	55.73	*	MAYBE	0.93	*	MAYBE	2.01	*	TIMEOUT	60.00
AProVE_07/thiemann12	*	MAYBE	55.03	*	MAYBE	55.04	*	MAYBE	0.60	*	MAYBE	1.00	*	TIMEOUT	60.06
AProVE_07/thiemann13	*	MAYBE	55.53	*	MAYBE	55.09	*	MAYBE	1.01	*	MAYBE	2.62	*	TIMEOUT	60.06
AProVE_07/thiemann14	*	MAYBE	55.14	*	MAYBE	55.43	*	MAYBE	2.75	*	MAYBE	7.64	*	TIMEOUT	60.00
AProVE_07/thiemann15	*	MAYBE	55.11	*	MAYBE	55.07	*	MAYBE	0.85	*	MAYBE	0.82	*	TIMEOUT	60.01
AProVE_07/thiemann16	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.24	*	MAYBE	7.74	*	TIMEOUT	60.00
AProVE_07/thiemann17	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.98	*	MAYBE	4.65	*	TIMEOUT	60.00
AProVE_07/thiemann18	*	MAYBE	55.13	*	MAYBE	55.48	*	MAYBE	3.31	*	MAYBE	49.10	*	TIMEOUT	60.00
AProVE_07/thiemann19	*	MAYBE	55.11	*	MAYBE	49.46	*	MAYBE	0.24	*	MAYBE	0.89	*	TIMEOUT	60.01
AProVE_07/thiemann20	*	MAYBE	55.15	*	MAYBE	55.08	*	MAYBE	0.62	*	MAYBE	0.74	*	TIMEOUT	60.00
AProVE_07/thiemann21	*	MAYBE	55.15	*	MAYBE	55.90	*	MAYBE	4.79	*	MAYBE	11.04	*	TIMEOUT	60.00
AProVE_07/thiemann22	*	MAYBE	55.89	*	MAYBE	55.29	*	MAYBE	0.96	*	MAYBE	1.00	*	TIMEOUT	60.06
AProVE_07/thiemann23	*	MAYBE	55.05	*	MAYBE	55.02	*	MAYBE	0.35	*	MAYBE	0.97	*	TIMEOUT	60.00
AProVE_07/thiemann24	*	MAYBE	55.84	*	MAYBE	55.35	*	MAYBE	1.12	*	MAYBE	0.85	*	TIMEOUT	60.06
AProVE_07/thiemann25	*	MAYBE	55.04	*	MAYBE	51.68	*	MAYBE	0.18	*	MAYBE	0.74	*	TIMEOUT	60.06
AProVE_07/thiemann26	*	MAYBE	51.96	*	MAYBE	44.76	*	MAYBE	0.25	*	MAYBE	0.85	*	TIMEOUT	60.00
AProVE_07/thiemann27	*	MAYBE	37.28	*	MAYBE	35.50	*	MAYBE	0.22	*	MAYBE	0.52	*	TIMEOUT	60.06
AProVE_07/thiemann28	*	MAYBE	52.66	*	MAYBE	50.89	*	MAYBE	0.23	*	MAYBE	0.96	*	TIMEOUT	60.03
AProVE_07/thiemann29	*	MAYBE	56.09	*	MAYBE	55.37	*	MAYBE	1.69	*	MAYBE	3.48	*	TIMEOUT	60.00
AProVE_07/thiemann30	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	8.21	*	MAYBE	18.73	*	TIMEOUT	60.00
AProVE_07/thiemann31	*	MAYBE	55.58	*	MAYBE	55.08	*	MAYBE	0.80	*	MAYBE	2.56	*	TIMEOUT	60.05
AProVE_07/thiemann32	*	MAYBE	55.52	*	MAYBE	55.24	*	MAYBE	2.52	*	MAYBE	4.81	*	TIMEOUT	60.00
AProVE_07/thiemann33	*	MAYBE	55.09	*	MAYBE	55.31	*	MAYBE	1.76	*	MAYBE	1.59	*	TIMEOUT	60.00
AProVE_07/thiemann34	*	MAYBE	55.20	*	MAYBE	55.16	*	MAYBE	0.66	*	MAYBE	3.19	*	TIMEOUT	60.00
AProVE_07/thiemann36	*	MAYBE	55.52	*	MAYBE	55.02	*	MAYBE	0.72	*	MAYBE	3.48	*	TIMEOUT	60.05
AProVE_07/thiemann37	*	MAYBE	55.48	*	MAYBE	55.29	*	MAYBE	1.21	*	MAYBE	3.71	*	TIMEOUT	60.00
AProVE_07/thiemann38	*	MAYBE	31.26	*	MAYBE	30.49	*	MAYBE	0.41	*	MAYBE	1.29	*	TIMEOUT	60.00
AProVE_07/thiemann40	*	MAYBE	19.76	*	MAYBE	18.22	*	MAYBE	0.15	*	MAYBE	0.33	*	WORST_CASE(?,O(n^1))	4.97
AProVE_07/thiemann41	*	MAYBE	55.07	*	MAYBE	55.09	*	MAYBE	1.13	*	MAYBE	2.17	*	TIMEOUT	60.00
AProVE_07/wiehe01	*	TIMEOUT	60.12	*	TIMEOUT	60.12	*	TRS is not left-linear	0.15	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe02	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.39	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe03	*	TIMEOUT	60.21	*	TIMEOUT	60.13	*	TRS is not left-linear	0.40	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe05	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe07	*	MAYBE	55.37	*	TIMEOUT	60.71	*	TRS is not left-linear	0.19	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe08	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe09	*	TIMEOUT	60.12	*	TIMEOUT	61.76	*	TRS is not left-linear	0.90	*	TRS is not left-linear	0.01	*	TIMEOUT	60.01
AProVE_07/wiehe11	*	TIMEOUT	60.69	*	TIMEOUT	60.35	*	TRS is not left-linear	4.10	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
AProVE_07/wiehe12	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.03	*	TIMEOUT	60.01
AProVE_08/id_inc	*	MAYBE	55.11	*	MAYBE	55.12	*	TRS is not left-linear	0.04	*	TRS is not left-linear	0.01	*	TIMEOUT	60.06
AProVE_08/log	*	MAYBE	55.30	*	MAYBE	55.10	*	MAYBE	1.72	*	MAYBE	2.28	*	TIMEOUT	60.00
AProVE_08/parting01_reverse	*	MAYBE	57.29	*	MAYBE	57.17	*	MAYBE	1.01	*	MAYBE	16.58	*	TIMEOUT	60.00
AProVE_08/parting02_doublelist	*	MAYBE	59.18	*	MAYBE	58.84	*	MAYBE	1.05	*	MAYBE	9.24	*	TIMEOUT	60.01
AProVE_08/parting03_minsort	*	MAYBE	53.22	*	MAYBE	53.03	*	MAYBE	0.88	*	MAYBE	2.66	*	TIMEOUT	60.00
AProVE_08/parting04_maxsort_h	*	MAYBE	55.06	*	TIMEOUT	60.06	*	MAYBE	2.69	*	MAYBE	7.07	*	TIMEOUT	60.01
AProVE_08/parting05_maxsort	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.69	*	MAYBE	5.53	*	TIMEOUT	60.00
AProVE_08/round	*	MAYBE	15.04	*	MAYBE	14.67	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.06
AProVE_08/round_nonterm	*	MAYBE	22.64	*	MAYBE	22.87	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	MAYBE	1.00
AProVE_08/thiemann40_modified	*	MAYBE	55.02	*	MAYBE	55.18	*	MAYBE	1.43	*	MAYBE	0.56	*	TIMEOUT	60.06
AProVE_09_Inductive/div	*	MAYBE	33.35	*	MAYBE	33.66	*	MAYBE	0.37	*	MAYBE	3.37	*	TIMEOUT	60.01
AProVE_09_Inductive/divhard	*	MAYBE	55.06	*	MAYBE	55.09	*	MAYBE	0.72	*	MAYBE	1.83	*	TIMEOUT	60.03
AProVE_09_Inductive/gcd	*	MAYBE	33.99	*	MAYBE	33.25	*	MAYBE	0.37	*	MAYBE	2.29	*	TIMEOUT	60.02
AProVE_09_Inductive/gcd2	*	MAYBE	55.06	*	MAYBE	55.04	*	MAYBE	0.59	*	MAYBE	4.64	*	TIMEOUT	60.00
AProVE_09_Inductive/gcdhard	*	MAYBE	55.05	*	MAYBE	55.05	*	MAYBE	1.54	*	MAYBE	2.27	*	TIMEOUT	60.01
AProVE_09_Inductive/log	*	MAYBE	55.14	*	MAYBE	55.37	*	MAYBE	1.41	*	MAYBE	0.82	*	TIMEOUT	60.01
AProVE_09_Inductive/maxsort	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.73	*	MAYBE	5.42	*	TIMEOUT	60.05
AProVE_09_Inductive/maxsortcondition	*	MAYBE	40.13	*	MAYBE	29.21	*	MAYBE	0.65	*	MAYBE	12.37	*	TIMEOUT	60.01
AProVE_09_Inductive/minsort	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.09	*	MAYBE	18.46	*	TIMEOUT	60.01
AProVE_09_Inductive/mod	*	MAYBE	54.81	*	MAYBE	53.02	*	MAYBE	0.64	*	MAYBE	1.69	*	TIMEOUT	60.02
AProVE_09_Inductive/qsort	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.11	*	MAYBE	3.74	*	TIMEOUT	60.03
AProVE_09_Inductive/qsortlast	*	MAYBE	55.08	*	MAYBE	55.09	*	MAYBE	1.92	*	MAYBE	9.98	*	TIMEOUT	60.11
AProVE_09_Inductive/qsortmiddle	*	MAYBE	55.17	*	MAYBE	55.19	*	MAYBE	3.14	*	MAYBE	25.15	*	TIMEOUT	60.01
AProVE_09_Inductive/zerolist	*	MAYBE	55.04	*	MAYBE	52.98	*	MAYBE	2.45	*	MAYBE	27.91	*	TIMEOUT	60.06
Beerendonk_07/1	*	MAYBE	14.79	*	MAYBE	14.07	*	MAYBE	0.16	*	MAYBE	0.30	*	TIMEOUT	60.06
Beerendonk_07/10	*	MAYBE	55.02	*	MAYBE	55.03	*	MAYBE	0.56	*	MAYBE	2.36	*	TIMEOUT	60.00
Beerendonk_07/11	*	MAYBE	51.80	*	MAYBE	50.74	*	MAYBE	0.28	*	MAYBE	1.48	*	TIMEOUT	60.06
Beerendonk_07/12	*	MAYBE	40.63	*	MAYBE	37.50	*	MAYBE	0.21	*	MAYBE	0.87	*	TIMEOUT	60.06
Beerendonk_07/13	*	MAYBE	42.27	*	MAYBE	43.43	*	MAYBE	0.17	*	MAYBE	1.13	*	TIMEOUT	60.06
Beerendonk_07/14	*	MAYBE	22.78	*	MAYBE	27.83	*	MAYBE	0.31	*	MAYBE	1.45	*	TIMEOUT	60.06
Beerendonk_07/15	*	MAYBE	55.07	*	MAYBE	55.09	*	MAYBE	0.85	*	MAYBE	5.28	*	TIMEOUT	60.00
Beerendonk_07/16	*	MAYBE	58.14	*	MAYBE	57.00	*	MAYBE	0.27	*	MAYBE	5.84	*	TIMEOUT	60.00
Beerendonk_07/17	*	MAYBE	53.07	*	MAYBE	53.06	*	MAYBE	0.37	*	MAYBE	5.57	*	TIMEOUT	60.00
Beerendonk_07/18	*	MAYBE	55.18	*	MAYBE	55.03	*	MAYBE	0.48	*	MAYBE	11.65	*	TIMEOUT	60.00
Beerendonk_07/19	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.25	*	MAYBE	18.40	*	TIMEOUT	60.01
Beerendonk_07/2	*	MAYBE	31.32	*	MAYBE	29.64	*	MAYBE	0.16	*	MAYBE	0.33	*	TIMEOUT	60.06
Beerendonk_07/20	*	MAYBE	55.08	*	MAYBE	55.03	*	MAYBE	0.77	*	MAYBE	1.78	*	TIMEOUT	60.00
Beerendonk_07/21	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.33	*	MAYBE	1.96	*	TIMEOUT	60.00
Beerendonk_07/22	*	MAYBE	54.71	*	MAYBE	54.98	*	MAYBE	0.19	*	MAYBE	1.10	*	TIMEOUT	60.06
Beerendonk_07/23	*	MAYBE	51.39	*	MAYBE	49.12	*	MAYBE	0.20	*	MAYBE	0.71	*	TIMEOUT	60.06
Beerendonk_07/24	*	MAYBE	55.05	*	MAYBE	55.10	*	MAYBE	0.33	*	MAYBE	7.34	*	TIMEOUT	60.00
Beerendonk_07/3	*	MAYBE	17.46	*	MAYBE	16.58	*	MAYBE	0.16	*	MAYBE	0.38	*	TIMEOUT	60.00
Beerendonk_07/4	*	MAYBE	19.19	*	MAYBE	18.32	*	MAYBE	0.16	*	MAYBE	0.25	*	TIMEOUT	60.06
Beerendonk_07/5	*	MAYBE	25.59	*	MAYBE	25.08	*	MAYBE	0.25	*	MAYBE	0.59	*	TIMEOUT	60.01
Beerendonk_07/6	*	MAYBE	18.47	*	MAYBE	17.07	*	MAYBE	0.16	*	MAYBE	0.33	*	TIMEOUT	60.06
Beerendonk_07/7	*	MAYBE	53.07	*	MAYBE	53.07	*	MAYBE	0.16	*	MAYBE	0.37	*	TIMEOUT	60.01
Beerendonk_07/8	*	MAYBE	53.06	*	MAYBE	53.03	*	MAYBE	0.38	*	MAYBE	0.51	*	TIMEOUT	60.01
Beerendonk_07/9	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.21	*	MAYBE	0.61	*	TIMEOUT	60.01
CiME_04/ack_prolog	*	MAYBE	55.02	*	MAYBE	51.61	*	MAYBE	0.28	*	MAYBE	11.80	*	TIMEOUT	60.01
CiME_04/append	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	4.72
CiME_04/append-hard	*	MAYBE	45.07	*	MAYBE	42.54	*	MAYBE	0.26	*	MAYBE	0.66	*	WORST_CASE(?,O(n^1))	5.33
CiME_04/append-wrong	*	MAYBE	55.57	*	MAYBE	55.12	*	MAYBE	0.74	*	MAYBE	0.73	*	MAYBE	1.15
CiME_04/big	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	5.01	*	MAYBE	43.23	*	TIMEOUT	60.00
CiME_04/dpqs	*	WORST_CASE(?,O(1))	0.89	*	WORST_CASE(?,O(1))	0.53	*	MAYBE	0.13	*	MAYBE	0.41	*	WORST_CASE(?,O(1))	0.70
CiME_04/fact-hard	*	MAYBE	55.10	*	MAYBE	55.25	*	MAYBE	1.30	*	MAYBE	1.01	*	TIMEOUT	60.00
CiME_04/filliatre	*	MAYBE	55.15	*	MAYBE	55.08	*	MAYBE	2.52	*	MAYBE	15.32	*	TIMEOUT	60.00
CiME_04/filliatre2	*	MAYBE	55.06	*	MAYBE	55.11	*	MAYBE	1.78	*	MAYBE	14.49	*	TIMEOUT	60.00
CiME_04/filliatre3	*	MAYBE	55.07	*	MAYBE	55.10	*	MAYBE	2.09	*	MAYBE	18.61	*	TIMEOUT	60.00
CiME_04/intersect	*	WORST_CASE(?,O(n^4))	19.47	*	WORST_CASE(?,O(n^4))	28.79	*	MAYBE	0.79	*	MAYBE	10.18	*	TIMEOUT	60.06
CiME_04/list-sum-prod	*	MAYBE	55.12	*	MAYBE	55.19	*	MAYBE	0.41	*	MAYBE	1.33	*	TIMEOUT	60.01
CiME_04/list-sum-prod-assoc	*	MAYBE	28.94	*	MAYBE	27.27	*	MAYBE	0.37	*	MAYBE	0.85	*	TIMEOUT	60.00
CiME_04/list-sum-prod-assoc-append	*	MAYBE	55.04	*	MAYBE	55.05	*	MAYBE	1.10	*	MAYBE	4.10	*	TIMEOUT	60.00
CiME_04/list-sum-prod-bin	*	MAYBE	53.13	*	MAYBE	53.07	*	MAYBE	0.44	*	MAYBE	3.13	*	TIMEOUT	60.00
CiME_04/list-sum-prod-bin-assoc	*	MAYBE	53.11	*	MAYBE	53.07	*	MAYBE	0.33	*	MAYBE	1.14	*	TIMEOUT	60.00
CiME_04/list-sum-prod-bin-assoc-distr-app	*	MAYBE	57.82	*	MAYBE	55.07	*	MAYBE	0.55	*	MAYBE	9.21	*	TIMEOUT	60.00
CiME_04/log2	*	MAYBE	55.10	*	MAYBE	55.11	*	MAYBE	1.26	*	MAYBE	5.43	*	TIMEOUT	60.00
CiME_04/lse	*	WORST_CASE(?,O(n^3))	53.50	*	WORST_CASE(?,O(n^2))	53.36	*	MAYBE	1.98	*	MAYBE	20.55	*	WORST_CASE(?,O(n^2))	4.67
CiME_04/maude2	*	MAYBE	55.72	*	MAYBE	55.19	*	TRS is not left-linear	0.09	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
CiME_04/mucrl1	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.02	*	TIMEOUT	60.05
CiME_04/ternary	*	MAYBE	55.50	*	MAYBE	55.39	*	MAYBE	1.54	*	MAYBE	1.43	*	TIMEOUT	60.00
CiME_04/ternary-hard	*	MAYBE	55.47	*	MAYBE	55.20	*	MAYBE	1.09	*	MAYBE	1.36	*	TIMEOUT	60.01
CiME_04/tree	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^4))	55.46	*	MAYBE	1.97	*	MAYBE	47.54	*	TIMEOUT	60.00
Der95/06	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	2.93
Der95/07	*	WORST_CASE(?,O(n^1))	0.72	*	WORST_CASE(?,O(n^1))	0.29	*	MAYBE	0.17	*	MAYBE	0.31	*	WORST_CASE(?,O(n^1))	2.96
Der95/08	*	WORST_CASE(?,O(n^1))	3.84	*	WORST_CASE(?,O(n^1))	0.66	*	MAYBE	0.60	*	MAYBE	4.34	*	TIMEOUT	60.06
Der95/11	*	WORST_CASE(?,O(n^1))	8.72	*	WORST_CASE(?,O(n^1))	4.88	*	MAYBE	1.65	*	MAYBE	49.52	*	WORST_CASE(?,O(n^1))	15.03
Der95/12	*	MAYBE	19.77	*	MAYBE	18.72	*	MAYBE	0.46	*	MAYBE	0.45	*	TIMEOUT	60.07
Der95/18	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	10.10
Der95/20	*	MAYBE	24.74	*	MAYBE	26.10	*	MAYBE	0.48	*	MAYBE	0.51	*	TIMEOUT	60.00
Der95/21	*	MAYBE	22.98	*	MAYBE	22.31	*	MAYBE	0.19	*	MAYBE	0.47	*	TIMEOUT	60.02
Der95/27	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	5.81
Der95/32	*	WORST_CASE(?,O(n^2))	9.59	*	WORST_CASE(?,O(n^2))	5.27	*	MAYBE	6.48	*	WORST_CASE(?,O(n^3))	29.53	*	TIMEOUT	60.04
Der95/33	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.61	*	MAYBE	2.85	*	WORST_CASE(?,O(n^1))	17.87
Endrullis_06/direct	*	WORST_CASE(?,O(n^1))	3.10	*	WORST_CASE(?,O(n^1))	2.14	*	MAYBE	28.69	*	MAYBE	45.17	*	WORST_CASE(?,O(n^1))	3.48
Frederiksen_Glenstrup/ack	*	MAYBE	26.78	*	MAYBE	24.79	*	MAYBE	0.39	*	MAYBE	1.84	*	TIMEOUT	60.00
Frederiksen_Glenstrup/add	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	1.71
Frederiksen_Glenstrup/addlists	*	WORST_CASE(?,O(n^1))	1.99	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	1.51
Frederiksen_Glenstrup/anchored	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	1.29
Frederiksen_Glenstrup/append	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	1.77
Frederiksen_Glenstrup/assrewrite	*	MAYBE	55.03	*	MAYBE	55.03	*	MAYBE	3.26	*	MAYBE	49.10	*	TIMEOUT	60.06
Frederiksen_Glenstrup/badd	*	MAYBE	13.01	*	MAYBE	11.74	*	MAYBE	0.20	*	MAYBE	0.39	*	MAYBE	1.48
Frederiksen_Glenstrup/binom	*	MAYBE	55.07	*	MAYBE	55.10	*	MAYBE	0.72	*	MAYBE	1.37	*	MAYBE	1.67
Frederiksen_Glenstrup/decrease	*	WORST_CASE(?,O(n^1))	2.30	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	1.10	*	WORST_CASE(?,O(n^1))	1.40	*	WORST_CASE(?,O(n^1))	1.55
Frederiksen_Glenstrup/disjconj	*	MAYBE	50.63	*	MAYBE	47.57	*	MAYBE	2.14	*	MAYBE	3.95	*	MAYBE	3.30
Frederiksen_Glenstrup/duplicate	*	WORST_CASE(?,O(n^1))	1.49	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	8.86
Frederiksen_Glenstrup/equal	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.29	*	MAYBE	2.42	*	MAYBE	1.40
Frederiksen_Glenstrup/evenodd	*	WORST_CASE(?,O(n^1))	0.69	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	1.58
Frederiksen_Glenstrup/fold	*	WORST_CASE(?,O(n^1))	1.13	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	8.12
Frederiksen_Glenstrup/game	*	WORST_CASE(?,O(n^1))	1.01	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.53	*	WORST_CASE(?,O(n^1))	1.34
Frederiksen_Glenstrup/gcd	*	MAYBE	55.03	*	MAYBE	55.07	*	MAYBE	4.50	*	MAYBE	37.44	*	TIMEOUT	60.02
Frederiksen_Glenstrup/gcd2	*	MAYBE	55.07	*	MAYBE	55.08	*	MAYBE	3.60	*	MAYBE	44.97	*	TIMEOUT	60.00
Frederiksen_Glenstrup/increase	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.28	*	MAYBE	2.66	*	MAYBE	1.56
Frederiksen_Glenstrup/int	*	TIMEOUT	60.00	*	MAYBE	55.41	*	MAYBE	32.91	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Frederiksen_Glenstrup/intlookup	*	MAYBE	14.77	*	MAYBE	12.02	*	MAYBE	0.18	*	MAYBE	0.55	*	MAYBE	3.35
Frederiksen_Glenstrup/letexp	*	MAYBE	10.25	*	MAYBE	8.35	*	MAYBE	0.09	*	MAYBE	0.11	*	MAYBE	1.37
Frederiksen_Glenstrup/list	*	WORST_CASE(?,O(n^1))	1.50	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	1.86
Frederiksen_Glenstrup/lte	*	WORST_CASE(?,O(n^1))	0.98	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	9.10
Frederiksen_Glenstrup/map0	*	WORST_CASE(?,O(n^1))	1.57	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	13.76
Frederiksen_Glenstrup/member	*	WORST_CASE(?,O(n^1))	1.90	*	WORST_CASE(?,O(n^1))	0.69	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	9.89
Frederiksen_Glenstrup/mergelists	*	WORST_CASE(?,O(n^1))	1.54	*	WORST_CASE(?,O(n^1))	0.61	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	1.64	*	WORST_CASE(?,O(n^1))	10.09
Frederiksen_Glenstrup/mergesort	*	WORST_CASE(?,O(n^3))	37.99	*	WORST_CASE(?,O(n^3))	19.50	*	MAYBE	1.69	*	MAYBE	35.16	*	TIMEOUT	60.00
Frederiksen_Glenstrup/minsort	*	MAYBE	55.06	*	MAYBE	55.11	*	MAYBE	4.87	*	MAYBE	49.08	*	TIMEOUT	60.00
Frederiksen_Glenstrup/mul	*	WORST_CASE(?,O(n^3))	2.46	*	WORST_CASE(?,O(n^3))	1.71	*	MAYBE	0.19	*	MAYBE	0.50	*	WORST_CASE(?,O(n^3))	11.04
Frederiksen_Glenstrup/mul_better	*	WORST_CASE(?,O(n^3))	4.23	*	WORST_CASE(?,O(n^3))	1.93	*	MAYBE	0.39	*	MAYBE	0.65	*	WORST_CASE(?,O(n^3))	10.19
Frederiksen_Glenstrup/naiverev	*	WORST_CASE(?,O(n^2))	8.67	*	WORST_CASE(?,O(n^2))	7.83	*	MAYBE	0.37	*	WORST_CASE(?,O(n^2))	0.60	*	WORST_CASE(?,O(n^2))	7.23
Frederiksen_Glenstrup/nestdec	*	WORST_CASE(?,O(n^1))	6.01	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	2.63	*	WORST_CASE(?,O(n^1))	7.92	*	WORST_CASE(?,O(n^1))	10.21
Frederiksen_Glenstrup/nesteql	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.02	*	MAYBE	1.78	*	MAYBE	2.75
Frederiksen_Glenstrup/nestimeql	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.75	*	MAYBE	3.20	*	MAYBE	1.64
Frederiksen_Glenstrup/nestinc	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.83	*	MAYBE	1.62	*	MAYBE	1.81
Frederiksen_Glenstrup/nolexicord	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.02	*	TIMEOUT	60.06
Frederiksen_Glenstrup/ordered	*	WORST_CASE(?,O(n^1))	2.17	*	WORST_CASE(?,O(n^1))	0.77	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.78	*	WORST_CASE(?,O(n^1))	10.91
Frederiksen_Glenstrup/ordered_better	*	WORST_CASE(?,O(n^1))	2.84	*	WORST_CASE(?,O(n^1))	0.79	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.59	*	TIMEOUT	60.06
Frederiksen_Glenstrup/overlap	*	WORST_CASE(?,O(n^2))	4.06	*	WORST_CASE(?,O(n^2))	2.32	*	MAYBE	0.75	*	MAYBE	3.26	*	TIMEOUT	60.06
Frederiksen_Glenstrup/parsexp	*	MAYBE	55.07	*	MAYBE	55.19	*	MAYBE	5.27	*	MAYBE	35.86	*	MAYBE	3.03
Frederiksen_Glenstrup/permute	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.79	*	MAYBE	6.49	*	MAYBE	2.67
Frederiksen_Glenstrup/power	*	MAYBE	55.14	*	MAYBE	55.17	*	MAYBE	1.22	*	MAYBE	1.27	*	TIMEOUT	60.00
Frederiksen_Glenstrup/quicksort	*	MAYBE	56.05	*	MAYBE	55.18	*	MAYBE	3.49	*	MAYBE	48.93	*	TIMEOUT	60.00
Frederiksen_Glenstrup/revapp	*	WORST_CASE(?,O(n^1))	7.03	*	WORST_CASE(?,O(n^1))	7.01	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	1.28
Frederiksen_Glenstrup/select	*	WORST_CASE(?,O(n^2))	2.32	*	WORST_CASE(?,O(n^2))	0.91	*	MAYBE	0.61	*	MAYBE	1.28	*	TIMEOUT	60.06
Frederiksen_Glenstrup/shuffle	*	WORST_CASE(?,O(n^3))	24.91	*	WORST_CASE(?,O(n^3))	25.03	*	MAYBE	0.46	*	MAYBE	1.64	*	WORST_CASE(?,O(n^3))	5.39
Frederiksen_Glenstrup/sp1	*	MAYBE	21.15	*	MAYBE	21.55	*	MAYBE	0.18	*	MAYBE	1.54	*	MAYBE	2.15
Frederiksen_Glenstrup/subsets	*	MAYBE	55.06	*	MAYBE	55.07	*	MAYBE	0.47	*	MAYBE	1.21	*	TIMEOUT	60.01
Frederiksen_Glenstrup/thetrick	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	6.16	*	MAYBE	27.81	*	MAYBE	4.36
Frederiksen_Others/add	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	3.40
Frederiksen_Others/assrewriteSize	*	MAYBE	55.07	*	MAYBE	55.11	*	MAYBE	2.75	*	MAYBE	48.97	*	TIMEOUT	60.06
Frederiksen_Others/boolprog	*	WORST_CASE(?,O(n^1))	7.44	*	WORST_CASE(?,O(n^1))	1.81	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	1.25	*	WORST_CASE(?,O(n^1))	13.19
Frederiksen_Others/bubblesort	*	WORST_CASE(?,O(n^2))	25.04	*	WORST_CASE(?,O(n^2))	24.91	*	MAYBE	4.16	*	MAYBE	48.38	*	TIMEOUT	60.04
Frederiksen_Others/deadcodeSize	*	MAYBE	8.92	*	MAYBE	8.47	*	MAYBE	0.18	*	MAYBE	0.33	*	MAYBE	2.68
Frederiksen_Others/div2	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	1.78
Frederiksen_Others/eq	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	2.65
Frederiksen_Others/ex6	*	WORST_CASE(?,O(n^1))	0.68	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	1.96
Frederiksen_Others/fgh	*	MAYBE	14.70	*	MAYBE	13.13	*	MAYBE	0.76	*	MAYBE	6.39	*	MAYBE	1.58
Frederiksen_Others/fghSize	*	MAYBE	13.16	*	MAYBE	11.61	*	MAYBE	0.81	*	MAYBE	4.81	*	MAYBE	1.77
Frederiksen_Others/gexgcd	*	WORST_CASE(?,O(n^1))	25.16	*	WORST_CASE(?,O(n^1))	25.11	*	MAYBE	1.19	*	MAYBE	56.73	*	WORST_CASE(?,O(n^1))	14.01
Frederiksen_Others/gexgcd2	*	MAYBE	33.90	*	MAYBE	35.44	*	MAYBE	0.26	*	MAYBE	3.61	*	TIMEOUT	60.05
Frederiksen_Others/inssort	*	WORST_CASE(?,O(n^2))	25.03	*	WORST_CASE(?,O(n^2))	25.05	*	MAYBE	0.87	*	MAYBE	4.74	*	TIMEOUT	60.06
Frederiksen_Others/inssort_better	*	WORST_CASE(?,O(n^2))	25.04	*	WORST_CASE(?,O(n^2))	25.04	*	MAYBE	2.59	*	MAYBE	15.82	*	TIMEOUT	60.04
Frederiksen_Others/match	*	WORST_CASE(?,O(n^2))	5.24	*	WORST_CASE(?,O(n^2))	2.33	*	WORST_CASE(?,O(n^2))	1.36	*	WORST_CASE(?,O(n^2))	4.38	*	TIMEOUT	60.06
Frederiksen_Others/minsortSize	*	MAYBE	55.07	*	MAYBE	55.11	*	MAYBE	3.23	*	MAYBE	49.15	*	TIMEOUT	60.01
Frederiksen_Others/ocall-safe	*	WORST_CASE(?,O(n^1))	0.54	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	2.77
Frederiksen_Others/ocall-unsafe	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	1.78
Frederiksen_Others/oddeven	*	WORST_CASE(?,O(n^1))	0.34	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	19.36
Frederiksen_Others/permut	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	6.07
Frederiksen_Others/power	*	MAYBE	55.09	*	MAYBE	55.18	*	MAYBE	1.05	*	MAYBE	0.64	*	TIMEOUT	60.01
Frederiksen_Others/quicksortPtime	*	WORST_CASE(?,O(n^2))	20.82	*	WORST_CASE(?,O(n^2))	13.84	*	MAYBE	14.57	*	MAYBE	49.16	*	TIMEOUT	60.01
Frederiksen_Others/quicksortSize	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	4.98	*	MAYBE	49.07	*	TIMEOUT	60.00
Frederiksen_Others/reach	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.72	*	MAYBE	49.21	*	TIMEOUT	60.01
Frederiksen_Others/rematch	*	TIMEOUT	60.91	*	TIMEOUT	60.06	*	TIMEOUT	60.19	*	TIMEOUT	60.19	*	TIMEOUT	60.00
Frederiksen_Others/strmatch	*	WORST_CASE(?,O(n^2))	7.73	*	WORST_CASE(?,O(n^2))	3.03	*	WORST_CASE(?,O(n^2))	1.74	*	WORST_CASE(?,O(n^2))	22.79	*	TIMEOUT	60.04
Frederiksen_Others/thetrickSize	*	WORST_CASE(?,O(n^1))	5.13	*	WORST_CASE(?,O(n^1))	1.76	*	WORST_CASE(?,O(n^1))	1.66	*	WORST_CASE(?,O(n^1))	7.68	*	WORST_CASE(?,O(n^1))	7.97
GTSSK07/cade01	*	MAYBE	33.67	*	MAYBE	32.29	*	MAYBE	0.15	*	MAYBE	0.39	*	TIMEOUT	60.06
GTSSK07/cade03	*	MAYBE	36.73	*	MAYBE	34.96	*	MAYBE	0.18	*	MAYBE	0.54	*	TIMEOUT	60.06
GTSSK07/cade04t	*	MAYBE	19.55	*	MAYBE	18.98	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.06
GTSSK07/cade05t	*	MAYBE	55.12	*	MAYBE	55.09	*	MAYBE	0.73	*	MAYBE	0.75	*	TIMEOUT	60.00
GTSSK07/cade06	*	MAYBE	54.35	*	MAYBE	53.06	*	MAYBE	0.21	*	MAYBE	0.90	*	TIMEOUT	60.01
GTSSK07/cade07	*	MAYBE	38.21	*	MAYBE	37.69	*	MAYBE	0.22	*	MAYBE	1.32	*	TIMEOUT	60.06
GTSSK07/cade08	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.21	*	MAYBE	0.97	*	TIMEOUT	60.00
GTSSK07/cade09	*	MAYBE	55.29	*	MAYBE	55.09	*	MAYBE	1.07	*	MAYBE	0.64	*	TIMEOUT	60.06
GTSSK07/cade10	*	MAYBE	56.52	*	MAYBE	55.03	*	MAYBE	0.71	*	MAYBE	0.54	*	TIMEOUT	60.04
GTSSK07/cade11	*	MAYBE	55.02	*	MAYBE	55.16	*	MAYBE	0.52	*	MAYBE	0.32	*	TIMEOUT	60.02
GTSSK07/cade12t	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.85	*	MAYBE	0.68	*	TIMEOUT	60.00
GTSSK07/cade13t	*	MAYBE	38.87	*	MAYBE	36.35	*	MAYBE	0.28	*	MAYBE	0.91	*	TIMEOUT	60.06
GTSSK07/cade14	*	MAYBE	55.04	*	MAYBE	55.10	*	MAYBE	0.29	*	MAYBE	2.08	*	TIMEOUT	60.03
GTSSK07/cade15	*	MAYBE	55.16	*	MAYBE	55.74	*	MAYBE	2.36	*	MAYBE	3.80	*	MAYBE	0.95
GTSSK07/cade16	*	MAYBE	55.03	*	MAYBE	54.75	*	MAYBE	0.55	*	MAYBE	0.85	*	TIMEOUT	60.00
GTSSK07/cade17	*	MAYBE	55.37	*	MAYBE	55.24	*	MAYBE	2.20	*	MAYBE	3.24	*	TIMEOUT	60.00
HirokawaMiddeldorp_04/n002	*	MAYBE	7.08	*	MAYBE	7.01	*	MAYBE	0.02	*	MAYBE	0.03	*	MAYBE	1.10
HirokawaMiddeldorp_04/n003	*	MAYBE	7.02	*	MAYBE	7.01	*	MAYBE	0.03	*	MAYBE	0.05	*	MAYBE	0.76
HirokawaMiddeldorp_04/n004	*	MAYBE	7.02	*	MAYBE	7.01	*	MAYBE	0.03	*	MAYBE	0.04	*	MAYBE	0.73
HirokawaMiddeldorp_04/n005	*	MAYBE	7.02	*	MAYBE	7.02	*	MAYBE	0.03	*	MAYBE	0.03	*	MAYBE	1.11
HirokawaMiddeldorp_04/n006	*	MAYBE	9.60	*	MAYBE	9.87	*	MAYBE	0.05	*	MAYBE	0.07	*	MAYBE	0.70
HirokawaMiddeldorp_04/n007	*	MAYBE	12.52	*	MAYBE	12.11	*	MAYBE	0.05	*	MAYBE	0.08	*	MAYBE	0.72
HirokawaMiddeldorp_04/t001	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.88	*	MAYBE	2.20	*	TIMEOUT	60.02
HirokawaMiddeldorp_04/t002	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.46	*	MAYBE	1.10	*	TIMEOUT	60.04
HirokawaMiddeldorp_04/t003	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.39	*	MAYBE	1.96	*	TIMEOUT	60.06
HirokawaMiddeldorp_04/t004	*	MAYBE	55.03	*	MAYBE	55.04	*	MAYBE	0.36	*	MAYBE	1.56	*	MAYBE	1.01
HirokawaMiddeldorp_04/t009	*	MAYBE	55.12	*	MAYBE	55.23	*	MAYBE	6.44	*	TIMEOUT	60.06	*	TIMEOUT	60.06
HirokawaMiddeldorp_04/t011	*	WORST_CASE(?,O(n^1))	7.01	*	WORST_CASE(?,O(n^1))	7.01	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	1.44
HirokawaMiddeldorp_04/t012	*	MAYBE	33.17	*	MAYBE	31.17	*	MAYBE	0.51	*	MAYBE	1.93	*	TIMEOUT	60.01
HirokawaMiddeldorp_04/t013	*	MAYBE	47.81	*	MAYBE	46.94	*	MAYBE	0.28	*	MAYBE	1.65	*	TIMEOUT	60.00
HirokawaMiddeldorp_04/t014	*	WORST_CASE(?,O(n^2))	3.15	*	WORST_CASE(?,O(n^2))	1.58	*	WORST_CASE(?,O(n^2))	0.20	*	WORST_CASE(?,O(n^2))	0.36	*	TIMEOUT	60.00
Mixed_TRS/Ex1_Luc04b_GM	*	MAYBE	55.08	*	MAYBE	55.09	*	MAYBE	1.47	*	MAYBE	31.71	*	TIMEOUT	60.00
Mixed_TRS/fossacs	*	MAYBE	55.06	*	MAYBE	55.10	*	MAYBE	2.02	*	MAYBE	3.11	*	TIMEOUT	60.00
Mixed_TRS/gcd	*	MAYBE	55.07	*	MAYBE	55.10	*	MAYBE	1.59	*	MAYBE	9.05	*	TIMEOUT	60.00
Mixed_TRS/gcdMinMax	*	MAYBE	53.06	*	MAYBE	53.06	*	MAYBE	0.84	*	MAYBE	1.34	*	TIMEOUT	60.00
Mixed_TRS/gcd_triple	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.73	*	MAYBE	13.19	*	TIMEOUT	60.00
Mixed_TRS/hydra	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	1.66
Mixed_TRS/hydra-Zantema06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.42	*	MAYBE	2.73	*	WORST_CASE(?,O(n^1))	9.67
Mixed_TRS/jones1	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	1.29
Mixed_TRS/jones2	*	WORST_CASE(?,O(n^1))	0.90	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	6.37
Mixed_TRS/jones4	*	WORST_CASE(?,O(n^1))	1.09	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.89
Mixed_TRS/jones5	*	MAYBE	26.47	*	MAYBE	25.76	*	MAYBE	0.22	*	MAYBE	0.68	*	TIMEOUT	60.06
Mixed_TRS/jones6	*	WORST_CASE(?,O(n^1))	0.78	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	1.32
Mixed_TRS/minsort	*	MAYBE	53.69	*	MAYBE	53.09	*	MAYBE	0.56	*	MAYBE	1.90	*	MAYBE	1.94
Mixed_TRS/perfect	*	WORST_CASE(?,O(n^1))	1.89	*	WORST_CASE(?,O(n^1))	0.36	*	MAYBE	0.36	*	MAYBE	1.27	*	WORST_CASE(?,O(n^1))	8.05
Mixed_TRS/perfect2	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.42	*	MAYBE	2.31	*	MAYBE	1.22
Mixed_TRS/test1	*	MAYBE	9.77	*	MAYBE	9.36	*	MAYBE	0.17	*	MAYBE	0.36	*	TIMEOUT	60.06
Mixed_TRS/while	*	MAYBE	17.19	*	MAYBE	16.78	*	MAYBE	0.13	*	MAYBE	0.21	*	TIMEOUT	60.06
Rubio_04/bintrees	*	WORST_CASE(?,O(n^1))	2.05	*	WORST_CASE(?,O(n^1))	1.17	*	WORST_CASE(?,O(n^2))	0.40	*	WORST_CASE(?,O(n^2))	1.01	*	WORST_CASE(?,O(n^1))	0.74
Rubio_04/bn122	*	WORST_CASE(?,O(n^1))	0.54	*	WORST_CASE(?,O(n^1))	0.22	*	MAYBE	0.10	*	MAYBE	0.12	*	WORST_CASE(?,O(n^1))	5.48
Rubio_04/division	*	WORST_CASE(?,O(n^3))	9.21	*	WORST_CASE(?,O(n^3))	6.19	*	MAYBE	0.61	*	MAYBE	48.24	*	TIMEOUT	60.05
Rubio_04/elimdupl	*	WORST_CASE(?,O(n^2))	17.46	*	WORST_CASE(?,O(n^2))	14.35	*	MAYBE	2.88	*	WORST_CASE(?,O(n^3))	29.77	*	TIMEOUT	60.02
Rubio_04/enno	*	WORST_CASE(?,O(n^2))	25.08	*	WORST_CASE(?,O(n^2))	25.07	*	MAYBE	1.55	*	MAYBE	48.49	*	TIMEOUT	60.03
Rubio_04/gcd	*	WORST_CASE(?,O(n^2))	9.34	*	WORST_CASE(?,O(n^2))	6.62	*	MAYBE	1.45	*	MAYBE	5.24	*	TIMEOUT	60.05
Rubio_04/gm	*	WORST_CASE(?,O(n^1))	1.13	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.14	*	TIMEOUT	60.01
Rubio_04/gmnp	*	WORST_CASE(?,O(n^1))	1.83	*	WORST_CASE(?,O(n^1))	1.12	*	MAYBE	0.15	*	MAYBE	0.80	*	WORST_CASE(?,O(n^1))	0.96
Rubio_04/koen	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.07	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	0.68
Rubio_04/logarquot	*	WORST_CASE(?,O(n^2))	3.78	*	WORST_CASE(?,O(n^2))	1.98	*	MAYBE	2.47	*	WORST_CASE(?,O(n^2))	0.93	*	TIMEOUT	60.06
Rubio_04/ma96	*	MAYBE	58.27	*	TIMEOUT	60.58	*	MAYBE	11.48	*	MAYBE	46.84	*	TIMEOUT	60.01
Rubio_04/mfp95	*	WORST_CASE(?,O(1))	0.10	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(1))	0.70
Rubio_04/nestrec	*	MAYBE	56.26	*	MAYBE	55.19	*	MAYBE	0.32	*	MAYBE	5.73	*	MAYBE	1.17
Rubio_04/p266	*	WORST_CASE(?,O(1))	0.68	*	WORST_CASE(?,O(1))	0.37	*	MAYBE	0.11	*	MAYBE	0.13	*	WORST_CASE(?,O(1))	0.73
Rubio_04/polo2	*	WORST_CASE(?,O(n^1))	7.52	*	WORST_CASE(?,O(n^1))	3.31	*	WORST_CASE(?,O(n^1))	1.58	*	WORST_CASE(?,O(n^1))	49.15	*	WORST_CASE(?,O(n^1))	6.22
Rubio_04/prov	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	5.21
Rubio_04/quick	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.24	*	MAYBE	44.32	*	TIMEOUT	60.00
Rubio_04/quotminus	*	MAYBE	25.26	*	MAYBE	24.14	*	MAYBE	0.27	*	MAYBE	0.55	*	TIMEOUT	60.06
Rubio_04/revlist	*	MAYBE	55.03	*	MAYBE	55.04	*	MAYBE	1.64	*	MAYBE	48.44	*	TIMEOUT	60.00
Rubio_04/selsort	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	16.15	*	MAYBE	50.05	*	TIMEOUT	60.00
Rubio_04/test4	*	WORST_CASE(?,O(n^1))	3.07	*	WORST_CASE(?,O(n^1))	2.52	*	MAYBE	0.13	*	MAYBE	0.46	*	WORST_CASE(?,O(n^1))	1.11
Rubio_04/test829	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.76
Rubio_04/wst99	*	WORST_CASE(?,O(n^2))	18.50	*	WORST_CASE(?,O(n^2))	14.95	*	MAYBE	2.82	*	MAYBE	49.02	*	TIMEOUT	60.05
SK90/2.02	*	WORST_CASE(?,O(n^1))	55.04	*	WORST_CASE(?,O(n^1))	55.03	*	MAYBE	0.38	*	MAYBE	0.16	*	WORST_CASE(?,O(n^1))	1.03
SK90/2.03	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.10	*	MAYBE	0.23	*	MAYBE	0.22	*	WORST_CASE(?,O(n^1))	0.99
SK90/2.07	*	WORST_CASE(?,O(n^1))	1.53	*	WORST_CASE(?,O(n^1))	0.63	*	MAYBE	0.46	*	MAYBE	0.44	*	WORST_CASE(?,O(n^1))	6.06
SK90/2.09	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.69
SK90/2.11	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.73
SK90/2.12	*	WORST_CASE(?,O(n^3))	4.73	*	WORST_CASE(?,O(n^3))	3.47	*	MAYBE	0.30	*	MAYBE	1.26	*	WORST_CASE(?,O(n^3))	5.95
SK90/2.13	*	WORST_CASE(?,O(n^1))	0.90	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	6.36
SK90/2.14	*	WORST_CASE(?,O(n^1))	1.05	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.99
SK90/2.15	*	MAYBE	55.02	*	MAYBE	55.03	*	MAYBE	0.14	*	MAYBE	0.46	*	MAYBE	0.67
SK90/2.16	*	WORST_CASE(?,O(n^2))	1.97	*	WORST_CASE(?,O(n^2))	1.05	*	WORST_CASE(?,O(n^2))	0.25	*	WORST_CASE(?,O(n^2))	0.36	*	WORST_CASE(?,O(n^2))	7.52
SK90/2.17	*	WORST_CASE(?,O(n^1))	0.68	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	10.07
SK90/2.18	*	WORST_CASE(?,O(n^2))	1.69	*	WORST_CASE(?,O(n^2))	0.76	*	WORST_CASE(?,O(n^2))	0.38	*	WORST_CASE(?,O(n^2))	0.28	*	TIMEOUT	60.06
SK90/2.19	*	WORST_CASE(?,O(n^2))	2.78	*	WORST_CASE(?,O(n^2))	1.56	*	WORST_CASE(?,O(n^2))	0.25	*	WORST_CASE(?,O(n^2))	0.53	*	WORST_CASE(?,O(n^2))	6.48
SK90/2.20	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	5.55
SK90/2.21	*	MAYBE	36.10	*	MAYBE	35.81	*	MAYBE	0.16	*	MAYBE	0.43	*	MAYBE	0.68
SK90/2.22	*	WORST_CASE(?,O(n^2))	1.79	*	WORST_CASE(?,O(n^2))	0.81	*	MAYBE	0.21	*	MAYBE	0.38	*	TIMEOUT	60.04
SK90/2.23	*	MAYBE	35.20	*	MAYBE	32.61	*	MAYBE	0.26	*	MAYBE	0.64	*	TIMEOUT	60.01
SK90/2.24	*	MAYBE	55.08	*	MAYBE	54.94	*	MAYBE	0.63	*	MAYBE	0.40	*	MAYBE	0.68
SK90/2.25	*	MAYBE	55.09	*	MAYBE	55.17	*	MAYBE	0.93	*	MAYBE	0.60	*	MAYBE	0.71
SK90/2.26	*	MAYBE	55.12	*	MAYBE	55.22	*	MAYBE	2.20	*	MAYBE	3.13	*	MAYBE	1.78
SK90/2.27	*	MAYBE	55.05	*	MAYBE	55.06	*	MAYBE	1.14	*	MAYBE	2.18	*	TIMEOUT	60.00
SK90/2.28	*	MAYBE	32.60	*	MAYBE	35.60	*	MAYBE	0.10	*	MAYBE	0.19	*	TIMEOUT	60.00
SK90/2.29	*	WORST_CASE(?,O(n^1))	1.10	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	3.32
SK90/2.30	*	WORST_CASE(?,O(1))	0.34	*	WORST_CASE(?,O(1))	0.14	*	WORST_CASE(?,O(1))	0.11	*	WORST_CASE(?,O(1))	0.19	*	WORST_CASE(?,O(1))	0.70
SK90/2.31	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.75
SK90/2.36	*	WORST_CASE(?,O(n^1))	7.02	*	WORST_CASE(?,O(n^1))	7.02	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.73
SK90/2.37	*	WORST_CASE(?,O(1))	0.18	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(1))	0.72
SK90/2.38	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	0.15	*	MAYBE	0.15	*	MAYBE	0.17	*	WORST_CASE(?,O(n^1))	0.87
SK90/2.39	*	WORST_CASE(?,O(n^2))	7.03	*	WORST_CASE(?,O(n^2))	7.03	*	MAYBE	0.53	*	MAYBE	0.67	*	WORST_CASE(?,O(n^2))	2.56
SK90/2.40	*	WORST_CASE(?,O(n^1))	0.83	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	6.24
SK90/2.41	*	WORST_CASE(?,O(n^1))	0.75	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.87
SK90/2.42	*	WORST_CASE(?,O(n^1))	3.30	*	WORST_CASE(?,O(n^1))	2.36	*	MAYBE	0.23	*	MAYBE	0.28	*	WORST_CASE(?,O(n^1))	7.22
SK90/2.43	*	MAYBE	29.82	*	MAYBE	31.48	*	MAYBE	0.54	*	MAYBE	1.26	*	MAYBE	0.67
SK90/2.44	*	WORST_CASE(?,O(n^1))	2.22	*	WORST_CASE(?,O(n^1))	1.05	*	MAYBE	0.74	*	MAYBE	5.85	*	WORST_CASE(?,O(n^1))	4.30
SK90/2.45	*	WORST_CASE(?,O(n^1))	1.01	*	WORST_CASE(?,O(n^1))	0.34	*	MAYBE	0.39	*	MAYBE	0.81	*	WORST_CASE(?,O(n^1))	3.09
SK90/2.47	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.97
SK90/2.48	*	WORST_CASE(?,O(1))	0.28	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.83
SK90/2.49	*	WORST_CASE(?,O(1))	1.54	*	WORST_CASE(?,O(1))	0.35	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.19	*	WORST_CASE(?,O(1))	0.71
SK90/2.50	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.96
SK90/2.51	*	MAYBE	14.34	*	MAYBE	13.81	*	MAYBE	0.21	*	MAYBE	0.75	*	TIMEOUT	60.00
SK90/2.52	*	MAYBE	55.18	*	MAYBE	55.40	*	MAYBE	2.31	*	MAYBE	20.56	*	TIMEOUT	60.00
SK90/2.53	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.71
SK90/2.54	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.71
SK90/2.55	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.08	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	4.41
SK90/2.59	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.04	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	0.66
SK90/2.61	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.65	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.03
SK90/4.05	*	WORST_CASE(?,O(n^2))	0.74	*	WORST_CASE(?,O(n^2))	0.57	*	MAYBE	0.32	*	MAYBE	1.69	*	TIMEOUT	60.04
SK90/4.06	*	MAYBE	32.67	*	MAYBE	31.61	*	MAYBE	0.23	*	MAYBE	0.24	*	MAYBE	0.71
SK90/4.07	*	WORST_CASE(?,O(1))	0.12	*	WORST_CASE(?,O(1))	0.06	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	0.72
SK90/4.09	*	WORST_CASE(?,O(1))	0.55	*	WORST_CASE(?,O(1))	0.56	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	0.67
SK90/4.10	*	WORST_CASE(?,O(n^2))	3.49	*	WORST_CASE(?,O(n^2))	0.80	*	MAYBE	0.31	*	MAYBE	0.22	*	TIMEOUT	60.06
SK90/4.12	*	WORST_CASE(?,O(n^1))	7.01	*	WORST_CASE(?,O(n^1))	7.01	*	MAYBE	1.05	*	WORST_CASE(?,O(n^2))	0.44	*	WORST_CASE(?,O(n^1))	0.72
SK90/4.13	*	WORST_CASE(?,O(n^2))	1.23	*	WORST_CASE(?,O(n^2))	2.83	*	WORST_CASE(?,O(n^2))	0.28	*	WORST_CASE(?,O(n^2))	0.24	*	WORST_CASE(?,O(n^1))	5.12
SK90/4.16	*	WORST_CASE(?,O(n^1))	0.84	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.94	*	WORST_CASE(?,O(n^1))	1.38
SK90/4.17	*	WORST_CASE(?,O(n^2))	14.51	*	WORST_CASE(?,O(n^2))	12.81	*	MAYBE	2.61	*	WORST_CASE(?,O(n^3))	1.22	*	TIMEOUT	60.06
SK90/4.18	*	WORST_CASE(?,O(1))	0.26	*	WORST_CASE(?,O(1))	0.06	*	MAYBE	0.44	*	MAYBE	0.94	*	WORST_CASE(?,O(1))	0.71
SK90/4.22	*	MAYBE	55.05	*	MAYBE	55.07	*	MAYBE	0.47	*	MAYBE	2.04	*	WORST_CASE(?,O(n^1))	6.27
SK90/4.24	*	MAYBE	55.05	*	MAYBE	55.03	*	MAYBE	0.96	*	MAYBE	46.93	*	TIMEOUT	60.00
SK90/4.25	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.07	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	4.39
SK90/4.26	*	WORST_CASE(?,O(n^1))	2.87	*	WORST_CASE(?,O(n^1))	1.83	*	MAYBE	0.23	*	MAYBE	0.21	*	WORST_CASE(?,O(n^1))	5.69
SK90/4.27	*	MAYBE	55.08	*	MAYBE	55.10	*	MAYBE	0.55	*	MAYBE	1.25	*	TIMEOUT	60.00
SK90/4.28	*	WORST_CASE(?,O(n^1))	0.73	*	WORST_CASE(?,O(n^1))	0.63	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	5.56
SK90/4.29	*	WORST_CASE(?,O(n^1))	0.86	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	0.70
SK90/4.30	*	WORST_CASE(?,O(n^1))	3.10	*	WORST_CASE(?,O(n^1))	1.88	*	MAYBE	0.88	*	MAYBE	5.50	*	WORST_CASE(?,O(n^1))	0.70
SK90/4.31	*	MAYBE	30.76	*	MAYBE	29.63	*	MAYBE	0.27	*	MAYBE	0.78	*	MAYBE	0.68
SK90/4.34	*	MAYBE	55.05	*	MAYBE	55.06	*	MAYBE	0.13	*	MAYBE	0.43	*	MAYBE	0.68
SK90/4.35	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.02	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(1))	0.68
SK90/4.38	*	WORST_CASE(?,O(n^1))	0.70	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.91
SK90/4.42	*	MAYBE	13.35	*	MAYBE	12.04	*	MAYBE	0.22	*	MAYBE	1.24	*	TIMEOUT	60.01
SK90/4.43	*	WORST_CASE(?,O(n^3))	7.04	*	WORST_CASE(?,O(n^3))	7.09	*	MAYBE	0.70	*	MAYBE	0.57	*	TIMEOUT	60.06
SK90/4.45	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.12	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	5.20
SK90/4.47	*	WORST_CASE(?,O(1))	0.22	*	WORST_CASE(?,O(1))	0.07	*	MAYBE	0.58	*	MAYBE	3.23	*	WORST_CASE(?,O(1))	1.41
SK90/4.48	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.14	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	0.72
SK90/4.51	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.46	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	1.03
SK90/4.53	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	0.58	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	6.74
SK90/4.54	*	MAYBE	44.68	*	MAYBE	43.99	*	MAYBE	0.18	*	MAYBE	1.06	*	MAYBE	0.67
SK90/4.57	*	WORST_CASE(?,O(1))	25.04	*	WORST_CASE(?,O(1))	25.03	*	MAYBE	0.16	*	MAYBE	0.93	*	WORST_CASE(?,O(1))	1.89
SK90/4.59	*	MAYBE	43.92	*	MAYBE	38.17	*	MAYBE	0.40	*	MAYBE	1.96	*	MAYBE	0.70
SK90/4.60	*	MAYBE	55.07	*	MAYBE	55.12	*	MAYBE	0.78	*	MAYBE	1.12	*	MAYBE	0.71
SK90/4.61	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	5.63	*	MAYBE	16.11	*	MAYBE	0.67
Secret_05_TRS/aprove2	*	MAYBE	55.02	*	MAYBE	55.07	*	MAYBE	0.27	*	MAYBE	1.15	*	TIMEOUT	60.06
Secret_05_TRS/aprove3	*	MAYBE	41.85	*	MAYBE	40.82	*	MAYBE	0.37	*	MAYBE	1.94	*	TIMEOUT	60.01
Secret_05_TRS/aprove4	*	MAYBE	33.13	*	MAYBE	30.86	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.06
Secret_05_TRS/aprove5	*	MAYBE	55.09	*	MAYBE	55.16	*	MAYBE	1.21	*	MAYBE	14.27	*	TIMEOUT	60.00
Secret_05_TRS/cime2	*	WORST_CASE(?,O(n^1))	3.41	*	WORST_CASE(?,O(n^1))	2.11	*	MAYBE	1.08	*	MAYBE	0.97	*	WORST_CASE(?,O(n^1))	9.10
Secret_05_TRS/cime3	*	MAYBE	55.10	*	MAYBE	55.11	*	TRS is not left-linear	0.06	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
Secret_05_TRS/cime4	*	WORST_CASE(?,O(1))	1.65	*	WORST_CASE(?,O(1))	0.78	*	MAYBE	0.31	*	MAYBE	0.19	*	WORST_CASE(?,O(1))	1.26
Secret_05_TRS/cime5	*	TIMEOUT	60.06	*	TIMEOUT	60.12	*	TRS is not left-linear	0.32	*	TRS is not left-linear	0.01	*	TIMEOUT	60.01
Secret_05_TRS/tpa1	*	MAYBE	55.08	*	MAYBE	55.05	*	MAYBE	0.89	*	MAYBE	1.11	*	TIMEOUT	60.00
Secret_05_TRS/tpa2	*	WORST_CASE(?,O(n^2))	53.09	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^2))	0.32	*	WORST_CASE(?,O(n^2))	1.37	*	TIMEOUT	60.03
Secret_05_TRS/tpa3	*	MAYBE	55.28	*	MAYBE	55.13	*	MAYBE	0.39	*	MAYBE	0.68	*	TIMEOUT	60.00
Secret_05_TRS/tpa4	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.43	*	MAYBE	0.82	*	TIMEOUT	60.00
Secret_05_TRS/tpa5	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.56	*	MAYBE	12.40	*	TIMEOUT	60.00
Secret_05_TRS/ttt1	*	WORST_CASE(?,O(1))	7.76	*	WORST_CASE(?,O(1))	5.29	*	MAYBE	1.04	*	MAYBE	0.27	*	WORST_CASE(?,O(1))	0.99
Secret_05_TRS/ttt2	*	MAYBE	10.47	*	MAYBE	10.30	*	MAYBE	0.06	*	MAYBE	0.10	*	MAYBE	1.02
Secret_06_TRS/10	*	WORST_CASE(?,O(1))	25.06	*	WORST_CASE(?,O(1))	25.04	*	MAYBE	0.48	*	MAYBE	0.49	*	WORST_CASE(?,O(1))	1.97
Secret_06_TRS/4	*	WORST_CASE(?,O(n^1))	55.06	*	WORST_CASE(?,O(n^1))	55.06	*	MAYBE	0.60	*	MAYBE	0.30	*	WORST_CASE(?,O(1))	2.14
Secret_06_TRS/6	*	WORST_CASE(?,O(1))	4.08	*	WORST_CASE(?,O(1))	1.82	*	MAYBE	0.51	*	MAYBE	0.19	*	WORST_CASE(?,O(1))	1.55
Secret_06_TRS/addList	*	MAYBE	55.12	*	MAYBE	55.11	*	MAYBE	3.21	*	MAYBE	9.82	*	TIMEOUT	60.02
Secret_06_TRS/divExp	*	MAYBE	53.17	*	MAYBE	53.11	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
Secret_06_TRS/division	*	MAYBE	55.19	*	MAYBE	55.13	*	MAYBE	0.84	*	MAYBE	1.04	*	TIMEOUT	60.00
Secret_06_TRS/double	*	MAYBE	55.68	*	MAYBE	55.38	*	MAYBE	1.64	*	MAYBE	3.82	*	TIMEOUT	60.00
Secret_06_TRS/gen-1	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.40	*	MAYBE	0.80	*	WORST_CASE(?,O(1))	1.32
Secret_06_TRS/gen-17	*	WORST_CASE(?,O(1))	16.31	*	WORST_CASE(?,O(1))	25.20	*	MAYBE	1.10	*	MAYBE	1.01	*	WORST_CASE(?,O(1))	0.96
Secret_06_TRS/gen-28	*	MAYBE	20.94	*	MAYBE	19.85	*	MAYBE	0.16	*	MAYBE	0.15	*	WORST_CASE(?,O(1))	1.11
Secret_06_TRS/logarithm	*	MAYBE	55.07	*	MAYBE	55.13	*	MAYBE	0.78	*	MAYBE	1.56	*	TIMEOUT	60.01
Secret_06_TRS/nrOfNodes	*	MAYBE	55.07	*	MAYBE	54.10	*	MAYBE	0.83	*	MAYBE	3.59	*	TIMEOUT	60.00
Secret_06_TRS/reverse	*	MAYBE	55.81	*	MAYBE	55.24	*	MAYBE	1.67	*	MAYBE	12.88	*	TIMEOUT	60.00
Secret_06_TRS/sumList	*	MAYBE	55.07	*	MAYBE	55.13	*	MAYBE	1.07	*	MAYBE	2.99	*	TIMEOUT	60.01
Secret_06_TRS/times	*	MAYBE	41.54	*	MAYBE	45.78	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
Secret_06_TRS/toList	*	MAYBE	56.12	*	MAYBE	55.63	*	MAYBE	1.86	*	MAYBE	6.49	*	TIMEOUT	60.01
Secret_06_TRS/tpa04	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.65	*	MAYBE	9.97	*	TIMEOUT	60.00
Secret_06_TRS/tpa05	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.14	*	MAYBE	0.92	*	TIMEOUT	60.00
Secret_06_TRS/tpa06	*	MAYBE	55.13	*	MAYBE	55.13	*	MAYBE	1.99	*	MAYBE	4.12	*	TIMEOUT	60.00
Secret_06_TRS/tpa07	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.49	*	MAYBE	0.70	*	TIMEOUT	60.01
Secret_06_TRS/tpa08	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	5.12	*	MAYBE	0.87	*	TIMEOUT	60.01
Secret_06_TRS/tpa09	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.26	*	MAYBE	1.60	*	TIMEOUT	60.01
Secret_06_TRS/tpa10	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.66	*	MAYBE	1.08	*	TIMEOUT	60.00
Secret_07_TRS/3	*	TIMEOUT	60.12	*	TIMEOUT	60.06	*	TRS is not left-linear	0.13	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	2.95
Secret_07_TRS/aprove01	*	MAYBE	55.14	*	MAYBE	55.09	*	MAYBE	1.29	*	MAYBE	7.49	*	TIMEOUT	60.01
Secret_07_TRS/aprove02	*	MAYBE	56.24	*	MAYBE	55.22	*	MAYBE	2.92	*	MAYBE	3.56	*	TIMEOUT	60.00
Secret_07_TRS/aprove03	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.14	*	MAYBE	41.77	*	TIMEOUT	60.00
Secret_07_TRS/aprove04	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.11	*	MAYBE	3.97	*	TIMEOUT	60.00
Secret_07_TRS/aprove05	*	MAYBE	55.14	*	MAYBE	55.17	*	MAYBE	2.90	*	MAYBE	1.50	*	TIMEOUT	60.01
Secret_07_TRS/aprove06	*	MAYBE	57.58	*	MAYBE	55.74	*	MAYBE	4.03	*	MAYBE	6.09	*	TIMEOUT	60.00
Secret_07_TRS/aprove07	*	MAYBE	55.18	*	MAYBE	55.18	*	MAYBE	2.29	*	MAYBE	1.30	*	TIMEOUT	60.00
Secret_07_TRS/aprove08	*	MAYBE	55.13	*	MAYBE	55.13	*	MAYBE	0.44	*	MAYBE	14.22	*	TIMEOUT	60.00
Secret_07_TRS/aprove09	*	MAYBE	55.07	*	MAYBE	55.08	*	MAYBE	1.21	*	MAYBE	2.55	*	TIMEOUT	60.01
Secret_07_TRS/aprove10	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.47	*	MAYBE	2.49	*	TIMEOUT	60.00
Secret_07_TRS/secret1	*	MAYBE	56.62	*	MAYBE	55.63	*	MAYBE	2.80	*	MAYBE	50.51	*	WORST_CASE(?,O(n^1))	21.25
Secret_07_TRS/secret3	*	MAYBE	55.09	*	MAYBE	55.10	*	MAYBE	0.99	*	MAYBE	2.16	*	TIMEOUT	60.06
Secret_07_TRS/secret4	*	MAYBE	53.34	*	MAYBE	53.07	*	MAYBE	0.97	*	MAYBE	2.23	*	TIMEOUT	60.06
Secret_07_TRS/secret5	*	WORST_CASE(?,O(n^1))	25.07	*	WORST_CASE(?,O(n^1))	25.03	*	MAYBE	0.63	*	MAYBE	4.67	*	WORST_CASE(?,O(n^1))	8.72
Strategy_removed_AG01/#4.14	*	WORST_CASE(?,O(n^1))	12.49	*	WORST_CASE(?,O(n^1))	11.45	*	MAYBE	0.11	*	MAYBE	0.24	*	WORST_CASE(?,O(n^1))	12.09
Strategy_removed_AG01/#4.16	*	WORST_CASE(?,O(n^1))	0.72	*	WORST_CASE(?,O(n^1))	0.50	*	MAYBE	0.08	*	MAYBE	0.14	*	WORST_CASE(?,O(n^1))	13.21
Strategy_removed_AG01/#4.17	*	WORST_CASE(?,O(n^1))	25.01	*	WORST_CASE(?,O(n^1))	25.02	*	MAYBE	0.34	*	MAYBE	0.55	*	WORST_CASE(?,O(n^1))	15.24
Strategy_removed_AG01/#4.19	*	MAYBE	10.93	*	MAYBE	10.98	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	43.23
Strategy_removed_AG01/#4.2	*	WORST_CASE(?,O(n^1))	25.03	*	WORST_CASE(?,O(n^1))	25.03	*	MAYBE	0.13	*	MAYBE	0.24	*	WORST_CASE(?,O(n^1))	14.94
Strategy_removed_AG01/#4.20a	*	WORST_CASE(?,O(n^1))	0.99	*	WORST_CASE(?,O(n^1))	0.38	*	MAYBE	0.16	*	MAYBE	0.24	*	WORST_CASE(?,O(n^1))	17.25
Strategy_removed_AG01/#4.22	*	WORST_CASE(?,O(n^1))	39.17	*	WORST_CASE(?,O(n^1))	40.13	*	MAYBE	0.26	*	MAYBE	0.62	*	WORST_CASE(?,O(n^1))	18.10
Strategy_removed_AG01/#4.23	*	MAYBE	55.03	*	MAYBE	55.06	*	MAYBE	0.33	*	MAYBE	0.74	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.25	*	MAYBE	7.74	*	MAYBE	7.77	*	TRS is not left-linear	0.24	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	1.92
Strategy_removed_AG01/#4.26	*	MAYBE	27.37	*	MAYBE	25.63	*	MAYBE	0.16	*	MAYBE	0.51	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.27	*	WORST_CASE(?,O(n^2))	2.71	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^2))	0.12	*	WORST_CASE(?,O(n^2))	0.34	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.28	*	WORST_CASE(?,O(n^1))	7.82	*	WORST_CASE(?,O(n^1))	7.17	*	WORST_CASE(?,O(n^1))	2.46	*	WORST_CASE(?,O(n^1))	0.20	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.29	*	MAYBE	56.26	*	MAYBE	55.49	*	MAYBE	2.15	*	MAYBE	8.61	*	TIMEOUT	60.01
Strategy_removed_AG01/#4.30	*	MAYBE	55.01	*	MAYBE	55.07	*	MAYBE	0.79	*	MAYBE	0.81	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.30a	*	MAYBE	17.91	*	MAYBE	16.89	*	MAYBE	0.47	*	MAYBE	0.89	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.30b	*	MAYBE	55.92	*	MAYBE	55.33	*	MAYBE	1.21	*	MAYBE	2.49	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.30c	*	MAYBE	56.01	*	MAYBE	55.07	*	MAYBE	1.79	*	MAYBE	4.63	*	TIMEOUT	60.06
Strategy_removed_AG01/#4.32	*	WORST_CASE(?,O(n^2))	1.25	*	WORST_CASE(?,O(n^2))	0.89	*	WORST_CASE(?,O(n^2))	0.18	*	WORST_CASE(?,O(n^2))	0.56	*	WORST_CASE(?,O(n^1))	9.37
Strategy_removed_AG01/#4.33	*	WORST_CASE(?,O(n^3))	13.35	*	WORST_CASE(?,O(n^3))	11.14	*	MAYBE	8.78	*	MAYBE	24.25	*	TIMEOUT	60.00
Strategy_removed_AG01/#4.34	*	WORST_CASE(?,O(n^1))	2.27	*	WORST_CASE(?,O(n^1))	1.03	*	WORST_CASE(?,O(n^2))	0.26	*	WORST_CASE(?,O(n^2))	0.63	*	TIMEOUT	60.00
Strategy_removed_AG01/#4.35	*	TIMEOUT	62.54	*	TIMEOUT	62.07	*	TRS is not left-linear	2.50	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
Strategy_removed_AG01/#4.36	*	WORST_CASE(?,O(n^2))	49.01	*	WORST_CASE(?,O(n^2))	39.71	*	MAYBE	6.91	*	MAYBE	49.02	*	TIMEOUT	60.00
Strategy_removed_AG01/#4.37	*	WORST_CASE(?,O(n^1))	1.55	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^2))	0.18	*	WORST_CASE(?,O(n^2))	0.23	*	WORST_CASE(?,O(n^1))	2.04
Strategy_removed_AG01/#4.37a	*	WORST_CASE(?,O(n^1))	0.78	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^2))	0.17	*	WORST_CASE(?,O(n^2))	1.20	*	WORST_CASE(?,O(n^1))	11.00
Strategy_removed_AG01/#4.7	*	WORST_CASE(?,O(1))	25.03	*	WORST_CASE(?,O(1))	25.03	*	MAYBE	0.14	*	MAYBE	0.25	*	WORST_CASE(?,O(1))	2.37
Strategy_removed_CSR_05/Ex14_AEGL02	*	MAYBE	32.89	*	MAYBE	31.85	*	MAYBE	0.16	*	MAYBE	0.35	*	MAYBE	0.69
Strategy_removed_CSR_05/Ex15_Luc98	*	MAYBE	42.22	*	MAYBE	43.55	*	MAYBE	0.22	*	MAYBE	0.40	*	MAYBE	0.69
Strategy_removed_CSR_05/Ex1_2_AEL03	*	MAYBE	55.08	*	MAYBE	55.13	*	MAYBE	1.28	*	MAYBE	1.19	*	MAYBE	0.67
Strategy_removed_CSR_05/Ex1_2_Luc02c	*	MAYBE	14.97	*	MAYBE	13.37	*	MAYBE	0.18	*	MAYBE	0.20	*	MAYBE	0.66
Strategy_removed_CSR_05/Ex1_GL02a	*	MAYBE	55.03	*	MAYBE	55.05	*	MAYBE	0.37	*	MAYBE	0.55	*	MAYBE	0.71
Strategy_removed_CSR_05/Ex1_GM03	*	MAYBE	13.36	*	MAYBE	13.21	*	MAYBE	0.17	*	MAYBE	0.36	*	MAYBE	0.71
Strategy_removed_CSR_05/Ex1_Luc02b	*	MAYBE	50.03	*	MAYBE	49.13	*	MAYBE	0.31	*	MAYBE	0.53	*	MAYBE	0.71
Strategy_removed_CSR_05/Ex1_Zan97	*	MAYBE	17.84	*	MAYBE	17.40	*	MAYBE	0.03	*	MAYBE	0.07	*	MAYBE	0.70
Strategy_removed_CSR_05/Ex26_Luc03b	*	MAYBE	55.13	*	MAYBE	55.14	*	MAYBE	0.72	*	MAYBE	0.74	*	MAYBE	0.67
Strategy_removed_CSR_05/Ex2_Luc03b	*	MAYBE	55.04	*	MAYBE	55.07	*	MAYBE	0.45	*	MAYBE	0.52	*	MAYBE	0.70
Strategy_removed_CSR_05/Ex3_12_Luc96a	*	MAYBE	32.89	*	MAYBE	32.29	*	MAYBE	0.21	*	MAYBE	0.35	*	MAYBE	0.70
Strategy_removed_CSR_05/Ex3_2_Luc97	*	MAYBE	45.22	*	MAYBE	44.17	*	MAYBE	0.43	*	MAYBE	1.01	*	MAYBE	0.70
Strategy_removed_CSR_05/Ex3_3_25_Bor03	*	MAYBE	55.11	*	MAYBE	55.05	*	MAYBE	1.05	*	MAYBE	1.61	*	MAYBE	0.68
Strategy_removed_CSR_05/Ex49_GM04	*	WORST_CASE(?,O(n^1))	2.09	*	WORST_CASE(?,O(n^1))	0.74	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	6.03
Strategy_removed_CSR_05/Ex4_4_Luc96b	*	MAYBE	7.21	*	MAYBE	6.70	*	MAYBE	0.10	*	MAYBE	0.17	*	MAYBE	0.68
Strategy_removed_CSR_05/Ex4_7_15_Bor03	*	MAYBE	23.49	*	MAYBE	22.15	*	MAYBE	0.17	*	MAYBE	0.37	*	MAYBE	0.72
Strategy_removed_CSR_05/Ex4_7_37_Bor03	*	MAYBE	55.09	*	MAYBE	54.96	*	MAYBE	0.44	*	MAYBE	1.13	*	MAYBE	0.69
Strategy_removed_CSR_05/Ex4_7_56_Bor03	*	MAYBE	34.83	*	MAYBE	33.88	*	MAYBE	0.16	*	MAYBE	0.25	*	MAYBE	0.68
Strategy_removed_CSR_05/Ex4_7_77_Bor03	*	MAYBE	10.05	*	MAYBE	9.72	*	MAYBE	0.11	*	MAYBE	0.12	*	MAYBE	0.66
Strategy_removed_CSR_05/Ex4_Zan97	*	MAYBE	55.04	*	MAYBE	55.03	*	MAYBE	0.63	*	MAYBE	0.54	*	MAYBE	0.72
Strategy_removed_CSR_05/Ex5_7_Luc97	*	MAYBE	51.86	*	MAYBE	50.18	*	MAYBE	0.67	*	MAYBE	1.75	*	MAYBE	0.69
Strategy_removed_CSR_05/Ex5_Zan97	*	MAYBE	7.08	*	MAYBE	7.01	*	MAYBE	0.04	*	MAYBE	0.08	*	MAYBE	0.68
Strategy_removed_CSR_05/Ex6_15_AEL02	*	MAYBE	55.11	*	MAYBE	55.16	*	MAYBE	0.83	*	MAYBE	4.26	*	MAYBE	0.66
Strategy_removed_CSR_05/Ex6_9_Luc02c	*	MAYBE	19.26	*	MAYBE	18.36	*	MAYBE	0.22	*	MAYBE	0.50	*	MAYBE	0.66
Strategy_removed_CSR_05/Ex6_GM04	*	MAYBE	8.29	*	MAYBE	7.42	*	MAYBE	0.08	*	MAYBE	0.09	*	MAYBE	0.70
Strategy_removed_CSR_05/Ex6_Luc98	*	MAYBE	37.30	*	MAYBE	35.87	*	MAYBE	0.20	*	MAYBE	0.34	*	MAYBE	0.70
Strategy_removed_CSR_05/Ex7_BLR02	*	MAYBE	55.02	*	MAYBE	55.03	*	MAYBE	0.42	*	MAYBE	0.61	*	MAYBE	0.66
Strategy_removed_CSR_05/Ex8_BLR02	*	MAYBE	37.67	*	MAYBE	36.35	*	MAYBE	0.26	*	MAYBE	0.49	*	MAYBE	0.69
Strategy_removed_CSR_05/Ex9_BLR02	*	MAYBE	55.21	*	MAYBE	55.14	*	MAYBE	0.77	*	MAYBE	2.07	*	MAYBE	0.66
Strategy_removed_CSR_05/ExAppendixB_AEL03	*	MAYBE	55.16	*	MAYBE	55.11	*	MAYBE	1.02	*	MAYBE	4.02	*	MAYBE	0.66
Strategy_removed_CSR_05/ExConc_Zan97	*	MAYBE	12.05	*	MAYBE	10.09	*	MAYBE	0.10	*	MAYBE	0.08	*	MAYBE	0.71
Strategy_removed_CSR_05/ExIntrod_GM01	*	MAYBE	55.13	*	MAYBE	55.12	*	MAYBE	1.46	*	MAYBE	0.64	*	MAYBE	0.80
Strategy_removed_CSR_05/ExIntrod_GM04	*	MAYBE	55.28	*	MAYBE	55.23	*	MAYBE	0.65	*	MAYBE	0.55	*	MAYBE	0.72
Strategy_removed_CSR_05/ExIntrod_GM99	*	MAYBE	55.09	*	MAYBE	55.09	*	MAYBE	1.08	*	MAYBE	3.55	*	MAYBE	0.68
Strategy_removed_CSR_05/ExIntrod_Zan97	*	MAYBE	53.11	*	MAYBE	53.06	*	MAYBE	0.20	*	MAYBE	0.47	*	MAYBE	0.69
Strategy_removed_mixed_05/ExSec11_1_Luc02a	*	MAYBE	55.05	*	MAYBE	55.24	*	MAYBE	2.08	*	MAYBE	1.02	*	MAYBE	1.36
Strategy_removed_mixed_05/ex1	*	MAYBE	7.01	*	MAYBE	7.01	*	MAYBE	0.05	*	MAYBE	0.10	*	MAYBE	1.98
Strategy_removed_mixed_05/ex2	*	MAYBE	7.84	*	MAYBE	7.39	*	MAYBE	0.14	*	MAYBE	0.12	*	MAYBE	1.51
Strategy_removed_mixed_05/ex3	*	MAYBE	8.64	*	MAYBE	8.77	*	MAYBE	0.08	*	MAYBE	0.09	*	MAYBE	2.02
Strategy_removed_mixed_05/ex4	*	MAYBE	13.29	*	MAYBE	12.17	*	MAYBE	0.13	*	MAYBE	0.17	*	MAYBE	1.76
Strategy_removed_mixed_05/ex5	*	MAYBE	9.28	*	MAYBE	7.01	*	MAYBE	0.06	*	MAYBE	0.05	*	MAYBE	1.70
Strategy_removed_mixed_05/ex6	*	MAYBE	13.40	*	MAYBE	13.44	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.05
Strategy_removed_mixed_05/muladd	*	MAYBE	32.18	*	MAYBE	31.85	*	MAYBE	0.27	*	MAYBE	0.60	*	MAYBE	1.87
Strategy_removed_mixed_05/test10	*	WORST_CASE(?,O(n^1))	1.24	*	WORST_CASE(?,O(n^1))	1.21	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	12.53
Strategy_removed_mixed_05/test76	*	MAYBE	11.41	*	MAYBE	10.59	*	MAYBE	0.13	*	MAYBE	0.23	*	TIMEOUT	60.06
Strategy_removed_mixed_05/test77	*	MAYBE	11.63	*	MAYBE	10.58	*	MAYBE	0.13	*	MAYBE	0.26	*	WORST_CASE(?,O(n^1))	18.14
Strategy_removed_mixed_05/test830	*	WORST_CASE(?,O(n^1))	1.38	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^2))	0.24	*	WORST_CASE(?,O(n^2))	0.69	*	WORST_CASE(?,O(n^1))	1.76
Strategy_removed_mixed_05/tricky1	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.12	*	MAYBE	0.62	*	WORST_CASE(?,O(1))	1.43
TCT_12/polycounter-10	*	MAYBE	55.06	*	MAYBE	55.06	*	MAYBE	1.40	*	MAYBE	9.98	*	TIMEOUT	60.07
TCT_12/polycounter-5	*	MAYBE	51.42	*	MAYBE	49.79	*	MAYBE	0.29	*	MAYBE	1.06	*	TIMEOUT	60.06
TCT_12/recursion-10	*	WORST_CASE(?,O(n^10))	53.37	*	WORST_CASE(?,O(n^10))	53.43	*	MAYBE	0.47	*	MAYBE	3.49	*	TIMEOUT	60.05
TCT_12/recursion-5	*	WORST_CASE(?,O(n^5))	10.33	*	WORST_CASE(?,O(n^5))	9.11	*	MAYBE	0.31	*	MAYBE	0.93	*	TIMEOUT	60.04
TCT_12/sat	*	WORST_CASE(?,O(n^2))	8.44	*	WORST_CASE(?,O(n^2))	4.27	*	MAYBE	0.78	*	WORST_CASE(?,O(n^2))	2.85	*	TIMEOUT	60.05
Transformed_CSR_04/Ex14_AEGL02_C	*	MAYBE	55.88	*	MAYBE	55.20	*	MAYBE	1.63	*	MAYBE	22.78	*	WORST_CASE(?,O(n^1))	9.15
Transformed_CSR_04/Ex14_AEGL02_FR	*	MAYBE	55.10	*	MAYBE	55.11	*	MAYBE	1.17	*	MAYBE	3.25	*	MAYBE	2.88
Transformed_CSR_04/Ex14_AEGL02_GM	*	WORST_CASE(?,O(n^3))	55.16	*	WORST_CASE(?,O(n^3))	55.10	*	MAYBE	0.69	*	WORST_CASE(?,O(n^3))	17.27	*	TIMEOUT	60.00
Transformed_CSR_04/Ex14_AEGL02_L	*	MAYBE	20.51	*	MAYBE	21.53	*	MAYBE	0.05	*	MAYBE	0.09	*	MAYBE	1.36
Transformed_CSR_04/Ex14_AEGL02_Z	*	MAYBE	55.04	*	MAYBE	55.08	*	MAYBE	1.70	*	MAYBE	3.28	*	MAYBE	1.61
Transformed_CSR_04/Ex14_Luc06_C	*	MAYBE	55.19	*	MAYBE	55.27	*	TRS is not left-linear	0.06	*	TRS is not left-linear	0.02	*	WORST_CASE(?,O(n^1))	7.76
Transformed_CSR_04/Ex14_Luc06_GM	*	MAYBE	55.09	*	MAYBE	55.13	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.01	*	TIMEOUT	60.01
Transformed_CSR_04/Ex15_Luc06_C	*	WORST_CASE(?,O(n^1))	53.04	*	WORST_CASE(?,O(n^1))	53.18	*	MAYBE	0.35	*	MAYBE	3.02	*	WORST_CASE(?,O(n^1))	17.10
Transformed_CSR_04/Ex15_Luc06_FR	*	WORST_CASE(?,O(n^1))	1.82	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^2))	0.12	*	WORST_CASE(?,O(n^2))	0.32	*	WORST_CASE(?,O(n^1))	6.54
Transformed_CSR_04/Ex15_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.95	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^2))	0.14	*	WORST_CASE(?,O(n^2))	0.35	*	WORST_CASE(?,O(n^1))	1.61
Transformed_CSR_04/Ex15_Luc06_L	*	MAYBE	7.02	*	MAYBE	7.01	*	MAYBE	0.02	*	MAYBE	0.03	*	MAYBE	0.87
Transformed_CSR_04/Ex15_Luc06_Z	*	WORST_CASE(?,O(1))	3.32	*	WORST_CASE(?,O(1))	1.03	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(1))	0.92
Transformed_CSR_04/Ex15_Luc98_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.13	*	MAYBE	58.09	*	WORST_CASE(?,O(n^1))	8.09
Transformed_CSR_04/Ex15_Luc98_FR	*	MAYBE	44.17	*	MAYBE	43.27	*	MAYBE	0.78	*	MAYBE	17.04	*	MAYBE	1.60
Transformed_CSR_04/Ex15_Luc98_GM	*	WORST_CASE(?,O(n^1))	8.40	*	WORST_CASE(?,O(n^1))	3.62	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^1))	11.48	*	WORST_CASE(?,O(n^1))	4.98
Transformed_CSR_04/Ex15_Luc98_Z	*	MAYBE	55.08	*	MAYBE	55.10	*	MAYBE	0.92	*	MAYBE	17.93	*	MAYBE	0.95
Transformed_CSR_04/Ex16_Luc06_C	*	MAYBE	55.21	*	MAYBE	55.12	*	TRS is not left-linear	0.04	*	TRS is not left-linear	0.04	*	WORST_CASE(?,O(n^1))	7.01
Transformed_CSR_04/Ex16_Luc06_GM	*	WORST_CASE(?,O(n^1))	7.01	*	WORST_CASE(?,O(n^1))	7.02	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	3.96
Transformed_CSR_04/Ex16_Luc06_L	*	MAYBE	7.01	*	MAYBE	7.01	*	MAYBE	0.04	*	MAYBE	0.31	*	MAYBE	1.40
Transformed_CSR_04/Ex18_Luc06_C	*	WORST_CASE(?,O(n^1))	45.15	*	WORST_CASE(?,O(n^1))	43.45	*	MAYBE	0.40	*	MAYBE	3.46	*	WORST_CASE(?,O(n^1))	7.56
Transformed_CSR_04/Ex18_Luc06_FR	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.89
Transformed_CSR_04/Ex18_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.90
Transformed_CSR_04/Ex18_Luc06_Z	*	WORST_CASE(?,O(1))	0.44	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.13	*	WORST_CASE(?,O(1))	0.96
Transformed_CSR_04/Ex1_2_AEL03_C	*	MAYBE	55.50	*	TIMEOUT	60.06	*	MAYBE	5.91	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.44
Transformed_CSR_04/Ex1_2_AEL03_FR	*	WORST_CASE(?,O(n^1))	24.47	*	WORST_CASE(?,O(n^1))	25.03	*	MAYBE	0.56	*	MAYBE	5.04	*	WORST_CASE(?,O(n^1))	5.02
Transformed_CSR_04/Ex1_2_AEL03_GM	*	MAYBE	55.26	*	MAYBE	55.24	*	MAYBE	2.86	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/Ex1_2_AEL03_Z	*	WORST_CASE(?,O(n^2))	7.15	*	WORST_CASE(?,O(n^2))	20.28	*	MAYBE	0.53	*	MAYBE	2.99	*	TIMEOUT	60.06
Transformed_CSR_04/Ex1_2_Luc02c_C	*	WORST_CASE(?,O(n^5))	53.36	*	MAYBE	55.15	*	MAYBE	0.81	*	MAYBE	37.15	*	WORST_CASE(?,O(n^1))	8.18
Transformed_CSR_04/Ex1_2_Luc02c_FR	*	WORST_CASE(?,O(n^1))	5.31	*	WORST_CASE(?,O(n^1))	5.04	*	MAYBE	0.38	*	MAYBE	1.64	*	WORST_CASE(?,O(n^1))	4.37
Transformed_CSR_04/Ex1_2_Luc02c_GM	*	MAYBE	55.08	*	MAYBE	55.08	*	MAYBE	1.10	*	MAYBE	5.79	*	TIMEOUT	60.00
Transformed_CSR_04/Ex1_2_Luc02c_Z	*	WORST_CASE(?,O(1))	0.88	*	WORST_CASE(?,O(1))	0.28	*	WORST_CASE(?,O(1))	0.27	*	WORST_CASE(?,O(1))	0.15	*	WORST_CASE(?,O(1))	0.91
Transformed_CSR_04/Ex1_GL02a_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.52	*	MAYBE	52.24	*	WORST_CASE(?,O(n^1))	8.23
Transformed_CSR_04/Ex1_GL02a_FR	*	MAYBE	55.77	*	MAYBE	55.38	*	MAYBE	3.49	*	MAYBE	30.49	*	TIMEOUT	60.00
Transformed_CSR_04/Ex1_GL02a_GM	*	WORST_CASE(?,O(n^1))	3.11	*	WORST_CASE(?,O(n^1))	0.85	*	WORST_CASE(?,O(n^1))	0.88	*	WORST_CASE(?,O(n^1))	2.09	*	WORST_CASE(?,O(n^1))	4.02
Transformed_CSR_04/Ex1_GL02a_L	*	MAYBE	7.01	*	MAYBE	7.01	*	MAYBE	0.09	*	MAYBE	0.27	*	MAYBE	0.89
Transformed_CSR_04/Ex1_GL02a_Z	*	MAYBE	56.08	*	MAYBE	55.05	*	MAYBE	1.88	*	MAYBE	18.04	*	TIMEOUT	60.03
Transformed_CSR_04/Ex1_GM03_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.48	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.25
Transformed_CSR_04/Ex1_GM03_FR	*	WORST_CASE(?,O(n^1))	55.04	*	WORST_CASE(?,O(n^1))	55.06	*	MAYBE	0.36	*	MAYBE	6.81	*	WORST_CASE(?,O(n^1))	1.64
Transformed_CSR_04/Ex1_GM03_GM	*	MAYBE	55.08	*	MAYBE	55.07	*	MAYBE	2.86	*	MAYBE	52.63	*	TIMEOUT	60.00
Transformed_CSR_04/Ex1_GM03_Z	*	MAYBE	13.91	*	MAYBE	13.24	*	MAYBE	0.17	*	MAYBE	0.48	*	MAYBE	0.89
Transformed_CSR_04/Ex1_GM99_C	*	MAYBE	55.21	*	MAYBE	55.22	*	MAYBE	1.22	*	MAYBE	4.28	*	WORST_CASE(?,O(n^1))	8.16
Transformed_CSR_04/Ex1_GM99_GM	*	MAYBE	55.08	*	MAYBE	55.05	*	MAYBE	0.43	*	MAYBE	0.99	*	TIMEOUT	60.03
Transformed_CSR_04/Ex1_GM99_L	*	MAYBE	7.01	*	MAYBE	7.01	*	MAYBE	0.04	*	MAYBE	0.04	*	MAYBE	1.48
Transformed_CSR_04/Ex1_Luc02b_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.36	*	TIMEOUT	60.01	*	WORST_CASE(?,O(n^1))	8.86
Transformed_CSR_04/Ex1_Luc02b_FR	*	WORST_CASE(?,O(n^1))	6.49	*	WORST_CASE(?,O(n^1))	3.61	*	MAYBE	1.37	*	MAYBE	31.82	*	TIMEOUT	60.05
Transformed_CSR_04/Ex1_Luc02b_GM	*	MAYBE	55.04	*	MAYBE	55.06	*	MAYBE	1.38	*	MAYBE	49.94	*	TIMEOUT	60.00
Transformed_CSR_04/Ex1_Luc02b_Z	*	WORST_CASE(?,O(n^1))	1.94	*	WORST_CASE(?,O(n^1))	25.04	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.94	*	TIMEOUT	60.05
Transformed_CSR_04/Ex1_Luc04b_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.52	*	MAYBE	51.42	*	TIMEOUT	60.00
Transformed_CSR_04/Ex1_Luc04b_FR	*	MAYBE	55.06	*	MAYBE	55.04	*	MAYBE	0.40	*	MAYBE	14.05	*	MAYBE	1.00
Transformed_CSR_04/Ex1_Luc04b_GM	*	MAYBE	55.11	*	MAYBE	55.10	*	MAYBE	1.40	*	MAYBE	49.37	*	TIMEOUT	60.00
Transformed_CSR_04/Ex1_Luc04b_Z	*	MAYBE	55.35	*	MAYBE	55.20	*	MAYBE	1.23	*	MAYBE	1.05	*	MAYBE	2.12
Transformed_CSR_04/Ex1_Zan97_C	*	WORST_CASE(?,O(n^1))	53.05	*	WORST_CASE(?,O(n^1))	53.05	*	MAYBE	0.45	*	MAYBE	1.41	*	WORST_CASE(?,O(n^1))	8.32
Transformed_CSR_04/Ex1_Zan97_FR	*	MAYBE	55.29	*	MAYBE	55.14	*	MAYBE	0.15	*	MAYBE	0.46	*	MAYBE	0.93
Transformed_CSR_04/Ex1_Zan97_GM	*	WORST_CASE(?,O(1))	0.98	*	WORST_CASE(?,O(1))	0.24	*	MAYBE	0.14	*	MAYBE	0.22	*	WORST_CASE(?,O(1))	1.61
Transformed_CSR_04/Ex1_Zan97_L	*	MAYBE	7.82	*	MAYBE	7.02	*	MAYBE	0.05	*	MAYBE	0.07	*	MAYBE	1.31
Transformed_CSR_04/Ex23_Luc06_C	*	WORST_CASE(?,O(n^1))	53.33	*	WORST_CASE(?,O(n^1))	50.78	*	MAYBE	0.52	*	MAYBE	6.54	*	WORST_CASE(?,O(n^1))	8.27
Transformed_CSR_04/Ex23_Luc06_FR	*	WORST_CASE(?,O(n^1))	1.48	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	1.54
Transformed_CSR_04/Ex23_Luc06_GM	*	WORST_CASE(?,O(n^1))	1.08	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	5.55
Transformed_CSR_04/Ex23_Luc06_Z	*	WORST_CASE(?,O(1))	1.28	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.94
Transformed_CSR_04/Ex24_GM04_C	*	MAYBE	55.22	*	MAYBE	55.39	*	TRS is not left-linear	0.07	*	TRS is not left-linear	0.04	*	WORST_CASE(?,O(n^1))	9.08
Transformed_CSR_04/Ex24_GM04_FR	*	MAYBE	16.36	*	MAYBE	16.38	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
Transformed_CSR_04/Ex24_GM04_GM	*	WORST_CASE(?,O(n^1))	1.00	*	WORST_CASE(?,O(n^1))	0.92	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	4.21
Transformed_CSR_04/Ex24_GM04_L	*	MAYBE	7.02	*	MAYBE	7.02	*	MAYBE	0.03	*	MAYBE	0.05	*	MAYBE	2.38
Transformed_CSR_04/Ex24_GM04_Z	*	MAYBE	7.66	*	MAYBE	7.34	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	1.06
Transformed_CSR_04/Ex24_Luc06_C	*	WORST_CASE(?,O(n^5))	53.26	*	WORST_CASE(?,O(n^3))	53.18	*	MAYBE	0.48	*	MAYBE	3.90	*	WORST_CASE(?,O(n^1))	8.47
Transformed_CSR_04/Ex24_Luc06_GM	*	WORST_CASE(?,O(n^1))	16.15	*	WORST_CASE(?,O(n^1))	15.40	*	MAYBE	0.20	*	MAYBE	0.41	*	WORST_CASE(?,O(n^1))	5.80
Transformed_CSR_04/Ex24_Luc06_L	*	MAYBE	7.02	*	MAYBE	7.01	*	MAYBE	0.03	*	MAYBE	0.03	*	MAYBE	0.90
Transformed_CSR_04/Ex25_Luc06_C	*	WORST_CASE(?,O(n^1))	31.40	*	WORST_CASE(?,O(n^1))	26.82	*	MAYBE	0.57	*	MAYBE	13.92	*	WORST_CASE(?,O(n^1))	19.86
Transformed_CSR_04/Ex25_Luc06_FR	*	WORST_CASE(?,O(n^1))	4.36	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	2.50
Transformed_CSR_04/Ex25_Luc06_GM	*	WORST_CASE(?,O(n^1))	5.16	*	WORST_CASE(?,O(n^1))	1.08	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	1.36
Transformed_CSR_04/Ex25_Luc06_Z	*	WORST_CASE(?,O(1))	0.65	*	WORST_CASE(?,O(1))	0.19	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.27	*	WORST_CASE(?,O(1))	1.50
Transformed_CSR_04/Ex26_Luc03b_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.34	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.51
Transformed_CSR_04/Ex26_Luc03b_FR	*	WORST_CASE(?,O(n^1))	5.51	*	WORST_CASE(?,O(n^1))	2.40	*	MAYBE	1.05	*	MAYBE	34.74	*	WORST_CASE(?,O(n^1))	1.30
Transformed_CSR_04/Ex26_Luc03b_GM	*	WORST_CASE(?,O(n^3))	55.43	*	WORST_CASE(?,O(n^3))	55.22	*	MAYBE	2.85	*	MAYBE	50.37	*	TIMEOUT	60.00
Transformed_CSR_04/Ex26_Luc03b_L	*	WORST_CASE(?,O(1))	0.38	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	2.25
Transformed_CSR_04/Ex26_Luc03b_Z	*	WORST_CASE(?,O(1))	3.69	*	WORST_CASE(?,O(1))	3.11	*	MAYBE	0.70	*	MAYBE	50.76	*	WORST_CASE(?,O(1))	0.88
Transformed_CSR_04/Ex2_Luc02a_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.59	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.88
Transformed_CSR_04/Ex2_Luc02a_FR	*	WORST_CASE(?,O(n^1))	7.19	*	WORST_CASE(?,O(n^1))	6.15	*	MAYBE	0.63	*	MAYBE	4.59	*	TIMEOUT	60.05
Transformed_CSR_04/Ex2_Luc02a_GM	*	MAYBE	55.36	*	MAYBE	55.61	*	MAYBE	1.22	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/Ex2_Luc02a_L	*	WORST_CASE(?,O(n^3))	5.82	*	WORST_CASE(?,O(n^3))	3.89	*	MAYBE	0.46	*	WORST_CASE(?,O(n^3))	0.73	*	TIMEOUT	60.01
Transformed_CSR_04/Ex2_Luc02a_Z	*	WORST_CASE(?,O(n^3))	8.79	*	WORST_CASE(?,O(n^3))	4.40	*	MAYBE	0.91	*	WORST_CASE(?,O(n^3))	3.73	*	TIMEOUT	60.01
Transformed_CSR_04/Ex2_Luc03b_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.29	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.41
Transformed_CSR_04/Ex2_Luc03b_FR	*	MAYBE	55.10	*	MAYBE	55.11	*	MAYBE	2.86	*	MAYBE	49.71	*	TIMEOUT	60.00
Transformed_CSR_04/Ex2_Luc03b_GM	*	WORST_CASE(?,O(n^3))	55.57	*	WORST_CASE(?,O(n^3))	55.28	*	MAYBE	1.73	*	WORST_CASE(?,O(n^2))	48.08	*	TIMEOUT	60.00
Transformed_CSR_04/Ex2_Luc03b_L	*	WORST_CASE(?,O(1))	1.23	*	WORST_CASE(?,O(1))	0.13	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.89
Transformed_CSR_04/Ex2_Luc03b_Z	*	WORST_CASE(?,O(n^1))	3.63	*	WORST_CASE(?,O(n^1))	1.04	*	WORST_CASE(?,O(n^1))	0.99	*	WORST_CASE(?,O(n^1))	0.54	*	WORST_CASE(?,O(n^1))	8.02
Transformed_CSR_04/Ex3_12_Luc96a_C	*	TIMEOUT	60.08	*	TIMEOUT	60.06	*	MAYBE	1.03	*	MAYBE	46.33	*	WORST_CASE(?,O(n^1))	10.71
Transformed_CSR_04/Ex3_12_Luc96a_FR	*	WORST_CASE(?,O(n^1))	4.84	*	WORST_CASE(?,O(n^1))	3.58	*	MAYBE	0.97	*	MAYBE	2.09	*	TIMEOUT	60.06
Transformed_CSR_04/Ex3_12_Luc96a_GM	*	MAYBE	55.02	*	MAYBE	55.03	*	MAYBE	0.92	*	MAYBE	20.79	*	TIMEOUT	60.00
Transformed_CSR_04/Ex3_12_Luc96a_Z	*	WORST_CASE(?,O(n^1))	2.24	*	WORST_CASE(?,O(n^1))	25.04	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	8.82
Transformed_CSR_04/Ex3_2_Luc97_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.73	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.33
Transformed_CSR_04/Ex3_2_Luc97_FR	*	MAYBE	55.10	*	MAYBE	55.12	*	MAYBE	2.54	*	MAYBE	52.80	*	MAYBE	0.89
Transformed_CSR_04/Ex3_2_Luc97_GM	*	MAYBE	55.10	*	MAYBE	55.10	*	MAYBE	15.45	*	MAYBE	49.83	*	TIMEOUT	60.00
Transformed_CSR_04/Ex3_2_Luc97_Z	*	MAYBE	55.10	*	MAYBE	55.11	*	MAYBE	2.75	*	MAYBE	47.08	*	MAYBE	2.07
Transformed_CSR_04/Ex3_3_25_Bor03_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.81	*	TIMEOUT	60.04	*	WORST_CASE(?,O(n^1))	8.63
Transformed_CSR_04/Ex3_3_25_Bor03_FR	*	MAYBE	55.06	*	MAYBE	55.08	*	MAYBE	2.82	*	MAYBE	49.95	*	TIMEOUT	60.00
Transformed_CSR_04/Ex3_3_25_Bor03_GM	*	WORST_CASE(?,O(n^3))	55.16	*	WORST_CASE(?,O(n^3))	55.38	*	MAYBE	1.67	*	MAYBE	56.03	*	TIMEOUT	60.00
Transformed_CSR_04/Ex3_3_25_Bor03_L	*	WORST_CASE(?,O(1))	0.20	*	WORST_CASE(?,O(1))	0.11	*	WORST_CASE(?,O(1))	0.13	*	WORST_CASE(?,O(1))	0.10	*	WORST_CASE(?,O(1))	1.80
Transformed_CSR_04/Ex3_3_25_Bor03_Z	*	MAYBE	55.02	*	MAYBE	55.03	*	MAYBE	1.11	*	MAYBE	12.71	*	MAYBE	1.77
Transformed_CSR_04/Ex49_GM04_C	*	MAYBE	55.29	*	TIMEOUT	60.06	*	MAYBE	2.34	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.00
Transformed_CSR_04/Ex49_GM04_FR	*	MAYBE	55.11	*	MAYBE	55.13	*	MAYBE	1.69	*	MAYBE	50.66	*	TIMEOUT	60.01
Transformed_CSR_04/Ex49_GM04_GM	*	WORST_CASE(?,O(n^2))	18.50	*	WORST_CASE(?,O(n^2))	16.37	*	MAYBE	51.56	*	WORST_CASE(?,O(n^2))	49.57	*	TIMEOUT	60.00
Transformed_CSR_04/Ex49_GM04_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.51	*	MAYBE	1.70	*	WORST_CASE(?,O(n^1))	13.83
Transformed_CSR_04/Ex4_4_Luc96b_C	*	WORST_CASE(?,O(n^2))	24.09	*	WORST_CASE(?,O(n^2))	22.38	*	MAYBE	0.27	*	MAYBE	6.29	*	WORST_CASE(?,O(n^1))	20.18
Transformed_CSR_04/Ex4_4_Luc96b_FR	*	WORST_CASE(?,O(n^1))	1.87	*	WORST_CASE(?,O(n^1))	1.53	*	MAYBE	0.25	*	MAYBE	2.36	*	TIMEOUT	60.06
Transformed_CSR_04/Ex4_4_Luc96b_GM	*	WORST_CASE(?,O(n^3))	55.09	*	WORST_CASE(?,O(n^3))	55.15	*	MAYBE	0.74	*	WORST_CASE(?,O(n^2))	2.97	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_4_Luc96b_L	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	2.24
Transformed_CSR_04/Ex4_4_Luc96b_Z	*	MAYBE	42.00	*	MAYBE	40.97	*	MAYBE	0.40	*	MAYBE	1.34	*	MAYBE	2.04
Transformed_CSR_04/Ex4_7_15_Bor03_C	*	WORST_CASE(?,O(n^1))	55.84	*	WORST_CASE(?,O(n^1))	55.09	*	MAYBE	0.79	*	MAYBE	30.07	*	WORST_CASE(?,O(n^1))	7.78
Transformed_CSR_04/Ex4_7_15_Bor03_FR	*	WORST_CASE(?,O(n^1))	2.73	*	WORST_CASE(?,O(n^1))	0.40	*	MAYBE	0.21	*	MAYBE	0.89	*	WORST_CASE(?,O(n^1))	2.75
Transformed_CSR_04/Ex4_7_15_Bor03_GM	*	WORST_CASE(?,O(n^1))	5.44	*	WORST_CASE(?,O(n^1))	2.35	*	WORST_CASE(?,O(n^2))	0.56	*	WORST_CASE(?,O(n^2))	3.04	*	WORST_CASE(?,O(n^1))	1.04
Transformed_CSR_04/Ex4_7_15_Bor03_L	*	WORST_CASE(?,O(1))	1.30	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(1))	1.50
Transformed_CSR_04/Ex4_7_15_Bor03_Z	*	WORST_CASE(?,O(1))	0.92	*	WORST_CASE(?,O(1))	0.18	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(1))	0.87
Transformed_CSR_04/Ex4_7_37_Bor03_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.45	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.88
Transformed_CSR_04/Ex4_7_37_Bor03_FR	*	MAYBE	55.18	*	MAYBE	55.15	*	MAYBE	1.77	*	MAYBE	12.60	*	TIMEOUT	60.01
Transformed_CSR_04/Ex4_7_37_Bor03_GM	*	MAYBE	55.31	*	MAYBE	55.28	*	MAYBE	2.26	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_7_37_Bor03_Z	*	MAYBE	56.71	*	MAYBE	55.20	*	MAYBE	36.32	*	MAYBE	48.55	*	TIMEOUT	60.05
Transformed_CSR_04/Ex4_7_56_Bor03_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.22	*	MAYBE	52.88	*	WORST_CASE(?,O(n^1))	7.27
Transformed_CSR_04/Ex4_7_56_Bor03_FR	*	WORST_CASE(?,O(n^1))	25.04	*	WORST_CASE(?,O(n^1))	25.02	*	MAYBE	0.90	*	MAYBE	5.35	*	WORST_CASE(?,O(n^1))	3.80
Transformed_CSR_04/Ex4_7_56_Bor03_GM	*	MAYBE	55.10	*	MAYBE	55.12	*	MAYBE	1.04	*	MAYBE	18.07	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_7_56_Bor03_Z	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	4.38
Transformed_CSR_04/Ex4_7_77_Bor03_C	*	WORST_CASE(?,O(n^1))	55.42	*	WORST_CASE(?,O(n^1))	55.39	*	MAYBE	0.47	*	MAYBE	6.00	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_7_77_Bor03_FR	*	WORST_CASE(?,O(1))	0.68	*	WORST_CASE(?,O(1))	0.11	*	WORST_CASE(?,O(1))	0.12	*	WORST_CASE(?,O(1))	0.28	*	WORST_CASE(?,O(1))	0.87
Transformed_CSR_04/Ex4_7_77_Bor03_GM	*	WORST_CASE(?,O(n^1))	55.10	*	WORST_CASE(?,O(n^1))	55.02	*	WORST_CASE(?,O(n^2))	0.32	*	WORST_CASE(?,O(n^2))	2.38	*	WORST_CASE(?,O(n^1))	1.83
Transformed_CSR_04/Ex4_DLMMU04_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.69	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/Ex4_DLMMU04_FR	*	MAYBE	55.44	*	MAYBE	55.12	*	MAYBE	4.08	*	TIMEOUT	60.06	*	MAYBE	39.43
Transformed_CSR_04/Ex4_DLMMU04_GM	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.61	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_DLMMU04_Z	*	MAYBE	55.11	*	MAYBE	55.09	*	MAYBE	2.16	*	TIMEOUT	60.06	*	MAYBE	4.40
Transformed_CSR_04/Ex4_Zan97_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.06	*	MAYBE	55.20	*	WORST_CASE(?,O(n^1))	7.49
Transformed_CSR_04/Ex4_Zan97_FR	*	MAYBE	55.08	*	MAYBE	55.09	*	MAYBE	2.11	*	MAYBE	2.56	*	TIMEOUT	60.01
Transformed_CSR_04/Ex4_Zan97_GM	*	MAYBE	55.06	*	MAYBE	55.07	*	MAYBE	1.41	*	MAYBE	36.37	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_Zan97_Z	*	MAYBE	55.02	*	MAYBE	55.08	*	MAYBE	1.94	*	MAYBE	3.28	*	TIMEOUT	60.06
Transformed_CSR_04/Ex5_7_Luc97_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.65	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.06
Transformed_CSR_04/Ex5_7_Luc97_FR	*	MAYBE	55.11	*	MAYBE	55.11	*	MAYBE	3.58	*	MAYBE	54.25	*	MAYBE	1.67
Transformed_CSR_04/Ex5_7_Luc97_GM	*	MAYBE	55.36	*	MAYBE	55.41	*	MAYBE	3.33	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/Ex5_7_Luc97_Z	*	MAYBE	55.08	*	MAYBE	55.11	*	MAYBE	2.54	*	MAYBE	51.48	*	MAYBE	1.00
Transformed_CSR_04/Ex5_DLMMU04_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.34	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex5_DLMMU04_FR	*	WORST_CASE(?,O(n^1))	6.02	*	WORST_CASE(?,O(n^1))	3.99	*	MAYBE	1.66	*	MAYBE	28.63	*	WORST_CASE(?,O(n^1))	4.19
Transformed_CSR_04/Ex5_DLMMU04_GM	*	MAYBE	55.36	*	MAYBE	55.31	*	MAYBE	2.99	*	MAYBE	54.32	*	TIMEOUT	60.00
Transformed_CSR_04/Ex5_DLMMU04_Z	*	MAYBE	55.08	*	MAYBE	55.10	*	MAYBE	0.76	*	MAYBE	9.29	*	MAYBE	0.91
Transformed_CSR_04/Ex5_Zan97_C	*	WORST_CASE(?,O(n^1))	55.11	*	WORST_CASE(?,O(n^1))	55.12	*	MAYBE	0.67	*	MAYBE	26.18	*	WORST_CASE(?,O(n^1))	7.78
Transformed_CSR_04/Ex5_Zan97_FR	*	WORST_CASE(?,O(n^1))	2.61	*	WORST_CASE(?,O(n^1))	1.59	*	MAYBE	0.19	*	MAYBE	0.72	*	WORST_CASE(?,O(n^1))	1.55
Transformed_CSR_04/Ex5_Zan97_GM	*	MAYBE	55.12	*	MAYBE	55.12	*	MAYBE	0.64	*	MAYBE	9.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex5_Zan97_Z	*	WORST_CASE(?,O(n^1))	0.77	*	WORST_CASE(?,O(n^1))	0.24	*	MAYBE	0.34	*	MAYBE	0.33	*	WORST_CASE(?,O(1))	1.46
Transformed_CSR_04/Ex6_15_AEL02_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.96	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	9.59
Transformed_CSR_04/Ex6_15_AEL02_FR	*	MAYBE	56.37	*	MAYBE	55.80	*	MAYBE	3.27	*	MAYBE	53.08	*	MAYBE	28.69
Transformed_CSR_04/Ex6_15_AEL02_GM	*	MAYBE	55.29	*	MAYBE	55.33	*	MAYBE	3.58	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/Ex6_15_AEL02_Z	*	MAYBE	56.41	*	MAYBE	55.24	*	MAYBE	4.19	*	MAYBE	50.78	*	MAYBE	2.34
Transformed_CSR_04/Ex6_9_Luc02c_C	*	WORST_CASE(?,O(n^5))	54.90	*	MAYBE	55.21	*	MAYBE	1.81	*	MAYBE	53.34	*	WORST_CASE(?,O(n^1))	7.87
Transformed_CSR_04/Ex6_9_Luc02c_FR	*	WORST_CASE(?,O(n^1))	1.18	*	WORST_CASE(?,O(n^1))	25.02	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.18	*	TIMEOUT	60.06
Transformed_CSR_04/Ex6_9_Luc02c_GM	*	MAYBE	55.08	*	MAYBE	55.11	*	MAYBE	1.42	*	MAYBE	36.45	*	TIMEOUT	60.00
Transformed_CSR_04/Ex6_9_Luc02c_Z	*	WORST_CASE(?,O(1))	1.10	*	WORST_CASE(?,O(1))	0.58	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(1))	0.89
Transformed_CSR_04/Ex6_GM04_C	*	WORST_CASE(?,O(n^1))	53.03	*	WORST_CASE(?,O(n^1))	53.02	*	MAYBE	0.27	*	MAYBE	1.50	*	WORST_CASE(?,O(n^1))	2.77
Transformed_CSR_04/Ex6_GM04_FR	*	MAYBE	55.03	*	MAYBE	55.03	*	MAYBE	0.64	*	MAYBE	0.38	*	MAYBE	1.34
Transformed_CSR_04/Ex6_GM04_GM	*	WORST_CASE(?,O(1))	1.40	*	WORST_CASE(?,O(1))	0.14	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	0.39	*	WORST_CASE(?,O(1))	2.35
Transformed_CSR_04/Ex6_Luc98_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.93	*	MAYBE	53.53	*	WORST_CASE(?,O(n^1))	8.28
Transformed_CSR_04/Ex6_Luc98_FR	*	WORST_CASE(?,O(n^1))	5.18	*	WORST_CASE(?,O(n^1))	2.68	*	MAYBE	1.28	*	MAYBE	48.37	*	WORST_CASE(?,O(n^1))	1.81
Transformed_CSR_04/Ex6_Luc98_GM	*	WORST_CASE(?,O(n^3))	55.10	*	WORST_CASE(?,O(n^3))	55.11	*	MAYBE	1.26	*	WORST_CASE(?,O(n^2))	25.18	*	TIMEOUT	60.00
Transformed_CSR_04/Ex6_Luc98_L	*	WORST_CASE(?,O(1))	1.14	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.89
Transformed_CSR_04/Ex6_Luc98_Z	*	WORST_CASE(?,O(n^1))	1.32	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	0.51	*	WORST_CASE(?,O(n^1))	6.03
Transformed_CSR_04/Ex7_BLR02_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.57	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	9.04
Transformed_CSR_04/Ex7_BLR02_FR	*	WORST_CASE(?,O(n^1))	6.19	*	WORST_CASE(?,O(n^1))	4.68	*	MAYBE	2.08	*	MAYBE	18.56	*	WORST_CASE(?,O(n^1))	4.56
Transformed_CSR_04/Ex7_BLR02_GM	*	MAYBE	55.31	*	MAYBE	55.38	*	MAYBE	2.34	*	MAYBE	52.69	*	TIMEOUT	60.00
Transformed_CSR_04/Ex7_BLR02_Z	*	WORST_CASE(?,O(n^1))	2.92	*	WORST_CASE(?,O(n^1))	25.05	*	WORST_CASE(?,O(n^1))	0.64	*	WORST_CASE(?,O(n^1))	1.00	*	TIMEOUT	60.06
Transformed_CSR_04/Ex8_BLR02_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.99	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	9.71
Transformed_CSR_04/Ex8_BLR02_FR	*	MAYBE	55.13	*	MAYBE	55.17	*	MAYBE	2.48	*	MAYBE	4.21	*	TIMEOUT	60.01
Transformed_CSR_04/Ex8_BLR02_GM	*	TIMEOUT	60.43	*	TIMEOUT	61.67	*	MAYBE	2.45	*	MAYBE	55.36	*	TIMEOUT	60.01
Transformed_CSR_04/Ex8_BLR02_Z	*	MAYBE	55.05	*	MAYBE	55.07	*	MAYBE	3.58	*	MAYBE	4.96	*	TIMEOUT	60.06
Transformed_CSR_04/Ex9_BLR02_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.11	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex9_BLR02_FR	*	MAYBE	55.09	*	MAYBE	55.11	*	MAYBE	2.10	*	MAYBE	43.09	*	TIMEOUT	60.00
Transformed_CSR_04/Ex9_BLR02_GM	*	MAYBE	55.10	*	MAYBE	55.06	*	MAYBE	1.32	*	MAYBE	51.45	*	TIMEOUT	60.00
Transformed_CSR_04/Ex9_BLR02_L	*	WORST_CASE(?,O(1))	0.49	*	WORST_CASE(?,O(1))	0.14	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	1.41
Transformed_CSR_04/Ex9_BLR02_Z	*	MAYBE	55.07	*	MAYBE	55.09	*	MAYBE	13.35	*	MAYBE	50.57	*	TIMEOUT	60.00
Transformed_CSR_04/Ex9_Luc04_C	*	MAYBE	55.46	*	MAYBE	55.16	*	MAYBE	1.54	*	MAYBE	14.36	*	WORST_CASE(?,O(n^1))	23.24
Transformed_CSR_04/Ex9_Luc04_GM	*	MAYBE	55.07	*	MAYBE	55.04	*	MAYBE	0.25	*	MAYBE	1.57	*	TIMEOUT	60.01
Transformed_CSR_04/Ex9_Luc04_L	*	MAYBE	3.12	*	MAYBE	2.67	*	MAYBE	0.07	*	MAYBE	0.10	*	MAYBE	0.90
Transformed_CSR_04/Ex9_Luc06_C	*	WORST_CASE(?,O(n^4))	53.12	*	WORST_CASE(?,O(n^4))	53.10	*	TRS is not left-linear	0.07	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	8.26
Transformed_CSR_04/Ex9_Luc06_FR	*	MAYBE	55.09	*	MAYBE	55.10	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.03	*	MAYBE	1.59
Transformed_CSR_04/Ex9_Luc06_GM	*	WORST_CASE(?,O(n^1))	7.02	*	WORST_CASE(?,O(n^1))	7.03	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	4.08
Transformed_CSR_04/ExAppendixB_AEL03_C	*	MAYBE	55.52	*	TIMEOUT	60.06	*	MAYBE	5.61	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.17
Transformed_CSR_04/ExAppendixB_AEL03_FR	*	WORST_CASE(?,O(n^1))	25.04	*	WORST_CASE(?,O(n^1))	25.04	*	MAYBE	1.04	*	MAYBE	11.58	*	WORST_CASE(?,O(n^1))	3.88
Transformed_CSR_04/ExAppendixB_AEL03_GM	*	MAYBE	56.40	*	MAYBE	55.47	*	MAYBE	3.26	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/ExAppendixB_AEL03_Z	*	WORST_CASE(?,O(n^2))	25.03	*	WORST_CASE(?,O(n^2))	25.04	*	MAYBE	1.26	*	MAYBE	21.06	*	WORST_CASE(?,O(n^2))	4.63
Transformed_CSR_04/ExConc_Zan97_C	*	WORST_CASE(?,O(n^1))	10.87	*	WORST_CASE(?,O(n^1))	9.07	*	MAYBE	0.45	*	MAYBE	5.37	*	WORST_CASE(?,O(n^1))	8.08
Transformed_CSR_04/ExConc_Zan97_FR	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	1.42
Transformed_CSR_04/ExConc_Zan97_GM	*	WORST_CASE(?,O(n^1))	1.36	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.79	*	WORST_CASE(?,O(n^1))	1.16
Transformed_CSR_04/ExConc_Zan97_Z	*	MAYBE	10.22	*	MAYBE	10.86	*	MAYBE	0.10	*	MAYBE	0.20	*	MAYBE	2.50
Transformed_CSR_04/ExIntrod_GM01_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.48	*	TIMEOUT	60.04	*	TIMEOUT	60.00
Transformed_CSR_04/ExIntrod_GM01_FR	*	MAYBE	55.12	*	MAYBE	55.12	*	MAYBE	1.86	*	MAYBE	49.05	*	MAYBE	2.37
Transformed_CSR_04/ExIntrod_GM01_GM	*	TIMEOUT	60.15	*	MAYBE	55.51	*	MAYBE	4.14	*	MAYBE	51.29	*	TIMEOUT	60.04
Transformed_CSR_04/ExIntrod_GM01_Z	*	MAYBE	55.05	*	MAYBE	55.08	*	MAYBE	17.58	*	MAYBE	25.73	*	MAYBE	1.84
Transformed_CSR_04/ExIntrod_GM04_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.24	*	MAYBE	52.43	*	TIMEOUT	60.01
Transformed_CSR_04/ExIntrod_GM04_FR	*	MAYBE	55.11	*	MAYBE	55.11	*	MAYBE	10.56	*	MAYBE	48.95	*	MAYBE	4.17
Transformed_CSR_04/ExIntrod_GM04_GM	*	MAYBE	55.09	*	WORST_CASE(?,O(n^3))	55.44	*	MAYBE	16.81	*	MAYBE	49.22	*	TIMEOUT	60.00
Transformed_CSR_04/ExIntrod_GM04_Z	*	MAYBE	55.05	*	MAYBE	55.07	*	MAYBE	15.71	*	MAYBE	41.67	*	MAYBE	5.31
Transformed_CSR_04/ExIntrod_GM99_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.01	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/ExIntrod_GM99_FR	*	WORST_CASE(?,O(n^1))	5.95	*	WORST_CASE(?,O(n^1))	4.72	*	MAYBE	1.00	*	MAYBE	49.90	*	WORST_CASE(?,O(n^1))	4.27
Transformed_CSR_04/ExIntrod_GM99_GM	*	MAYBE	55.31	*	MAYBE	55.39	*	MAYBE	2.61	*	TIMEOUT	60.03	*	TIMEOUT	60.04
Transformed_CSR_04/ExIntrod_GM99_Z	*	WORST_CASE(?,O(1))	7.27	*	WORST_CASE(?,O(1))	2.78	*	MAYBE	1.10	*	MAYBE	22.35	*	WORST_CASE(?,O(1))	0.93
Transformed_CSR_04/ExIntrod_Zan97_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.30	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.53
Transformed_CSR_04/ExIntrod_Zan97_FR	*	WORST_CASE(?,O(n^1))	53.10	*	WORST_CASE(?,O(n^1))	52.58	*	MAYBE	0.54	*	MAYBE	6.23	*	WORST_CASE(?,O(n^1))	1.27
Transformed_CSR_04/ExIntrod_Zan97_GM	*	MAYBE	55.28	*	MAYBE	55.32	*	MAYBE	1.46	*	MAYBE	58.60	*	TIMEOUT	60.00
Transformed_CSR_04/ExIntrod_Zan97_Z	*	MAYBE	14.74	*	MAYBE	14.35	*	MAYBE	0.26	*	MAYBE	0.74	*	MAYBE	1.29
Transformed_CSR_04/ExProp7_Luc06_C	*	WORST_CASE(?,O(n^1))	53.03	*	WORST_CASE(?,O(n^1))	55.11	*	MAYBE	0.86	*	MAYBE	49.26	*	WORST_CASE(?,O(n^1))	8.43
Transformed_CSR_04/ExProp7_Luc06_FR	*	WORST_CASE(?,O(n^1))	2.95	*	WORST_CASE(?,O(n^1))	0.76	*	MAYBE	0.20	*	MAYBE	0.70	*	WORST_CASE(?,O(n^1))	1.10
Transformed_CSR_04/ExProp7_Luc06_GM	*	MAYBE	55.02	*	MAYBE	55.04	*	MAYBE	0.97	*	MAYBE	46.42	*	TIMEOUT	60.01
Transformed_CSR_04/ExProp7_Luc06_L	*	WORST_CASE(?,O(n^1))	1.37	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^2))	0.11	*	WORST_CASE(?,O(n^2))	0.16	*	WORST_CASE(?,O(1))	0.90
Transformed_CSR_04/ExProp7_Luc06_Z	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^2))	0.10	*	WORST_CASE(?,O(n^2))	0.49	*	WORST_CASE(?,O(1))	0.87
Transformed_CSR_04/ExSec11_1_Luc02a_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.01	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.80
Transformed_CSR_04/ExSec11_1_Luc02a_FR	*	WORST_CASE(?,O(n^1))	8.00	*	WORST_CASE(?,O(n^1))	7.17	*	MAYBE	0.73	*	MAYBE	8.26	*	TIMEOUT	60.06
Transformed_CSR_04/ExSec11_1_Luc02a_GM	*	MAYBE	55.42	*	MAYBE	55.38	*	MAYBE	1.45	*	TIMEOUT	60.06	*	TIMEOUT	60.02
Transformed_CSR_04/ExSec11_1_Luc02a_L	*	WORST_CASE(?,O(n^3))	6.87	*	WORST_CASE(?,O(n^3))	4.68	*	MAYBE	0.58	*	WORST_CASE(?,O(n^3))	1.23	*	TIMEOUT	60.00
Transformed_CSR_04/ExSec11_1_Luc02a_Z	*	WORST_CASE(?,O(n^3))	8.24	*	WORST_CASE(?,O(n^3))	4.55	*	MAYBE	0.89	*	WORST_CASE(?,O(n^3))	4.00	*	TIMEOUT	60.00
Transformed_CSR_04/ExSec4_2_DLMMU04_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.08	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	11.86
Transformed_CSR_04/ExSec4_2_DLMMU04_FR	*	WORST_CASE(?,O(n^1))	7.36	*	WORST_CASE(?,O(n^1))	6.68	*	MAYBE	0.62	*	MAYBE	1.96	*	WORST_CASE(?,O(n^1))	3.60
Transformed_CSR_04/ExSec4_2_DLMMU04_GM	*	MAYBE	55.28	*	MAYBE	55.31	*	MAYBE	3.39	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/ExSec4_2_DLMMU04_Z	*	WORST_CASE(?,O(n^1))	1.47	*	WORST_CASE(?,O(n^1))	25.03	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	5.52
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR	*	MAYBE	55.17	*	MAYBE	55.04	*	MAYBE	6.39	*	TIMEOUT	60.37	*	TIMEOUT	60.00
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z	*	MAYBE	55.06	*	MAYBE	55.03	*	MAYBE	6.13	*	TIMEOUT	60.50	*	MAYBE	13.97
Transformed_CSR_04/LISTUTILITIES_complete_C	*	MAYBE	55.06	*	MAYBE	55.05	*	MAYBE	14.59	*	TIMEOUT	60.11	*	WORST_CASE(?,O(n^1))	13.32
Transformed_CSR_04/LISTUTILITIES_complete_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	6.23	*	TIMEOUT	60.12	*	MAYBE	2.65
Transformed_CSR_04/LISTUTILITIES_complete_GM	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	22.03	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/LISTUTILITIES_complete_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	5.70	*	TIMEOUT	60.11	*	MAYBE	5.32
Transformed_CSR_04/LISTUTILITIES_complete_noand_C	*	MAYBE	55.17	*	TIMEOUT	60.06	*	MAYBE	39.43	*	TIMEOUT	60.12	*	TIMEOUT	60.00
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM	*	MAYBE	55.06	*	MAYBE	55.07	*	MAYBE	34.38	*	TIMEOUT	60.54	*	TIMEOUT	60.00
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR	*	MAYBE	55.03	*	MAYBE	55.03	*	MAYBE	3.31	*	TIMEOUT	60.13	*	TIMEOUT	60.01
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z	*	MAYBE	55.04	*	MAYBE	55.02	*	MAYBE	3.04	*	TIMEOUT	60.12	*	MAYBE	30.90
Transformed_CSR_04/LISTUTILITIES_nokinds_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	7.28	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	9.54
Transformed_CSR_04/LISTUTILITIES_nokinds_FR	*	MAYBE	55.23	*	MAYBE	55.24	*	MAYBE	4.01	*	TIMEOUT	60.11	*	TIMEOUT	60.01
Transformed_CSR_04/LISTUTILITIES_nokinds_GM	*	MAYBE	55.22	*	MAYBE	55.29	*	MAYBE	9.03	*	TIMEOUT	60.73	*	TIMEOUT	60.03
Transformed_CSR_04/LISTUTILITIES_nokinds_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.63	*	TIMEOUT	60.13	*	TIMEOUT	60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C	*	MAYBE	55.06	*	TIMEOUT	60.06	*	MAYBE	24.53	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	15.17
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM	*	MAYBE	55.08	*	MAYBE	55.03	*	MAYBE	16.18	*	TIMEOUT	60.06	*	TIMEOUT	60.03
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR	*	MAYBE	55.11	*	MAYBE	55.16	*	MAYBE	1.87	*	MAYBE	24.68	*	TIMEOUT	60.00
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z	*	WORST_CASE(?,O(n^1))	25.14	*	WORST_CASE(?,O(n^1))	25.10	*	MAYBE	11.99	*	MAYBE	21.53	*	TIMEOUT	60.05
Transformed_CSR_04/LISTUTILITIES_nosorts_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.63	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.67
Transformed_CSR_04/LISTUTILITIES_nosorts_FR	*	WORST_CASE(?,O(n^1))	25.05	*	WORST_CASE(?,O(n^1))	25.05	*	MAYBE	0.80	*	MAYBE	3.53	*	WORST_CASE(?,O(n^1))	1.46
Transformed_CSR_04/LISTUTILITIES_nosorts_GM	*	MAYBE	55.22	*	MAYBE	55.26	*	MAYBE	3.06	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/LISTUTILITIES_nosorts_Z	*	WORST_CASE(?,O(n^1))	25.20	*	WORST_CASE(?,O(n^1))	25.07	*	MAYBE	1.87	*	MAYBE	3.74	*	WORST_CASE(?,O(n^1))	7.93
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	7.48	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.74
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM	*	MAYBE	55.23	*	TIMEOUT	60.13	*	MAYBE	8.58	*	TIMEOUT	60.06	*	TIMEOUT	60.03
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR	*	MAYBE	57.29	*	MAYBE	56.25	*	MAYBE	1.82	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z	*	MAYBE	55.43	*	MAYBE	55.25	*	MAYBE	5.18	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/LengthOfFiniteLists_complete_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	4.39	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_complete_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.63	*	TIMEOUT	60.06	*	MAYBE	0.99
Transformed_CSR_04/LengthOfFiniteLists_complete_GM	*	MAYBE	55.15	*	TIMEOUT	60.06	*	MAYBE	12.26	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/LengthOfFiniteLists_complete_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.52	*	TIMEOUT	60.06	*	TIMEOUT	60.03
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C	*	MAYBE	59.48	*	MAYBE	55.02	*	MAYBE	9.57	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM	*	MAYBE	55.36	*	MAYBE	55.03	*	MAYBE	30.98	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR	*	MAYBE	56.32	*	MAYBE	56.02	*	MAYBE	1.64	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z	*	MAYBE	57.13	*	MAYBE	55.74	*	MAYBE	2.18	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.51	*	MAYBE	55.52	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.56	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM	*	MAYBE	55.14	*	MAYBE	55.69	*	MAYBE	3.79	*	TIMEOUT	60.02	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.99	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.83	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM	*	WORST_CASE(?,O(n^5))	54.48	*	WORST_CASE(?,O(n^5))	54.37	*	MAYBE	3.93	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR	*	MAYBE	55.03	*	MAYBE	55.05	*	MAYBE	0.50	*	MAYBE	1.22	*	MAYBE	1.05
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	55.16	*	MAYBE	0.97	*	MAYBE	32.77	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR	*	MAYBE	55.04	*	MAYBE	55.06	*	MAYBE	0.39	*	MAYBE	0.35	*	MAYBE	1.07
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM	*	MAYBE	55.05	*	MAYBE	55.06	*	MAYBE	0.84	*	MAYBE	20.79	*	MAYBE	2.40
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C	*	WORST_CASE(?,O(n^1))	56.73	*	WORST_CASE(?,O(n^1))	55.99	*	MAYBE	1.54	*	MAYBE	51.86	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM	*	MAYBE	55.06	*	MAYBE	55.08	*	MAYBE	1.81	*	MAYBE	33.21	*	MAYBE	1.95
Transformed_CSR_04/MYNAT_complete-noand_FR	*	MAYBE	55.03	*	MAYBE	55.03	*	MAYBE	1.74	*	TIMEOUT	60.20	*	TIMEOUT	60.00
Transformed_CSR_04/MYNAT_complete-noand_Z	*	MAYBE	56.06	*	MAYBE	55.29	*	MAYBE	6.21	*	TIMEOUT	60.33	*	TIMEOUT	60.00
Transformed_CSR_04/MYNAT_complete_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	5.66	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.55
Transformed_CSR_04/MYNAT_complete_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.53	*	TIMEOUT	60.06	*	MAYBE	2.00
Transformed_CSR_04/MYNAT_complete_GM	*	TIMEOUT	60.12	*	TIMEOUT	60.06	*	MAYBE	3.47	*	TIMEOUT	60.06	*	MAYBE	2.25
Transformed_CSR_04/MYNAT_complete_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	6.01	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/MYNAT_complete_noand_C	*	MAYBE	56.59	*	MAYBE	55.03	*	MAYBE	13.23	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	10.19
Transformed_CSR_04/MYNAT_complete_noand_GM	*	MAYBE	55.08	*	MAYBE	55.03	*	MAYBE	7.52	*	TIMEOUT	60.06	*	MAYBE	9.16
Transformed_CSR_04/MYNAT_nokinds-noand_FR	*	WORST_CASE(?,O(n^2))	56.72	*	WORST_CASE(?,O(n^2))	56.41	*	MAYBE	2.93	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^2))	3.75
Transformed_CSR_04/MYNAT_nokinds-noand_Z	*	WORST_CASE(?,O(n^1))	55.24	*	WORST_CASE(?,O(n^1))	55.28	*	MAYBE	1.29	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	6.44
Transformed_CSR_04/MYNAT_nokinds_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.15	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.00
Transformed_CSR_04/MYNAT_nokinds_FR	*	MAYBE	55.08	*	MAYBE	55.08	*	MAYBE	1.89	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/MYNAT_nokinds_GM	*	MAYBE	55.22	*	MAYBE	55.32	*	MAYBE	2.74	*	TIMEOUT	60.06	*	MAYBE	3.44
Transformed_CSR_04/MYNAT_nokinds_Z	*	WORST_CASE(?,O(n^1))	55.25	*	WORST_CASE(?,O(n^1))	55.21	*	MAYBE	1.04	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/MYNAT_nokinds_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.51	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.65
Transformed_CSR_04/MYNAT_nokinds_noand_GM	*	MAYBE	55.19	*	MAYBE	55.24	*	MAYBE	6.56	*	TIMEOUT	60.06	*	MAYBE	1.65
Transformed_CSR_04/MYNAT_nosorts-noand_FR	*	WORST_CASE(?,O(n^2))	25.35	*	WORST_CASE(?,O(n^2))	25.07	*	MAYBE	0.42	*	MAYBE	0.88	*	WORST_CASE(?,O(n^2))	4.91
Transformed_CSR_04/MYNAT_nosorts_C	*	MAYBE	55.43	*	MAYBE	55.24	*	MAYBE	3.11	*	MAYBE	56.86	*	WORST_CASE(?,O(n^1))	8.10
Transformed_CSR_04/MYNAT_nosorts_FR	*	WORST_CASE(?,O(n^2))	1.54	*	WORST_CASE(?,O(n^2))	0.75	*	MAYBE	0.24	*	MAYBE	0.42	*	WORST_CASE(?,O(n^2))	3.53
Transformed_CSR_04/MYNAT_nosorts_GM	*	MAYBE	55.06	*	MAYBE	55.11	*	MAYBE	1.01	*	MAYBE	50.63	*	TIMEOUT	60.00
Transformed_CSR_04/MYNAT_nosorts_noand_C	*	MAYBE	55.33	*	MAYBE	55.34	*	MAYBE	4.37	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.54
Transformed_CSR_04/MYNAT_nosorts_noand_GM	*	MAYBE	55.24	*	MAYBE	55.34	*	MAYBE	1.91	*	TIMEOUT	60.06	*	MAYBE	3.17
Transformed_CSR_04/OvConsOS_complete-noand_FR	*	MAYBE	55.02	*	MAYBE	55.02	*	MAYBE	2.70	*	TIMEOUT	60.11	*	TIMEOUT	60.07
Transformed_CSR_04/OvConsOS_complete-noand_Z	*	MAYBE	55.09	*	MAYBE	55.02	*	MAYBE	2.55	*	TIMEOUT	60.12	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_complete_C	*	MAYBE	59.66	*	MAYBE	55.97	*	MAYBE	5.88	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_complete_FR	*	MAYBE	55.29	*	MAYBE	55.32	*	MAYBE	2.82	*	TIMEOUT	60.39	*	MAYBE	1.08
Transformed_CSR_04/OvConsOS_complete_GM	*	TIMEOUT	60.06	*	TIMEOUT	60.12	*	MAYBE	26.28	*	TIMEOUT	60.25	*	TIMEOUT	60.01
Transformed_CSR_04/OvConsOS_complete_Z	*	MAYBE	56.68	*	MAYBE	55.33	*	MAYBE	4.61	*	TIMEOUT	60.26	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_complete_noand_C	*	MAYBE	55.09	*	TIMEOUT	60.06	*	MAYBE	11.34	*	TIMEOUT	60.12	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_complete_noand_GM	*	MAYBE	55.04	*	MAYBE	55.03	*	MAYBE	31.62	*	TIMEOUT	60.12	*	TIMEOUT	60.01
Transformed_CSR_04/OvConsOS_nokinds-noand_FR	*	MAYBE	55.30	*	MAYBE	55.15	*	MAYBE	6.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds-noand_Z	*	MAYBE	55.23	*	MAYBE	55.07	*	MAYBE	1.95	*	TIMEOUT	60.06	*	TIMEOUT	60.04
Transformed_CSR_04/OvConsOS_nokinds_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.50	*	TIMEOUT	60.06	*	TIMEOUT	60.01
Transformed_CSR_04/OvConsOS_nokinds_GM	*	MAYBE	55.26	*	MAYBE	55.32	*	MAYBE	7.35	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	5.04	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds_noand_GM	*	MAYBE	55.31	*	MAYBE	55.34	*	MAYBE	15.85	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nosorts-noand_FR	*	MAYBE	55.11	*	MAYBE	55.11	*	MAYBE	2.76	*	MAYBE	50.56	*	MAYBE	45.12
Transformed_CSR_04/OvConsOS_nosorts-noand_Z	*	MAYBE	55.17	*	MAYBE	55.20	*	MAYBE	3.29	*	MAYBE	50.15	*	MAYBE	5.18
Transformed_CSR_04/OvConsOS_nosorts_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.68	*	MAYBE	54.70	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nosorts_FR	*	MAYBE	55.81	*	MAYBE	55.05	*	MAYBE	1.67	*	MAYBE	31.99	*	MAYBE	2.26
Transformed_CSR_04/OvConsOS_nosorts_GM	*	MAYBE	55.07	*	MAYBE	55.11	*	MAYBE	2.26	*	MAYBE	49.37	*	MAYBE	1.23
Transformed_CSR_04/OvConsOS_nosorts_Z	*	MAYBE	55.08	*	MAYBE	55.06	*	MAYBE	0.76	*	MAYBE	2.04	*	MAYBE	0.88
Transformed_CSR_04/OvConsOS_nosorts_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.55	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nosorts_noand_GM	*	MAYBE	55.25	*	MAYBE	55.26	*	MAYBE	12.48	*	MAYBE	57.62	*	TIMEOUT	60.02
Transformed_CSR_04/PALINDROME_complete-noand_FR	*	MAYBE	55.17	*	MAYBE	55.08	*	TRS is not left-linear	0.04	*	TRS is not left-linear	0.11	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_complete-noand_L	*	MAYBE	56.50	*	MAYBE	55.72	*	MAYBE	1.47	*	MAYBE	47.86	*	MAYBE	4.42
Transformed_CSR_04/PALINDROME_complete-noand_Z	*	WORST_CASE(?,O(n^2))	39.73	*	WORST_CASE(?,O(n^2))	36.22	*	TRS is not left-linear	0.08	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_complete_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.04	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	7.61
Transformed_CSR_04/PALINDROME_complete_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.13	*	TRS is not left-linear	0.21	*	MAYBE	1.04
Transformed_CSR_04/PALINDROME_complete_GM	*	MAYBE	55.53	*	MAYBE	55.34	*	TRS is not left-linear	0.07	*	TRS is not left-linear	0.01	*	TIMEOUT	60.01
Transformed_CSR_04/PALINDROME_complete_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.08	*	TRS is not left-linear	0.09	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_complete_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.02	*	WORST_CASE(?,O(n^1))	11.71
Transformed_CSR_04/PALINDROME_complete_noand_GM	*	MAYBE	55.09	*	MAYBE	55.04	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.02	*	TIMEOUT	60.03
Transformed_CSR_04/PALINDROME_nokinds-noand_FR	*	WORST_CASE(?,O(n^2))	19.03	*	WORST_CASE(?,O(n^2))	18.25	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.04	*	WORST_CASE(?,O(n^2))	14.66
Transformed_CSR_04/PALINDROME_nokinds-noand_L	*	MAYBE	35.01	*	MAYBE	31.81	*	MAYBE	0.17	*	MAYBE	0.82	*	MAYBE	1.56
Transformed_CSR_04/PALINDROME_nokinds-noand_Z	*	WORST_CASE(?,O(n^1))	7.30	*	WORST_CASE(?,O(n^1))	7.10	*	TRS is not left-linear	0.05	*	TRS is not left-linear	0.02	*	WORST_CASE(?,O(n^1))	7.30
Transformed_CSR_04/PALINDROME_nokinds_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	8.74
Transformed_CSR_04/PALINDROME_nokinds_FR	*	MAYBE	55.06	*	MAYBE	55.08	*	TRS is not left-linear	0.04	*	TRS is not left-linear	0.02	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_nokinds_GM	*	MAYBE	55.10	*	MAYBE	55.04	*	TRS is not left-linear	0.06	*	TRS is not left-linear	0.03	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_nokinds_Z	*	WORST_CASE(?,O(n^3))	55.78	*	WORST_CASE(?,O(n^3))	55.68	*	TRS is not left-linear	0.02	*	TRS is not left-linear	0.03	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_nokinds_noand_C	*	WORST_CASE(?,O(n^1))	55.20	*	WORST_CASE(?,O(n^1))	55.43	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	7.81
Transformed_CSR_04/PALINDROME_nokinds_noand_GM	*	MAYBE	55.26	*	MAYBE	55.51	*	TRS is not left-linear	0.03	*	TRS is not left-linear	0.02	*	TIMEOUT	60.01
Transformed_CSR_04/PALINDROME_nosorts_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.04	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	9.30
Transformed_CSR_04/PALINDROME_nosorts_GM	*	MAYBE	55.06	*	MAYBE	55.13	*	TRS is not left-linear	0.05	*	TRS is not left-linear	0.01	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_nosorts_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.02	*	WORST_CASE(?,O(n^1))	8.72
Transformed_CSR_04/PALINDROME_nosorts_noand_GM	*	MAYBE	55.11	*	MAYBE	55.08	*	TRS is not left-linear	0.20	*	TRS is not left-linear	0.03	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete-noand_FR	*	WORST_CASE(?,O(n^3))	25.28	*	WORST_CASE(?,O(n^3))	25.26	*	MAYBE	1.28	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete-noand_Z	*	WORST_CASE(?,O(n^2))	25.20	*	WORST_CASE(?,O(n^2))	25.19	*	MAYBE	0.84	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.27	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	7.69
Transformed_CSR_04/PEANO_complete_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.78	*	TIMEOUT	60.06	*	MAYBE	1.55
Transformed_CSR_04/PEANO_complete_GM	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.85	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete_Z	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	1.03	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete_noand_C	*	TIMEOUT	60.06	*	MAYBE	55.33	*	MAYBE	8.39	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	8.16
Transformed_CSR_04/PEANO_complete_noand_GM	*	MAYBE	55.69	*	TIMEOUT	60.47	*	MAYBE	9.51	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_nokinds-noand_FR	*	WORST_CASE(?,O(n^2))	25.09	*	WORST_CASE(?,O(n^2))	25.11	*	MAYBE	0.31	*	MAYBE	56.68	*	WORST_CASE(?,O(n^2))	1.99
Transformed_CSR_04/PEANO_nokinds-noand_Z	*	WORST_CASE(?,O(n^1))	25.53	*	WORST_CASE(?,O(n^1))	25.16	*	MAYBE	0.52	*	MAYBE	55.87	*	WORST_CASE(?,O(n^1))	1.42
Transformed_CSR_04/PEANO_nokinds_C	*	TIMEOUT	60.06	*	MAYBE	55.87	*	MAYBE	3.95	*	MAYBE	58.35	*	WORST_CASE(?,O(n^1))	10.31
Transformed_CSR_04/PEANO_nokinds_FR	*	MAYBE	55.02	*	MAYBE	55.02	*	MAYBE	0.56	*	MAYBE	52.61	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_nokinds_GM	*	MAYBE	55.16	*	MAYBE	55.15	*	MAYBE	2.48	*	MAYBE	59.66	*	TIMEOUT	60.01
Transformed_CSR_04/PEANO_nokinds_Z	*	WORST_CASE(?,O(n^1))	49.98	*	WORST_CASE(?,O(n^1))	46.86	*	MAYBE	0.69	*	MAYBE	52.78	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_nokinds_noand_C	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	4.58	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	9.28
Transformed_CSR_04/PEANO_nokinds_noand_GM	*	MAYBE	55.26	*	MAYBE	55.27	*	MAYBE	4.47	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_nosorts-noand_FR	*	WORST_CASE(?,O(n^1))	7.07	*	WORST_CASE(?,O(n^1))	7.02	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	1.69
Transformed_CSR_04/PEANO_nosorts_C	*	WORST_CASE(?,O(n^1))	35.36	*	WORST_CASE(?,O(n^1))	33.64	*	MAYBE	0.81	*	MAYBE	37.81	*	WORST_CASE(?,O(n^1))	20.03
Transformed_CSR_04/PEANO_nosorts_FR	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	2.02
Transformed_CSR_04/PEANO_nosorts_GM	*	MAYBE	55.11	*	MAYBE	55.12	*	MAYBE	1.11	*	MAYBE	31.41	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_nosorts_noand_C	*	WORST_CASE(?,O(n^1))	56.20	*	WORST_CASE(?,O(n^1))	55.17	*	MAYBE	1.32	*	MAYBE	55.66	*	WORST_CASE(?,O(n^1))	7.95
Transformed_CSR_04/PEANO_nosorts_noand_GM	*	MAYBE	55.12	*	MAYBE	55.12	*	MAYBE	1.36	*	MAYBE	50.02	*	TIMEOUT	60.00
Various_04/04	*	WORST_CASE(?,O(1))	4.62	*	WORST_CASE(?,O(1))	4.78	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	1.67
Various_04/08	*	WORST_CASE(?,O(1))	13.07	*	WORST_CASE(?,O(1))	12.65	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(1))	1.58
Various_04/10	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.77	*	MAYBE	11.00	*	TIMEOUT	60.05
Various_04/11	*	MAYBE	12.22	*	MAYBE	11.81	*	MAYBE	0.12	*	MAYBE	0.23	*	WORST_CASE(?,O(1))	1.54
Various_04/12	*	MAYBE	53.08	*	MAYBE	53.07	*	MAYBE	0.23	*	MAYBE	2.30	*	TIMEOUT	60.00
Various_04/13	*	MAYBE	53.07	*	MAYBE	53.08	*	MAYBE	0.63	*	MAYBE	3.86	*	TIMEOUT	60.00
Various_04/14	*	WORST_CASE(?,O(n^2))	25.17	*	WORST_CASE(?,O(n^2))	25.17	*	MAYBE	1.79	*	MAYBE	30.52	*	TIMEOUT	60.04
Various_04/15	*	WORST_CASE(?,O(n^1))	0.94	*	WORST_CASE(?,O(n^1))	2.11	*	WORST_CASE(?,O(n^2))	0.15	*	WORST_CASE(?,O(n^2))	0.11	*	WORST_CASE(?,O(n^1))	4.57
Various_04/18	*	WORST_CASE(?,O(n^1))	10.76	*	WORST_CASE(?,O(n^1))	11.02	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	11.35
Various_04/22	*	WORST_CASE(?,O(n^1))	1.51	*	WORST_CASE(?,O(n^1))	1.13	*	MAYBE	0.14	*	MAYBE	0.23	*	WORST_CASE(?,O(n^1))	13.32
Various_04/23	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.24	*	TRS is not left-linear	0.01	*	TRS is not left-linear	0.01	*	WORST_CASE(?,O(n^1))	13.00
Various_04/24	*	WORST_CASE(?,O(n^2))	7.03	*	WORST_CASE(?,O(n^2))	7.03	*	WORST_CASE(?,O(n^2))	1.16	*	WORST_CASE(?,O(n^2))	3.67	*	WORST_CASE(?,O(n^1))	1.76
Waldmann_06/jwmatchb1	*	WORST_CASE(?,O(n^1))	2.55	*	WORST_CASE(?,O(n^1))	2.00	*	MAYBE	0.28	*	MAYBE	1.60	*	WORST_CASE(?,O(n^1))	2.31
Waldmann_06/jwmatchb2	*	WORST_CASE(?,O(n^1))	2.59	*	WORST_CASE(?,O(n^1))	2.13	*	MAYBE	0.26	*	MAYBE	2.72	*	WORST_CASE(?,O(n^1))	1.74
Waldmann_06/jwno1	*	MAYBE	10.19	*	MAYBE	9.80	*	MAYBE	0.13	*	MAYBE	0.35	*	TIMEOUT	60.06
Waldmann_06/jwno4	*	MAYBE	9.32	*	MAYBE	9.44	*	MAYBE	0.13	*	MAYBE	0.26	*	TIMEOUT	60.06
Waldmann_06/jwno6	*	MAYBE	10.57	*	MAYBE	10.28	*	MAYBE	0.12	*	MAYBE	0.24	*	TIMEOUT	60.06
Zantema_05/z10	*	MAYBE	16.70	*	MAYBE	15.61	*	MAYBE	0.47	*	MAYBE	0.43	*	TIMEOUT	60.06
Zantema_05/z12	*	MAYBE	55.04	*	MAYBE	55.04	*	MAYBE	21.84	*	MAYBE	24.29	*	TIMEOUT	60.10
Zantema_05/z13	*	MAYBE	55.09	*	MAYBE	55.06	*	MAYBE	3.76	*	MAYBE	11.32	*	TIMEOUT	60.06
Zantema_05/z14	*	MAYBE	55.06	*	MAYBE	55.05	*	MAYBE	2.85	*	MAYBE	5.64	*	TIMEOUT	60.06
Zantema_05/z15	*	TIMEOUT	60.01	*	MAYBE	55.04	*	MAYBE	4.56	*	MAYBE	8.18	*	TIMEOUT	60.06
Zantema_05/z16	*	MAYBE	55.01	*	MAYBE	55.02	*	MAYBE	3.11	*	MAYBE	6.19	*	TIMEOUT	60.06
Zantema_05/z17	*	MAYBE	55.79	*	MAYBE	55.30	*	MAYBE	12.34	*	MAYBE	16.34	*	TIMEOUT	60.06
Zantema_05/z18	*	TIMEOUT	60.01	*	MAYBE	55.03	*	MAYBE	5.82	*	MAYBE	9.02	*	TIMEOUT	60.06
Zantema_05/z23	*	TIMEOUT	60.01	*	MAYBE	55.03	*	MAYBE	28.55	*	MAYBE	43.22	*	WORST_CASE(?,O(n^1))	2.82
Zantema_05/z24	*	TIMEOUT	60.01	*	MAYBE	55.04	*	MAYBE	6.16	*	MAYBE	34.52	*	TIMEOUT	60.06
Zantema_05/z26	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	MAYBE	0.15	*	MAYBE	0.21	*	WORST_CASE(?,O(n^1))	19.43
Zantema_05/z27	*	MAYBE	18.72	*	MAYBE	18.04	*	MAYBE	0.20	*	MAYBE	0.63	*	TIMEOUT	60.06
Zantema_05/z28	*	MAYBE	18.57	*	MAYBE	18.22	*	MAYBE	0.10	*	MAYBE	0.10	*	WORST_CASE(?,O(n^1))	5.03
hoca/dfs-flatten	*	WORST_CASE(?,O(n^1))	1.32	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.72
hoca/fib_llist	*	MAYBE	55.13	*	MAYBE	55.17	*	MAYBE	7.06	*	MAYBE	51.04	*	TIMEOUT	60.00
hoca/flatten	*	WORST_CASE(?,O(n^1))	2.31	*	WORST_CASE(?,O(n^1))	0.74	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	1.10	*	WORST_CASE(?,O(n^1))	0.74
hoca/foldsum	*	WORST_CASE(?,O(n^1))	3.29	*	WORST_CASE(?,O(n^1))	1.30	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	1.00
hoca/id	*	WORST_CASE(?,O(n^1))	0.73	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.73
hoca/isort	*	WORST_CASE(?,O(n^2))	8.15	*	WORST_CASE(?,O(n^2))	6.39	*	MAYBE	0.49	*	WORST_CASE(?,O(n^2))	3.90	*	TIMEOUT	60.05
hoca/isort-fold	*	WORST_CASE(?,O(n^2))	11.87	*	WORST_CASE(?,O(n^2))	9.19	*	MAYBE	0.92	*	WORST_CASE(?,O(n^2))	4.75	*	TIMEOUT	60.06
hoca/mappplus	*	WORST_CASE(?,O(n^2))	1.56	*	WORST_CASE(?,O(n^2))	0.64	*	MAYBE	0.42	*	MAYBE	0.58	*	TIMEOUT	60.06
hoca/mergesort-dc	*	MAYBE	55.15	*	MAYBE	55.23	*	MAYBE	17.03	*	MAYBE	49.72	*	TIMEOUT	60.01
hoca/mss	*	MAYBE	55.09	*	MAYBE	55.07	*	MAYBE	17.16	*	MAYBE	48.48	*	TIMEOUT	60.01
hoca/rev-dl	*	WORST_CASE(?,O(n^1))	2.00	*	WORST_CASE(?,O(n^1))	0.60	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.72
hoca/rev-fletf	*	WORST_CASE(?,O(n^1))	4.41	*	WORST_CASE(?,O(n^1))	1.45	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.79
hoca/rev-foldl	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.67
hoca/rpm-lazy	*	MAYBE	55.22	*	MAYBE	55.21	*	TRS is not left-linear	0.15	*	TRS is not left-linear	0.01	*	TIMEOUT	60.01
hoca/sum	*	WORST_CASE(?,O(n^1))	3.69	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.89
hoca/sum_sqs3	*	MAYBE	55.15	*	MAYBE	55.09	*	MAYBE	0.86	*	MAYBE	0.93	*	TIMEOUT	60.01
raML/appendAll.raml	*	WORST_CASE(?,O(n^1))	2.72	*	WORST_CASE(?,O(n^1))	1.05	*	MAYBE	0.49	*	WORST_CASE(?,O(n^2))	6.81	*	WORST_CASE(?,O(n^1))	6.96
raML/bfs.raml	*	WORST_CASE(?,O(n^2))	53.13	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^2))	13.88	*	MAYBE	44.61	*	TIMEOUT	60.00
raML/bft_mmult.raml	*	WORST_CASE(?,O(n^3))	36.19	*	WORST_CASE(?,O(n^3))	28.11	*	MAYBE	9.79	*	TIMEOUT	60.06	*	TIMEOUT	60.01
raML/bitvectors.raml	*	WORST_CASE(?,O(n^2))	57.49	*	TIMEOUT	60.06	*	MAYBE	16.92	*	TIMEOUT	60.06	*	TIMEOUT	60.00
raML/clevermmult.raml	*	WORST_CASE(?,O(n^2))	14.97	*	WORST_CASE(?,O(n^2))	6.25	*	MAYBE	2.43	*	TIMEOUT	60.06	*	TIMEOUT	60.05
raML/duplicates.raml	*	WORST_CASE(?,O(n^2))	10.07	*	WORST_CASE(?,O(n^2))	5.39	*	MAYBE	1.89	*	WORST_CASE(?,O(n^2))	47.23	*	TIMEOUT	60.04
raML/dyade.raml	*	WORST_CASE(?,O(n^2))	7.38	*	WORST_CASE(?,O(n^2))	2.04	*	MAYBE	1.49	*	MAYBE	52.79	*	TIMEOUT	60.05
raML/eratosthenes.raml	*	WORST_CASE(?,O(n^2))	25.13	*	WORST_CASE(?,O(n^2))	25.11	*	MAYBE	4.41	*	TIMEOUT	60.06	*	TIMEOUT	60.00
raML/flatten.raml	*	WORST_CASE(?,O(n^2))	25.25	*	WORST_CASE(?,O(n^2))	25.19	*	MAYBE	1.24	*	MAYBE	39.36	*	TIMEOUT	60.04
raML/flatten2.raml	*	WORST_CASE(?,O(n^2))	25.10	*	WORST_CASE(?,O(n^2))	25.05	*	MAYBE	0.87	*	MAYBE	5.34	*	TIMEOUT	60.04
raML/insertionsort.raml	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.52	*	WORST_CASE(?,O(n^2))	45.03	*	TIMEOUT	60.00
raML/listsort.raml	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	3.58	*	WORST_CASE(?,O(n^2))	38.77	*	TIMEOUT	60.01
raML/longestCommonSubsequence.raml	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	7.71	*	MAYBE	37.68	*	TIMEOUT	60.00
raML/matrix.raml	*	WORST_CASE(?,O(n^6))	56.53	*	WORST_CASE(?,O(n^4))	44.45	*	MAYBE	21.31	*	TIMEOUT	60.06	*	TIMEOUT	60.00
raML/mergesort.raml	*	WORST_CASE(?,O(n^2))	55.61	*	WORST_CASE(?,O(n^2))	55.64	*	MAYBE	3.52	*	MAYBE	48.08	*	TIMEOUT	60.00
raML/minsort.raml	*	WORST_CASE(?,O(n^2))	25.05	*	WORST_CASE(?,O(n^2))	25.05	*	MAYBE	2.09	*	WORST_CASE(?,O(n^2))	16.02	*	TIMEOUT	60.05
raML/queue.raml	*	MAYBE	55.09	*	MAYBE	55.26	*	MAYBE	48.46	*	MAYBE	46.71	*	TIMEOUT	60.02
raML/quicksort.raml	*	WORST_CASE(?,O(n^2))	53.29	*	TIMEOUT	60.06	*	MAYBE	6.50	*	MAYBE	42.49	*	TIMEOUT	60.05
raML/rationalPotential.raml	*	WORST_CASE(?,O(n^1))	2.02	*	WORST_CASE(?,O(n^1))	0.95	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	1.03	*	WORST_CASE(?,O(n^1))	2.95
raML/splitandsort.raml	*	MAYBE	59.05	*	MAYBE	55.18	*	MAYBE	6.70	*	MAYBE	45.00	*	TIMEOUT	60.03
raML/subtrees.raml	*	WORST_CASE(?,O(n^2))	4.34	*	WORST_CASE(?,O(n^2))	2.65	*	MAYBE	0.68	*	WORST_CASE(?,O(n^2))	2.66	*	TIMEOUT	60.06

	TcTAra	TcTNoAra	AraTRS	AraTRS CF	Aprove
Success "MAYBE"	482	480	776	628	151
Success "TRS is not left-linear"	0	0	85	85	0
Success "WORST_CASE(?,O(1))"	44	44	14	14	58
Success "WORST_CASE(?,O(n^1))"	211	210	105	105	256
Success "WORST_CASE(?,O(n^10))"	1	1	0	0	0
Success "WORST_CASE(?,O(n^2))"	71	68	30	46	13
Success "WORST_CASE(?,O(n^3))"	27	28	0	8	6
Success "WORST_CASE(?,O(n^4))"	3	5	0	0	0
Success "WORST_CASE(?,O(n^5))"	5	2	0	0	0
Success "WORST_CASE(?,O(n^6))"	1	0	0	0	0
Timeout	166	173	1	125	527

Result Summary

Average Times

	TcTAra	TcTNoAra	AraTRS	AraTRS CF	Aprove
Success "MAYBE"	46.54	46.07	2.62	12.78	2.54
Success "TRS is not left-linear"	0.00	0.00	0.14	0.02	0.00
Success "WORST_CASE(?,O(1))"	3.55	3.13	0.10	0.15	1.28
Success "WORST_CASE(?,O(n^1))"	9.87	9.90	0.24	1.00	6.54
Success "WORST_CASE(?,O(n^10))"	53.37	53.43	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^2))"	17.32	14.48	0.81	8.65	6.52
Success "WORST_CASE(?,O(n^3))"	26.02	24.85	0.00	10.94	7.95
Success "WORST_CASE(?,O(n^4))"	32.55	41.35	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^5))"	45.26	31.74	0.00	0.00	0.00
Success "WORST_CASE(?,O(n^6))"	56.53	0.00	0.00	0.00	0.00
Timeout	60.09	60.10	60.19	60.09	60.02
Overall	36.61	36.33	2.13	15.96	33.53