experiment

	TcT_Comp2016			TcTNoAra			TcTAra			Aprove			AraUsed
Problem (all selected)	*	answer		*	answer		*	answer		*	answer		*	answer
AG01/#3.1	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	4.86	*	YES	0.00
AG01/#3.10	*	MAYBE	59.12	*	MAYBE	58.14	*	MAYBE	58.16	*	WORST_CASE(?,O(n^4))	300.00	*	NO	0.00
AG01/#3.12	*	WORST_CASE(?,O(n^3))	12.10	*	WORST_CASE(?,O(n^3))	0.46	*	WORST_CASE(?,O(n^3))	0.93	*	WORST_CASE(?,O(n^3))	8.73	*	NO	0.00
AG01/#3.13	*	MAYBE	59.31	*	MAYBE	58.16	*	MAYBE	58.17	*	TIMEOUT	300.00	*	NO	0.00
AG01/#3.15	*	WORST_CASE(?,O(n^1))	1.43	*	WORST_CASE(?,O(n^1))	0.84	*	WORST_CASE(?,O(n^1))	1.11	*	WORST_CASE(?,O(n^1))	6.85	*	YES	0.00
AG01/#3.16	*	WORST_CASE(?,O(n^3))	3.33	*	WORST_CASE(?,O(n^3))	4.28	*	WORST_CASE(?,O(n^3))	4.55	*	WORST_CASE(?,O(n^3))	5.02	*	NO	0.00
AG01/#3.17	*	WORST_CASE(?,O(n^2))	1.90	*	WORST_CASE(?,O(n^2))	0.45	*	WORST_CASE(?,O(n^2))	6.93	*	WORST_CASE(?,O(n^2))	8.89	*	NO	0.00
AG01/#3.17a	*	WORST_CASE(?,O(n^2))	1.78	*	WORST_CASE(?,O(n^2))	0.57	*	WORST_CASE(?,O(n^2))	10.15	*	WORST_CASE(?,O(n^2))	9.11	*	NO	0.00
AG01/#3.18	*	MAYBE	5.97	*	MAYBE	58.09	*	MAYBE	58.11	*	WORST_CASE(?,O(n^1))	299.93	*	NO	0.00
AG01/#3.19	*	MAYBE	7.01	*	MAYBE	58.06	*	MAYBE	58.08	*	WORST_CASE(?,O(n^1))	263.83	*	NO	0.00
AG01/#3.2	*	WORST_CASE(?,O(n^2))	1.02	*	WORST_CASE(?,O(n^2))	0.23	*	WORST_CASE(?,O(n^2))	0.68	*	WORST_CASE(?,O(n^1))	5.66	*	NO	0.00
AG01/#3.22	*	WORST_CASE(?,O(n^2))	0.61	*	WORST_CASE(?,O(n^2))	0.49	*	WORST_CASE(?,O(n^2))	0.58	*	WORST_CASE(?,O(n^2))	4.46	*	NO	0.00
AG01/#3.23	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	2.15	*	YES	0.00
AG01/#3.24	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	2.20	*	NO	0.00
AG01/#3.26	*	MAYBE	13.39	*	MAYBE	58.06	*	MAYBE	58.25	*	MAYBE	299.81	*	NO	0.00
AG01/#3.29	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.24	*	WORST_CASE(?,O(1))	1.88	*	NO	0.00
AG01/#3.31	*	MAYBE	3.52	*	MAYBE	58.31	*	MAYBE	58.10	*	MAYBE	3.94	*	NO	0.00
AG01/#3.33	*	WORST_CASE(?,O(1))	0.46	*	WORST_CASE(?,O(1))	0.47	*	WORST_CASE(?,O(n^1))	1.37	*	WORST_CASE(?,O(1))	1.98	*	NO	0.00
AG01/#3.35	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	3.63	*	YES	0.00
AG01/#3.36	*	MAYBE	14.17	*	MAYBE	58.11	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
AG01/#3.37	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	1.30	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	4.55	*	NO	0.00
AG01/#3.38	*	MAYBE	17.37	*	MAYBE	58.31	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
AG01/#3.39	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	1.25	*	WORST_CASE(?,O(n^2))	3.68	*	WORST_CASE(?,O(n^1))	6.01	*	NO	0.00
AG01/#3.4	*	MAYBE	5.53	*	MAYBE	48.50	*	MAYBE	54.22	*	TIMEOUT	300.00	*	NO	0.00
AG01/#3.40	*	WORST_CASE(?,O(n^2))	2.62	*	WORST_CASE(?,O(n^2))	0.79	*	WORST_CASE(?,O(n^2))	3.87	*	WORST_CASE(?,O(n^1))	6.08	*	NO	0.00
AG01/#3.41	*	WORST_CASE(?,O(n^2))	1.00	*	WORST_CASE(?,O(n^3))	1.13	*	WORST_CASE(?,O(n^2))	0.60	*	WORST_CASE(?,O(n^1))	3.74	*	YES	0.00
AG01/#3.42	*	WORST_CASE(?,O(n^2))	2.09	*	WORST_CASE(?,O(n^3))	1.47	*	WORST_CASE(?,O(n^1))	0.79	*	WORST_CASE(?,O(n^1))	5.01	*	YES	0.00
AG01/#3.47	*	WORST_CASE(?,O(n^2))	0.77	*	WORST_CASE(?,O(n^3))	0.58	*	WORST_CASE(?,O(n^2))	1.34	*	WORST_CASE(?,O(n^1))	30.33	*	YES	0.00
AG01/#3.48	*	WORST_CASE(?,O(n^2))	1.20	*	WORST_CASE(?,O(n^2))	0.21	*	WORST_CASE(?,O(n^2))	0.48	*	WORST_CASE(?,O(n^2))	2.65	*	NO	0.00
AG01/#3.49	*	MAYBE	59.07	*	MAYBE	58.08	*	MAYBE	58.08	*	MAYBE	299.92	*	NO	0.00
AG01/#3.5	*	WORST_CASE(?,O(n^2))	1.10	*	WORST_CASE(?,O(n^2))	0.76	*	WORST_CASE(?,O(n^2))	0.56	*	WORST_CASE(?,O(n^1))	8.17	*	YES	0.00
AG01/#3.51	*	WORST_CASE(?,O(n^1))	0.68	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	4.43	*	NO	0.00
AG01/#3.52	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	3.16	*	NO	0.00
AG01/#3.53	*	WORST_CASE(?,O(n^3))	15.01	*	WORST_CASE(?,O(n^3))	1.32	*	WORST_CASE(?,O(n^3))	4.31	*	WORST_CASE(?,O(n^3))	13.03	*	NO	0.00
AG01/#3.53a	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.26	*	WORST_CASE(?,O(1))	1.87	*	NO	0.00
AG01/#3.53b	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.60	*	WORST_CASE(?,O(n^1))	3.78	*	NO	0.00
AG01/#3.54	*	MAYBE	47.70	*	MAYBE	58.47	*	MAYBE	58.04	*	MAYBE	299.96	*	NO	0.00
AG01/#3.55	*	MAYBE	59.10	*	MAYBE	58.12	*	MAYBE	58.15	*	TIMEOUT	300.00	*	NO	0.00
AG01/#3.56	*	WORST_CASE(?,O(n^1))	0.87	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.65	*	WORST_CASE(?,O(n^1))	5.51	*	NO	0.00
AG01/#3.57	*	MAYBE	59.54	*	MAYBE	58.38	*	MAYBE	58.43	*	MAYBE	300.00	*	NO	0.00
AG01/#3.5a	*	WORST_CASE(?,O(n^2))	3.98	*	WORST_CASE(?,O(n^2))	0.98	*	WORST_CASE(?,O(n^2))	5.64	*	WORST_CASE(?,O(n^1))	8.90	*	NO	0.00
AG01/#3.5b	*	WORST_CASE(?,O(n^3))	5.68	*	WORST_CASE(?,O(n^3))	0.87	*	WORST_CASE(?,O(n^3))	5.72	*	WORST_CASE(?,O(n^3))	9.93	*	NO	0.00
AG01/#3.6	*	WORST_CASE(?,O(n^2))	3.22	*	WORST_CASE(?,O(n^2))	0.75	*	WORST_CASE(?,O(n^2))	2.97	*	WORST_CASE(?,O(n^1))	10.30	*	NO	0.00
AG01/#3.6a	*	WORST_CASE(?,O(n^2))	1.22	*	WORST_CASE(?,O(n^2))	1.02	*	WORST_CASE(?,O(n^2))	1.49	*	WORST_CASE(?,O(n^1))	11.26	*	YES	0.00
AG01/#3.6b	*	WORST_CASE(?,O(n^3))	4.18	*	WORST_CASE(?,O(n^3))	0.94	*	WORST_CASE(?,O(n^3))	5.60	*	WORST_CASE(?,O(n^3))	11.94	*	NO	0.00
AG01/#3.7	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^2))	0.37	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	7.01	*	YES	0.00
AG01/#3.8a	*	WORST_CASE(?,O(n^2))	3.18	*	WORST_CASE(?,O(n^3))	0.54	*	WORST_CASE(?,O(n^3))	3.06	*	WORST_CASE(?,O(n^1))	7.74	*	NO	0.00
AG01/#3.8b	*	WORST_CASE(?,O(n^4))	11.42	*	WORST_CASE(?,O(n^4))	1.79	*	WORST_CASE(?,O(n^4))	10.94	*	TIMEOUT	300.00	*	NO	0.00
AG01/#4.30c	*	MAYBE	52.75	*	MAYBE	58.08	*	MAYBE	58.06	*	WORST_CASE(?,O(n^1))	299.95	*	NO	0.00
AProVE_04/AAECC	*	MAYBE	59.10	*	MAYBE	58.15	*	MAYBE	58.14	*	WORST_CASE(?,O(n^2))	299.96	*	NO	0.00
AProVE_04/AAECC-ring	*	MAYBE	59.73	*	MAYBE	58.19	*	MAYBE	58.79	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/IJCAR_1	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	8.83	*	WORST_CASE(?,O(n^1))	5.04	*	NO	0.00
AProVE_04/IJCAR_12	*	WORST_CASE(?,O(n^2))	1.94	*	WORST_CASE(?,O(n^2))	2.21	*	WORST_CASE(?,O(n^2))	9.38	*	WORST_CASE(?,O(n^2))	8.55	*	NO	0.00
AProVE_04/IJCAR_18	*	MAYBE	59.19	*	MAYBE	58.11	*	MAYBE	58.39	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
AProVE_04/IJCAR_26	*	MAYBE	59.60	*	MAYBE	58.61	*	MAYBE	58.23	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/IJCAR_26a	*	MAYBE	59.53	*	MAYBE	58.34	*	MAYBE	58.16	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/JFP_Ex31	*	MAYBE	59.05	*	MAYBE	58.30	*	MAYBE	58.57	*	WORST_CASE(?,O(n^1))	6.03	*	NO	0.00
AProVE_04/JFP_Ex51	*	WORST_CASE(?,O(n^2))	5.73	*	WORST_CASE(?,O(n^3))	8.15	*	WORST_CASE(?,O(n^3))	7.78	*	TIMEOUT	300.00	*	YES	0.00
AProVE_04/LPAR_intlist	*	MAYBE	59.08	*	MAYBE	58.73	*	MAYBE	58.53	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/Liveness6.1	*	MAYBE	59.07	*	MAYBE	58.17	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/Liveness6.2	*	WORST_CASE(?,O(n^2))	17.74	*	WORST_CASE(?,O(n^2))	17.49	*	WORST_CASE(?,O(n^2))	16.77	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/Liveness6.3	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	1.92	*	WORST_CASE(?,O(n^1))	4.75	*	NO	0.00
AProVE_04/Liveness6.4	*	MAYBE	59.68	*	MAYBE	58.10	*	MAYBE	58.41	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/Liveness8	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.69	*	WORST_CASE(?,O(n^1))	74.74	*	NO	0.00
AProVE_04/Liveness_WRS	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	8.12	*	WORST_CASE(?,O(n^1))	4.59	*	NO	0.00
AProVE_04/fac	*	MAYBE	40.46	*	MAYBE	58.75	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/rta1	*	MAYBE	59.75	*	MAYBE	58.19	*	MAYBE	58.57	*	TIMEOUT	300.00	*	NO	0.00
AProVE_04/rta2	*	MAYBE	1.29	*	MAYBE	58.06	*	MAYBE	58.07	*	MAYBE	9.43	*	NO	0.00
AProVE_04/rta3	*	MAYBE	2.79	*	MAYBE	41.92	*	MAYBE	42.92	*	TIMEOUT	300.00	*	NO	0.00
AProVE_06/div_notCeTermin	*	MAYBE	59.11	*	MAYBE	58.12	*	MAYBE	58.11	*	WORST_CASE(?,O(n^2))	299.88	*	NO	0.00
AProVE_06/div_notTermin	*	MAYBE	59.05	*	MAYBE	58.63	*	MAYBE	58.79	*	WORST_CASE(?,O(n^2))	299.91	*	NO	0.00
AProVE_06/factorial1	*	MAYBE	59.47	*	MAYBE	58.20	*	MAYBE	58.13	*	TIMEOUT	300.00	*	NO	0.00
AProVE_06/factorial2	*	MAYBE	8.24	*	MAYBE	58.13	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
AProVE_06/identity	*	MAYBE	59.07	*	MAYBE	58.77	*	MAYBE	58.33	*	TIMEOUT	300.00	*	NO	0.00
AProVE_06/logarithm	*	MAYBE	45.34	*	MAYBE	58.41	*	MAYBE	58.93	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_06/modulo	*	MAYBE	9.97	*	MAYBE	58.68	*	MAYBE	58.28	*	WORST_CASE(?,O(n^1))	299.99	*	NO	0.00
AProVE_06/nonterm	*	MAYBE	59.10	*	MAYBE	58.54	*	MAYBE	58.37	*	MAYBE	299.92	*	NO	0.00
AProVE_06/quicksort	*	MAYBE	59.70	*	MAYBE	58.10	*	MAYBE	58.06	*	TIMEOUT	300.00	*	NO	0.00
AProVE_06/quot	*	MAYBE	9.80	*	MAYBE	58.11	*	MAYBE	58.10	*	WORST_CASE(?,O(n^1))	299.88	*	NO	0.00
AProVE_06/sizeChange	*	MAYBE	23.09	*	MAYBE	58.20	*	MAYBE	58.73	*	WORST_CASE(?,O(n^2))	17.26	*	NO	0.00
AProVE_06/tower	*	MAYBE	59.90	*	MAYBE	58.25	*	MAYBE	58.19	*	TIMEOUT	300.00	*	NO	0.00
AProVE_06/tower_sizeChange	*	MAYBE	59.68	*	MAYBE	58.10	*	MAYBE	58.06	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/kabasci01	*	MAYBE	59.14	*	MAYBE	58.25	*	MAYBE	58.37	*	WORST_CASE(?,O(n^1))	6.31	*	NO	0.00
AProVE_07/kabasci02	*	MAYBE	59.44	*	MAYBE	59.01	*	MAYBE	58.47	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/kabasci03	*	WORST_CASE(?,O(1))	0.48	*	WORST_CASE(?,O(1))	0.74	*	WORST_CASE(?,O(1))	0.28	*	WORST_CASE(?,O(1))	1.96	*	NO	0.00
AProVE_07/kabasci04	*	MAYBE	59.52	*	MAYBE	59.15	*	MAYBE	58.21	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/kabasci05	*	MAYBE	59.10	*	MAYBE	58.14	*	MAYBE	58.16	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_07/otto01	*	MAYBE	59.44	*	MAYBE	58.20	*	MAYBE	58.24	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
AProVE_07/otto02	*	MAYBE	59.30	*	MAYBE	58.19	*	MAYBE	58.15	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_07/otto03	*	MAYBE	4.77	*	MAYBE	58.77	*	MAYBE	58.56	*	WORST_CASE(?,O(n^2))	299.81	*	NO	0.00
AProVE_07/otto04	*	MAYBE	32.16	*	MAYBE	58.58	*	MAYBE	58.39	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/otto05	*	MAYBE	59.28	*	MAYBE	59.11	*	MAYBE	58.08	*	WORST_CASE(?,O(n^1))	11.11	*	NO	0.00
AProVE_07/otto06	*	MAYBE	59.69	*	MAYBE	58.30	*	MAYBE	58.21	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_07/otto07	*	MAYBE	4.94	*	MAYBE	58.08	*	MAYBE	58.07	*	WORST_CASE(?,O(n^2))	299.86	*	NO	0.00
AProVE_07/otto08	*	MAYBE	9.77	*	MAYBE	58.14	*	MAYBE	58.28	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/otto09	*	MAYBE	10.55	*	MAYBE	58.09	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/otto10	*	MAYBE	58.82	*	MAYBE	58.36	*	MAYBE	58.52	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/otto11	*	MAYBE	17.22	*	MAYBE	58.29	*	MAYBE	58.31	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/otto12	*	MAYBE	16.34	*	MAYBE	58.14	*	MAYBE	58.14	*	MAYBE	299.98	*	NO	0.00
AProVE_07/otto13	*	MAYBE	59.29	*	MAYBE	58.21	*	MAYBE	58.19	*	WORST_CASE(?,O(n^2))	299.86	*	NO	0.00
AProVE_07/thiemann01	*	MAYBE	12.46	*	MAYBE	58.08	*	MAYBE	58.52	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_07/thiemann02	*	MAYBE	59.06	*	MAYBE	58.87	*	MAYBE	59.06	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann03	*	MAYBE	59.09	*	MAYBE	58.52	*	MAYBE	58.52	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
AProVE_07/thiemann04	*	MAYBE	59.34	*	MAYBE	58.17	*	MAYBE	58.17	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann05	*	MAYBE	59.89	*	MAYBE	58.14	*	MAYBE	58.20	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_07/thiemann06	*	MAYBE	28.65	*	MAYBE	58.30	*	MAYBE	58.52	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
AProVE_07/thiemann07	*	MAYBE	48.19	*	MAYBE	58.88	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann08	*	MAYBE	9.43	*	MAYBE	58.10	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann09	*	MAYBE	59.35	*	MAYBE	59.32	*	MAYBE	58.45	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann10	*	MAYBE	59.05	*	MAYBE	58.29	*	MAYBE	58.12	*	WORST_CASE(?,O(n^1))	48.01	*	NO	0.00
AProVE_07/thiemann11	*	MAYBE	59.07	*	MAYBE	58.13	*	MAYBE	58.31	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_07/thiemann12	*	MAYBE	59.05	*	MAYBE	58.35	*	MAYBE	58.51	*	WORST_CASE(?,O(n^2))	299.84	*	NO	0.00
AProVE_07/thiemann13	*	MAYBE	59.06	*	MAYBE	58.54	*	MAYBE	58.32	*	WORST_CASE(?,O(n^2))	299.93	*	NO	0.00
AProVE_07/thiemann14	*	MAYBE	59.05	*	MAYBE	58.45	*	MAYBE	58.27	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann15	*	MAYBE	59.31	*	MAYBE	58.13	*	MAYBE	58.11	*	WORST_CASE(?,O(n^2))	299.87	*	NO	0.00
AProVE_07/thiemann16	*	MAYBE	59.07	*	MAYBE	58.66	*	MAYBE	59.24	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann17	*	MAYBE	59.52	*	MAYBE	58.58	*	MAYBE	58.36	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann18	*	TIMEOUT	60.06	*	MAYBE	58.13	*	MAYBE	58.28	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
AProVE_07/thiemann19	*	MAYBE	28.70	*	MAYBE	58.69	*	MAYBE	58.52	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann20	*	MAYBE	28.54	*	MAYBE	58.84	*	MAYBE	58.09	*	WORST_CASE(?,O(n^2))	299.85	*	NO	0.00
AProVE_07/thiemann21	*	MAYBE	59.05	*	MAYBE	58.56	*	MAYBE	58.45	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann22	*	TIMEOUT	60.06	*	MAYBE	58.12	*	MAYBE	58.19	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann23	*	MAYBE	59.31	*	MAYBE	58.74	*	MAYBE	59.13	*	WORST_CASE(?,O(n^1))	299.98	*	NO	0.00
AProVE_07/thiemann24	*	MAYBE	8.34	*	MAYBE	58.52	*	MAYBE	58.77	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann25	*	MAYBE	7.25	*	MAYBE	58.14	*	MAYBE	58.07	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann26	*	MAYBE	20.15	*	MAYBE	58.08	*	MAYBE	58.09	*	WORST_CASE(?,O(n^1))	105.31	*	NO	0.00
AProVE_07/thiemann27	*	MAYBE	4.69	*	MAYBE	58.14	*	MAYBE	58.14	*	WORST_CASE(?,O(n^2))	299.81	*	NO	0.00
AProVE_07/thiemann28	*	MAYBE	59.08	*	MAYBE	58.12	*	MAYBE	58.08	*	WORST_CASE(?,O(n^1))	136.28	*	NO	0.00
AProVE_07/thiemann29	*	MAYBE	59.23	*	MAYBE	58.18	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann30	*	MAYBE	59.12	*	MAYBE	58.36	*	MAYBE	58.44	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann31	*	MAYBE	59.09	*	MAYBE	58.39	*	MAYBE	59.72	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
AProVE_07/thiemann32	*	MAYBE	59.73	*	MAYBE	58.39	*	MAYBE	59.01	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann33	*	MAYBE	25.34	*	MAYBE	58.63	*	MAYBE	58.22	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann34	*	MAYBE	34.89	*	MAYBE	58.22	*	MAYBE	58.33	*	WORST_CASE(?,O(n^2))	299.88	*	NO	0.00
AProVE_07/thiemann36	*	MAYBE	59.05	*	MAYBE	58.15	*	MAYBE	58.11	*	WORST_CASE(?,O(n^2))	299.86	*	NO	0.00
AProVE_07/thiemann37	*	MAYBE	59.53	*	MAYBE	58.37	*	MAYBE	58.58	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/thiemann38	*	MAYBE	26.60	*	MAYBE	58.13	*	MAYBE	58.35	*	WORST_CASE(?,O(n^2))	299.93	*	NO	0.00
AProVE_07/thiemann40	*	MAYBE	3.61	*	MAYBE	58.10	*	MAYBE	58.07	*	WORST_CASE(?,O(n^1))	10.17	*	NO	0.00
AProVE_07/thiemann41	*	MAYBE	24.80	*	MAYBE	58.12	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe01	*	MAYBE	59.11	*	MAYBE	58.33	*	MAYBE	58.23	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe02	*	MAYBE	59.36	*	MAYBE	58.54	*	MAYBE	58.61	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe03	*	MAYBE	59.74	*	MAYBE	59.70	*	MAYBE	58.65	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe05	*	MAYBE	59.15	*	MAYBE	58.61	*	MAYBE	59.67	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe06	*	MAYBE	59.16	*	MAYBE	59.13	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe07	*	MAYBE	59.14	*	MAYBE	58.20	*	MAYBE	58.24	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe08	*	MAYBE	59.97	*	MAYBE	58.24	*	MAYBE	58.21	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe09	*	MAYBE	59.31	*	MAYBE	59.09	*	MAYBE	59.22	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe11	*	MAYBE	59.12	*	MAYBE	58.64	*	MAYBE	58.46	*	TIMEOUT	300.00	*	NO	0.00
AProVE_07/wiehe12	*	MAYBE	59.35	*	MAYBE	58.21	*	MAYBE	58.23	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/id_inc	*	MAYBE	12.83	*	MAYBE	58.28	*	MAYBE	58.53	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/log	*	MAYBE	59.19	*	MAYBE	58.25	*	MAYBE	58.77	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/parting01_reverse	*	MAYBE	59.53	*	MAYBE	58.34	*	MAYBE	58.16	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/parting02_doublelist	*	MAYBE	59.76	*	MAYBE	58.75	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/parting03_minsort	*	MAYBE	59.39	*	MAYBE	58.28	*	MAYBE	58.78	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/parting04_maxsort_h	*	MAYBE	59.14	*	MAYBE	58.22	*	MAYBE	58.94	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/parting05_maxsort	*	MAYBE	59.11	*	MAYBE	58.93	*	MAYBE	58.19	*	TIMEOUT	300.00	*	NO	0.00
AProVE_08/round	*	MAYBE	10.61	*	MAYBE	42.67	*	MAYBE	38.19	*	WORST_CASE(?,O(n^1))	299.73	*	NO	0.00
AProVE_08/round_nonterm	*	MAYBE	59.28	*	MAYBE	44.61	*	MAYBE	37.69	*	MAYBE	299.87	*	NO	0.00
AProVE_08/thiemann40_modified	*	MAYBE	60.00	*	MAYBE	58.29	*	MAYBE	58.38	*	WORST_CASE(?,O(n^2))	299.79	*	NO	0.00
AProVE_09_Inductive/div	*	MAYBE	16.91	*	MAYBE	58.30	*	MAYBE	58.91	*	WORST_CASE(?,O(n^3))	299.99	*	NO	0.00
AProVE_09_Inductive/divhard	*	MAYBE	12.04	*	MAYBE	58.10	*	MAYBE	58.10	*	WORST_CASE(?,O(n^3))	299.91	*	NO	0.00
AProVE_09_Inductive/gcd	*	MAYBE	15.34	*	MAYBE	58.30	*	MAYBE	58.53	*	WORST_CASE(?,O(n^3))	299.90	*	NO	0.00
AProVE_09_Inductive/gcd2	*	MAYBE	33.46	*	MAYBE	58.10	*	MAYBE	58.27	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
AProVE_09_Inductive/gcdhard	*	MAYBE	20.25	*	MAYBE	58.50	*	MAYBE	58.30	*	WORST_CASE(?,O(n^1))	299.97	*	NO	0.00
AProVE_09_Inductive/log	*	MAYBE	59.05	*	MAYBE	58.31	*	MAYBE	58.14	*	WORST_CASE(?,O(n^1))	299.87	*	NO	0.00
AProVE_09_Inductive/maxsort	*	MAYBE	59.51	*	MAYBE	58.25	*	MAYBE	58.75	*	TIMEOUT	300.00	*	NO	0.00
AProVE_09_Inductive/maxsortcondition	*	MAYBE	26.35	*	MAYBE	58.53	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
AProVE_09_Inductive/minsort	*	MAYBE	59.25	*	MAYBE	58.16	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
AProVE_09_Inductive/mod	*	MAYBE	59.89	*	MAYBE	58.92	*	MAYBE	58.90	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
AProVE_09_Inductive/qsort	*	MAYBE	59.74	*	MAYBE	58.16	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
AProVE_09_Inductive/qsortlast	*	MAYBE	59.11	*	MAYBE	58.40	*	MAYBE	58.78	*	TIMEOUT	300.00	*	NO	0.00
AProVE_09_Inductive/qsortmiddle	*	MAYBE	59.37	*	MAYBE	58.14	*	MAYBE	58.18	*	TIMEOUT	300.00	*	NO	0.00
AProVE_09_Inductive/zerolist	*	MAYBE	11.68	*	MAYBE	58.72	*	MAYBE	58.71	*	WORST_CASE(?,O(n^2))	299.90	*	NO	0.00
Beerendonk_07/1	*	MAYBE	5.33	*	MAYBE	42.73	*	MAYBE	43.74	*	WORST_CASE(?,O(n^2))	95.06	*	NO	0.00
Beerendonk_07/10	*	MAYBE	26.07	*	MAYBE	58.07	*	MAYBE	58.49	*	WORST_CASE(?,O(n^2))	65.06	*	NO	0.00
Beerendonk_07/11	*	MAYBE	38.33	*	MAYBE	58.21	*	MAYBE	58.31	*	WORST_CASE(?,O(n^2))	299.78	*	NO	0.00
Beerendonk_07/12	*	MAYBE	36.41	*	MAYBE	58.72	*	MAYBE	58.71	*	WORST_CASE(?,O(n^2))	299.82	*	NO	0.00
Beerendonk_07/13	*	MAYBE	49.09	*	MAYBE	58.28	*	MAYBE	58.12	*	WORST_CASE(?,O(n^2))	299.89	*	NO	0.00
Beerendonk_07/14	*	MAYBE	7.04	*	MAYBE	58.16	*	MAYBE	58.31	*	WORST_CASE(?,O(n^2))	299.79	*	NO	0.00
Beerendonk_07/15	*	TIMEOUT	60.06	*	MAYBE	58.16	*	MAYBE	58.35	*	WORST_CASE(?,O(n^2))	240.08	*	NO	0.00
Beerendonk_07/16	*	MAYBE	59.11	*	MAYBE	58.32	*	MAYBE	58.72	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Beerendonk_07/17	*	TIMEOUT	60.06	*	MAYBE	58.36	*	MAYBE	58.91	*	WORST_CASE(?,O(n^2))	299.91	*	NO	0.00
Beerendonk_07/18	*	MAYBE	59.31	*	MAYBE	58.50	*	MAYBE	58.19	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
Beerendonk_07/19	*	MAYBE	59.16	*	MAYBE	58.12	*	MAYBE	58.19	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Beerendonk_07/2	*	MAYBE	9.97	*	MAYBE	58.11	*	MAYBE	58.08	*	WORST_CASE(?,O(n^2))	56.46	*	NO	0.00
Beerendonk_07/20	*	MAYBE	59.70	*	MAYBE	58.54	*	MAYBE	58.15	*	WORST_CASE(?,O(n^1))	186.85	*	NO	0.00
Beerendonk_07/21	*	MAYBE	59.98	*	MAYBE	58.74	*	MAYBE	58.24	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Beerendonk_07/22	*	MAYBE	59.09	*	MAYBE	58.86	*	MAYBE	58.07	*	WORST_CASE(?,O(n^1))	60.89	*	NO	0.00
Beerendonk_07/23	*	MAYBE	34.98	*	MAYBE	58.35	*	MAYBE	58.29	*	WORST_CASE(?,O(n^2))	254.70	*	NO	0.00
Beerendonk_07/24	*	MAYBE	59.33	*	MAYBE	58.41	*	TIMEOUT	60.06	*	WORST_CASE(?,O(n^1))	176.48	*	NO	0.00
Beerendonk_07/3	*	MAYBE	12.26	*	MAYBE	45.28	*	MAYBE	42.89	*	WORST_CASE(?,O(n^1))	299.82	*	NO	0.00
Beerendonk_07/4	*	MAYBE	7.65	*	MAYBE	56.60	*	MAYBE	52.13	*	WORST_CASE(?,O(n^1))	299.72	*	NO	0.00
Beerendonk_07/5	*	MAYBE	29.26	*	MAYBE	51.09	*	MAYBE	49.13	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Beerendonk_07/6	*	MAYBE	7.62	*	MAYBE	53.35	*	MAYBE	50.01	*	WORST_CASE(?,O(n^2))	60.50	*	NO	0.00
Beerendonk_07/7	*	MAYBE	59.12	*	MAYBE	58.09	*	MAYBE	58.18	*	WORST_CASE(?,O(n^2))	119.55	*	NO	0.00
Beerendonk_07/8	*	TIMEOUT	60.06	*	MAYBE	58.37	*	MAYBE	58.78	*	WORST_CASE(?,O(n^1))	299.94	*	NO	0.00
Beerendonk_07/9	*	MAYBE	59.12	*	MAYBE	58.58	*	MAYBE	58.38	*	WORST_CASE(?,O(n^2))	299.98	*	NO	0.00
CiME_04/ack_prolog	*	MAYBE	5.56	*	MAYBE	58.12	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/append	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.96	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	5.92	*	YES	0.00
CiME_04/append-hard	*	MAYBE	3.35	*	MAYBE	58.33	*	MAYBE	58.15	*	WORST_CASE(?,O(n^1))	7.91	*	NO	0.00
CiME_04/append-wrong	*	MAYBE	59.10	*	MAYBE	58.06	*	MAYBE	58.05	*	MAYBE	9.43	*	NO	0.00
CiME_04/big	*	MAYBE	59.10	*	MAYBE	58.35	*	MAYBE	58.56	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/dpqs	*	WORST_CASE(?,O(1))	0.27	*	WORST_CASE(?,O(1))	0.56	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(1))	2.00	*	NO	0.00
CiME_04/fact-hard	*	MAYBE	59.25	*	MAYBE	58.71	*	MAYBE	58.50	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/filliatre	*	MAYBE	19.80	*	MAYBE	58.91	*	MAYBE	58.72	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/filliatre2	*	MAYBE	18.97	*	MAYBE	58.45	*	MAYBE	58.71	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/filliatre3	*	MAYBE	24.74	*	MAYBE	58.53	*	MAYBE	59.31	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/intersect	*	WORST_CASE(?,O(n^4))	19.11	*	WORST_CASE(?,O(n^4))	33.98	*	WORST_CASE(?,O(n^4))	35.54	*	WORST_CASE(?,O(n^2))	15.36	*	NO	0.00
CiME_04/list-sum-prod	*	MAYBE	7.66	*	MAYBE	58.36	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/list-sum-prod-assoc	*	MAYBE	7.87	*	MAYBE	58.34	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/list-sum-prod-assoc-append	*	MAYBE	12.66	*	MAYBE	58.59	*	MAYBE	58.42	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/list-sum-prod-bin	*	MAYBE	59.15	*	MAYBE	58.34	*	MAYBE	58.39	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/list-sum-prod-bin-assoc	*	TIMEOUT	60.06	*	MAYBE	58.69	*	MAYBE	58.36	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/list-sum-prod-bin-assoc-distr-app	*	MAYBE	59.37	*	MAYBE	58.24	*	MAYBE	58.23	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/log2	*	MAYBE	59.39	*	MAYBE	58.15	*	MAYBE	58.42	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/lse	*	WORST_CASE(?,O(n^2))	4.56	*	WORST_CASE(?,O(n^2))	5.18	*	WORST_CASE(?,O(n^2))	6.87	*	WORST_CASE(?,O(n^2))	30.06	*	NO	0.00
CiME_04/maude2	*	MAYBE	59.91	*	MAYBE	58.38	*	MAYBE	58.76	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
CiME_04/mucrl1	*	TIMEOUT	60.06	*	MAYBE	58.65	*	MAYBE	58.27	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
CiME_04/ternary	*	TIMEOUT	60.00	*	MAYBE	58.99	*	MAYBE	58.63	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/ternary-hard	*	MAYBE	59.83	*	MAYBE	58.56	*	MAYBE	58.42	*	TIMEOUT	300.00	*	NO	0.00
CiME_04/tree	*	WORST_CASE(?,O(n^4))	34.92	*	WORST_CASE(?,O(n^4))	45.97	*	WORST_CASE(?,O(n^4))	46.41	*	TIMEOUT	300.00	*	NO	0.00
Der95/06	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.74	*	WORST_CASE(?,O(n^1))	3.02	*	YES	0.00
Der95/07	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	3.47	*	NO	0.00
Der95/08	*	WORST_CASE(?,O(n^1))	0.58	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	3.61	*	NO	0.00
Der95/11	*	WORST_CASE(?,O(n^2))	1.88	*	WORST_CASE(?,O(n^1))	0.85	*	WORST_CASE(?,O(n^1))	1.76	*	WORST_CASE(?,O(n^1))	8.37	*	NO	0.00
Der95/12	*	MAYBE	4.11	*	MAYBE	58.75	*	MAYBE	58.14	*	WORST_CASE(?,O(n^2))	8.02	*	NO	0.00
Der95/18	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	2.93	*	YES	0.00
Der95/20	*	MAYBE	11.70	*	MAYBE	58.10	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Der95/21	*	MAYBE	22.46	*	MAYBE	46.69	*	MAYBE	51.48	*	MAYBE	299.93	*	NO	0.00
Der95/27	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.74	*	WORST_CASE(?,O(n^1))	3.65	*	YES	0.00
Der95/31	*	WORST_CASE(?,O(n^1))	1.15	*	WORST_CASE(?,O(n^1))	1.07	*	WORST_CASE(?,O(n^1))	1.06	*	WORST_CASE(?,O(n^1))	21.27	*	NO	0.00
Der95/32	*	WORST_CASE(?,O(n^2))	2.47	*	WORST_CASE(?,O(n^3))	1.75	*	WORST_CASE(?,O(n^3))	7.54	*	WORST_CASE(?,O(n^2))	8.39	*	YES	0.00
Der95/33	*	MAYBE	59.08	*	MAYBE	58.23	*	MAYBE	58.36	*	WORST_CASE(?,O(n^2))	8.14	*	NO	0.00
Endrullis_06/direct	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	9.53	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
Frederiksen_Glenstrup/ack	*	MAYBE	7.73	*	MAYBE	58.55	*	MAYBE	58.14	*	MAYBE	299.96	*	NO	0.00
Frederiksen_Glenstrup/add	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	4.47	*	YES	0.00
Frederiksen_Glenstrup/addlists	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.61	*	WORST_CASE(?,O(n^1))	5.24	*	YES	0.00
Frederiksen_Glenstrup/anchored	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.93	*	WORST_CASE(?,O(n^1))	0.64	*	WORST_CASE(?,O(n^1))	3.90	*	YES	0.00
Frederiksen_Glenstrup/append	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	1.91	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	3.77	*	YES	0.00
Frederiksen_Glenstrup/assrewrite	*	MAYBE	14.56	*	MAYBE	58.32	*	MAYBE	58.13	*	MAYBE	2.89	*	NO	0.00
Frederiksen_Glenstrup/badd	*	MAYBE	7.26	*	MAYBE	58.05	*	MAYBE	58.10	*	MAYBE	299.89	*	NO	0.00
Frederiksen_Glenstrup/binom	*	MAYBE	25.19	*	MAYBE	58.15	*	MAYBE	59.74	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Glenstrup/decrease	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	4.31	*	YES	0.00
Frederiksen_Glenstrup/deeprev_typed	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	9.44	*	YES	0.00
Frederiksen_Glenstrup/disjconj	*	MAYBE	3.55	*	MAYBE	58.13	*	MAYBE	58.11	*	MAYBE	11.52	*	NO	0.00
Frederiksen_Glenstrup/duplicate	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.34	*	WORST_CASE(?,O(n^1))	0.98	*	WORST_CASE(?,O(n^1))	3.51	*	YES	0.00
Frederiksen_Glenstrup/equal	*	MAYBE	59.08	*	MAYBE	58.12	*	MAYBE	58.40	*	MAYBE	9.42	*	NO	0.00
Frederiksen_Glenstrup/evenodd	*	WORST_CASE(?,O(n^1))	0.89	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	4.53	*	YES	0.00
Frederiksen_Glenstrup/fold	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	7.16	*	YES	0.00
Frederiksen_Glenstrup/game	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	6.57	*	YES	0.00
Frederiksen_Glenstrup/gcd	*	MAYBE	59.09	*	MAYBE	58.07	*	MAYBE	58.07	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Glenstrup/gcd2	*	MAYBE	59.07	*	MAYBE	58.10	*	MAYBE	58.08	*	WORST_CASE(?,O(n^3))	126.38	*	NO	0.00
Frederiksen_Glenstrup/increase	*	MAYBE	59.29	*	MAYBE	58.12	*	MAYBE	58.11	*	MAYBE	299.86	*	NO	0.00
Frederiksen_Glenstrup/int	*	MAYBE	59.89	*	MAYBE	58.36	*	TIMEOUT	60.00	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Glenstrup/intlookup	*	MAYBE	3.07	*	MAYBE	58.10	*	MAYBE	58.11	*	MAYBE	6.11	*	NO	0.00
Frederiksen_Glenstrup/lambdaint_typed	*	MAYBE	59.08	*	MAYBE	58.16	*	MAYBE	58.56	*	MAYBE	228.17	*	NO	0.00
Frederiksen_Glenstrup/letexp	*	MAYBE	7.04	*	MAYBE	58.12	*	MAYBE	58.11	*	MAYBE	299.80	*	NO	0.00
Frederiksen_Glenstrup/list	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	4.07	*	YES	0.00
Frederiksen_Glenstrup/lte	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	6.91	*	YES	0.00
Frederiksen_Glenstrup/map0	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	8.16	*	YES	0.00
Frederiksen_Glenstrup/member	*	WORST_CASE(?,O(n^1))	0.88	*	WORST_CASE(?,O(n^1))	1.33	*	WORST_CASE(?,O(n^1))	1.70	*	WORST_CASE(?,O(n^1))	7.45	*	YES	0.00
Frederiksen_Glenstrup/mergelists	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^1))	0.76	*	WORST_CASE(?,O(n^1))	13.00	*	YES	0.00
Frederiksen_Glenstrup/mergesort	*	MAYBE	24.88	*	MAYBE	58.78	*	MAYBE	58.10	*	MAYBE	25.52	*	NO	0.00
Frederiksen_Glenstrup/minsort	*	MAYBE	6.97	*	MAYBE	58.12	*	MAYBE	58.14	*	MAYBE	26.13	*	NO	0.00
Frederiksen_Glenstrup/mul	*	WORST_CASE(?,O(n^3))	2.47	*	WORST_CASE(?,O(n^3))	2.70	*	WORST_CASE(?,O(n^3))	2.77	*	WORST_CASE(?,O(n^3))	5.74	*	NO	0.00
Frederiksen_Glenstrup/mul_better	*	WORST_CASE(?,O(n^3))	3.18	*	WORST_CASE(?,O(n^3))	2.74	*	WORST_CASE(?,O(n^3))	3.30	*	WORST_CASE(?,O(n^3))	7.13	*	NO	0.00
Frederiksen_Glenstrup/naiverev	*	WORST_CASE(?,O(n^2))	1.65	*	WORST_CASE(?,O(n^2))	0.25	*	WORST_CASE(?,O(n^2))	0.80	*	WORST_CASE(?,O(n^2))	8.72	*	NO	0.00
Frederiksen_Glenstrup/nestdec	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.84	*	WORST_CASE(?,O(n^1))	1.22	*	WORST_CASE(?,O(n^1))	6.48	*	YES	0.00
Frederiksen_Glenstrup/nesteql	*	MAYBE	59.09	*	MAYBE	58.37	*	MAYBE	58.35	*	MAYBE	9.92	*	NO	0.00
Frederiksen_Glenstrup/nestimeql	*	MAYBE	59.52	*	MAYBE	58.87	*	MAYBE	58.11	*	MAYBE	299.80	*	NO	0.00
Frederiksen_Glenstrup/nestinc	*	MAYBE	59.33	*	MAYBE	58.20	*	MAYBE	58.16	*	MAYBE	299.87	*	NO	0.00
Frederiksen_Glenstrup/nolexicord	*	WORST_CASE(?,O(n^1))	1.68	*	WORST_CASE(?,O(n^1))	1.20	*	WORST_CASE(?,O(n^1))	0.90	*	WORST_CASE(?,O(n^1))	22.30	*	NO	0.00
Frederiksen_Glenstrup/ordered	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.89	*	WORST_CASE(?,O(n^1))	1.02	*	WORST_CASE(?,O(n^1))	7.57	*	YES	0.00
Frederiksen_Glenstrup/ordered_better	*	WORST_CASE(?,O(n^1))	0.93	*	WORST_CASE(?,O(n^1))	1.21	*	WORST_CASE(?,O(n^1))	1.05	*	WORST_CASE(?,O(n^1))	7.67	*	YES	0.00
Frederiksen_Glenstrup/overlap	*	WORST_CASE(?,O(n^2))	2.16	*	WORST_CASE(?,O(n^2))	1.20	*	WORST_CASE(?,O(n^2))	2.42	*	WORST_CASE(?,O(n^2))	10.71	*	NO	0.00
Frederiksen_Glenstrup/parsexp	*	MAYBE	15.48	*	MAYBE	58.34	*	MAYBE	58.37	*	MAYBE	28.01	*	NO	0.00
Frederiksen_Glenstrup/permute	*	MAYBE	59.18	*	MAYBE	58.21	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Glenstrup/power	*	MAYBE	9.86	*	MAYBE	58.31	*	MAYBE	58.33	*	MAYBE	299.98	*	NO	0.00
Frederiksen_Glenstrup/quicksort	*	MAYBE	38.68	*	MAYBE	58.09	*	MAYBE	59.49	*	MAYBE	50.69	*	NO	0.00
Frederiksen_Glenstrup/revapp	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	3.93	*	YES	0.00
Frederiksen_Glenstrup/select	*	WORST_CASE(?,O(n^2))	1.31	*	WORST_CASE(?,O(n^2))	1.64	*	WORST_CASE(?,O(n^2))	2.14	*	WORST_CASE(?,O(n^2))	6.40	*	NO	0.00
Frederiksen_Glenstrup/shuffle	*	WORST_CASE(?,O(n^3))	8.47	*	WORST_CASE(?,O(n^3))	0.62	*	WORST_CASE(?,O(n^3))	1.25	*	WORST_CASE(?,O(n^3))	9.15	*	NO	0.00
Frederiksen_Glenstrup/sp1	*	MAYBE	7.27	*	MAYBE	58.47	*	MAYBE	58.16	*	MAYBE	8.95	*	NO	0.00
Frederiksen_Glenstrup/subsets	*	MAYBE	4.81	*	MAYBE	58.08	*	MAYBE	58.70	*	MAYBE	6.89	*	NO	0.00
Frederiksen_Glenstrup/thetrick	*	MAYBE	59.14	*	MAYBE	58.19	*	MAYBE	58.39	*	MAYBE	15.42	*	NO	0.00
Frederiksen_Glenstrup/turing_typed	*	MAYBE	36.26	*	MAYBE	58.09	*	MAYBE	58.77	*	MAYBE	57.91	*	NO	0.00
Frederiksen_Glenstrup/vangelder_typed	*	MAYBE	59.08	*	MAYBE	58.11	*	MAYBE	58.10	*	MAYBE	20.68	*	NO	0.00
Frederiksen_Others/add	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	4.54	*	YES	0.00
Frederiksen_Others/assrewriteSize	*	MAYBE	8.32	*	MAYBE	58.33	*	MAYBE	58.10	*	MAYBE	5.88	*	NO	0.00
Frederiksen_Others/boolprog	*	WORST_CASE(?,O(n^1))	1.32	*	WORST_CASE(?,O(n^1))	2.25	*	WORST_CASE(?,O(n^1))	2.56	*	WORST_CASE(?,O(n^1))	21.53	*	YES	0.00
Frederiksen_Others/bubblesort	*	WORST_CASE(?,O(n^2))	2.23	*	WORST_CASE(?,O(n^2))	0.82	*	WORST_CASE(?,O(n^2))	3.64	*	WORST_CASE(?,O(n^2))	15.69	*	NO	0.00
Frederiksen_Others/deadcodeSize	*	MAYBE	7.05	*	MAYBE	46.53	*	MAYBE	40.74	*	MAYBE	5.91	*	NO	0.00
Frederiksen_Others/disj2_typed	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	11.39	*	YES	0.00
Frederiksen_Others/div2	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	4.45	*	YES	0.00
Frederiksen_Others/dup1_typed	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	0.90	*	WORST_CASE(?,O(n^1))	11.01	*	YES	0.00
Frederiksen_Others/dup2_typed	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	11.16	*	YES	0.00
Frederiksen_Others/eq	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	3.23	*	YES	0.00
Frederiksen_Others/ex6	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	1.30	*	WORST_CASE(?,O(n^1))	4.24	*	YES	0.00
Frederiksen_Others/fgh	*	MAYBE	8.68	*	MAYBE	46.21	*	MAYBE	48.08	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Others/fghSize	*	MAYBE	5.85	*	MAYBE	45.87	*	MAYBE	42.89	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Others/gexgcd	*	WORST_CASE(?,O(n^1))	4.85	*	WORST_CASE(?,O(n^1))	5.69	*	WORST_CASE(?,O(n^2))	12.05	*	WORST_CASE(?,O(n^1))	46.52	*	NO	0.00
Frederiksen_Others/gexgcd2	*	MAYBE	10.97	*	MAYBE	59.10	*	MAYBE	58.06	*	MAYBE	18.85	*	NO	0.00
Frederiksen_Others/graphcolour1_typed	*	TIMEOUT	60.04	*	WORST_CASE(?,O(n^4))	11.46	*	WORST_CASE(?,O(n^4))	14.15	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Others/graphcolour2Size_typed	*	MAYBE	59.14	*	MAYBE	58.16	*	MAYBE	58.68	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Others/graphcolour2_typed	*	MAYBE	59.16	*	MAYBE	58.15	*	MAYBE	58.18	*	TIMEOUT	300.00	*	NO	0.00
Frederiksen_Others/graphcolour3_typed	*	MAYBE	59.28	*	MAYBE	58.18	*	MAYBE	58.24	*	MAYBE	244.91	*	NO	0.00
Frederiksen_Others/inssort	*	WORST_CASE(?,O(n^2))	3.13	*	WORST_CASE(?,O(n^2))	0.22	*	WORST_CASE(?,O(n^2))	1.63	*	WORST_CASE(?,O(n^2))	8.41	*	NO	0.00
Frederiksen_Others/inssort_better	*	WORST_CASE(?,O(n^2))	2.16	*	WORST_CASE(?,O(n^2))	0.80	*	WORST_CASE(?,O(n^2))	2.40	*	WORST_CASE(?,O(n^2))	8.34	*	NO	0.00
Frederiksen_Others/match	*	WORST_CASE(?,O(n^2))	1.45	*	WORST_CASE(?,O(n^2))	1.53	*	WORST_CASE(?,O(n^2))	2.26	*	WORST_CASE(?,O(n^2))	21.36	*	YES	0.00
Frederiksen_Others/minsortSize	*	MAYBE	6.63	*	MAYBE	58.36	*	MAYBE	58.53	*	MAYBE	26.06	*	NO	0.00
Frederiksen_Others/ocall-safe	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	1.13	*	WORST_CASE(?,O(n^1))	3.88	*	YES	0.00
Frederiksen_Others/ocall-unsafe	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.57	*	WORST_CASE(?,O(n^1))	3.62	*	YES	0.00
Frederiksen_Others/oddeven	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	3.60	*	YES	0.00
Frederiksen_Others/permut	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	2.95	*	YES	0.00
Frederiksen_Others/power	*	MAYBE	10.88	*	MAYBE	58.11	*	MAYBE	58.12	*	MAYBE	6.74	*	NO	0.00
Frederiksen_Others/quicksortPtime	*	WORST_CASE(?,O(n^2))	11.83	*	WORST_CASE(?,O(n^2))	2.66	*	WORST_CASE(?,O(n^2))	12.11	*	WORST_CASE(?,O(n^2))	20.35	*	NO	0.00
Frederiksen_Others/quicksortSize	*	MAYBE	59.11	*	MAYBE	58.16	*	MAYBE	58.40	*	MAYBE	25.12	*	NO	0.00
Frederiksen_Others/reach	*	MAYBE	59.26	*	MAYBE	58.86	*	MAYBE	58.87	*	MAYBE	7.91	*	NO	0.00
Frederiksen_Others/rematch	*	MAYBE	59.34	*	MAYBE	58.72	*	MAYBE	58.54	*	WORST_CASE(?,O(n^4))	216.62	*	NO	0.00
Frederiksen_Others/strmatch	*	WORST_CASE(?,O(n^2))	2.86	*	WORST_CASE(?,O(n^2))	1.66	*	WORST_CASE(?,O(n^2))	2.62	*	WORST_CASE(?,O(n^2))	28.87	*	YES	0.00
Frederiksen_Others/thetrickSize	*	WORST_CASE(?,O(n^1))	2.27	*	WORST_CASE(?,O(n^2))	1.23	*	WORST_CASE(?,O(n^1))	2.23	*	WORST_CASE(?,O(n^1))	13.91	*	YES	0.00
GTSSK07/cade01	*	MAYBE	4.55	*	MAYBE	58.31	*	MAYBE	58.07	*	WORST_CASE(?,O(n^2))	299.75	*	NO	0.00
GTSSK07/cade03	*	MAYBE	21.90	*	MAYBE	58.29	*	MAYBE	58.31	*	WORST_CASE(?,O(n^2))	299.88	*	NO	0.00
GTSSK07/cade04t	*	MAYBE	3.47	*	MAYBE	59.30	*	MAYBE	58.68	*	WORST_CASE(?,O(n^2))	299.82	*	NO	0.00
GTSSK07/cade05t	*	MAYBE	59.16	*	MAYBE	58.33	*	MAYBE	58.76	*	TIMEOUT	300.00	*	NO	0.00
GTSSK07/cade06	*	MAYBE	59.12	*	MAYBE	58.22	*	MAYBE	59.30	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
GTSSK07/cade07	*	MAYBE	27.27	*	MAYBE	58.07	*	MAYBE	58.07	*	WORST_CASE(?,O(n^2))	299.90	*	NO	0.00
GTSSK07/cade08	*	MAYBE	59.78	*	MAYBE	58.23	*	MAYBE	58.39	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
GTSSK07/cade09	*	MAYBE	59.13	*	MAYBE	58.44	*	MAYBE	58.55	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
GTSSK07/cade10	*	MAYBE	47.88	*	MAYBE	59.29	*	MAYBE	58.87	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
GTSSK07/cade11	*	MAYBE	15.25	*	MAYBE	59.10	*	MAYBE	58.50	*	WORST_CASE(?,O(n^2))	299.90	*	NO	0.00
GTSSK07/cade12t	*	TIMEOUT	60.06	*	MAYBE	58.53	*	MAYBE	58.20	*	WORST_CASE(?,O(n^2))	299.93	*	NO	0.00
GTSSK07/cade13t	*	MAYBE	8.84	*	MAYBE	58.09	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
GTSSK07/cade14	*	MAYBE	22.42	*	MAYBE	58.11	*	MAYBE	58.28	*	WORST_CASE(?,O(n^2))	299.89	*	NO	0.00
GTSSK07/cade15	*	MAYBE	52.24	*	MAYBE	58.69	*	MAYBE	58.83	*	TIMEOUT	300.00	*	NO	0.00
GTSSK07/cade16	*	MAYBE	23.32	*	MAYBE	58.30	*	MAYBE	58.12	*	WORST_CASE(?,O(n^2))	299.89	*	NO	0.00
GTSSK07/cade17	*	MAYBE	59.47	*	MAYBE	58.41	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
HirokawaMiddeldorp_04/n002	*	MAYBE	7.46	*	MAYBE	7.71	*	MAYBE	7.25	*	MAYBE	6.05	*	NO	0.00
HirokawaMiddeldorp_04/n003	*	MAYBE	7.04	*	MAYBE	7.07	*	MAYBE	7.05	*	MAYBE	5.90	*	NO	0.00
HirokawaMiddeldorp_04/n004	*	MAYBE	7.26	*	MAYBE	7.28	*	MAYBE	7.87	*	MAYBE	5.89	*	NO	0.00
HirokawaMiddeldorp_04/n005	*	MAYBE	7.05	*	MAYBE	8.00	*	MAYBE	7.50	*	MAYBE	299.82	*	NO	0.00
HirokawaMiddeldorp_04/n006	*	MAYBE	7.04	*	MAYBE	39.37	*	MAYBE	41.68	*	MAYBE	64.62	*	NO	0.00
HirokawaMiddeldorp_04/n007	*	MAYBE	1.25	*	MAYBE	42.32	*	MAYBE	42.43	*	MAYBE	5.45	*	NO	0.00
HirokawaMiddeldorp_04/t001	*	MAYBE	59.10	*	MAYBE	58.37	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
HirokawaMiddeldorp_04/t002	*	MAYBE	59.10	*	MAYBE	58.15	*	MAYBE	58.10	*	WORST_CASE(?,O(n^2))	8.73	*	NO	0.00
HirokawaMiddeldorp_04/t003	*	MAYBE	59.72	*	MAYBE	58.14	*	MAYBE	58.20	*	TIMEOUT	300.00	*	NO	0.00
HirokawaMiddeldorp_04/t004	*	MAYBE	17.42	*	MAYBE	58.06	*	MAYBE	58.08	*	MAYBE	299.88	*	NO	0.00
HirokawaMiddeldorp_04/t009	*	MAYBE	59.06	*	MAYBE	58.19	*	MAYBE	58.50	*	TIMEOUT	300.00	*	NO	0.00
HirokawaMiddeldorp_04/t011	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	0.84	*	WORST_CASE(?,O(n^1))	3.52	*	YES	0.00
HirokawaMiddeldorp_04/t012	*	MAYBE	59.31	*	MAYBE	58.14	*	MAYBE	58.55	*	TIMEOUT	300.00	*	NO	0.00
HirokawaMiddeldorp_04/t013	*	MAYBE	18.81	*	MAYBE	58.74	*	MAYBE	58.54	*	TIMEOUT	300.00	*	NO	0.00
HirokawaMiddeldorp_04/t014	*	WORST_CASE(?,O(n^2))	0.90	*	WORST_CASE(?,O(n^2))	0.56	*	WORST_CASE(?,O(n^2))	0.72	*	WORST_CASE(?,O(n^1))	6.97	*	YES	0.00
Mixed_TRS/Ex1_Luc04b_GM	*	MAYBE	13.66	*	MAYBE	58.31	*	MAYBE	58.31	*	TIMEOUT	300.00	*	NO	0.00
Mixed_TRS/fossacs	*	MAYBE	30.59	*	MAYBE	58.09	*	MAYBE	58.07	*	TIMEOUT	300.00	*	NO	0.00
Mixed_TRS/gcd	*	MAYBE	59.29	*	MAYBE	58.11	*	MAYBE	58.15	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Mixed_TRS/gcdMinMax	*	MAYBE	59.26	*	MAYBE	58.31	*	MAYBE	58.32	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Mixed_TRS/gcd_triple	*	TIMEOUT	60.06	*	MAYBE	58.19	*	MAYBE	58.32	*	TIMEOUT	300.00	*	NO	0.00
Mixed_TRS/hydra	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	1.21	*	WORST_CASE(?,O(n^1))	2.21	*	YES	0.00
Mixed_TRS/hydra-Zantema06	*	MAYBE	59.35	*	MAYBE	58.18	*	MAYBE	58.20	*	WORST_CASE(?,O(n^1))	8.11	*	NO	0.00
Mixed_TRS/jones1	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.58	*	WORST_CASE(?,O(n^1))	3.67	*	YES	0.00
Mixed_TRS/jones2	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.62	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	3.99	*	YES	0.00
Mixed_TRS/jones4	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	3.87	*	YES	0.00
Mixed_TRS/jones5	*	MAYBE	2.41	*	MAYBE	58.10	*	MAYBE	58.12	*	MAYBE	299.78	*	NO	0.00
Mixed_TRS/jones6	*	WORST_CASE(?,O(n^1))	1.11	*	WORST_CASE(?,O(n^1))	0.94	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	4.29	*	YES	0.00
Mixed_TRS/minsort	*	MAYBE	59.24	*	MAYBE	58.34	*	MAYBE	58.28	*	TIMEOUT	300.00	*	NO	0.00
Mixed_TRS/perfect	*	WORST_CASE(?,O(n^1))	1.34	*	WORST_CASE(?,O(n^1))	1.41	*	WORST_CASE(?,O(n^1))	1.58	*	WORST_CASE(?,O(n^1))	8.38	*	NO	0.00
Mixed_TRS/perfect2	*	MAYBE	59.10	*	MAYBE	58.34	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Mixed_TRS/test1	*	MAYBE	1.18	*	MAYBE	39.35	*	MAYBE	41.48	*	MAYBE	16.99	*	NO	0.00
Mixed_TRS/while	*	MAYBE	8.17	*	MAYBE	52.65	*	MAYBE	46.16	*	WORST_CASE(?,O(n^2))	299.79	*	NO	0.00
Rubio_04/bintrees	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.68	*	WORST_CASE(?,O(n^1))	5.01	*	NO	0.00
Rubio_04/bn122	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^2))	1.20	*	WORST_CASE(?,O(n^2))	0.61	*	WORST_CASE(?,O(n^1))	2.91	*	NO	0.00
Rubio_04/division	*	WORST_CASE(?,O(n^3))	5.77	*	WORST_CASE(?,O(n^3))	1.24	*	WORST_CASE(?,O(n^3))	2.58	*	WORST_CASE(?,O(n^3))	7.70	*	NO	0.00
Rubio_04/elimdupl	*	WORST_CASE(?,O(n^2))	11.56	*	WORST_CASE(?,O(n^3))	1.52	*	WORST_CASE(?,O(n^3))	4.19	*	WORST_CASE(?,O(n^2))	6.82	*	NO	0.00
Rubio_04/enno	*	WORST_CASE(?,O(n^2))	19.19	*	WORST_CASE(?,O(n^3))	2.40	*	WORST_CASE(?,O(n^3))	5.15	*	WORST_CASE(?,O(n^2))	24.39	*	NO	0.00
Rubio_04/gcd	*	WORST_CASE(?,O(n^2))	3.76	*	WORST_CASE(?,O(n^2))	0.85	*	WORST_CASE(?,O(n^2))	3.63	*	WORST_CASE(?,O(n^1))	12.60	*	NO	0.00
Rubio_04/gm	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^2))	0.37	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	5.90	*	YES	0.00
Rubio_04/gmnp	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.61	*	WORST_CASE(?,O(n^1))	5.45	*	NO	0.00
Rubio_04/koen	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	1.85	*	NO	0.00
Rubio_04/logarquot	*	WORST_CASE(?,O(n^2))	1.57	*	WORST_CASE(?,O(n^3))	0.95	*	WORST_CASE(?,O(n^3))	5.67	*	WORST_CASE(?,O(n^1))	6.76	*	NO	0.00
Rubio_04/ma96	*	MAYBE	59.35	*	MAYBE	58.34	*	MAYBE	58.19	*	TIMEOUT	300.00	*	NO	0.00
Rubio_04/mfp95	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	0.28	*	WORST_CASE(?,O(1))	0.91	*	WORST_CASE(?,O(1))	1.91	*	NO	0.00
Rubio_04/nestrec	*	MAYBE	58.20	*	MAYBE	58.06	*	MAYBE	58.09	*	MAYBE	299.81	*	NO	0.00
Rubio_04/p266	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.41	*	WORST_CASE(?,O(1))	2.03	*	NO	0.00
Rubio_04/polo2	*	WORST_CASE(?,O(n^2))	2.04	*	WORST_CASE(?,O(n^1))	0.74	*	WORST_CASE(?,O(n^1))	1.92	*	WORST_CASE(?,O(n^1))	8.35	*	YES	0.00
Rubio_04/prov	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	2.32	*	YES	0.00
Rubio_04/quick	*	MAYBE	59.11	*	MAYBE	58.15	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
Rubio_04/quotminus	*	MAYBE	5.71	*	MAYBE	54.12	*	MAYBE	58.09	*	MAYBE	299.98	*	NO	0.00
Rubio_04/revlist	*	MAYBE	59.09	*	MAYBE	58.09	*	MAYBE	58.36	*	TIMEOUT	300.00	*	NO	0.00
Rubio_04/selsort	*	WORST_CASE(?,O(n^2))	18.89	*	WORST_CASE(?,O(n^3))	3.90	*	WORST_CASE(?,O(n^3))	14.53	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Rubio_04/test4	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	3.64	*	NO	0.00
Rubio_04/test829	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	5.52	*	NO	0.00
Rubio_04/wst99	*	WORST_CASE(?,O(n^2))	5.97	*	WORST_CASE(?,O(n^2))	6.64	*	WORST_CASE(?,O(n^2))	9.43	*	WORST_CASE(?,O(n^2))	5.23	*	NO	0.00
SK90/2.02	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.51	*	WORST_CASE(?,O(n^1))	3.04	*	NO	0.00
SK90/2.03	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	5.46	*	WORST_CASE(?,O(n^1))	3.05	*	NO	0.00
SK90/2.07	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.68	*	WORST_CASE(?,O(n^1))	1.45	*	WORST_CASE(?,O(n^1))	4.12	*	NO	0.00
SK90/2.09	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	3.47	*	YES	0.00
SK90/2.11	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	4.28	*	YES	0.00
SK90/2.12	*	WORST_CASE(?,O(n^3))	5.99	*	WORST_CASE(?,O(n^3))	6.59	*	WORST_CASE(?,O(n^3))	8.51	*	WORST_CASE(?,O(n^3))	7.78	*	NO	0.00
SK90/2.13	*	WORST_CASE(?,O(n^1))	0.95	*	WORST_CASE(?,O(n^1))	0.93	*	WORST_CASE(?,O(n^1))	1.00	*	WORST_CASE(?,O(n^1))	4.30	*	YES	0.00
SK90/2.14	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	5.69	*	YES	0.00
SK90/2.15	*	MAYBE	1.68	*	MAYBE	58.10	*	MAYBE	58.52	*	EXP	14.50	*	NO	0.00
SK90/2.16	*	WORST_CASE(?,O(n^2))	0.94	*	WORST_CASE(?,O(n^2))	0.46	*	WORST_CASE(?,O(n^2))	1.97	*	WORST_CASE(?,O(n^2))	6.90	*	YES	0.00
SK90/2.17	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	1.10	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	3.79	*	YES	0.00
SK90/2.18	*	WORST_CASE(?,O(n^2))	0.44	*	WORST_CASE(?,O(n^2))	0.57	*	WORST_CASE(?,O(n^2))	1.02	*	WORST_CASE(?,O(n^2))	4.40	*	YES	0.00
SK90/2.19	*	WORST_CASE(?,O(n^2))	0.76	*	WORST_CASE(?,O(n^2))	0.91	*	WORST_CASE(?,O(n^2))	0.77	*	WORST_CASE(?,O(n^2))	6.38	*	YES	0.00
SK90/2.20	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	3.84	*	YES	0.00
SK90/2.21	*	MAYBE	1.35	*	MAYBE	58.09	*	MAYBE	58.10	*	EXP	13.67	*	NO	0.00
SK90/2.22	*	WORST_CASE(?,O(n^2))	0.68	*	WORST_CASE(?,O(n^2))	0.25	*	WORST_CASE(?,O(n^2))	0.98	*	WORST_CASE(?,O(n^2))	6.90	*	NO	0.00
SK90/2.23	*	MAYBE	6.11	*	MAYBE	58.27	*	MAYBE	58.07	*	MAYBE	299.97	*	NO	0.00
SK90/2.24	*	MAYBE	1.65	*	MAYBE	58.11	*	MAYBE	58.33	*	EXP	38.05	*	NO	0.00
SK90/2.25	*	MAYBE	4.60	*	MAYBE	58.13	*	MAYBE	58.13	*	TIMEOUT	300.00	*	NO	0.00
SK90/2.26	*	MAYBE	32.81	*	MAYBE	58.08	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
SK90/2.27	*	MAYBE	25.36	*	MAYBE	58.09	*	MAYBE	58.09	*	MAYBE	299.95	*	NO	0.00
SK90/2.28	*	MAYBE	1.58	*	MAYBE	55.48	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
SK90/2.29	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	1.13	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	5.43	*	YES	0.00
SK90/2.30	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.17	*	WORST_CASE(?,O(1))	1.89	*	YES	0.00
SK90/2.31	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.81	*	WORST_CASE(?,O(n^1))	4.72	*	YES	0.00
SK90/2.36	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	3.64	*	YES	0.00
SK90/2.37	*	WORST_CASE(?,O(1))	0.10	*	WORST_CASE(?,O(1))	0.31	*	WORST_CASE(?,O(1))	0.16	*	WORST_CASE(?,O(n^1))	19.94	*	NO	0.00
SK90/2.38	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	3.34	*	NO	0.00
SK90/2.39	*	WORST_CASE(?,O(n^2))	1.70	*	WORST_CASE(?,O(n^2))	0.19	*	WORST_CASE(?,O(n^2))	0.96	*	WORST_CASE(?,O(n^2))	9.19	*	NO	0.00
SK90/2.40	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	5.88	*	YES	0.00
SK90/2.41	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	5.26	*	YES	0.00
SK90/2.42	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	1.32	*	WORST_CASE(?,O(n^1))	4.19	*	NO	0.00
SK90/2.43	*	MAYBE	29.49	*	MAYBE	58.08	*	MAYBE	58.11	*	EXP	13.27	*	NO	0.00
SK90/2.44	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	0.97	*	WORST_CASE(?,O(n^1))	0.96	*	WORST_CASE(?,O(n^1))	6.38	*	NO	0.00
SK90/2.45	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	4.76	*	NO	0.00
SK90/2.47	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	2.86	*	YES	0.00
SK90/2.48	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.12	*	WORST_CASE(?,O(1))	1.88	*	NO	0.00
SK90/2.49	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.13	*	WORST_CASE(?,O(1))	1.86	*	YES	0.00
SK90/2.50	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	2.66	*	YES	0.00
SK90/2.51	*	MAYBE	15.85	*	MAYBE	40.17	*	MAYBE	41.16	*	MAYBE	299.91	*	NO	0.00
SK90/2.52	*	MAYBE	59.06	*	MAYBE	58.49	*	MAYBE	59.41	*	TIMEOUT	300.00	*	NO	0.00
SK90/2.53	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	3.96	*	YES	0.00
SK90/2.54	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.62	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	3.08	*	YES	0.00
SK90/2.55	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	3.05	*	NO	0.00
SK90/2.59	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	2.89	*	NO	0.00
SK90/2.61	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^2))	4.09	*	NO	0.00
SK90/4.05	*	WORST_CASE(?,O(n^2))	0.39	*	WORST_CASE(?,O(n^2))	1.11	*	WORST_CASE(?,O(n^2))	0.76	*	WORST_CASE(?,O(n^3))	6.79	*	NO	0.00
SK90/4.06	*	MAYBE	5.48	*	MAYBE	58.31	*	MAYBE	58.09	*	MAYBE	64.64	*	NO	0.00
SK90/4.07	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	1.85	*	NO	0.00
SK90/4.09	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.29	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	1.89	*	NO	0.00
SK90/4.10	*	WORST_CASE(?,O(n^2))	1.14	*	WORST_CASE(?,O(n^2))	1.50	*	WORST_CASE(?,O(n^2))	2.55	*	WORST_CASE(?,O(n^2))	6.66	*	NO	0.00
SK90/4.12	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	1.18	*	WORST_CASE(?,O(n^1))	5.37	*	WORST_CASE(?,O(n^1))	3.61	*	NO	0.00
SK90/4.13	*	WORST_CASE(?,O(n^2))	0.88	*	WORST_CASE(?,O(n^2))	1.40	*	WORST_CASE(?,O(n^2))	0.64	*	WORST_CASE(?,O(n^1))	4.69	*	YES	0.00
SK90/4.16	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.78	*	WORST_CASE(?,O(n^1))	0.86	*	WORST_CASE(?,O(n^1))	3.57	*	YES	0.00
SK90/4.17	*	WORST_CASE(?,O(n^2))	2.05	*	WORST_CASE(?,O(n^3))	1.11	*	WORST_CASE(?,O(n^3))	6.20	*	WORST_CASE(?,O(n^2))	300.00	*	YES	0.00
SK90/4.18	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	1.26	*	WORST_CASE(?,O(1))	1.88	*	NO	0.00
SK90/4.22	*	MAYBE	13.88	*	MAYBE	58.08	*	MAYBE	58.08	*	WORST_CASE(?,O(n^1))	4.61	*	NO	0.00
SK90/4.24	*	MAYBE	59.13	*	MAYBE	58.10	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
SK90/4.25	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	3.40	*	NO	0.00
SK90/4.26	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	4.40	*	NO	0.00
SK90/4.27	*	MAYBE	59.06	*	MAYBE	58.10	*	MAYBE	58.08	*	MAYBE	299.94	*	NO	0.00
SK90/4.28	*	WORST_CASE(?,O(n^1))	0.82	*	WORST_CASE(?,O(n^1))	0.58	*	WORST_CASE(?,O(n^1))	1.32	*	WORST_CASE(?,O(n^1))	7.05	*	NO	0.00
SK90/4.29	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	3.61	*	YES	0.00
SK90/4.30	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	5.73	*	WORST_CASE(?,O(n^1))	41.05	*	NO	0.00
SK90/4.31	*	MAYBE	2.38	*	MAYBE	58.04	*	MAYBE	58.10	*	MAYBE	6.71	*	NO	0.00
SK90/4.34	*	MAYBE	15.24	*	MAYBE	58.04	*	MAYBE	58.08	*	MAYBE	86.49	*	NO	0.00
SK90/4.35	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.29	*	WORST_CASE(?,O(1))	1.77	*	NO	0.00
SK90/4.38	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	3.88	*	YES	0.00
SK90/4.42	*	MAYBE	4.06	*	MAYBE	40.90	*	MAYBE	41.49	*	MAYBE	299.98	*	NO	0.00
SK90/4.43	*	WORST_CASE(?,O(n^3))	5.44	*	WORST_CASE(?,O(n^3))	7.47	*	WORST_CASE(?,O(n^3))	9.10	*	MAYBE	36.15	*	NO	0.00
SK90/4.45	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	3.17	*	NO	0.00
SK90/4.47	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.37	*	WORST_CASE(?,O(1))	1.94	*	NO	0.00
SK90/4.48	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.27	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	1.93	*	NO	0.00
SK90/4.51	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	2.22	*	NO	0.00
SK90/4.53	*	WORST_CASE(?,O(n^1))	1.05	*	WORST_CASE(?,O(n^1))	1.41	*	WORST_CASE(?,O(n^1))	1.41	*	WORST_CASE(?,O(n^1))	7.83	*	NO	0.00
SK90/4.54	*	MAYBE	2.01	*	MAYBE	58.78	*	MAYBE	58.09	*	MAYBE	196.09	*	NO	0.00
SK90/4.57	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.21	*	WORST_CASE(?,O(1))	1.90	*	NO	0.00
SK90/4.59	*	MAYBE	6.13	*	MAYBE	58.12	*	MAYBE	58.14	*	MAYBE	13.98	*	NO	0.00
SK90/4.60	*	MAYBE	59.18	*	MAYBE	58.11	*	MAYBE	58.33	*	TIMEOUT	300.00	*	NO	0.00
SK90/4.61	*	MAYBE	59.16	*	MAYBE	58.19	*	MAYBE	58.16	*	TIMEOUT	300.00	*	NO	0.00
Secret_05_TRS/aprove2	*	MAYBE	33.76	*	MAYBE	58.62	*	MAYBE	58.09	*	WORST_CASE(?,O(n^1))	44.94	*	NO	0.00
Secret_05_TRS/aprove3	*	MAYBE	10.29	*	MAYBE	58.09	*	MAYBE	58.63	*	TIMEOUT	300.00	*	NO	0.00
Secret_05_TRS/aprove4	*	MAYBE	7.03	*	MAYBE	58.16	*	MAYBE	58.92	*	WORST_CASE(?,O(n^2))	4.61	*	NO	0.00
Secret_05_TRS/aprove5	*	MAYBE	13.46	*	MAYBE	58.30	*	MAYBE	58.10	*	WORST_CASE(?,O(n^3))	299.91	*	NO	0.00
Secret_05_TRS/cime2	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.91	*	WORST_CASE(?,O(n^1))	5.96	*	NO	0.00
Secret_05_TRS/cime3	*	MAYBE	10.09	*	MAYBE	58.32	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
Secret_05_TRS/cime4	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	0.36	*	WORST_CASE(?,O(1))	0.40	*	WORST_CASE(?,O(1))	1.83	*	NO	0.00
Secret_05_TRS/cime5	*	TIMEOUT	60.06	*	MAYBE	58.49	*	MAYBE	59.15	*	TIMEOUT	300.00	*	NO	0.00
Secret_05_TRS/tpa1	*	MAYBE	59.11	*	MAYBE	58.15	*	MAYBE	58.32	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Secret_05_TRS/tpa2	*	MAYBE	59.11	*	MAYBE	58.93	*	WORST_CASE(?,O(n^2))	2.23	*	WORST_CASE(?,O(n^2))	87.71	*	YES	0.00
Secret_05_TRS/tpa3	*	MAYBE	59.07	*	MAYBE	58.55	*	MAYBE	58.15	*	TIMEOUT	300.00	*	NO	0.00
Secret_05_TRS/tpa4	*	MAYBE	59.09	*	MAYBE	58.39	*	MAYBE	58.27	*	TIMEOUT	300.00	*	NO	0.00
Secret_05_TRS/tpa5	*	MAYBE	59.32	*	MAYBE	58.18	*	MAYBE	58.56	*	TIMEOUT	300.00	*	NO	0.00
Secret_05_TRS/ttt1	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.62	*	WORST_CASE(?,O(1))	1.88	*	NO	0.00
Secret_05_TRS/ttt2	*	MAYBE	11.27	*	MAYBE	14.09	*	MAYBE	13.63	*	MAYBE	7.35	*	NO	0.00
Secret_06_TRS/10	*	WORST_CASE(?,O(n^1))	0.88	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	8.03	*	WORST_CASE(?,O(n^1))	2.40	*	NO	0.00
Secret_06_TRS/4	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	9.67	*	NO	0.00
Secret_06_TRS/6	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(1))	0.11	*	WORST_CASE(?,O(1))	5.66	*	WORST_CASE(?,O(1))	1.94	*	NO	0.00
Secret_06_TRS/addList	*	MAYBE	59.08	*	MAYBE	58.24	*	MAYBE	58.20	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/divExp	*	MAYBE	59.19	*	MAYBE	58.11	*	MAYBE	58.14	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Secret_06_TRS/division	*	MAYBE	25.84	*	MAYBE	58.56	*	MAYBE	58.77	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Secret_06_TRS/double	*	MAYBE	35.65	*	MAYBE	58.34	*	MAYBE	58.23	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/gen-1	*	WORST_CASE(?,O(1))	0.66	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	1.46	*	WORST_CASE(?,O(1))	1.93	*	NO	0.00
Secret_06_TRS/gen-17	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.87	*	WORST_CASE(?,O(1))	3.33	*	WORST_CASE(?,O(1))	2.05	*	NO	0.00
Secret_06_TRS/gen-28	*	MAYBE	6.16	*	MAYBE	53.94	*	MAYBE	53.97	*	WORST_CASE(?,O(1))	1.93	*	NO	0.00
Secret_06_TRS/logarithm	*	MAYBE	59.04	*	MAYBE	58.10	*	MAYBE	58.13	*	WORST_CASE(?,O(n^2))	299.97	*	NO	0.00
Secret_06_TRS/nrOfNodes	*	MAYBE	36.69	*	MAYBE	58.15	*	MAYBE	58.99	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/reverse	*	TIMEOUT	60.06	*	MAYBE	58.60	*	MAYBE	58.56	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/sumList	*	MAYBE	36.13	*	MAYBE	59.33	*	MAYBE	58.13	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/times	*	MAYBE	12.46	*	MAYBE	58.49	*	MAYBE	59.11	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Secret_06_TRS/toList	*	TIMEOUT	60.06	*	MAYBE	58.48	*	MAYBE	58.31	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/tpa04	*	MAYBE	59.18	*	MAYBE	58.21	*	MAYBE	58.18	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/tpa05	*	TIMEOUT	60.06	*	MAYBE	58.35	*	MAYBE	58.43	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/tpa06	*	MAYBE	59.07	*	MAYBE	58.47	*	MAYBE	59.21	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/tpa07	*	MAYBE	59.31	*	MAYBE	58.92	*	MAYBE	58.47	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/tpa08	*	MAYBE	59.09	*	MAYBE	58.37	*	MAYBE	58.27	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/tpa09	*	TIMEOUT	60.06	*	MAYBE	58.27	*	MAYBE	58.32	*	TIMEOUT	300.00	*	NO	0.00
Secret_06_TRS/tpa10	*	MAYBE	59.74	*	MAYBE	58.18	*	MAYBE	58.20	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/3	*	WORST_CASE(?,O(n^1))	6.80	*	WORST_CASE(?,O(n^1))	6.99	*	WORST_CASE(?,O(n^1))	6.83	*	WORST_CASE(?,O(1))	1.98	*	NO	0.00
Secret_07_TRS/aprove01	*	MAYBE	23.07	*	MAYBE	58.77	*	MAYBE	58.77	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/aprove02	*	MAYBE	21.57	*	MAYBE	58.57	*	MAYBE	58.57	*	WORST_CASE(?,O(n^5))	300.00	*	NO	0.00
Secret_07_TRS/aprove03	*	MAYBE	59.86	*	MAYBE	58.35	*	MAYBE	58.26	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/aprove04	*	MAYBE	59.14	*	MAYBE	58.19	*	MAYBE	58.19	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/aprove05	*	MAYBE	47.78	*	MAYBE	58.30	*	MAYBE	58.38	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/aprove06	*	TIMEOUT	60.06	*	MAYBE	58.19	*	TIMEOUT	60.00	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/aprove07	*	MAYBE	35.47	*	MAYBE	58.42	*	MAYBE	59.55	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/aprove08	*	MAYBE	38.42	*	MAYBE	58.97	*	MAYBE	58.13	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Secret_07_TRS/aprove09	*	MAYBE	21.01	*	MAYBE	58.47	*	MAYBE	58.32	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Secret_07_TRS/aprove10	*	MAYBE	59.31	*	MAYBE	58.10	*	MAYBE	58.14	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Secret_07_TRS/secret1	*	MAYBE	29.70	*	TIMEOUT	60.06	*	MAYBE	58.63	*	WORST_CASE(?,O(n^1))	2.92	*	NO	0.00
Secret_07_TRS/secret3	*	MAYBE	11.57	*	MAYBE	58.18	*	MAYBE	58.17	*	TIMEOUT	300.00	*	NO	0.00
Secret_07_TRS/secret4	*	MAYBE	59.11	*	MAYBE	59.36	*	MAYBE	58.54	*	WORST_CASE(?,O(n^2))	3.22	*	NO	0.00
Secret_07_TRS/secret5	*	WORST_CASE(?,O(n^1))	1.27	*	WORST_CASE(?,O(n^1))	0.73	*	WORST_CASE(?,O(n^1))	1.12	*	WORST_CASE(?,O(n^1))	13.11	*	NO	0.00
Strategy_removed_AG01/#4.14	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.69	*	WORST_CASE(?,O(n^1))	2.92	*	NO	0.00
Strategy_removed_AG01/#4.16	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^1))	2.69	*	NO	0.00
Strategy_removed_AG01/#4.17	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	1.50	*	WORST_CASE(?,O(n^1))	2.79	*	NO	0.00
Strategy_removed_AG01/#4.19	*	MAYBE	4.09	*	MAYBE	58.12	*	MAYBE	58.12	*	WORST_CASE(?,O(n^1))	24.97	*	NO	0.00
Strategy_removed_AG01/#4.2	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	1.06	*	WORST_CASE(?,O(n^1))	2.83	*	NO	0.00
Strategy_removed_AG01/#4.20a	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	8.24	*	WORST_CASE(?,O(n^1))	3.47	*	NO	0.00
Strategy_removed_AG01/#4.22	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	7.77	*	WORST_CASE(?,O(n^1))	6.43	*	NO	0.00
Strategy_removed_AG01/#4.23	*	MAYBE	7.61	*	MAYBE	58.07	*	MAYBE	58.05	*	WORST_CASE(?,O(n^2))	104.61	*	NO	0.00
Strategy_removed_AG01/#4.25	*	MAYBE	1.14	*	MAYBE	38.61	*	MAYBE	38.62	*	WORST_CASE(?,O(1))	2.18	*	NO	0.00
Strategy_removed_AG01/#4.26	*	MAYBE	5.03	*	MAYBE	58.69	*	MAYBE	58.72	*	WORST_CASE(?,O(n^2))	8.94	*	NO	0.00
Strategy_removed_AG01/#4.27	*	WORST_CASE(?,O(n^3))	3.08	*	WORST_CASE(?,O(n^3))	3.33	*	WORST_CASE(?,O(n^2))	0.45	*	WORST_CASE(?,O(n^2))	6.03	*	YES	0.00
Strategy_removed_AG01/#4.28	*	WORST_CASE(?,O(n^1))	0.60	*	WORST_CASE(?,O(n^3))	0.65	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	7.18	*	YES	0.00
Strategy_removed_AG01/#4.29	*	MAYBE	59.11	*	MAYBE	58.17	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_AG01/#4.30	*	MAYBE	33.57	*	MAYBE	58.10	*	MAYBE	58.50	*	WORST_CASE(?,O(n^1))	10.92	*	NO	0.00
Strategy_removed_AG01/#4.30a	*	MAYBE	2.51	*	MAYBE	58.08	*	MAYBE	58.10	*	WORST_CASE(?,O(n^1))	5.98	*	NO	0.00
Strategy_removed_AG01/#4.30b	*	MAYBE	59.06	*	MAYBE	58.08	*	MAYBE	58.10	*	WORST_CASE(?,O(n^1))	13.91	*	NO	0.00
Strategy_removed_AG01/#4.30c	*	MAYBE	59.06	*	MAYBE	58.06	*	MAYBE	58.06	*	WORST_CASE(?,O(n^1))	17.90	*	NO	0.00
Strategy_removed_AG01/#4.32	*	WORST_CASE(?,O(n^2))	0.57	*	WORST_CASE(?,O(n^3))	0.93	*	WORST_CASE(?,O(n^2))	1.38	*	WORST_CASE(?,O(n^1))	2.61	*	YES	0.00
Strategy_removed_AG01/#4.33	*	WORST_CASE(?,O(n^3))	6.30	*	WORST_CASE(?,O(n^3))	6.52	*	WORST_CASE(?,O(n^3))	8.36	*	TIMEOUT	300.00	*	YES	0.00
Strategy_removed_AG01/#4.34	*	WORST_CASE(?,O(n^2))	0.86	*	WORST_CASE(?,O(n^1))	1.57	*	WORST_CASE(?,O(n^2))	1.24	*	WORST_CASE(?,O(n^3))	64.76	*	YES	0.00
Strategy_removed_AG01/#4.35	*	MAYBE	59.11	*	MAYBE	58.21	*	MAYBE	58.19	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_AG01/#4.36	*	WORST_CASE(?,O(n^2))	13.54	*	WORST_CASE(?,O(n^3))	1.67	*	WORST_CASE(?,O(n^3))	12.27	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Strategy_removed_AG01/#4.37	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	5.43	*	NO	0.00
Strategy_removed_AG01/#4.37a	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.83	*	WORST_CASE(?,O(n^1))	5.50	*	NO	0.00
Strategy_removed_AG01/#4.7	*	WORST_CASE(?,O(1))	0.66	*	WORST_CASE(?,O(1))	0.54	*	WORST_CASE(?,O(1))	5.24	*	WORST_CASE(?,O(1))	1.95	*	NO	0.00
Strategy_removed_CSR_05/Ex14_AEGL02	*	MAYBE	1.10	*	MAYBE	58.10	*	MAYBE	58.31	*	MAYBE	119.14	*	NO	0.00
Strategy_removed_CSR_05/Ex15_Luc98	*	MAYBE	1.91	*	MAYBE	58.14	*	MAYBE	58.10	*	MAYBE	162.75	*	NO	0.00
Strategy_removed_CSR_05/Ex1_2_AEL03	*	MAYBE	2.96	*	MAYBE	58.08	*	MAYBE	58.10	*	MAYBE	299.96	*	NO	0.00
Strategy_removed_CSR_05/Ex1_2_Luc02c	*	MAYBE	0.87	*	MAYBE	58.71	*	MAYBE	58.72	*	MAYBE	61.36	*	NO	0.00
Strategy_removed_CSR_05/Ex1_GL02a	*	MAYBE	1.55	*	MAYBE	58.78	*	MAYBE	58.82	*	MAYBE	165.78	*	NO	0.00
Strategy_removed_CSR_05/Ex1_GM03	*	MAYBE	15.01	*	MAYBE	42.46	*	MAYBE	41.92	*	MAYBE	6.58	*	NO	0.00
Strategy_removed_CSR_05/Ex1_Luc02b	*	MAYBE	1.68	*	MAYBE	58.09	*	MAYBE	58.12	*	MAYBE	125.33	*	NO	0.00
Strategy_removed_CSR_05/Ex1_Zan97	*	MAYBE	30.80	*	MAYBE	31.42	*	MAYBE	31.97	*	MAYBE	6.87	*	NO	0.00
Strategy_removed_CSR_05/Ex26_Luc03b	*	MAYBE	9.38	*	MAYBE	58.13	*	MAYBE	58.18	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_CSR_05/Ex2_Luc03b	*	MAYBE	1.33	*	MAYBE	58.10	*	MAYBE	58.12	*	MAYBE	129.82	*	NO	0.00
Strategy_removed_CSR_05/Ex3_12_Luc96a	*	MAYBE	1.32	*	MAYBE	58.13	*	MAYBE	58.13	*	MAYBE	111.93	*	NO	0.00
Strategy_removed_CSR_05/Ex3_2_Luc97	*	MAYBE	1.89	*	MAYBE	58.55	*	MAYBE	58.52	*	MAYBE	299.86	*	NO	0.00
Strategy_removed_CSR_05/Ex3_3_25_Bor03	*	MAYBE	7.35	*	MAYBE	58.32	*	MAYBE	59.74	*	MAYBE	299.93	*	NO	0.00
Strategy_removed_CSR_05/Ex49_GM04	*	WORST_CASE(?,O(n^1))	0.94	*	WORST_CASE(?,O(n^1))	1.86	*	WORST_CASE(?,O(n^1))	0.91	*	WORST_CASE(?,O(n^1))	6.98	*	YES	0.00
Strategy_removed_CSR_05/Ex4_4_Luc96b	*	MAYBE	1.69	*	MAYBE	36.69	*	MAYBE	39.40	*	MAYBE	299.86	*	NO	0.00
Strategy_removed_CSR_05/Ex4_7_15_Bor03	*	MAYBE	7.05	*	MAYBE	58.51	*	MAYBE	58.71	*	MAYBE	95.07	*	NO	0.00
Strategy_removed_CSR_05/Ex4_7_37_Bor03	*	MAYBE	2.00	*	MAYBE	58.54	*	MAYBE	58.96	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_CSR_05/Ex4_7_56_Bor03	*	MAYBE	1.09	*	MAYBE	58.93	*	MAYBE	58.34	*	MAYBE	110.57	*	NO	0.00
Strategy_removed_CSR_05/Ex4_7_77_Bor03	*	MAYBE	7.04	*	MAYBE	58.12	*	MAYBE	58.11	*	MAYBE	5.98	*	NO	0.00
Strategy_removed_CSR_05/Ex4_Zan97	*	MAYBE	8.39	*	MAYBE	58.53	*	MAYBE	58.36	*	MAYBE	12.63	*	NO	0.00
Strategy_removed_CSR_05/Ex5_7_Luc97	*	MAYBE	2.41	*	MAYBE	58.39	*	MAYBE	58.53	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_CSR_05/Ex5_Zan97	*	MAYBE	7.04	*	MAYBE	7.05	*	MAYBE	7.07	*	MAYBE	6.84	*	NO	0.00
Strategy_removed_CSR_05/Ex6_15_AEL02	*	MAYBE	3.62	*	MAYBE	58.30	*	MAYBE	58.72	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_CSR_05/Ex6_9_Luc02c	*	MAYBE	1.37	*	MAYBE	58.33	*	MAYBE	58.54	*	MAYBE	63.41	*	NO	0.00
Strategy_removed_CSR_05/Ex6_GM04	*	MAYBE	7.04	*	MAYBE	53.01	*	MAYBE	40.64	*	MAYBE	6.41	*	NO	0.00
Strategy_removed_CSR_05/Ex6_Luc98	*	MAYBE	3.19	*	MAYBE	58.11	*	MAYBE	58.11	*	MAYBE	110.15	*	NO	0.00
Strategy_removed_CSR_05/Ex7_BLR02	*	MAYBE	1.27	*	MAYBE	58.15	*	MAYBE	58.12	*	MAYBE	126.43	*	NO	0.00
Strategy_removed_CSR_05/Ex8_BLR02	*	MAYBE	3.70	*	MAYBE	58.15	*	MAYBE	58.14	*	MAYBE	299.99	*	NO	0.00
Strategy_removed_CSR_05/Ex9_BLR02	*	MAYBE	7.97	*	MAYBE	58.16	*	MAYBE	58.36	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_CSR_05/ExAppendixB_AEL03	*	MAYBE	3.44	*	MAYBE	58.76	*	MAYBE	58.92	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_CSR_05/ExConc_Zan97	*	MAYBE	7.05	*	MAYBE	58.36	*	MAYBE	58.10	*	MAYBE	6.08	*	NO	0.00
Strategy_removed_CSR_05/ExIntrod_GM01	*	MAYBE	7.05	*	MAYBE	58.21	*	MAYBE	58.31	*	MAYBE	299.97	*	NO	0.00
Strategy_removed_CSR_05/ExIntrod_GM04	*	MAYBE	7.26	*	MAYBE	58.33	*	MAYBE	58.11	*	MAYBE	299.97	*	NO	0.00
Strategy_removed_CSR_05/ExIntrod_GM99	*	MAYBE	25.34	*	MAYBE	58.10	*	MAYBE	58.13	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_CSR_05/ExIntrod_Zan97	*	MAYBE	59.09	*	MAYBE	58.95	*	MAYBE	58.78	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_mixed_05/ExSec11_1_Luc02a	*	MAYBE	9.83	*	MAYBE	58.20	*	MAYBE	58.20	*	TIMEOUT	300.00	*	NO	0.00
Strategy_removed_mixed_05/ex1	*	MAYBE	7.05	*	MAYBE	7.13	*	MAYBE	8.08	*	MAYBE	5.14	*	NO	0.00
Strategy_removed_mixed_05/ex2	*	MAYBE	0.88	*	MAYBE	39.13	*	MAYBE	37.72	*	MAYBE	61.38	*	NO	0.00
Strategy_removed_mixed_05/ex3	*	MAYBE	7.04	*	MAYBE	41.26	*	MAYBE	39.51	*	MAYBE	5.34	*	NO	0.00
Strategy_removed_mixed_05/ex4	*	MAYBE	7.04	*	MAYBE	44.46	*	MAYBE	54.08	*	MAYBE	6.70	*	NO	0.00
Strategy_removed_mixed_05/ex5	*	MAYBE	7.04	*	MAYBE	7.05	*	MAYBE	7.05	*	MAYBE	6.24	*	NO	0.00
Strategy_removed_mixed_05/ex6	*	MAYBE	3.56	*	MAYBE	58.99	*	MAYBE	58.21	*	MAYBE	299.79	*	NO	0.00
Strategy_removed_mixed_05/muladd	*	MAYBE	14.25	*	MAYBE	58.12	*	MAYBE	58.70	*	MAYBE	21.96	*	NO	0.00
Strategy_removed_mixed_05/test10	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	3.44	*	NO	0.00
Strategy_removed_mixed_05/test76	*	MAYBE	4.12	*	MAYBE	46.70	*	MAYBE	40.87	*	WORST_CASE(?,O(n^1))	5.06	*	NO	0.00
Strategy_removed_mixed_05/test77	*	MAYBE	4.37	*	MAYBE	42.95	*	MAYBE	46.16	*	WORST_CASE(?,O(n^1))	5.51	*	NO	0.00
Strategy_removed_mixed_05/test830	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.91	*	WORST_CASE(?,O(n^1))	4.50	*	NO	0.00
Strategy_removed_mixed_05/tricky1	*	WORST_CASE(?,O(1))	0.23	*	WORST_CASE(?,O(1))	0.07	*	WORST_CASE(?,O(1))	8.13	*	WORST_CASE(?,O(1))	1.87	*	NO	0.00
TCT_12/polycounter-10	*	MAYBE	21.63	*	MAYBE	58.11	*	MAYBE	58.74	*	TIMEOUT	300.00	*	NO	0.00
TCT_12/polycounter-5	*	MAYBE	4.58	*	MAYBE	58.06	*	MAYBE	58.07	*	WORST_CASE(?,O(n^5))	299.98	*	NO	0.00
TCT_12/recursion-10	*	MAYBE	59.30	*	WORST_CASE(?,O(n^10))	2.04	*	WORST_CASE(?,O(n^10))	2.12	*	WORST_CASE(?,O(n^10))	300.00	*	NO	0.00
TCT_12/recursion-5	*	WORST_CASE(?,O(n^5))	15.08	*	WORST_CASE(?,O(n^5))	0.68	*	WORST_CASE(?,O(n^5))	1.52	*	WORST_CASE(?,O(n^5))	299.95	*	NO	0.00
TCT_12/sat	*	WORST_CASE(?,O(n^2))	3.23	*	WORST_CASE(?,O(n^3))	1.58	*	WORST_CASE(?,O(n^3))	3.67	*	WORST_CASE(?,O(n^2))	19.05	*	NO	0.00
Transformed_CSR_04/Ex14_AEGL02_C	*	TIMEOUT	60.06	*	MAYBE	58.12	*	MAYBE	58.49	*	WORST_CASE(?,O(n^1))	5.33	*	NO	0.00
Transformed_CSR_04/Ex14_AEGL02_FR	*	MAYBE	13.41	*	MAYBE	58.51	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex14_AEGL02_GM	*	WORST_CASE(?,O(n^3))	3.60	*	WORST_CASE(?,O(n^3))	3.34	*	WORST_CASE(?,O(n^3))	6.86	*	TIMEOUT	300.00	*	YES	0.00
Transformed_CSR_04/Ex14_AEGL02_L	*	MAYBE	7.04	*	MAYBE	58.75	*	MAYBE	58.14	*	MAYBE	8.02	*	NO	0.00
Transformed_CSR_04/Ex14_AEGL02_Z	*	MAYBE	4.07	*	MAYBE	58.07	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex14_Luc06_C	*	MAYBE	59.05	*	MAYBE	58.52	*	MAYBE	58.71	*	WORST_CASE(?,O(n^1))	6.62	*	NO	0.00
Transformed_CSR_04/Ex14_Luc06_GM	*	MAYBE	17.37	*	MAYBE	58.05	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex15_Luc06_C	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.82	*	WORST_CASE(?,O(n^1))	0.80	*	WORST_CASE(?,O(n^1))	4.45	*	NO	0.00
Transformed_CSR_04/Ex15_Luc06_FR	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	4.79	*	NO	0.00
Transformed_CSR_04/Ex15_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	3.66	*	NO	0.00
Transformed_CSR_04/Ex15_Luc06_L	*	MAYBE	7.24	*	MAYBE	7.05	*	MAYBE	7.05	*	MAYBE	5.68	*	NO	0.00
Transformed_CSR_04/Ex15_Luc06_Z	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(1))	1.90	*	YES	0.00
Transformed_CSR_04/Ex15_Luc98_C	*	MAYBE	59.16	*	MAYBE	58.19	*	MAYBE	59.65	*	WORST_CASE(?,O(n^1))	5.98	*	NO	0.00
Transformed_CSR_04/Ex15_Luc98_FR	*	MAYBE	2.55	*	MAYBE	58.13	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex15_Luc98_GM	*	WORST_CASE(?,O(n^1))	1.41	*	WORST_CASE(?,O(n^1))	2.54	*	WORST_CASE(?,O(n^1))	2.62	*	WORST_CASE(?,O(n^1))	3.85	*	YES	0.00
Transformed_CSR_04/Ex15_Luc98_Z	*	MAYBE	3.03	*	MAYBE	58.12	*	MAYBE	58.10	*	MAYBE	299.81	*	NO	0.00
Transformed_CSR_04/Ex16_Luc06_C	*	MAYBE	59.51	*	MAYBE	59.23	*	MAYBE	58.47	*	WORST_CASE(?,O(n^1))	4.98	*	NO	0.00
Transformed_CSR_04/Ex16_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.69	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.53	*	WORST_CASE(?,O(n^1))	4.34	*	NO	0.00
Transformed_CSR_04/Ex16_Luc06_L	*	MAYBE	7.04	*	MAYBE	7.28	*	MAYBE	7.49	*	MAYBE	6.01	*	NO	0.00
Transformed_CSR_04/Ex18_Luc06_C	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	8.84	*	WORST_CASE(?,O(n^1))	4.25	*	NO	0.00
Transformed_CSR_04/Ex18_Luc06_FR	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	4.06	*	YES	0.00
Transformed_CSR_04/Ex18_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	3.91	*	YES	0.00
Transformed_CSR_04/Ex18_Luc06_Z	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	1.92	*	YES	0.00
Transformed_CSR_04/Ex1_2_AEL03_C	*	MAYBE	59.63	*	MAYBE	58.41	*	MAYBE	58.37	*	WORST_CASE(?,O(n^1))	9.91	*	NO	0.00
Transformed_CSR_04/Ex1_2_AEL03_FR	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	1.07	*	WORST_CASE(?,O(n^1))	1.47	*	WORST_CASE(?,O(n^1))	12.63	*	NO	0.00
Transformed_CSR_04/Ex1_2_AEL03_GM	*	TIMEOUT	60.00	*	MAYBE	59.08	*	MAYBE	59.27	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_2_AEL03_Z	*	WORST_CASE(?,O(n^2))	1.36	*	WORST_CASE(?,O(n^2))	0.26	*	WORST_CASE(?,O(n^2))	1.71	*	WORST_CASE(?,O(n^2))	10.15	*	NO	0.00
Transformed_CSR_04/Ex1_2_Luc02c_C	*	MAYBE	59.12	*	MAYBE	58.10	*	MAYBE	58.10	*	WORST_CASE(?,O(n^1))	4.57	*	NO	0.00
Transformed_CSR_04/Ex1_2_Luc02c_FR	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.75	*	WORST_CASE(?,O(n^1))	1.46	*	WORST_CASE(?,O(n^1))	9.16	*	NO	0.00
Transformed_CSR_04/Ex1_2_Luc02c_GM	*	MAYBE	3.14	*	MAYBE	58.08	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_2_Luc02c_Z	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.11	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	2.03	*	YES	0.00
Transformed_CSR_04/Ex1_GL02a_C	*	MAYBE	59.12	*	MAYBE	58.34	*	MAYBE	58.27	*	WORST_CASE(?,O(n^1))	6.46	*	NO	0.00
Transformed_CSR_04/Ex1_GL02a_FR	*	MAYBE	59.89	*	MAYBE	58.09	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_GL02a_GM	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^2))	1.90	*	WORST_CASE(?,O(n^1))	1.42	*	WORST_CASE(?,O(n^1))	15.03	*	YES	0.00
Transformed_CSR_04/Ex1_GL02a_L	*	MAYBE	7.07	*	MAYBE	7.06	*	MAYBE	7.07	*	MAYBE	7.46	*	NO	0.00
Transformed_CSR_04/Ex1_GL02a_Z	*	MAYBE	59.10	*	MAYBE	58.73	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_GM03_C	*	MAYBE	59.34	*	MAYBE	58.18	*	MAYBE	58.51	*	WORST_CASE(?,O(n^1))	6.52	*	NO	0.00
Transformed_CSR_04/Ex1_GM03_FR	*	WORST_CASE(?,O(n^1))	1.65	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	9.00	*	WORST_CASE(?,O(n^1))	2.43	*	NO	0.00
Transformed_CSR_04/Ex1_GM03_GM	*	MAYBE	59.06	*	MAYBE	58.28	*	MAYBE	58.07	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_GM03_Z	*	MAYBE	14.05	*	MAYBE	40.49	*	MAYBE	41.47	*	MAYBE	60.94	*	NO	0.00
Transformed_CSR_04/Ex1_GM99_C	*	MAYBE	59.26	*	MAYBE	58.60	*	MAYBE	58.08	*	WORST_CASE(?,O(n^1))	6.07	*	NO	0.00
Transformed_CSR_04/Ex1_GM99_GM	*	MAYBE	28.94	*	MAYBE	58.07	*	MAYBE	58.28	*	MAYBE	299.97	*	NO	0.00
Transformed_CSR_04/Ex1_GM99_L	*	MAYBE	7.04	*	MAYBE	7.27	*	MAYBE	7.07	*	MAYBE	5.85	*	NO	0.00
Transformed_CSR_04/Ex1_Luc02b_C	*	MAYBE	59.47	*	MAYBE	58.67	*	MAYBE	58.68	*	WORST_CASE(?,O(n^1))	7.86	*	NO	0.00
Transformed_CSR_04/Ex1_Luc02b_FR	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	5.24	*	WORST_CASE(?,O(n^1))	16.01	*	NO	0.00
Transformed_CSR_04/Ex1_Luc02b_GM	*	MAYBE	9.76	*	MAYBE	58.14	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_Luc02b_Z	*	WORST_CASE(?,O(n^1))	0.92	*	WORST_CASE(?,O(n^2))	0.79	*	WORST_CASE(?,O(n^1))	0.94	*	WORST_CASE(?,O(n^2))	6.71	*	YES	0.00
Transformed_CSR_04/Ex1_Luc04b_C	*	WORST_CASE(?,O(n^1))	1.84	*	WORST_CASE(?,O(n^1))	0.72	*	WORST_CASE(?,O(n^1))	3.64	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_Luc04b_FR	*	MAYBE	17.50	*	MAYBE	58.24	*	MAYBE	58.49	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_Luc04b_GM	*	MAYBE	14.03	*	MAYBE	58.53	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_Luc04b_Z	*	MAYBE	7.06	*	MAYBE	58.13	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex1_Zan97_C	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	6.81	*	WORST_CASE(?,O(n^1))	5.20	*	NO	0.00
Transformed_CSR_04/Ex1_Zan97_FR	*	MAYBE	59.07	*	MAYBE	58.07	*	MAYBE	58.07	*	MAYBE	9.24	*	NO	0.00
Transformed_CSR_04/Ex1_Zan97_GM	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	1.25	*	WORST_CASE(?,O(1))	2.28	*	NO	0.00
Transformed_CSR_04/Ex1_Zan97_L	*	MAYBE	7.04	*	MAYBE	9.19	*	MAYBE	9.98	*	MAYBE	6.44	*	NO	0.00
Transformed_CSR_04/Ex23_Luc06_C	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	8.15	*	WORST_CASE(?,O(n^1))	4.51	*	NO	0.00
Transformed_CSR_04/Ex23_Luc06_FR	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	1.25	*	WORST_CASE(?,O(n^1))	0.87	*	WORST_CASE(?,O(n^1))	4.78	*	YES	0.00
Transformed_CSR_04/Ex23_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	4.51	*	YES	0.00
Transformed_CSR_04/Ex23_Luc06_Z	*	WORST_CASE(?,O(1))	0.03	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	0.34	*	WORST_CASE(?,O(1))	1.95	*	YES	0.00
Transformed_CSR_04/Ex24_GM04_C	*	MAYBE	59.07	*	MAYBE	58.11	*	MAYBE	58.09	*	WORST_CASE(?,O(n^1))	5.53	*	NO	0.00
Transformed_CSR_04/Ex24_GM04_FR	*	MAYBE	3.52	*	MAYBE	39.76	*	MAYBE	40.37	*	WORST_CASE(?,O(n^1))	299.84	*	NO	0.00
Transformed_CSR_04/Ex24_GM04_GM	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	5.47	*	NO	0.00
Transformed_CSR_04/Ex24_GM04_L	*	MAYBE	7.05	*	MAYBE	7.05	*	MAYBE	7.04	*	MAYBE	5.75	*	NO	0.00
Transformed_CSR_04/Ex24_GM04_Z	*	MAYBE	1.25	*	MAYBE	38.83	*	MAYBE	39.00	*	WORST_CASE(?,O(1))	2.32	*	NO	0.00
Transformed_CSR_04/Ex24_Luc06_C	*	MAYBE	59.35	*	WORST_CASE(?,O(n^4))	45.50	*	WORST_CASE(?,O(n^5))	46.41	*	WORST_CASE(?,O(n^1))	5.25	*	NO	0.00
Transformed_CSR_04/Ex24_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	0.92	*	WORST_CASE(?,O(n^1))	5.70	*	NO	0.00
Transformed_CSR_04/Ex24_Luc06_L	*	MAYBE	7.86	*	MAYBE	7.48	*	MAYBE	8.29	*	MAYBE	5.89	*	NO	0.00
Transformed_CSR_04/Ex25_Luc06_C	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	1.84	*	WORST_CASE(?,O(n^1))	4.91	*	NO	0.00
Transformed_CSR_04/Ex25_Luc06_FR	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	6.14	*	YES	0.00
Transformed_CSR_04/Ex25_Luc06_GM	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.75	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	5.83	*	YES	0.00
Transformed_CSR_04/Ex25_Luc06_Z	*	WORST_CASE(?,O(1))	0.06	*	WORST_CASE(?,O(1))	0.15	*	WORST_CASE(?,O(1))	0.83	*	WORST_CASE(?,O(1))	1.86	*	YES	0.00
Transformed_CSR_04/Ex26_Luc03b_C	*	MAYBE	59.88	*	MAYBE	59.26	*	MAYBE	59.02	*	WORST_CASE(?,O(n^1))	5.09	*	NO	0.00
Transformed_CSR_04/Ex26_Luc03b_FR	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^1))	1.57	*	WORST_CASE(?,O(n^1))	15.27	*	NO	0.00
Transformed_CSR_04/Ex26_Luc03b_GM	*	WORST_CASE(?,O(n^2))	6.70	*	WORST_CASE(?,O(n^3))	12.01	*	WORST_CASE(?,O(n^3))	25.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex26_Luc03b_L	*	WORST_CASE(?,O(1))	0.86	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(1))	0.38	*	WORST_CASE(?,O(1))	1.92	*	YES	0.00
Transformed_CSR_04/Ex26_Luc03b_Z	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	0.10	*	WORST_CASE(?,O(1))	0.48	*	WORST_CASE(?,O(1))	1.97	*	NO	0.00
Transformed_CSR_04/Ex2_Luc02a_C	*	MAYBE	59.72	*	MAYBE	58.96	*	MAYBE	59.55	*	WORST_CASE(?,O(n^1))	5.32	*	NO	0.00
Transformed_CSR_04/Ex2_Luc02a_FR	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.57	*	WORST_CASE(?,O(n^1))	12.93	*	NO	0.00
Transformed_CSR_04/Ex2_Luc02a_GM	*	MAYBE	59.71	*	MAYBE	58.56	*	MAYBE	58.46	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex2_Luc02a_L	*	WORST_CASE(?,O(n^3))	3.21	*	WORST_CASE(?,O(n^3))	3.90	*	WORST_CASE(?,O(n^3))	1.45	*	WORST_CASE(?,O(n^3))	299.99	*	YES	0.00
Transformed_CSR_04/Ex2_Luc02a_Z	*	WORST_CASE(?,O(n^3))	4.95	*	WORST_CASE(?,O(n^3))	5.37	*	WORST_CASE(?,O(n^3))	2.67	*	WORST_CASE(?,O(n^3))	300.00	*	YES	0.00
Transformed_CSR_04/Ex2_Luc03b_C	*	MAYBE	59.64	*	MAYBE	59.95	*	MAYBE	58.54	*	WORST_CASE(?,O(n^1))	6.19	*	NO	0.00
Transformed_CSR_04/Ex2_Luc03b_FR	*	WORST_CASE(?,O(n^3))	3.81	*	MAYBE	58.10	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex2_Luc03b_GM	*	WORST_CASE(?,O(n^2))	3.25	*	WORST_CASE(?,O(n^3))	5.34	*	WORST_CASE(?,O(n^3))	15.66	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex2_Luc03b_L	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	1.95	*	YES	0.00
Transformed_CSR_04/Ex2_Luc03b_Z	*	WORST_CASE(?,O(n^1))	0.78	*	WORST_CASE(?,O(n^1))	1.37	*	WORST_CASE(?,O(n^1))	0.80	*	WORST_CASE(?,O(n^1))	11.61	*	YES	0.00
Transformed_CSR_04/Ex3_12_Luc96a_C	*	MAYBE	59.11	*	MAYBE	58.22	*	MAYBE	58.36	*	WORST_CASE(?,O(n^1))	6.38	*	NO	0.00
Transformed_CSR_04/Ex3_12_Luc96a_FR	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	1.07	*	WORST_CASE(?,O(n^1))	8.81	*	WORST_CASE(?,O(n^1))	8.06	*	NO	0.00
Transformed_CSR_04/Ex3_12_Luc96a_GM	*	MAYBE	5.73	*	MAYBE	58.29	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex3_12_Luc96a_Z	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	4.99	*	YES	0.00
Transformed_CSR_04/Ex3_2_Luc97_C	*	MAYBE	59.12	*	MAYBE	58.25	*	MAYBE	58.94	*	WORST_CASE(?,O(n^1))	6.83	*	NO	0.00
Transformed_CSR_04/Ex3_2_Luc97_FR	*	MAYBE	7.09	*	MAYBE	58.14	*	MAYBE	58.59	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex3_2_Luc97_GM	*	MAYBE	4.86	*	MAYBE	58.12	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex3_2_Luc97_Z	*	MAYBE	2.94	*	MAYBE	58.55	*	MAYBE	58.15	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex3_3_25_Bor03_C	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	MAYBE	58.59	*	WORST_CASE(?,O(n^1))	7.40	*	NO	0.00
Transformed_CSR_04/Ex3_3_25_Bor03_FR	*	MAYBE	4.14	*	MAYBE	58.16	*	MAYBE	58.57	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex3_3_25_Bor03_GM	*	WORST_CASE(?,O(n^2))	9.70	*	WORST_CASE(?,O(n^3))	8.58	*	WORST_CASE(?,O(n^3))	16.86	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex3_3_25_Bor03_L	*	WORST_CASE(?,O(1))	0.47	*	WORST_CASE(?,O(1))	0.47	*	WORST_CASE(?,O(1))	0.23	*	WORST_CASE(?,O(1))	1.91	*	NO	0.00
Transformed_CSR_04/Ex3_3_25_Bor03_Z	*	MAYBE	2.15	*	MAYBE	58.09	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex49_GM04_C	*	MAYBE	59.12	*	MAYBE	58.18	*	MAYBE	58.21	*	WORST_CASE(?,O(n^1))	6.84	*	NO	0.00
Transformed_CSR_04/Ex49_GM04_FR	*	WORST_CASE(?,O(n^2))	2.33	*	MAYBE	58.17	*	MAYBE	58.94	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex49_GM04_GM	*	WORST_CASE(?,O(n^1))	7.24	*	WORST_CASE(?,O(n^3))	10.82	*	WORST_CASE(?,O(n^3))	8.37	*	TIMEOUT	300.00	*	YES	0.00
Transformed_CSR_04/Ex49_GM04_Z	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.53	*	WORST_CASE(?,O(n^1))	1.14	*	WORST_CASE(?,O(n^1))	10.16	*	NO	0.00
Transformed_CSR_04/Ex4_4_Luc96b_C	*	WORST_CASE(?,O(n^2))	26.64	*	WORST_CASE(?,O(n^3))	12.18	*	WORST_CASE(?,O(n^3))	9.40	*	WORST_CASE(?,O(n^1))	4.40	*	YES	0.00
Transformed_CSR_04/Ex4_4_Luc96b_FR	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.70	*	WORST_CASE(?,O(n^1))	4.84	*	NO	0.00
Transformed_CSR_04/Ex4_4_Luc96b_GM	*	WORST_CASE(?,O(n^2))	8.58	*	WORST_CASE(?,O(n^3))	1.79	*	WORST_CASE(?,O(n^3))	19.33	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_4_Luc96b_L	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.89	*	WORST_CASE(?,O(n^1))	2.72	*	YES	0.00
Transformed_CSR_04/Ex4_4_Luc96b_Z	*	MAYBE	3.11	*	MAYBE	58.97	*	MAYBE	59.54	*	MAYBE	233.49	*	NO	0.00
Transformed_CSR_04/Ex4_7_15_Bor03_C	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	4.53	*	WORST_CASE(?,O(n^1))	5.26	*	NO	0.00
Transformed_CSR_04/Ex4_7_15_Bor03_FR	*	WORST_CASE(?,O(n^1))	0.89	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.51	*	WORST_CASE(?,O(n^1))	4.93	*	NO	0.00
Transformed_CSR_04/Ex4_7_15_Bor03_GM	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	0.70	*	WORST_CASE(?,O(n^1))	1.18	*	WORST_CASE(?,O(n^1))	6.45	*	NO	0.00
Transformed_CSR_04/Ex4_7_15_Bor03_L	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(1))	2.26	*	YES	0.00
Transformed_CSR_04/Ex4_7_15_Bor03_Z	*	WORST_CASE(?,O(n^1))	1.08	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(1))	2.38	*	YES	0.00
Transformed_CSR_04/Ex4_7_37_Bor03_C	*	MAYBE	59.51	*	MAYBE	58.53	*	MAYBE	59.18	*	WORST_CASE(?,O(n^1))	8.17	*	NO	0.00
Transformed_CSR_04/Ex4_7_37_Bor03_FR	*	MAYBE	3.48	*	MAYBE	58.40	*	MAYBE	58.51	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_7_37_Bor03_GM	*	MAYBE	59.57	*	MAYBE	58.37	*	MAYBE	58.56	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_7_37_Bor03_Z	*	MAYBE	59.05	*	MAYBE	58.18	*	MAYBE	58.29	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_7_56_Bor03_C	*	MAYBE	59.09	*	MAYBE	58.31	*	MAYBE	58.21	*	WORST_CASE(?,O(n^1))	6.57	*	NO	0.00
Transformed_CSR_04/Ex4_7_56_Bor03_FR	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	10.14	*	WORST_CASE(?,O(n^1))	7.95	*	NO	0.00
Transformed_CSR_04/Ex4_7_56_Bor03_GM	*	MAYBE	5.39	*	MAYBE	58.27	*	MAYBE	58.06	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_7_56_Bor03_Z	*	WORST_CASE(?,O(n^1))	1.02	*	WORST_CASE(?,O(n^1))	0.53	*	WORST_CASE(?,O(n^1))	0.72	*	WORST_CASE(?,O(n^1))	4.90	*	YES	0.00
Transformed_CSR_04/Ex4_7_77_Bor03_C	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	1.05	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_7_77_Bor03_FR	*	WORST_CASE(?,O(1))	0.25	*	WORST_CASE(?,O(1))	0.11	*	WORST_CASE(?,O(1))	0.69	*	WORST_CASE(?,O(1))	1.89	*	YES	0.00
Transformed_CSR_04/Ex4_7_77_Bor03_GM	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.60	*	WORST_CASE(?,O(n^1))	299.81	*	NO	0.00
Transformed_CSR_04/Ex4_DLMMU04_C	*	TIMEOUT	60.06	*	MAYBE	58.78	*	TIMEOUT	60.00	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_DLMMU04_FR	*	MAYBE	39.23	*	MAYBE	58.13	*	MAYBE	58.39	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_DLMMU04_GM	*	TIMEOUT	60.00	*	MAYBE	59.49	*	MAYBE	58.43	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_DLMMU04_Z	*	MAYBE	22.54	*	MAYBE	58.11	*	MAYBE	58.71	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_Zan97_C	*	MAYBE	59.12	*	MAYBE	58.88	*	MAYBE	58.32	*	WORST_CASE(?,O(n^1))	7.08	*	NO	0.00
Transformed_CSR_04/Ex4_Zan97_FR	*	MAYBE	44.34	*	MAYBE	58.67	*	MAYBE	58.06	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_Zan97_GM	*	MAYBE	10.13	*	MAYBE	58.12	*	MAYBE	58.32	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex4_Zan97_Z	*	MAYBE	11.86	*	MAYBE	58.13	*	MAYBE	58.14	*	EXP	299.82	*	NO	0.00
Transformed_CSR_04/Ex5_7_Luc97_C	*	MAYBE	59.63	*	MAYBE	58.55	*	MAYBE	59.26	*	WORST_CASE(?,O(n^1))	9.52	*	NO	0.00
Transformed_CSR_04/Ex5_7_Luc97_FR	*	MAYBE	5.79	*	MAYBE	58.33	*	MAYBE	58.51	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex5_7_Luc97_GM	*	MAYBE	59.79	*	MAYBE	58.67	*	MAYBE	58.67	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex5_7_Luc97_Z	*	MAYBE	3.58	*	MAYBE	58.17	*	MAYBE	58.79	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex5_DLMMU04_C	*	MAYBE	59.43	*	MAYBE	58.47	*	MAYBE	59.59	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex5_DLMMU04_FR	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	1.46	*	WORST_CASE(?,O(n^1))	5.54	*	WORST_CASE(?,O(n^1))	12.44	*	NO	0.00
Transformed_CSR_04/Ex5_DLMMU04_GM	*	TIMEOUT	60.06	*	MAYBE	58.57	*	MAYBE	58.78	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex5_DLMMU04_Z	*	MAYBE	8.28	*	MAYBE	58.13	*	MAYBE	58.33	*	MAYBE	10.45	*	NO	0.00
Transformed_CSR_04/Ex5_Zan97_C	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	0.87	*	WORST_CASE(?,O(n^1))	2.99	*	WORST_CASE(?,O(n^1))	6.13	*	NO	0.00
Transformed_CSR_04/Ex5_Zan97_FR	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	8.42	*	WORST_CASE(?,O(n^1))	2.69	*	NO	0.00
Transformed_CSR_04/Ex5_Zan97_GM	*	MAYBE	7.07	*	MAYBE	58.13	*	MAYBE	58.31	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex5_Zan97_Z	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	2.26	*	WORST_CASE(?,O(1))	2.62	*	NO	0.00
Transformed_CSR_04/Ex6_15_AEL02_C	*	MAYBE	59.76	*	MAYBE	58.32	*	TIMEOUT	60.00	*	WORST_CASE(?,O(n^1))	9.51	*	NO	0.00
Transformed_CSR_04/Ex6_15_AEL02_FR	*	MAYBE	59.07	*	MAYBE	58.95	*	MAYBE	58.45	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex6_15_AEL02_GM	*	MAYBE	59.57	*	MAYBE	58.71	*	MAYBE	59.17	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex6_15_AEL02_Z	*	MAYBE	53.20	*	MAYBE	58.25	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex6_9_Luc02c_C	*	MAYBE	59.18	*	MAYBE	58.14	*	WORST_CASE(?,O(n^6))	46.97	*	WORST_CASE(?,O(n^1))	5.11	*	YES	0.00
Transformed_CSR_04/Ex6_9_Luc02c_FR	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	1.00	*	WORST_CASE(?,O(n^1))	0.99	*	WORST_CASE(?,O(n^1))	10.19	*	YES	0.00
Transformed_CSR_04/Ex6_9_Luc02c_GM	*	MAYBE	4.82	*	MAYBE	58.74	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex6_9_Luc02c_Z	*	WORST_CASE(?,O(1))	0.08	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(1))	0.96	*	WORST_CASE(?,O(1))	1.88	*	NO	0.00
Transformed_CSR_04/Ex6_GM04_C	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.93	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
Transformed_CSR_04/Ex6_GM04_FR	*	MAYBE	59.06	*	MAYBE	58.50	*	TIMEOUT	60.00	*	MAYBE	9.23	*	NO	0.00
Transformed_CSR_04/Ex6_GM04_GM	*	WORST_CASE(?,O(1))	0.26	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	0.78	*	WORST_CASE(?,O(1))	1.89	*	YES	0.00
Transformed_CSR_04/Ex6_Luc98_C	*	MAYBE	59.10	*	MAYBE	58.80	*	MAYBE	58.15	*	WORST_CASE(?,O(n^1))	6.75	*	NO	0.00
Transformed_CSR_04/Ex6_Luc98_FR	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	8.84	*	WORST_CASE(?,O(n^1))	15.08	*	NO	0.00
Transformed_CSR_04/Ex6_Luc98_GM	*	WORST_CASE(?,O(n^2))	3.32	*	WORST_CASE(?,O(n^3))	6.17	*	WORST_CASE(?,O(n^3))	14.61	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex6_Luc98_L	*	WORST_CASE(?,O(1))	2.27	*	WORST_CASE(?,O(1))	0.04	*	WORST_CASE(?,O(1))	0.59	*	WORST_CASE(?,O(1))	2.03	*	NO	0.00
Transformed_CSR_04/Ex6_Luc98_Z	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.91	*	WORST_CASE(?,O(n^1))	4.92	*	YES	0.00
Transformed_CSR_04/Ex7_BLR02_C	*	MAYBE	59.07	*	MAYBE	58.79	*	MAYBE	58.36	*	WORST_CASE(?,O(n^1))	6.97	*	NO	0.00
Transformed_CSR_04/Ex7_BLR02_FR	*	WORST_CASE(?,O(n^1))	0.61	*	WORST_CASE(?,O(n^1))	0.57	*	WORST_CASE(?,O(n^1))	10.55	*	WORST_CASE(?,O(n^1))	18.40	*	NO	0.00
Transformed_CSR_04/Ex7_BLR02_GM	*	TIMEOUT	60.00	*	MAYBE	58.54	*	MAYBE	58.73	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex7_BLR02_Z	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^2))	1.66	*	WORST_CASE(?,O(n^1))	0.61	*	WORST_CASE(?,O(n^2))	8.32	*	YES	0.00
Transformed_CSR_04/Ex8_BLR02_C	*	TIMEOUT	60.06	*	MAYBE	59.10	*	MAYBE	58.48	*	WORST_CASE(?,O(n^1))	6.13	*	NO	0.00
Transformed_CSR_04/Ex8_BLR02_FR	*	MAYBE	7.27	*	MAYBE	58.11	*	MAYBE	58.17	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex8_BLR02_GM	*	TIMEOUT	60.03	*	MAYBE	58.32	*	MAYBE	58.49	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex8_BLR02_Z	*	MAYBE	7.21	*	MAYBE	58.13	*	MAYBE	59.69	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex9_BLR02_C	*	MAYBE	59.67	*	TIMEOUT	60.06	*	MAYBE	59.31	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex9_BLR02_FR	*	MAYBE	3.27	*	MAYBE	58.10	*	MAYBE	58.51	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex9_BLR02_GM	*	WORST_CASE(?,O(n^2))	4.78	*	MAYBE	58.14	*	MAYBE	58.51	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex9_BLR02_L	*	WORST_CASE(?,O(1))	0.05	*	WORST_CASE(?,O(n^1))	0.77	*	WORST_CASE(?,O(1))	0.34	*	WORST_CASE(?,O(1))	1.94	*	YES	0.00
Transformed_CSR_04/Ex9_BLR02_Z	*	MAYBE	27.56	*	MAYBE	58.06	*	MAYBE	58.29	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex9_Luc04_C	*	MAYBE	59.11	*	MAYBE	58.10	*	MAYBE	58.70	*	WORST_CASE(?,O(n^1))	6.41	*	NO	0.00
Transformed_CSR_04/Ex9_Luc04_GM	*	MAYBE	4.45	*	MAYBE	58.89	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/Ex9_Luc04_L	*	MAYBE	0.47	*	MAYBE	4.33	*	MAYBE	4.37	*	MAYBE	4.69	*	NO	0.00
Transformed_CSR_04/Ex9_Luc06_C	*	MAYBE	59.09	*	WORST_CASE(?,O(n^5))	13.60	*	WORST_CASE(?,O(n^5))	13.33	*	WORST_CASE(?,O(n^1))	5.21	*	NO	0.00
Transformed_CSR_04/Ex9_Luc06_FR	*	MAYBE	59.08	*	MAYBE	58.32	*	MAYBE	58.06	*	MAYBE	121.91	*	NO	0.00
Transformed_CSR_04/Ex9_Luc06_GM	*	WORST_CASE(?,O(n^1))	1.05	*	WORST_CASE(?,O(n^2))	0.64	*	WORST_CASE(?,O(n^2))	0.80	*	WORST_CASE(?,O(n^1))	5.98	*	NO	0.00
Transformed_CSR_04/ExAppendixB_AEL03_C	*	MAYBE	59.35	*	MAYBE	58.95	*	MAYBE	58.89	*	WORST_CASE(?,O(n^1))	9.86	*	NO	0.00
Transformed_CSR_04/ExAppendixB_AEL03_FR	*	WORST_CASE(?,O(n^1))	1.03	*	WORST_CASE(?,O(n^1))	0.58	*	WORST_CASE(?,O(n^1))	0.75	*	WORST_CASE(?,O(n^1))	10.58	*	NO	0.00
Transformed_CSR_04/ExAppendixB_AEL03_GM	*	MAYBE	59.42	*	MAYBE	58.52	*	MAYBE	58.42	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExAppendixB_AEL03_Z	*	WORST_CASE(?,O(n^2))	1.93	*	WORST_CASE(?,O(n^2))	3.00	*	WORST_CASE(?,O(n^2))	10.09	*	WORST_CASE(?,O(n^2))	16.71	*	NO	0.00
Transformed_CSR_04/ExConc_Zan97_C	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	1.41	*	WORST_CASE(?,O(n^1))	4.94	*	NO	0.00
Transformed_CSR_04/ExConc_Zan97_FR	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	4.53	*	YES	0.00
Transformed_CSR_04/ExConc_Zan97_GM	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	4.06	*	YES	0.00
Transformed_CSR_04/ExConc_Zan97_Z	*	MAYBE	7.04	*	MAYBE	58.93	*	MAYBE	58.34	*	MAYBE	7.37	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM01_C	*	WORST_CASE(?,O(n^1))	1.11	*	WORST_CASE(?,O(n^1))	1.07	*	WORST_CASE(?,O(n^1))	4.52	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM01_FR	*	MAYBE	8.41	*	MAYBE	58.09	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM01_GM	*	MAYBE	59.37	*	MAYBE	58.13	*	MAYBE	59.34	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM01_Z	*	MAYBE	15.92	*	MAYBE	58.06	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM04_C	*	WORST_CASE(?,O(n^1))	0.75	*	WORST_CASE(?,O(n^1))	1.43	*	WORST_CASE(?,O(n^1))	8.89	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM04_FR	*	MAYBE	7.06	*	MAYBE	58.09	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM04_GM	*	WORST_CASE(?,O(n^3))	11.43	*	WORST_CASE(?,O(n^3))	24.50	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM04_Z	*	MAYBE	10.96	*	MAYBE	58.31	*	MAYBE	58.92	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM99_C	*	MAYBE	59.68	*	MAYBE	58.43	*	MAYBE	58.36	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM99_FR	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	11.51	*	WORST_CASE(?,O(n^1))	17.21	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM99_GM	*	MAYBE	59.79	*	MAYBE	58.84	*	MAYBE	58.63	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_GM99_Z	*	WORST_CASE(?,O(1))	0.29	*	WORST_CASE(?,O(1))	0.13	*	WORST_CASE(?,O(1))	1.12	*	WORST_CASE(?,O(1))	2.08	*	NO	0.00
Transformed_CSR_04/ExIntrod_Zan97_C	*	TIMEOUT	60.00	*	MAYBE	58.54	*	MAYBE	58.40	*	WORST_CASE(?,O(n^1))	4.53	*	NO	0.00
Transformed_CSR_04/ExIntrod_Zan97_FR	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	1.13	*	WORST_CASE(?,O(n^1))	2.56	*	NO	0.00
Transformed_CSR_04/ExIntrod_Zan97_GM	*	MAYBE	59.71	*	MAYBE	58.45	*	MAYBE	58.57	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExIntrod_Zan97_Z	*	MAYBE	2.81	*	MAYBE	58.13	*	MAYBE	59.74	*	MAYBE	61.66	*	NO	0.00
Transformed_CSR_04/ExProp7_Luc06_C	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	4.05	*	WORST_CASE(?,O(n^1))	5.36	*	NO	0.00
Transformed_CSR_04/ExProp7_Luc06_FR	*	WORST_CASE(?,O(n^1))	0.95	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	4.86	*	NO	0.00
Transformed_CSR_04/ExProp7_Luc06_GM	*	MAYBE	58.57	*	MAYBE	58.52	*	MAYBE	58.91	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExProp7_Luc06_L	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	2.69	*	WORST_CASE(?,O(1))	2.31	*	NO	0.00
Transformed_CSR_04/ExProp7_Luc06_Z	*	WORST_CASE(?,O(n^1))	0.90	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(1))	2.38	*	NO	0.00
Transformed_CSR_04/ExSec11_1_Luc02a_C	*	MAYBE	59.76	*	MAYBE	58.85	*	MAYBE	58.59	*	WORST_CASE(?,O(n^1))	5.40	*	NO	0.00
Transformed_CSR_04/ExSec11_1_Luc02a_FR	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	13.28	*	NO	0.00
Transformed_CSR_04/ExSec11_1_Luc02a_GM	*	MAYBE	59.52	*	MAYBE	59.13	*	MAYBE	58.62	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExSec11_1_Luc02a_L	*	WORST_CASE(?,O(n^3))	3.36	*	WORST_CASE(?,O(n^3))	4.27	*	WORST_CASE(?,O(n^3))	1.86	*	WORST_CASE(?,O(n^3))	300.00	*	YES	0.00
Transformed_CSR_04/ExSec11_1_Luc02a_Z	*	WORST_CASE(?,O(n^3))	5.40	*	WORST_CASE(?,O(n^3))	5.75	*	WORST_CASE(?,O(n^3))	2.55	*	WORST_CASE(?,O(n^3))	300.00	*	YES	0.00
Transformed_CSR_04/ExSec4_2_DLMMU04_C	*	TIMEOUT	60.01	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	WORST_CASE(?,O(n^1))	10.05	*	NO	0.00
Transformed_CSR_04/ExSec4_2_DLMMU04_FR	*	WORST_CASE(?,O(n^1))	0.88	*	WORST_CASE(?,O(n^1))	0.95	*	WORST_CASE(?,O(n^1))	1.08	*	WORST_CASE(?,O(n^1))	14.92	*	NO	0.00
Transformed_CSR_04/ExSec4_2_DLMMU04_GM	*	MAYBE	59.42	*	MAYBE	58.50	*	MAYBE	58.57	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/ExSec4_2_DLMMU04_Z	*	WORST_CASE(?,O(n^1))	1.38	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.81	*	WORST_CASE(?,O(n^1))	18.09	*	YES	0.00
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR	*	TIMEOUT	60.06	*	MAYBE	58.16	*	MAYBE	58.56	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z	*	MAYBE	59.08	*	MAYBE	58.30	*	MAYBE	58.41	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_complete_C	*	MAYBE	59.35	*	MAYBE	58.19	*	MAYBE	58.37	*	WORST_CASE(?,O(n^1))	27.30	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_complete_FR	*	MAYBE	59.94	*	MAYBE	58.09	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_complete_GM	*	MAYBE	59.10	*	MAYBE	58.09	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_complete_Z	*	MAYBE	59.34	*	MAYBE	58.16	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_complete_noand_C	*	MAYBE	59.14	*	MAYBE	58.20	*	MAYBE	58.21	*	WORST_CASE(?,O(n^1))	133.46	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM	*	MAYBE	59.41	*	MAYBE	58.29	*	MAYBE	58.43	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR	*	MAYBE	59.33	*	MAYBE	58.33	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z	*	MAYBE	59.13	*	MAYBE	58.10	*	MAYBE	58.51	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds_C	*	MAYBE	59.12	*	MAYBE	58.27	*	MAYBE	58.17	*	WORST_CASE(?,O(n^1))	12.39	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds_FR	*	MAYBE	59.28	*	MAYBE	58.66	*	MAYBE	58.42	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds_GM	*	MAYBE	59.38	*	MAYBE	58.55	*	MAYBE	58.51	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds_Z	*	MAYBE	59.36	*	MAYBE	58.35	*	MAYBE	58.99	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C	*	MAYBE	59.32	*	MAYBE	58.17	*	MAYBE	58.59	*	WORST_CASE(?,O(n^1))	24.96	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM	*	TIMEOUT	60.06	*	MAYBE	58.17	*	MAYBE	58.75	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR	*	MAYBE	59.12	*	MAYBE	58.18	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z	*	WORST_CASE(?,O(n^1))	2.24	*	WORST_CASE(?,O(n^1))	3.10	*	WORST_CASE(?,O(n^1))	7.05	*	WORST_CASE(?,O(n^1))	252.50	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts_C	*	MAYBE	59.41	*	MAYBE	58.30	*	TIMEOUT	60.00	*	WORST_CASE(?,O(n^1))	11.65	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts_FR	*	WORST_CASE(?,O(n^1))	1.56	*	WORST_CASE(?,O(n^1))	1.60	*	WORST_CASE(?,O(n^1))	13.09	*	WORST_CASE(?,O(n^1))	19.59	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts_GM	*	MAYBE	59.36	*	MAYBE	59.21	*	MAYBE	58.54	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts_Z	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	2.02	*	WORST_CASE(?,O(n^1))	6.49	*	WORST_CASE(?,O(n^1))	35.45	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C	*	MAYBE	59.13	*	MAYBE	58.34	*	MAYBE	59.92	*	WORST_CASE(?,O(n^1))	15.83	*	NO	0.00
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM	*	MAYBE	59.99	*	MAYBE	58.64	*	MAYBE	58.40	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR	*	MAYBE	59.11	*	MAYBE	58.09	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z	*	MAYBE	59.92	*	MAYBE	58.91	*	MAYBE	58.53	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete_C	*	MAYBE	59.52	*	MAYBE	58.52	*	MAYBE	58.56	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete_FR	*	TIMEOUT	60.06	*	MAYBE	58.69	*	MAYBE	58.33	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete_GM	*	MAYBE	59.79	*	MAYBE	58.81	*	MAYBE	58.42	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete_Z	*	MAYBE	59.49	*	MAYBE	58.99	*	MAYBE	59.14	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C	*	MAYBE	59.15	*	MAYBE	58.51	*	MAYBE	58.13	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM	*	MAYBE	59.32	*	MAYBE	58.96	*	MAYBE	58.18	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR	*	MAYBE	59.75	*	MAYBE	58.33	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z	*	MAYBE	59.07	*	MAYBE	58.10	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C	*	MAYBE	59.14	*	MAYBE	58.45	*	MAYBE	58.63	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR	*	MAYBE	45.05	*	MAYBE	58.52	*	MAYBE	58.76	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM	*	WORST_CASE(?,O(n^4))	41.03	*	MAYBE	58.29	*	MAYBE	58.58	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z	*	MAYBE	12.94	*	MAYBE	58.78	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C	*	MAYBE	59.84	*	MAYBE	58.52	*	TIMEOUT	60.00	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM	*	WORST_CASE(?,O(n^3))	34.37	*	MAYBE	58.82	*	MAYBE	58.68	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR	*	MAYBE	51.27	*	MAYBE	58.29	*	MAYBE	58.51	*	MAYBE	299.87	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C	*	WORST_CASE(?,O(n^1))	0.65	*	WORST_CASE(?,O(n^1))	0.76	*	WORST_CASE(?,O(n^1))	3.82	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR	*	MAYBE	59.06	*	MAYBE	58.12	*	MAYBE	58.26	*	MAYBE	71.98	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM	*	MAYBE	33.71	*	MAYBE	58.10	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	8.96	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM	*	MAYBE	33.98	*	MAYBE	58.11	*	MAYBE	58.51	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_complete-noand_FR	*	MAYBE	59.12	*	MAYBE	58.09	*	MAYBE	58.76	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_complete-noand_Z	*	MAYBE	59.53	*	WORST_CASE(?,O(n^2))	52.56	*	WORST_CASE(?,O(n^2))	54.51	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_complete_C	*	MAYBE	59.54	*	MAYBE	58.20	*	TIMEOUT	60.00	*	WORST_CASE(?,O(n^1))	9.52	*	NO	0.00
Transformed_CSR_04/MYNAT_complete_FR	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	58.45	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_complete_GM	*	MAYBE	59.80	*	MAYBE	58.44	*	MAYBE	58.79	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_complete_Z	*	MAYBE	59.34	*	MAYBE	58.38	*	MAYBE	58.53	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_complete_noand_C	*	MAYBE	59.13	*	MAYBE	58.46	*	MAYBE	59.32	*	WORST_CASE(?,O(n^1))	17.25	*	NO	0.00
Transformed_CSR_04/MYNAT_complete_noand_GM	*	MAYBE	59.13	*	MAYBE	58.92	*	MAYBE	58.31	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds-noand_FR	*	WORST_CASE(?,O(n^2))	19.01	*	WORST_CASE(?,O(n^2))	27.58	*	WORST_CASE(?,O(n^2))	25.94	*	WORST_CASE(?,O(n^2))	8.71	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds-noand_Z	*	WORST_CASE(?,O(n^1))	2.17	*	WORST_CASE(?,O(n^1))	4.16	*	WORST_CASE(?,O(n^1))	2.97	*	WORST_CASE(?,O(n^1))	8.64	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds_C	*	MAYBE	59.57	*	TIMEOUT	60.06	*	MAYBE	59.48	*	WORST_CASE(?,O(n^1))	5.02	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds_FR	*	WORST_CASE(?,O(n^2))	9.51	*	MAYBE	58.10	*	MAYBE	58.28	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds_GM	*	MAYBE	59.45	*	MAYBE	58.56	*	MAYBE	58.50	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds_Z	*	WORST_CASE(?,O(n^1))	1.41	*	WORST_CASE(?,O(n^1))	3.72	*	WORST_CASE(?,O(n^1))	4.22	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds_noand_C	*	MAYBE	59.30	*	MAYBE	58.39	*	TIMEOUT	60.00	*	WORST_CASE(?,O(n^1))	7.90	*	NO	0.00
Transformed_CSR_04/MYNAT_nokinds_noand_GM	*	MAYBE	59.90	*	TIMEOUT	60.02	*	TIMEOUT	60.06	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_nosorts-noand_FR	*	WORST_CASE(?,O(n^2))	1.79	*	WORST_CASE(?,O(n^2))	1.47	*	WORST_CASE(?,O(n^2))	1.44	*	WORST_CASE(?,O(n^2))	9.92	*	NO	0.00
Transformed_CSR_04/MYNAT_nosorts_C	*	MAYBE	59.06	*	MAYBE	58.72	*	MAYBE	58.09	*	WORST_CASE(?,O(n^1))	6.18	*	NO	0.00
Transformed_CSR_04/MYNAT_nosorts_FR	*	WORST_CASE(?,O(n^2))	0.54	*	WORST_CASE(?,O(n^2))	1.04	*	WORST_CASE(?,O(n^2))	0.43	*	WORST_CASE(?,O(n^2))	6.02	*	NO	0.00
Transformed_CSR_04/MYNAT_nosorts_GM	*	MAYBE	59.06	*	MAYBE	58.07	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/MYNAT_nosorts_noand_C	*	MAYBE	59.06	*	MAYBE	58.90	*	MAYBE	58.54	*	WORST_CASE(?,O(n^1))	4.91	*	NO	0.00
Transformed_CSR_04/MYNAT_nosorts_noand_GM	*	MAYBE	59.61	*	MAYBE	58.45	*	MAYBE	58.49	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete-noand_FR	*	MAYBE	59.33	*	MAYBE	58.09	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete-noand_Z	*	MAYBE	59.15	*	MAYBE	58.13	*	MAYBE	58.39	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete_C	*	MAYBE	59.14	*	MAYBE	58.10	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete_FR	*	TIMEOUT	60.06	*	MAYBE	58.46	*	MAYBE	58.46	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete_GM	*	MAYBE	59.71	*	MAYBE	58.53	*	MAYBE	58.56	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete_Z	*	MAYBE	59.18	*	MAYBE	58.39	*	MAYBE	59.83	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete_noand_C	*	MAYBE	59.17	*	MAYBE	58.51	*	MAYBE	58.21	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_complete_noand_GM	*	MAYBE	59.10	*	MAYBE	58.31	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds-noand_FR	*	MAYBE	59.17	*	MAYBE	58.12	*	MAYBE	58.13	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds-noand_Z	*	MAYBE	42.47	*	MAYBE	58.32	*	MAYBE	59.49	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds_C	*	MAYBE	59.90	*	MAYBE	58.72	*	MAYBE	58.68	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds_FR	*	MAYBE	59.63	*	MAYBE	58.35	*	MAYBE	59.75	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds_GM	*	MAYBE	59.64	*	MAYBE	58.80	*	MAYBE	59.04	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds_Z	*	MAYBE	23.19	*	MAYBE	58.34	*	MAYBE	58.78	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds_noand_C	*	MAYBE	59.17	*	MAYBE	58.38	*	MAYBE	59.49	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nokinds_noand_GM	*	TIMEOUT	60.06	*	MAYBE	58.48	*	MAYBE	58.75	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts-noand_FR	*	MAYBE	12.70	*	MAYBE	58.14	*	MAYBE	58.37	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts-noand_Z	*	MAYBE	15.06	*	MAYBE	58.16	*	MAYBE	58.15	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts_C	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^1))	5.12	*	WORST_CASE(?,O(n^1))	299.89	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts_FR	*	MAYBE	49.89	*	MAYBE	58.07	*	MAYBE	58.29	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts_GM	*	MAYBE	12.31	*	MAYBE	58.10	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts_Z	*	MAYBE	21.93	*	MAYBE	58.54	*	MAYBE	58.74	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts_noand_C	*	MAYBE	59.61	*	MAYBE	58.33	*	TIMEOUT	60.00	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/OvConsOS_nosorts_noand_GM	*	MAYBE	59.96	*	MAYBE	58.56	*	MAYBE	59.42	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete-noand_FR	*	TIMEOUT	60.06	*	MAYBE	58.42	*	MAYBE	58.41	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete-noand_L	*	MAYBE	59.06	*	MAYBE	58.08	*	MAYBE	59.35	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete-noand_Z	*	WORST_CASE(?,O(n^2))	55.80	*	WORST_CASE(?,O(n^2))	50.24	*	WORST_CASE(?,O(n^2))	51.48	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete_C	*	MAYBE	59.15	*	MAYBE	58.39	*	MAYBE	58.71	*	WORST_CASE(?,O(n^1))	13.59	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete_FR	*	MAYBE	59.38	*	MAYBE	58.14	*	MAYBE	59.15	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete_GM	*	TIMEOUT	60.06	*	MAYBE	59.95	*	MAYBE	59.13	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete_Z	*	MAYBE	59.52	*	MAYBE	58.17	*	MAYBE	58.55	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete_noand_C	*	MAYBE	59.54	*	MAYBE	58.19	*	MAYBE	58.51	*	WORST_CASE(?,O(n^1))	20.95	*	NO	0.00
Transformed_CSR_04/PALINDROME_complete_noand_GM	*	MAYBE	59.73	*	MAYBE	58.09	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds-noand_FR	*	WORST_CASE(?,O(n^2))	6.62	*	WORST_CASE(?,O(n^2))	9.77	*	WORST_CASE(?,O(n^2))	10.13	*	WORST_CASE(?,O(n^2))	299.94	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds-noand_L	*	MAYBE	12.37	*	MAYBE	52.50	*	MAYBE	51.99	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds-noand_Z	*	WORST_CASE(?,O(n^1))	2.07	*	WORST_CASE(?,O(n^1))	4.70	*	WORST_CASE(?,O(n^1))	4.78	*	WORST_CASE(?,O(n^1))	8.64	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds_C	*	WORST_CASE(?,O(n^1))	0.79	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	1.03	*	WORST_CASE(?,O(n^1))	7.42	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds_FR	*	WORST_CASE(?,O(n^2))	4.01	*	MAYBE	58.20	*	MAYBE	58.21	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds_GM	*	MAYBE	59.48	*	MAYBE	58.12	*	MAYBE	58.24	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds_Z	*	WORST_CASE(?,O(n^1))	1.02	*	WORST_CASE(?,O(n^3))	5.37	*	WORST_CASE(?,O(n^3))	5.12	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds_noand_C	*	WORST_CASE(?,O(n^1))	0.57	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.76	*	WORST_CASE(?,O(n^1))	8.45	*	NO	0.00
Transformed_CSR_04/PALINDROME_nokinds_noand_GM	*	MAYBE	59.79	*	MAYBE	58.66	*	MAYBE	59.37	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_nosorts_C	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	5.92	*	NO	0.00
Transformed_CSR_04/PALINDROME_nosorts_GM	*	MAYBE	59.07	*	MAYBE	58.11	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PALINDROME_nosorts_noand_C	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	5.61	*	NO	0.00
Transformed_CSR_04/PALINDROME_nosorts_noand_GM	*	MAYBE	59.29	*	MAYBE	58.09	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_complete-noand_FR	*	WORST_CASE(?,O(n^3))	20.50	*	WORST_CASE(?,O(n^3))	22.56	*	WORST_CASE(?,O(n^3))	21.70	*	WORST_CASE(?,O(n^3))	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_complete-noand_Z	*	WORST_CASE(?,O(n^2))	12.00	*	WORST_CASE(?,O(n^2))	13.65	*	WORST_CASE(?,O(n^2))	13.46	*	WORST_CASE(?,O(n^2))	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_complete_C	*	MAYBE	59.87	*	MAYBE	58.44	*	TIMEOUT	60.00	*	WORST_CASE(?,O(n^1))	6.01	*	NO	0.00
Transformed_CSR_04/PEANO_complete_FR	*	MAYBE	59.22	*	MAYBE	58.42	*	MAYBE	58.28	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_complete_GM	*	MAYBE	59.79	*	MAYBE	58.75	*	MAYBE	58.47	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_complete_Z	*	MAYBE	59.11	*	MAYBE	58.21	*	MAYBE	58.15	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_complete_noand_C	*	MAYBE	59.10	*	MAYBE	58.11	*	MAYBE	58.33	*	WORST_CASE(?,O(n^1))	11.01	*	NO	0.00
Transformed_CSR_04/PEANO_complete_noand_GM	*	MAYBE	59.98	*	TIMEOUT	60.06	*	MAYBE	58.57	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds-noand_FR	*	WORST_CASE(?,O(n^2))	4.42	*	WORST_CASE(?,O(n^2))	2.32	*	WORST_CASE(?,O(n^2))	2.69	*	WORST_CASE(?,O(n^2))	5.93	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds-noand_Z	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	6.75	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds_C	*	MAYBE	59.09	*	MAYBE	58.46	*	MAYBE	58.56	*	WORST_CASE(?,O(n^1))	7.18	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds_FR	*	WORST_CASE(?,O(n^2))	6.04	*	MAYBE	59.13	*	MAYBE	58.94	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds_GM	*	TIMEOUT	60.06	*	MAYBE	58.22	*	MAYBE	58.13	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds_Z	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	1.06	*	WORST_CASE(?,O(n^1))	1.77	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds_noand_C	*	MAYBE	59.65	*	MAYBE	58.91	*	MAYBE	58.66	*	WORST_CASE(?,O(n^1))	4.44	*	NO	0.00
Transformed_CSR_04/PEANO_nokinds_noand_GM	*	TIMEOUT	60.00	*	MAYBE	58.63	*	MAYBE	59.00	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_nosorts-noand_FR	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.76	*	WORST_CASE(?,O(n^1))	1.89	*	WORST_CASE(?,O(n^1))	5.51	*	YES	0.00
Transformed_CSR_04/PEANO_nosorts_C	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	2.97	*	WORST_CASE(?,O(n^1))	4.81	*	NO	0.00
Transformed_CSR_04/PEANO_nosorts_FR	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.57	*	WORST_CASE(?,O(n^1))	4.33	*	YES	0.00
Transformed_CSR_04/PEANO_nosorts_GM	*	MAYBE	7.79	*	MAYBE	58.11	*	MAYBE	58.30	*	TIMEOUT	300.00	*	NO	0.00
Transformed_CSR_04/PEANO_nosorts_noand_C	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	1.15	*	WORST_CASE(?,O(n^1))	5.19	*	WORST_CASE(?,O(n^1))	5.33	*	NO	0.00
Transformed_CSR_04/PEANO_nosorts_noand_GM	*	MAYBE	7.49	*	MAYBE	58.09	*	MAYBE	58.92	*	TIMEOUT	300.00	*	NO	0.00
Various_04/04	*	WORST_CASE(?,O(1))	0.09	*	WORST_CASE(?,O(1))	0.19	*	WORST_CASE(?,O(1))	0.11	*	WORST_CASE(?,O(1))	2.25	*	NO	0.00
Various_04/08	*	WORST_CASE(?,O(1))	0.27	*	WORST_CASE(?,O(1))	0.17	*	WORST_CASE(?,O(1))	0.18	*	WORST_CASE(?,O(1))	2.09	*	NO	0.00
Various_04/10	*	WORST_CASE(?,O(n^3))	32.00	*	WORST_CASE(?,O(n^3))	1.71	*	WORST_CASE(?,O(n^3))	7.75	*	WORST_CASE(?,O(n^2))	13.34	*	NO	0.00
Various_04/11	*	MAYBE	1.38	*	MAYBE	58.11	*	MAYBE	58.10	*	WORST_CASE(?,O(1))	3.95	*	NO	0.00
Various_04/12	*	MAYBE	59.34	*	MAYBE	58.21	*	MAYBE	58.16	*	TIMEOUT	300.00	*	NO	0.00
Various_04/13	*	MAYBE	59.13	*	MAYBE	58.25	*	MAYBE	58.18	*	TIMEOUT	300.00	*	NO	0.00
Various_04/14	*	WORST_CASE(?,O(n^2))	10.66	*	WORST_CASE(?,O(n^2))	12.30	*	WORST_CASE(?,O(n^2))	15.13	*	WORST_CASE(?,O(n^2))	11.41	*	NO	0.00
Various_04/15	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	1.73	*	WORST_CASE(?,O(n^1))	3.65	*	NO	0.00
Various_04/18	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	2.97	*	NO	0.00
Various_04/22	*	WORST_CASE(?,O(n^1))	1.47	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^1))	4.74	*	NO	0.00
Various_04/23	*	WORST_CASE(?,O(n^1))	1.68	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	6.22	*	NO	0.00
Various_04/24	*	WORST_CASE(?,O(n^2))	4.16	*	WORST_CASE(?,O(n^2))	0.38	*	WORST_CASE(?,O(n^2))	1.72	*	WORST_CASE(?,O(n^1))	299.90	*	YES	0.00
Waldmann_06/jwmatchb1	*	WORST_CASE(?,O(n^1))	0.03	*	WORST_CASE(?,O(n^1))	0.70	*	WORST_CASE(?,O(n^1))	8.25	*	WORST_CASE(?,O(n^1))	73.95	*	NO	0.00
Waldmann_06/jwmatchb2	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.04	*	WORST_CASE(?,O(n^1))	7.34	*	WORST_CASE(?,O(n^1))	259.55	*	NO	0.00
Waldmann_06/jwno1	*	MAYBE	7.04	*	MAYBE	39.81	*	MAYBE	50.09	*	TIMEOUT	300.00	*	NO	0.00
Waldmann_06/jwno4	*	MAYBE	7.04	*	MAYBE	39.71	*	MAYBE	42.14	*	MAYBE	7.41	*	NO	0.00
Waldmann_06/jwno6	*	MAYBE	7.04	*	MAYBE	38.91	*	MAYBE	39.82	*	MAYBE	7.38	*	NO	0.00
Zantema_05/z10	*	MAYBE	3.34	*	MAYBE	58.32	*	MAYBE	58.75	*	MAYBE	77.81	*	NO	0.00
Zantema_05/z12	*	MAYBE	30.59	*	MAYBE	58.70	*	MAYBE	59.52	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z13	*	MAYBE	45.53	*	MAYBE	58.09	*	MAYBE	58.06	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z14	*	MAYBE	34.11	*	MAYBE	58.07	*	MAYBE	58.08	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z15	*	MAYBE	59.28	*	MAYBE	58.15	*	TIMEOUT	60.00	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z16	*	MAYBE	42.87	*	MAYBE	58.07	*	MAYBE	58.09	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z17	*	TIMEOUT	60.00	*	MAYBE	58.29	*	MAYBE	58.32	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z18	*	MAYBE	59.07	*	MAYBE	58.28	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z23	*	MAYBE	59.07	*	MAYBE	58.26	*	MAYBE	58.06	*	WORST_CASE(?,O(n^1))	300.00	*	NO	0.00
Zantema_05/z24	*	MAYBE	59.89	*	MAYBE	58.61	*	MAYBE	58.92	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z26	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	8.36	*	WORST_CASE(?,O(n^1))	2.85	*	NO	0.00
Zantema_05/z27	*	MAYBE	2.16	*	MAYBE	59.11	*	MAYBE	58.67	*	TIMEOUT	300.00	*	NO	0.00
Zantema_05/z28	*	MAYBE	2.62	*	MAYBE	47.75	*	MAYBE	47.26	*	WORST_CASE(?,O(n^1))	2.92	*	NO	0.00
hoca/dfs-flatten	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.68	*	WORST_CASE(?,O(n^1))	2.65	*	YES	0.00
hoca/fib_llist	*	MAYBE	59.09	*	MAYBE	58.21	*	MAYBE	58.16	*	TIMEOUT	300.00	*	NO	0.00
hoca/flatten	*	WORST_CASE(?,O(n^1))	1.72	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	4.89	*	YES	0.00
hoca/foldsum	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	10.37	*	YES	0.00
hoca/id	*	WORST_CASE(?,O(n^1))	1.07	*	WORST_CASE(?,O(n^1))	1.03	*	WORST_CASE(?,O(n^1))	1.24	*	WORST_CASE(?,O(n^1))	4.73	*	YES	0.00
hoca/isort	*	WORST_CASE(?,O(n^2))	2.36	*	WORST_CASE(?,O(n^3))	0.66	*	WORST_CASE(?,O(n^3))	1.67	*	WORST_CASE(?,O(n^2))	9.80	*	NO	0.00
hoca/isort-fold	*	WORST_CASE(?,O(n^2))	6.59	*	WORST_CASE(?,O(n^3))	1.18	*	WORST_CASE(?,O(n^3))	3.77	*	WORST_CASE(?,O(n^2))	10.34	*	NO	0.00
hoca/mappplus	*	WORST_CASE(?,O(n^2))	0.50	*	WORST_CASE(?,O(n^2))	0.17	*	WORST_CASE(?,O(n^2))	1.69	*	WORST_CASE(?,O(n^2))	5.58	*	NO	0.00
hoca/mergesort-dc	*	MAYBE	59.10	*	MAYBE	58.21	*	MAYBE	58.23	*	TIMEOUT	300.00	*	NO	0.00
hoca/mss	*	MAYBE	7.03	*	MAYBE	58.13	*	MAYBE	58.14	*	TIMEOUT	300.00	*	NO	0.00
hoca/rev-dl	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.70	*	WORST_CASE(?,O(n^1))	5.49	*	YES	0.00
hoca/rev-fletf	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	6.31	*	YES	0.00
hoca/rev-foldl	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.61	*	WORST_CASE(?,O(n^1))	3.94	*	YES	0.00
hoca/rpm-lazy	*	MAYBE	59.08	*	MAYBE	58.11	*	MAYBE	58.12	*	TIMEOUT	300.00	*	NO	0.00
hoca/sum	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.34	*	WORST_CASE(?,O(n^1))	4.94	*	YES	0.00
hoca/sum_sqs3	*	MAYBE	16.55	*	MAYBE	58.09	*	MAYBE	58.10	*	TIMEOUT	300.00	*	NO	0.00
raML/appendAll.raml	*	WORST_CASE(?,O(n^1))	0.72	*	WORST_CASE(?,O(n^1))	1.32	*	WORST_CASE(?,O(n^1))	1.62	*	WORST_CASE(?,O(n^1))	12.08	*	NO	0.00
raML/bfs.raml	*	MAYBE	59.23	*	MAYBE	58.19	*	WORST_CASE(?,O(n^3))	14.73	*	MAYBE	299.90	*	YES	0.00
raML/bft_mmult.raml	*	WORST_CASE(?,O(n^3))	36.95	*	WORST_CASE(?,O(n^4))	8.23	*	WORST_CASE(?,O(n^4))	14.38	*	MAYBE	58.94	*	NO	0.00
raML/bitvectors.raml	*	MAYBE	59.80	*	MAYBE	58.73	*	MAYBE	58.53	*	WORST_CASE(?,O(n^5))	300.00	*	NO	0.00
raML/clevermmult.raml	*	WORST_CASE(?,O(n^2))	8.72	*	WORST_CASE(?,O(n^3))	1.83	*	WORST_CASE(?,O(n^3))	2.92	*	WORST_CASE(?,O(n^2))	31.83	*	NO	0.00
raML/duplicates.raml	*	WORST_CASE(?,O(n^2))	4.07	*	WORST_CASE(?,O(n^3))	2.11	*	WORST_CASE(?,O(n^3))	11.38	*	WORST_CASE(?,O(n^2))	13.93	*	NO	0.00
raML/dyade.raml	*	WORST_CASE(?,O(n^2))	0.97	*	WORST_CASE(?,O(n^2))	0.62	*	WORST_CASE(?,O(n^2))	1.91	*	WORST_CASE(?,O(n^2))	19.72	*	NO	0.00
raML/eratosthenes.raml	*	WORST_CASE(?,O(n^2))	10.76	*	WORST_CASE(?,O(n^2))	4.46	*	WORST_CASE(?,O(n^2))	7.77	*	WORST_CASE(?,O(n^2))	27.84	*	NO	0.00
raML/flatten.raml	*	WORST_CASE(?,O(n^2))	9.64	*	WORST_CASE(?,O(n^2))	2.29	*	WORST_CASE(?,O(n^2))	9.17	*	WORST_CASE(?,O(n^2))	15.98	*	NO	0.00
raML/insertionsort.raml	*	MAYBE	59.13	*	MAYBE	58.10	*	WORST_CASE(?,O(n^3))	19.73	*	WORST_CASE(?,O(n^2))	21.14	*	YES	0.00
raML/listsort.raml	*	WORST_CASE(?,O(n^2))	14.38	*	WORST_CASE(?,O(n^3))	3.59	*	WORST_CASE(?,O(n^3))	11.47	*	WORST_CASE(?,O(n^2))	43.89	*	NO	0.00
raML/longestCommonSubsequence.raml	*	WORST_CASE(?,O(n^2))	14.68	*	WORST_CASE(?,O(n^2))	12.08	*	WORST_CASE(?,O(n^2))	13.10	*	WORST_CASE(?,O(n^2))	45.98	*	NO	0.00
raML/matrix.raml	*	MAYBE	59.12	*	MAYBE	58.19	*	WORST_CASE(?,O(n^7))	22.73	*	MAYBE	72.38	*	YES	0.00
raML/mergesort.raml	*	WORST_CASE(?,O(n^2))	25.90	*	WORST_CASE(?,O(n^2))	28.20	*	WORST_CASE(?,O(n^2))	30.07	*	MAYBE	24.96	*	NO	0.00
raML/minsort.raml	*	WORST_CASE(?,O(n^2))	5.50	*	WORST_CASE(?,O(n^2))	1.22	*	WORST_CASE(?,O(n^2))	11.05	*	WORST_CASE(?,O(n^2))	11.87	*	NO	0.00
raML/queue.raml	*	MAYBE	59.11	*	MAYBE	58.16	*	MAYBE	58.11	*	TIMEOUT	300.00	*	NO	0.00
raML/quicksort.raml	*	MAYBE	59.13	*	MAYBE	58.11	*	MAYBE	58.99	*	WORST_CASE(?,O(n^2))	55.34	*	NO	0.00
raML/rationalPotential.raml	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	1.09	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	12.07	*	YES	0.00
raML/splitandsort.raml	*	MAYBE	59.27	*	MAYBE	58.90	*	WORST_CASE(?,O(n^5))	19.49	*	WORST_CASE(?,O(n^3))	72.34	*	YES	0.00
raML/subtrees.raml	*	WORST_CASE(?,O(n^2))	1.43	*	WORST_CASE(?,O(n^2))	0.83	*	WORST_CASE(?,O(n^2))	2.00	*	WORST_CASE(?,O(n^2))	2.99	*	NO	0.00

	TcT_Comp2016	TcTNoAra	TcTAra	Aprove	AraUsed
Success "EXP"	0	0	0	5	0
Success "MAYBE"	595	629	617	125	0
Success "NO"	0	0	0	0	875
Success "WORST_CASE(?,O(1))"	40	39	39	53	0
Success "WORST_CASE(?,O(n^1))"	234	227	232	326	0
Success "WORST_CASE(?,O(n^10))"	0	1	1	1	0
Success "WORST_CASE(?,O(n^2))"	85	61	63	127	0
Success "WORST_CASE(?,O(n^3))"	24	49	44	35	0
Success "WORST_CASE(?,O(n^4))"	4	6	5	2	0
Success "WORST_CASE(?,O(n^5))"	1	2	4	4	0
Success "WORST_CASE(?,O(n^6))"	0	0	1	0	0
Success "WORST_CASE(?,O(n^7))"	0	0	1	0	0
Success "YES"	0	0	0	0	147
Timeout	39	8	15	344	0

Result Summary

Average Times