experiment

	AraZ3	AraMinismt	AraHeurZ3	AraHeurMinismt
Success "MAYBE"	477	471	739	733
Success "WORST_CASE(?,O(n^1))"	123	123	71	71
Success "WORST_CASE(?,O(n^2))"	45	45	19	19
Success "WORST_CASE(?,O(n^3))"	5	4	2	2
Timeout	361	368	180	186

	AraZ3	AraMinismt	AraHeurZ3	AraHeurMinismt
Success "MAYBE"	9.54	9.15	2.72	2.50
Success "WORST_CASE(?,O(n^1))"	0.53	0.42	0.24	0.22
Success "WORST_CASE(?,O(n^2))"	3.66	3.57	0.30	0.40
Success "WORST_CASE(?,O(n^3))"	19.45	17.56	0.89	1.11
Timeout	60.06	60.03	60.03	60.03
Overall	26.27	26.39	12.70	12.88

	AraZ3			AraMinismt			AraHeurZ3			AraHeurMinismt
Problem (all selected)	*	answer		*	answer		*	answer		*	answer
AG01/%233.1.typed	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.06
AG01/%233.10.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	6.21	*	MAYBE	8.19
AG01/%233.12.typed	*	MAYBE	18.05	*	MAYBE	18.39	*	MAYBE	0.41	*	MAYBE	0.15
AG01/%233.13.typed	*	MAYBE	32.10	*	MAYBE	32.62	*	MAYBE	2.73	*	MAYBE	3.18
AG01/%233.15.typed	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.46	*	WORST_CASE(?,O(n^1))	0.41
AG01/%233.16.typed	*	MAYBE	1.24	*	MAYBE	1.32	*	MAYBE	0.18	*	MAYBE	0.61
AG01/%233.17.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.85	*	MAYBE	1.12
AG01/%233.17a.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	4.42	*	MAYBE	4.38
AG01/%233.18.typed	*	MAYBE	17.56	*	MAYBE	17.24	*	MAYBE	0.74	*	MAYBE	1.16
AG01/%233.19.typed	*	MAYBE	3.54	*	MAYBE	3.72	*	MAYBE	0.20	*	MAYBE	0.52
AG01/%233.2.typed	*	MAYBE	1.78	*	MAYBE	1.69	*	MAYBE	0.14	*	MAYBE	0.37
AG01/%233.22.typed	*	MAYBE	3.91	*	MAYBE	3.61	*	MAYBE	0.89	*	MAYBE	0.79
AG01/%233.23.typed	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.34	*	WORST_CASE(?,O(n^1))	0.48
AG01/%233.24.typed	*	WORST_CASE(?,O(n^2))	1.46	*	WORST_CASE(?,O(n^2))	1.61	*	WORST_CASE(?,O(n^2))	0.10	*	WORST_CASE(?,O(n^2))	0.15
AG01/%233.26.typed	*	MAYBE	20.10	*	MAYBE	19.99	*	MAYBE	0.14	*	MAYBE	0.15
AG01/%233.29.typed	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	0.06
AG01/%233.31.typed	*	MAYBE	0.99	*	MAYBE	1.06	*	MAYBE	0.30	*	MAYBE	0.61
AG01/%233.33.typed	*	WORST_CASE(?,O(n^2))	3.45	*	WORST_CASE(?,O(n^2))	3.15	*	MAYBE	0.55	*	MAYBE	0.61
AG01/%233.35.typed	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	0.54	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.12
AG01/%233.36.typed	*	MAYBE	13.47	*	MAYBE	12.33	*	MAYBE	0.35	*	MAYBE	0.69
AG01/%233.37.typed	*	MAYBE	1.05	*	MAYBE	0.87	*	MAYBE	0.48	*	MAYBE	0.44
AG01/%233.38.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.93	*	MAYBE	0.85
AG01/%233.39.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.36	*	MAYBE	0.40
AG01/%233.4.typed	*	MAYBE	4.89	*	MAYBE	4.66	*	MAYBE	0.88	*	MAYBE	0.44
AG01/%233.40.typed	*	MAYBE	31.43	*	MAYBE	30.92	*	MAYBE	0.26	*	MAYBE	0.70
AG01/%233.41.typed	*	WORST_CASE(?,O(n^2))	0.46	*	WORST_CASE(?,O(n^2))	0.67	*	WORST_CASE(?,O(n^2))	0.42	*	WORST_CASE(?,O(n^2))	0.41
AG01/%233.42.typed	*	WORST_CASE(?,O(n^1))	0.76	*	WORST_CASE(?,O(n^1))	0.86	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.30
AG01/%233.47.typed	*	WORST_CASE(?,O(n^2))	0.82	*	WORST_CASE(?,O(n^2))	0.82	*	MAYBE	0.30	*	MAYBE	0.36
AG01/%233.48.typed	*	MAYBE	3.69	*	MAYBE	3.31	*	MAYBE	0.49	*	MAYBE	0.82
AG01/%233.49.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.58	*	MAYBE	1.79	*	MAYBE	1.45
AG01/%233.5.typed	*	WORST_CASE(?,O(n^2))	2.25	*	WORST_CASE(?,O(n^2))	1.81	*	WORST_CASE(?,O(n^2))	0.22	*	WORST_CASE(?,O(n^2))	0.94
AG01/%233.51.typed	*	MAYBE	2.68	*	MAYBE	2.64	*	MAYBE	0.50	*	MAYBE	0.47
AG01/%233.52.typed	*	MAYBE	0.73	*	MAYBE	0.66	*	MAYBE	0.49	*	MAYBE	0.53
AG01/%233.53.typed	*	MAYBE	38.18	*	MAYBE	37.80	*	MAYBE	0.55	*	MAYBE	0.92
AG01/%233.53a.typed	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.13
AG01/%233.53b.typed	*	MAYBE	0.95	*	MAYBE	0.71	*	MAYBE	0.20	*	MAYBE	0.41
AG01/%233.54.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.44	*	MAYBE	0.42
AG01/%233.55.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	3.69	*	MAYBE	3.18
AG01/%233.56.typed	*	MAYBE	0.78	*	MAYBE	0.71	*	MAYBE	0.32	*	MAYBE	0.46
AG01/%233.57.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.84	*	MAYBE	3.02
AG01/%233.5a.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.41	*	MAYBE	0.42
AG01/%233.5b.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.96	*	MAYBE	2.24
AG01/%233.6.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	1.78	*	MAYBE	1.91
AG01/%233.6a.typed	*	WORST_CASE(?,O(n^2))	3.33	*	WORST_CASE(?,O(n^2))	2.91	*	WORST_CASE(?,O(n^2))	0.59	*	WORST_CASE(?,O(n^2))	1.18
AG01/%233.6b.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	2.66	*	MAYBE	3.28
AG01/%233.7.typed	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.29
AG01/%233.8a.typed	*	MAYBE	7.37	*	MAYBE	7.74	*	MAYBE	0.21	*	MAYBE	0.49
AG01/%233.8b.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.00	*	MAYBE	1.05	*	MAYBE	0.89
AG01/%234.30c.typed	*	MAYBE	10.41	*	MAYBE	10.70	*	MAYBE	0.71	*	MAYBE	1.59
AProVE_04/AAECC-ring.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.17	*	TIMEOUT	60.06	*	TIMEOUT	60.05
AProVE_04/AAECC.typed	*	MAYBE	40.61	*	MAYBE	40.40	*	MAYBE	8.36	*	MAYBE	8.78
AProVE_04/IJCAR_1.typed	*	MAYBE	14.05	*	MAYBE	13.82	*	MAYBE	0.17	*	MAYBE	0.19
AProVE_04/IJCAR_12.typed	*	MAYBE	1.84	*	MAYBE	1.90	*	MAYBE	0.69	*	MAYBE	1.11
AProVE_04/IJCAR_18.typed	*	MAYBE	9.39	*	MAYBE	9.17	*	MAYBE	2.18	*	MAYBE	1.88
AProVE_04/IJCAR_26.typed	*	MAYBE	19.30	*	MAYBE	19.63	*	MAYBE	3.72	*	MAYBE	3.59
AProVE_04/IJCAR_26a.typed	*	MAYBE	19.80	*	MAYBE	20.09	*	MAYBE	4.76	*	MAYBE	4.39
AProVE_04/JFP_Ex31.typed	*	MAYBE	15.00	*	MAYBE	14.72	*	MAYBE	2.35	*	MAYBE	2.56
AProVE_04/JFP_Ex51.typed	*	WORST_CASE(?,O(n^2))	19.58	*	WORST_CASE(?,O(n^2))	18.83	*	MAYBE	10.14	*	MAYBE	9.86
AProVE_04/LPAR_intlist.typed	*	MAYBE	6.05	*	MAYBE	5.73	*	MAYBE	0.25	*	MAYBE	0.26
AProVE_04/Liveness6.1.typed	*	MAYBE	6.84	*	MAYBE	6.57	*	MAYBE	0.95	*	MAYBE	2.06
AProVE_04/Liveness6.2.typed	*	MAYBE	7.35	*	MAYBE	7.01	*	MAYBE	0.58	*	MAYBE	0.74
AProVE_04/Liveness6.3.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	31.86	*	MAYBE	32.10
AProVE_04/Liveness6.4.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
AProVE_04/Liveness8.typed	*	MAYBE	26.15	*	MAYBE	24.04	*	MAYBE	5.48	*	MAYBE	5.16
AProVE_04/Liveness_WRS.typed	*	MAYBE	25.83	*	MAYBE	25.10	*	MAYBE	7.56	*	MAYBE	9.33
AProVE_04/fac.typed	*	MAYBE	3.32	*	MAYBE	3.03	*	MAYBE	0.70	*	MAYBE	0.79
AProVE_04/rta1.typed	*	MAYBE	36.22	*	MAYBE	36.31	*	MAYBE	0.76	*	MAYBE	0.82
AProVE_04/rta2.typed	*	MAYBE	21.05	*	MAYBE	20.69	*	MAYBE	0.44	*	MAYBE	0.53
AProVE_04/rta3.typed	*	MAYBE	5.05	*	MAYBE	5.14	*	MAYBE	1.42	*	MAYBE	0.96
AProVE_06/div_notCeTermin.typed	*	MAYBE	16.03	*	MAYBE	10.18	*	MAYBE	1.46	*	MAYBE	1.17
AProVE_06/div_notTermin.typed	*	MAYBE	21.64	*	MAYBE	16.66	*	MAYBE	5.04	*	MAYBE	4.87
AProVE_06/factorial1.typed	*	MAYBE	6.36	*	MAYBE	5.06	*	MAYBE	0.50	*	MAYBE	0.41
AProVE_06/factorial2.typed	*	MAYBE	3.37	*	MAYBE	1.78	*	MAYBE	0.36	*	MAYBE	0.73
AProVE_06/identity.typed	*	MAYBE	7.63	*	MAYBE	7.03	*	MAYBE	0.32	*	MAYBE	0.29
AProVE_06/logarithm.typed	*	MAYBE	9.92	*	MAYBE	7.80	*	MAYBE	0.48	*	MAYBE	0.47
AProVE_06/modulo.typed	*	MAYBE	3.09	*	MAYBE	1.67	*	MAYBE	0.32	*	MAYBE	0.49
AProVE_06/nonterm.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.26	*	MAYBE	0.25
AProVE_06/quicksort.typed	*	MAYBE	33.96	*	MAYBE	24.44	*	MAYBE	1.75	*	MAYBE	1.95
AProVE_06/quot.typed	*	MAYBE	3.27	*	MAYBE	2.60	*	MAYBE	0.44	*	MAYBE	0.29
AProVE_06/sizeChange.typed	*	MAYBE	17.00	*	MAYBE	18.97	*	MAYBE	0.82	*	MAYBE	0.48
AProVE_06/tower.typed	*	MAYBE	7.69	*	MAYBE	7.74	*	MAYBE	0.82	*	MAYBE	0.79
AProVE_06/tower_sizeChange.typed	*	MAYBE	4.23	*	MAYBE	3.73	*	MAYBE	0.69	*	MAYBE	0.66
AProVE_07/kabasci01.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	11.48	*	MAYBE	10.75
AProVE_07/kabasci02.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.01
AProVE_07/kabasci03.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
AProVE_07/kabasci04.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	0.29	*	MAYBE	0.29
AProVE_07/kabasci05.typed	*	MAYBE	6.54	*	MAYBE	10.08	*	MAYBE	2.35	*	MAYBE	1.83
AProVE_07/otto01.typed	*	MAYBE	5.85	*	MAYBE	10.04	*	MAYBE	1.33	*	MAYBE	1.75
AProVE_07/otto02.typed	*	MAYBE	8.84	*	MAYBE	12.71	*	MAYBE	3.50	*	MAYBE	1.75
AProVE_07/otto03.typed	*	MAYBE	1.96	*	MAYBE	2.66	*	MAYBE	0.95	*	MAYBE	1.42
AProVE_07/otto04.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	4.07	*	MAYBE	3.83
AProVE_07/otto05.typed	*	MAYBE	2.26	*	MAYBE	2.11	*	MAYBE	0.28	*	MAYBE	0.40
AProVE_07/otto06.typed	*	MAYBE	12.52	*	MAYBE	18.98	*	MAYBE	3.77	*	MAYBE	3.56
AProVE_07/otto07.typed	*	MAYBE	1.19	*	MAYBE	2.48	*	MAYBE	0.87	*	MAYBE	1.39
AProVE_07/otto08.typed	*	MAYBE	5.51	*	MAYBE	4.94	*	MAYBE	0.41	*	MAYBE	0.53
AProVE_07/otto09.typed	*	MAYBE	3.28	*	MAYBE	4.98	*	MAYBE	1.35	*	MAYBE	1.40
AProVE_07/otto10.typed	*	MAYBE	7.36	*	MAYBE	6.36	*	MAYBE	0.35	*	MAYBE	0.32
AProVE_07/otto11.typed	*	MAYBE	3.35	*	MAYBE	4.30	*	MAYBE	1.70	*	MAYBE	0.90
AProVE_07/otto12.typed	*	MAYBE	3.64	*	MAYBE	5.46	*	MAYBE	1.95	*	MAYBE	1.61
AProVE_07/otto13.typed	*	MAYBE	10.40	*	MAYBE	8.60	*	MAYBE	1.45	*	MAYBE	0.70
AProVE_07/thiemann01.typed	*	MAYBE	4.42	*	MAYBE	3.96	*	MAYBE	0.30	*	MAYBE	0.44
AProVE_07/thiemann02.typed	*	MAYBE	46.73	*	MAYBE	46.45	*	MAYBE	10.08	*	MAYBE	4.07
AProVE_07/thiemann03.typed	*	MAYBE	5.52	*	MAYBE	3.52	*	MAYBE	0.37	*	MAYBE	0.34
AProVE_07/thiemann04.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	17.27	*	MAYBE	18.93
AProVE_07/thiemann05.typed	*	MAYBE	6.42	*	MAYBE	9.42	*	MAYBE	1.32	*	MAYBE	0.40
AProVE_07/thiemann06.typed	*	MAYBE	20.94	*	MAYBE	34.77	*	MAYBE	5.07	*	MAYBE	7.13
AProVE_07/thiemann07.typed	*	MAYBE	14.69	*	MAYBE	21.04	*	MAYBE	3.20	*	MAYBE	1.06
AProVE_07/thiemann08.typed	*	MAYBE	3.03	*	MAYBE	5.78	*	MAYBE	0.92	*	MAYBE	1.26
AProVE_07/thiemann09.typed	*	MAYBE	42.53	*	TIMEOUT	60.02	*	MAYBE	0.70	*	MAYBE	0.56
AProVE_07/thiemann10.typed	*	MAYBE	2.78	*	MAYBE	2.67	*	MAYBE	0.53	*	MAYBE	0.35
AProVE_07/thiemann11.typed	*	MAYBE	7.47	*	MAYBE	10.84	*	MAYBE	0.60	*	MAYBE	2.16
AProVE_07/thiemann12.typed	*	MAYBE	3.68	*	MAYBE	3.46	*	MAYBE	0.42	*	MAYBE	0.54
AProVE_07/thiemann13.typed	*	MAYBE	9.40	*	MAYBE	10.81	*	MAYBE	1.03	*	MAYBE	0.63
AProVE_07/thiemann14.typed	*	MAYBE	18.78	*	MAYBE	17.12	*	MAYBE	1.31	*	MAYBE	1.17
AProVE_07/thiemann15.typed	*	MAYBE	2.25	*	MAYBE	2.87	*	MAYBE	0.43	*	MAYBE	0.70
AProVE_07/thiemann16.typed	*	MAYBE	21.23	*	MAYBE	17.31	*	MAYBE	1.19	*	MAYBE	1.13
AProVE_07/thiemann17.typed	*	MAYBE	8.72	*	MAYBE	9.20	*	MAYBE	0.51	*	MAYBE	0.90
AProVE_07/thiemann18.typed	*	MAYBE	32.66	*	MAYBE	37.71	*	MAYBE	1.57	*	MAYBE	4.29
AProVE_07/thiemann19.typed	*	MAYBE	4.31	*	MAYBE	5.96	*	MAYBE	1.35	*	MAYBE	1.31
AProVE_07/thiemann20.typed	*	MAYBE	1.77	*	MAYBE	1.58	*	MAYBE	1.29	*	MAYBE	0.55
AProVE_07/thiemann21.typed	*	MAYBE	22.48	*	MAYBE	27.50	*	MAYBE	1.35	*	MAYBE	1.06
AProVE_07/thiemann22.typed	*	MAYBE	4.20	*	MAYBE	3.98	*	MAYBE	0.27	*	MAYBE	1.06
AProVE_07/thiemann23.typed	*	MAYBE	3.16	*	MAYBE	2.39	*	MAYBE	0.42	*	MAYBE	0.24
AProVE_07/thiemann24.typed	*	MAYBE	2.75	*	MAYBE	2.15	*	MAYBE	0.36	*	MAYBE	0.73
AProVE_07/thiemann25.typed	*	MAYBE	2.13	*	MAYBE	1.26	*	MAYBE	0.28	*	MAYBE	0.29
AProVE_07/thiemann26.typed	*	MAYBE	3.49	*	MAYBE	5.04	*	MAYBE	0.68	*	MAYBE	0.36
AProVE_07/thiemann27.typed	*	MAYBE	1.58	*	MAYBE	1.15	*	MAYBE	0.19	*	MAYBE	0.17
AProVE_07/thiemann28.typed	*	MAYBE	3.50	*	MAYBE	2.02	*	MAYBE	0.56	*	MAYBE	0.30
AProVE_07/thiemann29.typed	*	MAYBE	5.28	*	MAYBE	4.27	*	MAYBE	0.41	*	MAYBE	0.61
AProVE_07/thiemann30.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	1.95	*	MAYBE	1.74
AProVE_07/thiemann31.typed	*	MAYBE	14.55	*	MAYBE	13.93	*	MAYBE	0.61	*	MAYBE	0.60
AProVE_07/thiemann32.typed	*	MAYBE	18.69	*	MAYBE	16.98	*	MAYBE	2.55	*	MAYBE	1.17
AProVE_07/thiemann33.typed	*	MAYBE	5.58	*	MAYBE	9.77	*	MAYBE	0.88	*	MAYBE	1.96
AProVE_07/thiemann34.typed	*	MAYBE	5.65	*	MAYBE	5.34	*	MAYBE	0.67	*	MAYBE	0.66
AProVE_07/thiemann36.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.05	*	MAYBE	0.74	*	MAYBE	0.84
AProVE_07/thiemann37.typed	*	MAYBE	15.69	*	MAYBE	15.34	*	MAYBE	1.72	*	MAYBE	1.02
AProVE_07/thiemann38.typed	*	MAYBE	4.82	*	MAYBE	2.75	*	MAYBE	0.30	*	MAYBE	0.29
AProVE_07/thiemann40.typed	*	MAYBE	1.05	*	MAYBE	1.64	*	MAYBE	0.66	*	MAYBE	0.98
AProVE_07/thiemann41.typed	*	MAYBE	2.91	*	MAYBE	2.28	*	MAYBE	0.29	*	MAYBE	0.37
AProVE_07/wiehe01.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
AProVE_07/wiehe02.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
AProVE_07/wiehe03.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.04
AProVE_07/wiehe05.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.00
AProVE_07/wiehe06.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.00
AProVE_07/wiehe07.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.00
AProVE_07/wiehe08.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
AProVE_07/wiehe09.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
AProVE_07/wiehe11.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.01
AProVE_07/wiehe12.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
AProVE_08/id_inc.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.82	*	MAYBE	1.40
AProVE_08/log.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.42	*	MAYBE	0.61
AProVE_08/parting01_reverse.typed	*	MAYBE	33.31	*	MAYBE	33.32	*	MAYBE	1.04	*	MAYBE	1.15
AProVE_08/parting02_doublelist.typed	*	MAYBE	34.41	*	MAYBE	34.69	*	MAYBE	0.69	*	MAYBE	1.30
AProVE_08/parting03_minsort.typed	*	MAYBE	22.70	*	MAYBE	22.33	*	MAYBE	0.79	*	MAYBE	1.96
AProVE_08/parting04_maxsort_h.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	1.73	*	MAYBE	2.15
AProVE_08/parting05_maxsort.typed	*	MAYBE	19.09	*	MAYBE	19.34	*	MAYBE	0.76	*	MAYBE	0.89
AProVE_08/round.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
AProVE_08/round_nonterm.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
AProVE_08/thiemann40_modified.typed	*	MAYBE	2.32	*	MAYBE	1.89	*	MAYBE	0.47	*	MAYBE	0.42
AProVE_09_Inductive/div.typed	*	MAYBE	6.50	*	MAYBE	5.40	*	MAYBE	0.69	*	MAYBE	0.61
AProVE_09_Inductive/divhard.typed	*	MAYBE	7.65	*	MAYBE	6.20	*	MAYBE	0.71	*	MAYBE	0.62
AProVE_09_Inductive/gcd.typed	*	MAYBE	10.26	*	MAYBE	7.98	*	MAYBE	0.76	*	MAYBE	0.80
AProVE_09_Inductive/gcd2.typed	*	MAYBE	23.25	*	MAYBE	18.44	*	MAYBE	1.31	*	MAYBE	2.02
AProVE_09_Inductive/gcdhard.typed	*	MAYBE	27.08	*	MAYBE	28.28	*	MAYBE	0.47	*	MAYBE	0.68
AProVE_09_Inductive/log.typed	*	MAYBE	3.31	*	MAYBE	2.55	*	MAYBE	0.35	*	MAYBE	0.38
AProVE_09_Inductive/maxsort.typed	*	MAYBE	24.53	*	MAYBE	25.91	*	MAYBE	0.65	*	MAYBE	0.56
AProVE_09_Inductive/maxsortcondition.typed	*	MAYBE	12.31	*	MAYBE	8.40	*	MAYBE	0.79	*	MAYBE	0.83
AProVE_09_Inductive/minsort.typed	*	MAYBE	59.34	*	MAYBE	58.57	*	MAYBE	1.22	*	MAYBE	1.00
AProVE_09_Inductive/mod.typed	*	MAYBE	20.07	*	MAYBE	21.89	*	MAYBE	0.57	*	MAYBE	0.91
AProVE_09_Inductive/qsort.typed	*	MAYBE	10.65	*	MAYBE	7.09	*	MAYBE	0.68	*	MAYBE	0.73
AProVE_09_Inductive/qsortlast.typed	*	MAYBE	13.50	*	MAYBE	13.16	*	MAYBE	1.02	*	MAYBE	1.10
AProVE_09_Inductive/qsortmiddle.typed	*	MAYBE	20.02	*	MAYBE	19.33	*	MAYBE	1.37	*	MAYBE	1.36
AProVE_09_Inductive/zerolist.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	1.18	*	MAYBE	1.10
Beerendonk_07/1.typed	*	MAYBE	1.14	*	MAYBE	0.66	*	MAYBE	0.14	*	MAYBE	0.13
Beerendonk_07/10.typed	*	MAYBE	8.06	*	MAYBE	8.80	*	MAYBE	1.26	*	MAYBE	0.73
Beerendonk_07/11.typed	*	MAYBE	6.18	*	MAYBE	4.58	*	MAYBE	0.58	*	MAYBE	0.59
Beerendonk_07/12.typed	*	MAYBE	2.20	*	MAYBE	1.77	*	MAYBE	0.47	*	MAYBE	0.52
Beerendonk_07/13.typed	*	MAYBE	5.07	*	MAYBE	3.11	*	MAYBE	0.39	*	MAYBE	0.53
Beerendonk_07/14.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	0.66	*	MAYBE	0.43
Beerendonk_07/15.typed	*	MAYBE	23.66	*	MAYBE	17.40	*	MAYBE	1.46	*	MAYBE	1.84
Beerendonk_07/16.typed	*	MAYBE	17.05	*	MAYBE	16.45	*	MAYBE	2.17	*	MAYBE	1.51
Beerendonk_07/17.typed	*	MAYBE	22.08	*	MAYBE	19.07	*	MAYBE	2.16	*	MAYBE	2.12
Beerendonk_07/18.typed	*	MAYBE	26.00	*	MAYBE	18.59	*	MAYBE	2.31	*	MAYBE	2.19
Beerendonk_07/19.typed	*	MAYBE	26.59	*	MAYBE	27.64	*	MAYBE	4.18	*	MAYBE	2.20
Beerendonk_07/2.typed	*	MAYBE	1.06	*	MAYBE	0.66	*	MAYBE	0.36	*	MAYBE	0.15
Beerendonk_07/20.typed	*	MAYBE	6.75	*	MAYBE	5.36	*	MAYBE	1.62	*	MAYBE	1.69
Beerendonk_07/21.typed	*	MAYBE	6.55	*	MAYBE	4.77	*	MAYBE	0.72	*	MAYBE	0.67
Beerendonk_07/22.typed	*	MAYBE	3.75	*	MAYBE	4.42	*	MAYBE	0.44	*	MAYBE	0.40
Beerendonk_07/23.typed	*	MAYBE	4.55	*	MAYBE	2.94	*	MAYBE	0.39	*	MAYBE	0.40
Beerendonk_07/24.typed	*	MAYBE	40.85	*	MAYBE	32.21	*	MAYBE	2.96	*	MAYBE	3.07
Beerendonk_07/3.typed	*	MAYBE	1.00	*	MAYBE	0.88	*	MAYBE	0.25	*	MAYBE	0.15
Beerendonk_07/4.typed	*	MAYBE	0.85	*	MAYBE	0.44	*	MAYBE	0.14	*	MAYBE	0.13
Beerendonk_07/5.typed	*	MAYBE	1.72	*	MAYBE	0.98	*	MAYBE	0.46	*	MAYBE	0.33
Beerendonk_07/6.typed	*	MAYBE	1.10	*	MAYBE	0.82	*	MAYBE	0.29	*	MAYBE	0.70
Beerendonk_07/7.typed	*	MAYBE	1.10	*	MAYBE	0.66	*	MAYBE	0.15	*	MAYBE	0.14
Beerendonk_07/8.typed	*	MAYBE	2.31	*	MAYBE	0.92	*	MAYBE	0.30	*	MAYBE	0.81
Beerendonk_07/9.typed	*	MAYBE	1.80	*	MAYBE	0.94	*	MAYBE	0.47	*	MAYBE	0.21
CiME_04/ack_prolog.typed	*	MAYBE	30.22	*	MAYBE	32.07	*	MAYBE	0.34	*	MAYBE	0.30
CiME_04/append-hard.typed	*	MAYBE	1.73	*	MAYBE	1.00	*	MAYBE	0.15	*	MAYBE	0.15
CiME_04/append-wrong.typed	*	MAYBE	2.51	*	MAYBE	1.00	*	MAYBE	0.17	*	MAYBE	0.15
CiME_04/append.typed	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.10	*	MAYBE	0.20	*	MAYBE	0.13
CiME_04/big.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	39.47	*	MAYBE	39.14
CiME_04/dpqs.typed	*	MAYBE	1.10	*	MAYBE	0.73	*	MAYBE	0.48	*	MAYBE	0.20
CiME_04/fact-hard.typed	*	MAYBE	3.68	*	MAYBE	2.66	*	MAYBE	0.35	*	MAYBE	0.40
CiME_04/filliatre.typed	*	MAYBE	22.61	*	MAYBE	23.36	*	MAYBE	1.32	*	MAYBE	1.02
CiME_04/filliatre2.typed	*	MAYBE	46.73	*	TIMEOUT	60.05	*	MAYBE	3.84	*	MAYBE	1.60
CiME_04/filliatre3.typed	*	MAYBE	38.78	*	MAYBE	34.33	*	MAYBE	1.44	*	MAYBE	1.72
CiME_04/intersect.typed	*	MAYBE	45.72	*	MAYBE	43.04	*	MAYBE	4.34	*	MAYBE	9.63
CiME_04/list-sum-prod-assoc-append.typed	*	MAYBE	15.64	*	MAYBE	10.35	*	MAYBE	0.99	*	MAYBE	1.06
CiME_04/list-sum-prod-assoc.typed	*	MAYBE	1.85	*	MAYBE	1.41	*	MAYBE	0.64	*	MAYBE	0.26
CiME_04/list-sum-prod-bin-assoc-distr-app.typed	*	MAYBE	34.20	*	MAYBE	40.55	*	MAYBE	3.05	*	MAYBE	4.16
CiME_04/list-sum-prod-bin-assoc.typed	*	MAYBE	2.63	*	MAYBE	1.75	*	MAYBE	0.32	*	MAYBE	0.39
CiME_04/list-sum-prod-bin.typed	*	MAYBE	9.47	*	MAYBE	6.86	*	MAYBE	1.12	*	MAYBE	1.00
CiME_04/list-sum-prod.typed	*	MAYBE	13.11	*	MAYBE	13.57	*	MAYBE	0.28	*	MAYBE	0.27
CiME_04/log2.typed	*	MAYBE	16.67	*	MAYBE	20.73	*	MAYBE	1.81	*	MAYBE	1.81
CiME_04/lse.typed	*	MAYBE	21.08	*	MAYBE	18.28	*	MAYBE	1.96	*	MAYBE	0.97
CiME_04/maude2.typed	*	MAYBE	13.08	*	MAYBE	10.62	*	MAYBE	1.30	*	MAYBE	1.25
CiME_04/mucrl1.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
CiME_04/ternary-hard.typed	*	MAYBE	2.30	*	MAYBE	1.54	*	MAYBE	0.29	*	MAYBE	0.37
CiME_04/ternary.typed	*	MAYBE	2.83	*	MAYBE	1.89	*	MAYBE	0.32	*	MAYBE	0.28
CiME_04/tree.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	14.46	*	MAYBE	10.50
Der95/06.typed	*	WORST_CASE(?,O(n^1))	0.50	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.05
Der95/07.typed	*	MAYBE	1.01	*	MAYBE	0.61	*	MAYBE	0.15	*	MAYBE	0.19
Der95/08.typed	*	MAYBE	4.67	*	MAYBE	4.04	*	MAYBE	0.32	*	MAYBE	0.37
Der95/11.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	2.57	*	MAYBE	2.51
Der95/12.typed	*	MAYBE	0.49	*	MAYBE	0.28	*	MAYBE	0.09	*	MAYBE	0.12
Der95/18.typed	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.10	*	MAYBE	0.09	*	MAYBE	0.10
Der95/20.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	0.32	*	MAYBE	0.09
Der95/21.typed	*	MAYBE	1.46	*	MAYBE	0.97	*	MAYBE	0.44	*	MAYBE	0.26
Der95/27.typed	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.05
Der95/32.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	0.73	*	MAYBE	0.47
Der95/33.typed	*	MAYBE	10.77	*	MAYBE	7.82	*	MAYBE	1.49	*	MAYBE	0.68
Endrullis_06/direct.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	0.23	*	MAYBE	0.40
Frederiksen_Glenstrup/ack.typed	*	MAYBE	4.37	*	MAYBE	3.95	*	MAYBE	0.33	*	MAYBE	0.40
Frederiksen_Glenstrup/add.typed	*	WORST_CASE(?,O(n^1))	0.57	*	WORST_CASE(?,O(n^1))	0.48	*	MAYBE	0.53	*	MAYBE	0.35
Frederiksen_Glenstrup/addlists.typed	*	WORST_CASE(?,O(n^1))	0.70	*	WORST_CASE(?,O(n^1))	0.60	*	MAYBE	0.87	*	MAYBE	0.50
Frederiksen_Glenstrup/anchored.typed	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.09	*	MAYBE	0.11	*	MAYBE	0.09
Frederiksen_Glenstrup/append.typed	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.26	*	MAYBE	0.41	*	MAYBE	0.30
Frederiksen_Glenstrup/assrewrite.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	MAYBE	1.47	*	MAYBE	1.84
Frederiksen_Glenstrup/badd.typed	*	MAYBE	2.00	*	MAYBE	1.96	*	MAYBE	0.16	*	MAYBE	0.10
Frederiksen_Glenstrup/binom.typed	*	MAYBE	2.96	*	MAYBE	2.61	*	MAYBE	0.57	*	MAYBE	0.61
Frederiksen_Glenstrup/decrease.typed	*	WORST_CASE(?,O(n^1))	1.65	*	WORST_CASE(?,O(n^1))	1.09	*	MAYBE	0.44	*	MAYBE	0.42
Frederiksen_Glenstrup/disjconj.typed	*	MAYBE	11.48	*	MAYBE	8.42	*	MAYBE	0.79	*	MAYBE	0.85
Frederiksen_Glenstrup/duplicate.typed	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.84	*	MAYBE	0.26	*	MAYBE	0.28
Frederiksen_Glenstrup/equal.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.00	*	MAYBE	0.62	*	MAYBE	0.65
Frederiksen_Glenstrup/evenodd.typed	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.15	*	MAYBE	0.22	*	MAYBE	0.18
Frederiksen_Glenstrup/fold.typed	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.15	*	MAYBE	0.30	*	MAYBE	0.30
Frederiksen_Glenstrup/game.typed	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.51	*	MAYBE	0.64	*	MAYBE	0.65
Frederiksen_Glenstrup/gcd.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	14.21	*	MAYBE	15.36
Frederiksen_Glenstrup/gcd2.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	13.72	*	MAYBE	16.78
Frederiksen_Glenstrup/increase.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.18	*	MAYBE	2.13	*	MAYBE	1.62
Frederiksen_Glenstrup/int.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Frederiksen_Glenstrup/intlookup.typed	*	MAYBE	1.78	*	MAYBE	1.19	*	MAYBE	0.85	*	MAYBE	0.80
Frederiksen_Glenstrup/letexp.typed	*	MAYBE	0.40	*	MAYBE	0.61	*	MAYBE	0.17	*	MAYBE	0.38
Frederiksen_Glenstrup/list.typed	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.07	*	MAYBE	0.09	*	MAYBE	0.11
Frederiksen_Glenstrup/lte.typed	*	WORST_CASE(?,O(n^1))	0.59	*	WORST_CASE(?,O(n^1))	0.74	*	MAYBE	0.52	*	MAYBE	0.40
Frederiksen_Glenstrup/map0.typed	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.14	*	MAYBE	0.18	*	MAYBE	0.18
Frederiksen_Glenstrup/member.typed	*	WORST_CASE(?,O(n^1))	0.88	*	WORST_CASE(?,O(n^1))	1.27	*	MAYBE	1.17	*	MAYBE	1.08
Frederiksen_Glenstrup/mergelists.typed	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.31	*	MAYBE	0.49	*	MAYBE	0.38
Frederiksen_Glenstrup/mergesort.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	MAYBE	1.47	*	MAYBE	1.14
Frederiksen_Glenstrup/minsort.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	1.60	*	MAYBE	1.32
Frederiksen_Glenstrup/mul.typed	*	WORST_CASE(?,O(n^2))	0.89	*	WORST_CASE(?,O(n^2))	0.97	*	MAYBE	0.51	*	MAYBE	0.48
Frederiksen_Glenstrup/mul_better.typed	*	WORST_CASE(?,O(n^2))	0.75	*	WORST_CASE(?,O(n^2))	0.32	*	MAYBE	0.16	*	MAYBE	0.14
Frederiksen_Glenstrup/naiverev.typed	*	WORST_CASE(?,O(n^2))	0.76	*	WORST_CASE(?,O(n^2))	0.92	*	MAYBE	0.65	*	MAYBE	0.82
Frederiksen_Glenstrup/nestdec.typed	*	WORST_CASE(?,O(n^1))	0.76	*	WORST_CASE(?,O(n^1))	0.53	*	MAYBE	0.82	*	MAYBE	0.63
Frederiksen_Glenstrup/nesteql.typed	*	MAYBE	6.43	*	MAYBE	6.16	*	MAYBE	0.49	*	MAYBE	0.63
Frederiksen_Glenstrup/nestimeql.typed	*	MAYBE	10.22	*	MAYBE	10.41	*	MAYBE	0.56	*	MAYBE	0.50
Frederiksen_Glenstrup/nestinc.typed	*	MAYBE	5.48	*	MAYBE	4.88	*	MAYBE	0.30	*	MAYBE	0.29
Frederiksen_Glenstrup/nolexicord.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.00
Frederiksen_Glenstrup/ordered.typed	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.19	*	MAYBE	0.27	*	MAYBE	0.28
Frederiksen_Glenstrup/ordered_better.typed	*	WORST_CASE(?,O(n^1))	0.69	*	WORST_CASE(?,O(n^1))	0.60	*	MAYBE	0.63	*	MAYBE	0.88
Frederiksen_Glenstrup/overlap.typed	*	MAYBE	10.76	*	MAYBE	9.53	*	MAYBE	0.45	*	MAYBE	0.62
Frederiksen_Glenstrup/parsexp.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	48.49	*	MAYBE	49.30
Frederiksen_Glenstrup/permute.typed	*	MAYBE	14.85	*	MAYBE	25.28	*	MAYBE	0.68	*	MAYBE	0.81
Frederiksen_Glenstrup/power.typed	*	MAYBE	26.32	*	MAYBE	26.07	*	MAYBE	0.57	*	MAYBE	0.37
Frederiksen_Glenstrup/quicksort.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	MAYBE	1.61	*	MAYBE	1.40
Frederiksen_Glenstrup/revapp.typed	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.06	*	MAYBE	0.08	*	MAYBE	0.07
Frederiksen_Glenstrup/select.typed	*	MAYBE	3.49	*	MAYBE	4.04	*	MAYBE	0.39	*	MAYBE	0.17
Frederiksen_Glenstrup/shuffle.typed	*	MAYBE	8.67	*	MAYBE	7.80	*	MAYBE	0.38	*	MAYBE	0.43
Frederiksen_Glenstrup/sp1.typed	*	MAYBE	3.78	*	MAYBE	3.66	*	MAYBE	0.46	*	MAYBE	0.67
Frederiksen_Glenstrup/subsets.typed	*	MAYBE	4.54	*	MAYBE	4.56	*	MAYBE	0.21	*	MAYBE	0.39
Frederiksen_Glenstrup/thetrick.typed	*	MAYBE	49.62	*	MAYBE	49.75	*	MAYBE	9.66	*	MAYBE	9.99
Frederiksen_Others/add.typed	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.14
Frederiksen_Others/assrewriteSize.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	1.15	*	MAYBE	1.21
Frederiksen_Others/boolprog.typed	*	WORST_CASE(?,O(n^1))	5.13	*	WORST_CASE(?,O(n^1))	3.03	*	WORST_CASE(?,O(n^1))	1.09	*	WORST_CASE(?,O(n^1))	0.97
Frederiksen_Others/bubblesort.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.68	*	MAYBE	0.58
Frederiksen_Others/deadcodeSize.typed	*	MAYBE	0.33	*	MAYBE	0.24	*	MAYBE	0.31	*	MAYBE	0.26
Frederiksen_Others/div2.typed	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.07
Frederiksen_Others/eq.typed	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.12
Frederiksen_Others/ex6.typed	*	WORST_CASE(?,O(n^1))	0.21	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.10
Frederiksen_Others/fgh.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.03	*	MAYBE	0.64	*	MAYBE	0.65
Frederiksen_Others/fghSize.typed	*	MAYBE	38.41	*	MAYBE	38.67	*	MAYBE	0.58	*	MAYBE	0.59
Frederiksen_Others/gexgcd.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.00
Frederiksen_Others/gexgcd2.typed	*	MAYBE	11.84	*	MAYBE	12.56	*	MAYBE	1.65	*	MAYBE	0.96
Frederiksen_Others/inssort.typed	*	MAYBE	35.33	*	MAYBE	32.99	*	MAYBE	0.27	*	MAYBE	0.30
Frederiksen_Others/inssort_better.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	0.32	*	MAYBE	0.31
Frederiksen_Others/match.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	0.60	*	MAYBE	0.88
Frederiksen_Others/minsortSize.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	3.93	*	MAYBE	1.72
Frederiksen_Others/ocall-safe.typed	*	WORST_CASE(?,O(n^1))	0.49	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.09
Frederiksen_Others/ocall-unsafe.typed	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.07
Frederiksen_Others/oddeven.typed	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.07
Frederiksen_Others/permut.typed	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.16
Frederiksen_Others/power.typed	*	MAYBE	1.81	*	MAYBE	1.35	*	MAYBE	0.24	*	MAYBE	0.40
Frederiksen_Others/quicksortPtime.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	1.99	*	MAYBE	2.23
Frederiksen_Others/quicksortSize.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	1.26	*	MAYBE	1.31
Frederiksen_Others/reach.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	5.30	*	MAYBE	11.17
Frederiksen_Others/rematch.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Frederiksen_Others/strmatch.typed	*	WORST_CASE(?,O(n^2))	7.67	*	WORST_CASE(?,O(n^2))	13.27	*	MAYBE	6.03	*	MAYBE	4.36
Frederiksen_Others/thetrickSize.typed	*	WORST_CASE(?,O(n^1))	2.24	*	WORST_CASE(?,O(n^1))	0.94	*	MAYBE	1.01	*	MAYBE	1.00
GTSSK07/cade01.typed	*	MAYBE	1.40	*	MAYBE	0.91	*	MAYBE	0.23	*	MAYBE	0.21
GTSSK07/cade03.typed	*	MAYBE	1.65	*	MAYBE	1.22	*	MAYBE	0.24	*	MAYBE	0.19
GTSSK07/cade04t.typed	*	MAYBE	1.35	*	MAYBE	0.78	*	MAYBE	0.18	*	MAYBE	0.16
GTSSK07/cade05t.typed	*	MAYBE	2.84	*	MAYBE	2.25	*	MAYBE	0.54	*	MAYBE	0.41
GTSSK07/cade06.typed	*	MAYBE	3.10	*	MAYBE	1.92	*	MAYBE	0.35	*	MAYBE	0.31
GTSSK07/cade07.typed	*	MAYBE	3.46	*	MAYBE	3.21	*	MAYBE	0.41	*	MAYBE	0.63
GTSSK07/cade08.typed	*	MAYBE	3.71	*	MAYBE	2.26	*	MAYBE	0.39	*	MAYBE	0.36
GTSSK07/cade09.typed	*	MAYBE	1.97	*	MAYBE	1.30	*	MAYBE	0.44	*	MAYBE	0.46
GTSSK07/cade10.typed	*	MAYBE	1.84	*	MAYBE	1.21	*	MAYBE	0.31	*	MAYBE	0.19
GTSSK07/cade11.typed	*	MAYBE	1.20	*	MAYBE	0.74	*	MAYBE	0.34	*	MAYBE	0.18
GTSSK07/cade12t.typed	*	MAYBE	3.28	*	MAYBE	2.06	*	MAYBE	0.48	*	MAYBE	0.30
GTSSK07/cade13t.typed	*	MAYBE	6.57	*	MAYBE	6.31	*	MAYBE	0.28	*	MAYBE	0.31
GTSSK07/cade14.typed	*	MAYBE	8.75	*	MAYBE	5.93	*	MAYBE	0.82	*	MAYBE	0.97
GTSSK07/cade15.typed	*	MAYBE	15.54	*	MAYBE	11.14	*	MAYBE	1.57	*	MAYBE	1.18
GTSSK07/cade16.typed	*	MAYBE	2.62	*	MAYBE	1.59	*	MAYBE	0.30	*	MAYBE	0.26
GTSSK07/cade17.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	1.02	*	MAYBE	0.57
HirokawaMiddeldorp_04/n002.typed	*	MAYBE	0.26	*	MAYBE	0.24	*	MAYBE	0.37	*	MAYBE	0.26
HirokawaMiddeldorp_04/n003.typed	*	MAYBE	0.37	*	MAYBE	0.07	*	MAYBE	0.07	*	MAYBE	0.20
HirokawaMiddeldorp_04/n004.typed	*	MAYBE	0.37	*	MAYBE	0.08	*	MAYBE	0.06	*	MAYBE	0.12
HirokawaMiddeldorp_04/n005.typed	*	MAYBE	0.47	*	MAYBE	0.07	*	MAYBE	0.07	*	MAYBE	0.10
HirokawaMiddeldorp_04/n006.typed	*	MAYBE	0.22	*	MAYBE	0.10	*	MAYBE	0.10	*	MAYBE	0.08
HirokawaMiddeldorp_04/n007.typed	*	MAYBE	0.36	*	MAYBE	0.64	*	MAYBE	0.38	*	MAYBE	0.23
HirokawaMiddeldorp_04/t001.typed	*	MAYBE	5.69	*	MAYBE	4.41	*	MAYBE	0.45	*	MAYBE	0.52
HirokawaMiddeldorp_04/t002.typed	*	MAYBE	27.43	*	MAYBE	45.09	*	MAYBE	0.21	*	MAYBE	0.62
HirokawaMiddeldorp_04/t003.typed	*	MAYBE	5.85	*	MAYBE	8.27	*	MAYBE	1.50	*	MAYBE	0.51
HirokawaMiddeldorp_04/t004.typed	*	MAYBE	16.87	*	MAYBE	16.48	*	MAYBE	0.31	*	MAYBE	0.34
HirokawaMiddeldorp_04/t009.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.04
HirokawaMiddeldorp_04/t011.typed	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.08
HirokawaMiddeldorp_04/t012.typed	*	MAYBE	2.92	*	MAYBE	2.32	*	MAYBE	0.22	*	MAYBE	0.19
HirokawaMiddeldorp_04/t013.typed	*	MAYBE	13.80	*	MAYBE	18.88	*	MAYBE	0.36	*	MAYBE	0.60
HirokawaMiddeldorp_04/t014.typed	*	WORST_CASE(?,O(n^2))	0.79	*	WORST_CASE(?,O(n^2))	0.56	*	WORST_CASE(?,O(n^2))	0.15	*	WORST_CASE(?,O(n^2))	0.24
Mixed_TRS/Ex1_Luc04b_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	3.14	*	MAYBE	2.69
Mixed_TRS/fossacs.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	0.15	*	MAYBE	0.17
Mixed_TRS/gcd.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	0.54	*	MAYBE	0.46
Mixed_TRS/gcdMinMax.typed	*	MAYBE	22.22	*	MAYBE	24.21	*	MAYBE	0.36	*	MAYBE	0.29
Mixed_TRS/gcd_triple.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	1.19	*	MAYBE	1.24
Mixed_TRS/hydra-Zantema06.typed	*	MAYBE	10.34	*	MAYBE	8.51	*	MAYBE	0.93	*	MAYBE	0.60
Mixed_TRS/hydra.typed	*	WORST_CASE(?,O(n^1))	0.53	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.29
Mixed_TRS/jones1.typed	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.14	*	MAYBE	0.19	*	MAYBE	0.13
Mixed_TRS/jones2.typed	*	WORST_CASE(?,O(n^1))	0.34	*	WORST_CASE(?,O(n^1))	0.13	*	MAYBE	0.12	*	MAYBE	0.22
Mixed_TRS/jones4.typed	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.07
Mixed_TRS/jones5.typed	*	MAYBE	1.65	*	MAYBE	1.37	*	MAYBE	0.20	*	MAYBE	0.14
Mixed_TRS/jones6.typed	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.15	*	MAYBE	0.12	*	MAYBE	0.37
Mixed_TRS/minsort.typed	*	MAYBE	4.70	*	MAYBE	3.57	*	MAYBE	0.53	*	MAYBE	0.54
Mixed_TRS/perfect.typed	*	MAYBE	4.19	*	MAYBE	3.17	*	MAYBE	0.54	*	MAYBE	0.52
Mixed_TRS/perfect2.typed	*	MAYBE	9.85	*	MAYBE	7.81	*	MAYBE	0.55	*	MAYBE	0.75
Mixed_TRS/test1.typed	*	MAYBE	2.09	*	MAYBE	1.74	*	MAYBE	0.12	*	MAYBE	0.36
Mixed_TRS/while.typed	*	MAYBE	1.07	*	MAYBE	0.62	*	MAYBE	0.12	*	MAYBE	0.20
Rubio_04/bintrees.typed	*	WORST_CASE(?,O(n^2))	1.41	*	WORST_CASE(?,O(n^2))	1.02	*	MAYBE	0.42	*	MAYBE	0.51
Rubio_04/bn122.typed	*	MAYBE	0.61	*	MAYBE	0.75	*	MAYBE	0.37	*	MAYBE	0.42
Rubio_04/division.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.85	*	MAYBE	0.77
Rubio_04/elimdupl.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.96	*	MAYBE	1.74
Rubio_04/enno.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	1.40	*	MAYBE	1.81
Rubio_04/gcd.typed	*	MAYBE	42.01	*	MAYBE	40.10	*	MAYBE	0.61	*	MAYBE	0.49
Rubio_04/gm.typed	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.51	*	WORST_CASE(?,O(n^1))	0.38	*	WORST_CASE(?,O(n^1))	0.19
Rubio_04/gmnp.typed	*	MAYBE	3.64	*	MAYBE	3.67	*	MAYBE	0.69	*	MAYBE	0.60
Rubio_04/koen.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Rubio_04/logarquot.typed	*	WORST_CASE(?,O(n^2))	1.49	*	WORST_CASE(?,O(n^2))	1.04	*	WORST_CASE(?,O(n^2))	0.36	*	WORST_CASE(?,O(n^2))	0.41
Rubio_04/ma96.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	21.90	*	MAYBE	22.57
Rubio_04/mfp95.typed	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.07	*	MAYBE	0.13	*	MAYBE	0.32
Rubio_04/nestrec.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.37	*	MAYBE	0.21
Rubio_04/p266.typed	*	MAYBE	0.24	*	MAYBE	0.15	*	MAYBE	0.10	*	MAYBE	0.35
Rubio_04/polo2.typed	*	WORST_CASE(?,O(n^1))	2.05	*	WORST_CASE(?,O(n^1))	2.76	*	MAYBE	5.17	*	MAYBE	7.69
Rubio_04/prov.typed	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.38
Rubio_04/quick.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	4.69	*	MAYBE	4.33
Rubio_04/quotminus.typed	*	MAYBE	3.54	*	MAYBE	3.60	*	MAYBE	0.36	*	MAYBE	0.72
Rubio_04/revlist.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	1.15	*	MAYBE	0.92
Rubio_04/selsort.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	13.98	*	MAYBE	17.14
Rubio_04/test4.typed	*	MAYBE	1.35	*	MAYBE	1.27	*	MAYBE	0.55	*	MAYBE	0.72
Rubio_04/test829.typed	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^2))	0.32	*	WORST_CASE(?,O(n^2))	0.48
Rubio_04/wst99.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	4.96	*	MAYBE	5.18
SK90/2.02.typed	*	MAYBE	0.43	*	MAYBE	0.70	*	MAYBE	0.42	*	MAYBE	0.25
SK90/2.03.typed	*	MAYBE	23.78	*	MAYBE	23.80	*	MAYBE	0.07	*	MAYBE	0.09
SK90/2.07.typed	*	MAYBE	1.13	*	MAYBE	0.33	*	MAYBE	0.09	*	MAYBE	0.14
SK90/2.09.typed	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.07
SK90/2.11.typed	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.09
SK90/2.12.typed	*	MAYBE	4.30	*	MAYBE	2.58	*	MAYBE	0.49	*	MAYBE	0.32
SK90/2.13.typed	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.62	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	0.46
SK90/2.14.typed	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.11
SK90/2.15.typed	*	MAYBE	1.18	*	MAYBE	0.85	*	MAYBE	0.24	*	MAYBE	0.24
SK90/2.16.typed	*	WORST_CASE(?,O(n^2))	1.24	*	WORST_CASE(?,O(n^2))	1.42	*	WORST_CASE(?,O(n^2))	0.80	*	WORST_CASE(?,O(n^2))	0.47
SK90/2.17.typed	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.15
SK90/2.18.typed	*	WORST_CASE(?,O(n^2))	0.40	*	WORST_CASE(?,O(n^2))	0.18	*	WORST_CASE(?,O(n^2))	0.10	*	WORST_CASE(?,O(n^2))	0.09
SK90/2.19.typed	*	WORST_CASE(?,O(n^2))	1.13	*	WORST_CASE(?,O(n^2))	0.70	*	WORST_CASE(?,O(n^2))	0.18	*	WORST_CASE(?,O(n^2))	0.21
SK90/2.20.typed	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.12
SK90/2.21.typed	*	MAYBE	2.11	*	MAYBE	1.53	*	MAYBE	0.12	*	MAYBE	0.15
SK90/2.22.typed	*	MAYBE	0.99	*	MAYBE	1.29	*	MAYBE	0.42	*	MAYBE	0.34
SK90/2.23.typed	*	MAYBE	2.05	*	MAYBE	2.67	*	MAYBE	0.78	*	MAYBE	0.31
SK90/2.24.typed	*	MAYBE	8.20	*	MAYBE	13.40	*	MAYBE	0.66	*	MAYBE	0.92
SK90/2.25.typed	*	MAYBE	3.67	*	MAYBE	3.49	*	MAYBE	0.22	*	MAYBE	0.17
SK90/2.26.typed	*	MAYBE	8.50	*	MAYBE	11.41	*	MAYBE	1.16	*	MAYBE	0.77
SK90/2.27.typed	*	TIMEOUT	60.02	*	TIMEOUT	60.03	*	MAYBE	0.28	*	MAYBE	0.20
SK90/2.28.typed	*	MAYBE	1.97	*	MAYBE	1.56	*	MAYBE	0.12	*	MAYBE	0.10
SK90/2.29.typed	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.08
SK90/2.30.typed	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.05	*	WORST_CASE(?,O(n^1))	0.05
SK90/2.31.typed	*	WORST_CASE(?,O(n^1))	0.45	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.07
SK90/2.36.typed	*	WORST_CASE(?,O(n^1))	0.64	*	WORST_CASE(?,O(n^1))	0.12	*	MAYBE	0.13	*	MAYBE	0.19
SK90/2.37.typed	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	0.31
SK90/2.38.typed	*	MAYBE	0.60	*	MAYBE	0.41	*	MAYBE	0.10	*	MAYBE	0.08
SK90/2.39.typed	*	MAYBE	1.46	*	MAYBE	0.77	*	MAYBE	0.19	*	MAYBE	0.13
SK90/2.40.typed	*	MAYBE	1.37	*	MAYBE	0.63	*	MAYBE	0.15	*	MAYBE	0.17
SK90/2.41.typed	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	0.15	*	MAYBE	0.39	*	MAYBE	0.13
SK90/2.42.typed	*	MAYBE	0.53	*	MAYBE	0.54	*	MAYBE	0.13	*	MAYBE	0.19
SK90/2.43.typed	*	MAYBE	3.72	*	MAYBE	3.13	*	MAYBE	0.21	*	MAYBE	0.24
SK90/2.44.typed	*	MAYBE	10.97	*	MAYBE	7.23	*	MAYBE	0.50	*	MAYBE	0.49
SK90/2.45.typed	*	MAYBE	2.40	*	MAYBE	1.46	*	MAYBE	0.19	*	MAYBE	0.20
SK90/2.47.typed	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.08
SK90/2.48.typed	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.13	*	WORST_CASE(?,O(n^1))	0.06
SK90/2.49.typed	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	0.21
SK90/2.50.typed	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.23	*	WORST_CASE(?,O(n^1))	0.20
SK90/2.51.typed	*	MAYBE	2.33	*	MAYBE	1.27	*	MAYBE	0.15	*	MAYBE	0.37
SK90/2.52.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	3.18	*	MAYBE	2.35
SK90/2.53.typed	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.27
SK90/2.54.typed	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.05
SK90/2.55.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
SK90/2.59.typed	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.51	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.30
SK90/2.61.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
SK90/4.05.typed	*	MAYBE	1.99	*	MAYBE	1.07	*	MAYBE	0.19	*	MAYBE	0.25
SK90/4.06.typed	*	MAYBE	0.54	*	MAYBE	0.37	*	MAYBE	0.19	*	MAYBE	0.14
SK90/4.07.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.00
SK90/4.09.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.04
SK90/4.10.typed	*	MAYBE	0.51	*	MAYBE	0.57	*	MAYBE	0.09	*	MAYBE	0.11
SK90/4.12.typed	*	WORST_CASE(?,O(n^2))	0.78	*	WORST_CASE(?,O(n^2))	0.38	*	WORST_CASE(?,O(n^2))	0.17	*	WORST_CASE(?,O(n^2))	0.14
SK90/4.13.typed	*	WORST_CASE(?,O(n^2))	0.73	*	WORST_CASE(?,O(n^2))	0.73	*	WORST_CASE(?,O(n^2))	0.09	*	WORST_CASE(?,O(n^2))	0.15
SK90/4.16.typed	*	WORST_CASE(?,O(n^1))	0.63	*	WORST_CASE(?,O(n^1))	0.36	*	MAYBE	0.37	*	MAYBE	0.35
SK90/4.17.typed	*	WORST_CASE(?,O(n^3))	48.58	*	TIMEOUT	60.06	*	MAYBE	0.14	*	MAYBE	0.15
SK90/4.18.typed	*	MAYBE	2.87	*	MAYBE	3.77	*	MAYBE	0.66	*	MAYBE	0.88
SK90/4.22.typed	*	MAYBE	2.68	*	MAYBE	2.13	*	MAYBE	0.22	*	MAYBE	0.27
SK90/4.24.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.33	*	MAYBE	0.35
SK90/4.25.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.16	*	MAYBE	0.21
SK90/4.26.typed	*	MAYBE	0.33	*	MAYBE	0.26	*	MAYBE	0.16	*	MAYBE	0.12
SK90/4.27.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.23	*	MAYBE	0.35
SK90/4.28.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.00
SK90/4.29.typed	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	0.16	*	MAYBE	0.29	*	MAYBE	0.33
SK90/4.30.typed	*	MAYBE	9.05	*	MAYBE	8.95	*	MAYBE	0.22	*	MAYBE	0.23
SK90/4.31.typed	*	MAYBE	2.18	*	MAYBE	3.33	*	MAYBE	0.67	*	MAYBE	0.90
SK90/4.34.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	0.12	*	MAYBE	0.33
SK90/4.35.typed	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.06	*	MAYBE	0.08	*	MAYBE	0.08
SK90/4.38.typed	*	WORST_CASE(?,O(n^1))	0.74	*	WORST_CASE(?,O(n^1))	0.12	*	MAYBE	0.17	*	MAYBE	0.17
SK90/4.42.typed	*	MAYBE	3.80	*	MAYBE	2.04	*	MAYBE	0.28	*	MAYBE	0.36
SK90/4.43.typed	*	MAYBE	1.13	*	MAYBE	0.91	*	MAYBE	0.24	*	MAYBE	0.13
SK90/4.45.typed	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.07
SK90/4.47.typed	*	MAYBE	7.66	*	MAYBE	11.43	*	MAYBE	2.12	*	MAYBE	1.52
SK90/4.48.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
SK90/4.51.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
SK90/4.53.typed	*	MAYBE	3.56	*	MAYBE	2.79	*	MAYBE	0.57	*	MAYBE	0.31
SK90/4.54.typed	*	MAYBE	3.64	*	MAYBE	2.15	*	MAYBE	0.32	*	MAYBE	0.46
SK90/4.57.typed	*	MAYBE	3.15	*	MAYBE	1.96	*	MAYBE	0.75	*	MAYBE	0.39
SK90/4.59.typed	*	MAYBE	5.75	*	MAYBE	7.93	*	MAYBE	2.06	*	MAYBE	1.01
SK90/4.60.typed	*	MAYBE	2.74	*	MAYBE	3.22	*	MAYBE	1.04	*	MAYBE	0.24
SK90/4.61.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	1.99	*	MAYBE	0.54
Secret_05_TRS/aprove2.typed	*	MAYBE	3.49	*	MAYBE	2.50	*	MAYBE	0.47	*	MAYBE	0.50
Secret_05_TRS/aprove3.typed	*	MAYBE	6.64	*	MAYBE	3.57	*	MAYBE	0.78	*	MAYBE	1.00
Secret_05_TRS/aprove4.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.00
Secret_05_TRS/aprove5.typed	*	MAYBE	18.92	*	MAYBE	23.25	*	MAYBE	4.22	*	MAYBE	1.53
Secret_05_TRS/cime2.typed	*	MAYBE	1.08	*	MAYBE	1.76	*	MAYBE	0.59	*	MAYBE	0.89
Secret_05_TRS/cime3.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.06	*	TIMEOUT	60.06
Secret_05_TRS/cime4.typed	*	MAYBE	0.56	*	MAYBE	0.32	*	MAYBE	0.11	*	MAYBE	0.33
Secret_05_TRS/cime5.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Secret_05_TRS/tpa1.typed	*	MAYBE	26.32	*	MAYBE	43.95	*	MAYBE	1.31	*	MAYBE	0.76
Secret_05_TRS/tpa2.typed	*	WORST_CASE(?,O(n^2))	1.37	*	WORST_CASE(?,O(n^2))	2.52	*	WORST_CASE(?,O(n^2))	0.61	*	WORST_CASE(?,O(n^2))	1.24
Secret_05_TRS/tpa3.typed	*	MAYBE	1.94	*	MAYBE	1.53	*	MAYBE	0.20	*	MAYBE	0.21
Secret_05_TRS/tpa4.typed	*	MAYBE	2.04	*	MAYBE	1.35	*	MAYBE	0.29	*	MAYBE	0.28
Secret_05_TRS/tpa5.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	1.16	*	MAYBE	0.48
Secret_05_TRS/ttt1.typed	*	MAYBE	1.02	*	MAYBE	0.57	*	MAYBE	0.16	*	MAYBE	0.20
Secret_05_TRS/ttt2.typed	*	MAYBE	0.44	*	MAYBE	0.69	*	MAYBE	0.43	*	MAYBE	0.65
Secret_06_TRS/10.typed	*	MAYBE	3.53	*	MAYBE	3.55	*	MAYBE	0.08	*	MAYBE	0.16
Secret_06_TRS/4.typed	*	MAYBE	0.93	*	MAYBE	0.77	*	MAYBE	0.63	*	MAYBE	0.69
Secret_06_TRS/6.typed	*	MAYBE	3.91	*	MAYBE	3.65	*	MAYBE	0.10	*	MAYBE	0.12
Secret_06_TRS/addList.typed	*	MAYBE	17.93	*	MAYBE	17.90	*	MAYBE	3.30	*	MAYBE	2.29
Secret_06_TRS/divExp.typed	*	MAYBE	3.65	*	MAYBE	2.87	*	MAYBE	0.49	*	MAYBE	0.49
Secret_06_TRS/division.typed	*	MAYBE	12.34	*	MAYBE	11.76	*	MAYBE	0.30	*	MAYBE	0.37
Secret_06_TRS/double.typed	*	MAYBE	10.45	*	MAYBE	8.90	*	MAYBE	1.03	*	MAYBE	1.05
Secret_06_TRS/gen-1.typed	*	MAYBE	3.75	*	MAYBE	3.43	*	MAYBE	0.31	*	MAYBE	0.38
Secret_06_TRS/gen-17.typed	*	MAYBE	14.76	*	MAYBE	14.08	*	MAYBE	0.58	*	MAYBE	0.60
Secret_06_TRS/gen-28.typed	*	MAYBE	0.62	*	MAYBE	0.63	*	MAYBE	0.23	*	MAYBE	0.21
Secret_06_TRS/logarithm.typed	*	MAYBE	6.57	*	MAYBE	6.57	*	MAYBE	0.70	*	MAYBE	0.92
Secret_06_TRS/nrOfNodes.typed	*	MAYBE	15.09	*	MAYBE	14.84	*	MAYBE	1.01	*	MAYBE	1.54
Secret_06_TRS/reverse.typed	*	MAYBE	10.52	*	MAYBE	10.30	*	MAYBE	0.62	*	MAYBE	0.94
Secret_06_TRS/sumList.typed	*	MAYBE	10.40	*	MAYBE	10.27	*	MAYBE	2.36	*	MAYBE	2.09
Secret_06_TRS/times.typed	*	MAYBE	8.19	*	MAYBE	8.19	*	MAYBE	0.89	*	MAYBE	2.27
Secret_06_TRS/toList.typed	*	MAYBE	19.17	*	MAYBE	19.72	*	MAYBE	3.83	*	MAYBE	3.72
Secret_06_TRS/tpa04.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.17	*	MAYBE	0.71	*	MAYBE	0.71
Secret_06_TRS/tpa05.typed	*	MAYBE	2.48	*	MAYBE	2.33	*	MAYBE	0.36	*	MAYBE	0.68
Secret_06_TRS/tpa06.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.72	*	MAYBE	1.57
Secret_06_TRS/tpa07.typed	*	MAYBE	2.71	*	MAYBE	2.30	*	MAYBE	0.64	*	MAYBE	0.76
Secret_06_TRS/tpa08.typed	*	MAYBE	2.58	*	MAYBE	2.56	*	MAYBE	0.50	*	MAYBE	0.58
Secret_06_TRS/tpa09.typed	*	MAYBE	4.72	*	MAYBE	4.76	*	MAYBE	0.72	*	MAYBE	1.47
Secret_06_TRS/tpa10.typed	*	MAYBE	4.15	*	MAYBE	3.77	*	MAYBE	0.36	*	MAYBE	1.21
Secret_07_TRS/3.typed	*	MAYBE	0.06	*	MAYBE	0.02	*	MAYBE	0.02	*	MAYBE	0.04
Secret_07_TRS/aprove01.typed	*	MAYBE	17.35	*	MAYBE	14.01	*	MAYBE	1.07	*	MAYBE	2.63
Secret_07_TRS/aprove02.typed	*	MAYBE	11.90	*	MAYBE	12.67	*	MAYBE	0.93	*	MAYBE	4.48
Secret_07_TRS/aprove03.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	20.84	*	MAYBE	20.04
Secret_07_TRS/aprove04.typed	*	MAYBE	14.04	*	MAYBE	13.97	*	MAYBE	2.72	*	MAYBE	2.68
Secret_07_TRS/aprove05.typed	*	MAYBE	4.77	*	MAYBE	5.44	*	MAYBE	1.04	*	MAYBE	0.57
Secret_07_TRS/aprove06.typed	*	MAYBE	12.12	*	MAYBE	10.92	*	MAYBE	0.99	*	MAYBE	0.72
Secret_07_TRS/aprove07.typed	*	MAYBE	4.11	*	MAYBE	3.40	*	MAYBE	0.85	*	MAYBE	1.48
Secret_07_TRS/aprove08.typed	*	MAYBE	29.07	*	MAYBE	27.41	*	MAYBE	4.61	*	MAYBE	4.86
Secret_07_TRS/aprove09.typed	*	MAYBE	10.87	*	MAYBE	9.26	*	MAYBE	1.25	*	MAYBE	2.78
Secret_07_TRS/aprove10.typed	*	MAYBE	7.90	*	MAYBE	7.69	*	MAYBE	1.19	*	MAYBE	1.02
Secret_07_TRS/secret1.typed	*	MAYBE	48.83	*	MAYBE	48.64	*	MAYBE	10.23	*	MAYBE	11.68
Secret_07_TRS/secret3.typed	*	MAYBE	5.39	*	MAYBE	5.29	*	MAYBE	0.83	*	MAYBE	0.82
Secret_07_TRS/secret4.typed	*	MAYBE	5.13	*	MAYBE	4.72	*	MAYBE	1.68	*	MAYBE	1.48
Secret_07_TRS/secret5.typed	*	MAYBE	12.89	*	MAYBE	11.56	*	MAYBE	1.13	*	MAYBE	2.73
Strategy_removed_AG01/%234.14.typed	*	MAYBE	0.50	*	MAYBE	0.47	*	MAYBE	0.37	*	MAYBE	0.12
Strategy_removed_AG01/%234.16.typed	*	MAYBE	0.27	*	MAYBE	0.32	*	MAYBE	0.17	*	MAYBE	0.12
Strategy_removed_AG01/%234.17.typed	*	MAYBE	1.44	*	MAYBE	1.35	*	MAYBE	0.14	*	MAYBE	0.17
Strategy_removed_AG01/%234.19.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Strategy_removed_AG01/%234.2.typed	*	MAYBE	0.39	*	MAYBE	0.39	*	MAYBE	0.18	*	MAYBE	0.13
Strategy_removed_AG01/%234.20a.typed	*	MAYBE	3.09	*	MAYBE	3.86	*	MAYBE	0.10	*	MAYBE	0.09
Strategy_removed_AG01/%234.22.typed	*	MAYBE	56.45	*	TIMEOUT	60.01	*	MAYBE	0.17	*	MAYBE	0.16
Strategy_removed_AG01/%234.23.typed	*	MAYBE	3.39	*	MAYBE	3.18	*	MAYBE	0.30	*	MAYBE	0.20
Strategy_removed_AG01/%234.25.typed	*	MAYBE	0.29	*	MAYBE	0.36	*	MAYBE	0.27	*	MAYBE	0.38
Strategy_removed_AG01/%234.26.typed	*	MAYBE	2.09	*	MAYBE	1.02	*	MAYBE	0.22	*	MAYBE	0.24
Strategy_removed_AG01/%234.27.typed	*	WORST_CASE(?,O(n^2))	0.41	*	WORST_CASE(?,O(n^2))	0.39	*	WORST_CASE(?,O(n^2))	0.13	*	WORST_CASE(?,O(n^2))	0.17
Strategy_removed_AG01/%234.28.typed	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.09
Strategy_removed_AG01/%234.29.typed	*	MAYBE	12.09	*	MAYBE	10.19	*	MAYBE	0.74	*	MAYBE	0.75
Strategy_removed_AG01/%234.30.typed	*	MAYBE	7.73	*	MAYBE	5.66	*	MAYBE	0.26	*	MAYBE	0.45
Strategy_removed_AG01/%234.30a.typed	*	MAYBE	3.06	*	MAYBE	2.85	*	MAYBE	0.16	*	MAYBE	0.26
Strategy_removed_AG01/%234.30b.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	MAYBE	0.33	*	MAYBE	0.34
Strategy_removed_AG01/%234.30c.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	MAYBE	0.47	*	MAYBE	0.44
Strategy_removed_AG01/%234.32.typed	*	WORST_CASE(?,O(n^2))	0.61	*	WORST_CASE(?,O(n^2))	0.48	*	MAYBE	0.18	*	MAYBE	0.56
Strategy_removed_AG01/%234.33.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.23	*	MAYBE	0.23
Strategy_removed_AG01/%234.34.typed	*	WORST_CASE(?,O(n^2))	0.62	*	WORST_CASE(?,O(n^2))	0.60	*	MAYBE	0.38	*	MAYBE	0.28
Strategy_removed_AG01/%234.35.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.00
Strategy_removed_AG01/%234.36.typed	*	TIMEOUT	60.01	*	TIMEOUT	60.02	*	MAYBE	1.13	*	MAYBE	1.15
Strategy_removed_AG01/%234.37.typed	*	WORST_CASE(?,O(n^2))	0.72	*	WORST_CASE(?,O(n^2))	0.91	*	WORST_CASE(?,O(n^2))	0.33	*	WORST_CASE(?,O(n^2))	0.27
Strategy_removed_AG01/%234.37a.typed	*	WORST_CASE(?,O(n^2))	0.71	*	WORST_CASE(?,O(n^2))	0.79	*	WORST_CASE(?,O(n^2))	0.24	*	WORST_CASE(?,O(n^2))	0.18
Strategy_removed_AG01/%234.7.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	0.12	*	MAYBE	0.12
Strategy_removed_CSR_05/Ex14_AEGL02.typed	*	MAYBE	1.34	*	MAYBE	0.99	*	MAYBE	0.61	*	MAYBE	0.60
Strategy_removed_CSR_05/Ex15_Luc98.typed	*	MAYBE	1.07	*	MAYBE	1.21	*	MAYBE	0.47	*	MAYBE	0.44
Strategy_removed_CSR_05/Ex1_2_AEL03.typed	*	MAYBE	3.11	*	MAYBE	3.05	*	MAYBE	0.72	*	MAYBE	0.85
Strategy_removed_CSR_05/Ex1_2_Luc02c.typed	*	MAYBE	0.42	*	MAYBE	0.52	*	MAYBE	0.14	*	MAYBE	0.19
Strategy_removed_CSR_05/Ex1_GL02a.typed	*	MAYBE	0.92	*	MAYBE	0.98	*	MAYBE	0.27	*	MAYBE	0.58
Strategy_removed_CSR_05/Ex1_GM03.typed	*	MAYBE	1.61	*	MAYBE	1.17	*	MAYBE	0.15	*	MAYBE	0.46
Strategy_removed_CSR_05/Ex1_Luc02b.typed	*	MAYBE	0.82	*	MAYBE	0.88	*	MAYBE	0.12	*	MAYBE	0.31
Strategy_removed_CSR_05/Ex1_Zan97.typed	*	MAYBE	0.37	*	MAYBE	0.81	*	MAYBE	0.22	*	MAYBE	0.43
Strategy_removed_CSR_05/Ex26_Luc03b.typed	*	MAYBE	2.38	*	MAYBE	2.06	*	MAYBE	0.51	*	MAYBE	0.53
Strategy_removed_CSR_05/Ex2_Luc03b.typed	*	MAYBE	1.47	*	MAYBE	1.46	*	MAYBE	0.57	*	MAYBE	0.54
Strategy_removed_CSR_05/Ex3_12_Luc96a.typed	*	MAYBE	0.93	*	MAYBE	1.03	*	MAYBE	0.57	*	MAYBE	0.64
Strategy_removed_CSR_05/Ex3_2_Luc97.typed	*	MAYBE	2.66	*	MAYBE	2.60	*	MAYBE	0.56	*	MAYBE	0.67
Strategy_removed_CSR_05/Ex3_3_25_Bor03.typed	*	MAYBE	2.02	*	MAYBE	1.99	*	MAYBE	0.41	*	MAYBE	0.79
Strategy_removed_CSR_05/Ex49_GM04.typed	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.36
Strategy_removed_CSR_05/Ex4_4_Luc96b.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.29	*	MAYBE	0.58
Strategy_removed_CSR_05/Ex4_7_15_Bor03.typed	*	MAYBE	0.97	*	MAYBE	0.86	*	MAYBE	0.18	*	MAYBE	0.66
Strategy_removed_CSR_05/Ex4_7_37_Bor03.typed	*	MAYBE	2.85	*	MAYBE	2.49	*	MAYBE	0.28	*	MAYBE	1.13
Strategy_removed_CSR_05/Ex4_7_56_Bor03.typed	*	MAYBE	0.72	*	MAYBE	0.87	*	MAYBE	0.11	*	MAYBE	0.52
Strategy_removed_CSR_05/Ex4_7_77_Bor03.typed	*	MAYBE	0.73	*	MAYBE	0.38	*	MAYBE	0.22	*	MAYBE	0.14
Strategy_removed_CSR_05/Ex4_Zan97.typed	*	MAYBE	1.50	*	MAYBE	1.60	*	MAYBE	0.17	*	MAYBE	0.55
Strategy_removed_CSR_05/Ex5_7_Luc97.typed	*	MAYBE	3.98	*	MAYBE	2.99	*	MAYBE	1.17	*	MAYBE	0.69
Strategy_removed_CSR_05/Ex5_Zan97.typed	*	MAYBE	0.41	*	MAYBE	0.53	*	MAYBE	0.10	*	MAYBE	0.30
Strategy_removed_CSR_05/Ex6_15_AEL02.typed	*	MAYBE	9.76	*	MAYBE	9.21	*	MAYBE	0.90	*	MAYBE	1.83
Strategy_removed_CSR_05/Ex6_9_Luc02c.typed	*	MAYBE	1.27	*	MAYBE	0.92	*	MAYBE	0.18	*	MAYBE	0.48
Strategy_removed_CSR_05/Ex6_GM04.typed	*	MAYBE	0.43	*	MAYBE	0.49	*	MAYBE	0.18	*	MAYBE	0.41
Strategy_removed_CSR_05/Ex6_Luc98.typed	*	MAYBE	0.64	*	MAYBE	0.65	*	MAYBE	0.40	*	MAYBE	0.39
Strategy_removed_CSR_05/Ex7_BLR02.typed	*	MAYBE	1.50	*	MAYBE	1.22	*	MAYBE	0.16	*	MAYBE	0.62
Strategy_removed_CSR_05/Ex8_BLR02.typed	*	MAYBE	0.99	*	MAYBE	0.98	*	MAYBE	0.63	*	MAYBE	0.60
Strategy_removed_CSR_05/Ex9_BLR02.typed	*	MAYBE	5.06	*	MAYBE	5.09	*	MAYBE	0.43	*	MAYBE	0.43
Strategy_removed_CSR_05/ExAppendixB_AEL03.typed	*	MAYBE	9.60	*	MAYBE	9.53	*	MAYBE	0.72	*	MAYBE	1.01
Strategy_removed_CSR_05/ExConc_Zan97.typed	*	MAYBE	0.31	*	MAYBE	0.44	*	MAYBE	0.22	*	MAYBE	0.19
Strategy_removed_CSR_05/ExIntrod_GM01.typed	*	MAYBE	1.53	*	MAYBE	1.72	*	MAYBE	0.27	*	MAYBE	0.27
Strategy_removed_CSR_05/ExIntrod_GM04.typed	*	MAYBE	1.17	*	MAYBE	1.34	*	MAYBE	0.16	*	MAYBE	0.12
Strategy_removed_CSR_05/ExIntrod_GM99.typed	*	MAYBE	7.15	*	MAYBE	6.80	*	MAYBE	0.81	*	MAYBE	0.71
Strategy_removed_CSR_05/ExIntrod_Zan97.typed	*	MAYBE	1.35	*	MAYBE	1.02	*	MAYBE	0.60	*	MAYBE	0.81
Strategy_removed_mixed_05/ExSec11_1_Luc02a.typed	*	MAYBE	2.76	*	MAYBE	2.86	*	MAYBE	0.71	*	MAYBE	0.79
Strategy_removed_mixed_05/ex1.typed	*	MAYBE	0.51	*	MAYBE	0.45	*	MAYBE	0.22	*	MAYBE	0.43
Strategy_removed_mixed_05/ex2.typed	*	MAYBE	0.36	*	MAYBE	0.40	*	MAYBE	0.21	*	MAYBE	0.25
Strategy_removed_mixed_05/ex3.typed	*	MAYBE	0.28	*	MAYBE	0.26	*	MAYBE	0.21	*	MAYBE	0.21
Strategy_removed_mixed_05/ex4.typed	*	MAYBE	4.68	*	MAYBE	4.65	*	MAYBE	0.44	*	MAYBE	0.20
Strategy_removed_mixed_05/ex5.typed	*	MAYBE	0.26	*	MAYBE	0.46	*	MAYBE	0.40	*	MAYBE	0.25
Strategy_removed_mixed_05/ex6.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Strategy_removed_mixed_05/muladd.typed	*	MAYBE	1.45	*	MAYBE	1.59	*	MAYBE	0.14	*	MAYBE	0.56
Strategy_removed_mixed_05/test10.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Strategy_removed_mixed_05/test76.typed	*	MAYBE	0.72	*	MAYBE	0.61	*	MAYBE	0.47	*	MAYBE	0.45
Strategy_removed_mixed_05/test77.typed	*	MAYBE	0.86	*	MAYBE	0.69	*	MAYBE	0.29	*	MAYBE	0.43
Strategy_removed_mixed_05/test830.typed	*	WORST_CASE(?,O(n^2))	1.08	*	WORST_CASE(?,O(n^2))	1.02	*	MAYBE	0.15	*	MAYBE	0.34
Strategy_removed_mixed_05/tricky1.typed	*	MAYBE	2.72	*	MAYBE	2.15	*	MAYBE	0.64	*	MAYBE	0.60
TCT_12/polycounter-10.typed	*	MAYBE	23.57	*	MAYBE	13.94	*	MAYBE	3.21	*	MAYBE	2.56
TCT_12/polycounter-5.typed	*	MAYBE	3.53	*	MAYBE	1.90	*	MAYBE	0.43	*	MAYBE	0.43
TCT_12/recursion-10.typed	*	MAYBE	11.73	*	MAYBE	9.37	*	MAYBE	1.01	*	MAYBE	1.13
TCT_12/recursion-5.typed	*	MAYBE	3.27	*	MAYBE	2.39	*	MAYBE	0.44	*	MAYBE	0.47
TCT_12/sat.typed	*	WORST_CASE(?,O(n^2))	2.98	*	WORST_CASE(?,O(n^2))	1.24	*	MAYBE	0.64	*	MAYBE	0.40
Transformed_CSR_04/Ex14_AEGL02_C.typed	*	MAYBE	54.97	*	TIMEOUT	60.01	*	MAYBE	10.25	*	MAYBE	5.38
Transformed_CSR_04/Ex14_AEGL02_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	0.52	*	MAYBE	0.50
Transformed_CSR_04/Ex14_AEGL02_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	0.64	*	MAYBE	0.78
Transformed_CSR_04/Ex14_AEGL02_L.typed	*	MAYBE	0.35	*	MAYBE	0.51	*	MAYBE	0.58	*	MAYBE	0.24
Transformed_CSR_04/Ex14_AEGL02_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.48	*	MAYBE	0.25
Transformed_CSR_04/Ex14_Luc06_C.typed	*	MAYBE	42.03	*	MAYBE	54.71	*	MAYBE	4.85	*	MAYBE	4.04
Transformed_CSR_04/Ex14_Luc06_GM.typed	*	MAYBE	13.68	*	MAYBE	21.71	*	MAYBE	3.83	*	MAYBE	4.55
Transformed_CSR_04/Ex15_Luc06_C.typed	*	MAYBE	8.35	*	MAYBE	12.69	*	MAYBE	1.41	*	MAYBE	0.72
Transformed_CSR_04/Ex15_Luc06_FR.typed	*	WORST_CASE(?,O(n^2))	0.72	*	WORST_CASE(?,O(n^2))	0.80	*	MAYBE	0.78	*	MAYBE	0.72
Transformed_CSR_04/Ex15_Luc06_GM.typed	*	WORST_CASE(?,O(n^2))	0.57	*	WORST_CASE(?,O(n^2))	0.30	*	MAYBE	0.13	*	MAYBE	0.36
Transformed_CSR_04/Ex15_Luc06_L.typed	*	MAYBE	0.79	*	MAYBE	0.30	*	MAYBE	0.17	*	MAYBE	0.29
Transformed_CSR_04/Ex15_Luc06_Z.typed	*	WORST_CASE(?,O(n^1))	0.41	*	WORST_CASE(?,O(n^1))	0.15	*	MAYBE	0.15	*	MAYBE	0.12
Transformed_CSR_04/Ex15_Luc98_C.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/Ex15_Luc98_FR.typed	*	MAYBE	32.40	*	MAYBE	43.99	*	MAYBE	2.41	*	MAYBE	2.56
Transformed_CSR_04/Ex15_Luc98_GM.typed	*	WORST_CASE(?,O(n^1))	5.30	*	WORST_CASE(?,O(n^1))	6.89	*	MAYBE	12.39	*	MAYBE	8.44
Transformed_CSR_04/Ex15_Luc98_Z.typed	*	MAYBE	26.71	*	MAYBE	22.71	*	MAYBE	5.33	*	MAYBE	1.63
Transformed_CSR_04/Ex16_Luc06_C.typed	*	MAYBE	7.85	*	MAYBE	7.13	*	MAYBE	0.64	*	MAYBE	0.78
Transformed_CSR_04/Ex16_Luc06_GM.typed	*	MAYBE	0.45	*	MAYBE	0.36	*	MAYBE	0.15	*	MAYBE	0.11
Transformed_CSR_04/Ex16_Luc06_L.typed	*	MAYBE	0.23	*	MAYBE	0.29	*	MAYBE	0.09	*	MAYBE	0.12
Transformed_CSR_04/Ex18_Luc06_C.typed	*	MAYBE	9.33	*	MAYBE	14.89	*	MAYBE	3.09	*	MAYBE	2.48
Transformed_CSR_04/Ex18_Luc06_FR.typed	*	WORST_CASE(?,O(n^1))	0.33	*	WORST_CASE(?,O(n^1))	0.58	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	0.20
Transformed_CSR_04/Ex18_Luc06_GM.typed	*	WORST_CASE(?,O(n^1))	0.34	*	WORST_CASE(?,O(n^1))	0.09	*	MAYBE	0.18	*	MAYBE	0.14
Transformed_CSR_04/Ex18_Luc06_Z.typed	*	WORST_CASE(?,O(n^1))	0.87	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.24
Transformed_CSR_04/Ex1_2_AEL03_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/Ex1_2_AEL03_FR.typed	*	MAYBE	12.51	*	MAYBE	21.21	*	MAYBE	2.29	*	MAYBE	0.86
Transformed_CSR_04/Ex1_2_AEL03_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/Ex1_2_AEL03_Z.typed	*	MAYBE	13.67	*	MAYBE	18.78	*	MAYBE	2.17	*	MAYBE	3.08
Transformed_CSR_04/Ex1_2_Luc02c_C.typed	*	MAYBE	50.02	*	MAYBE	37.25	*	MAYBE	25.55	*	MAYBE	22.19
Transformed_CSR_04/Ex1_2_Luc02c_FR.typed	*	MAYBE	44.99	*	TIMEOUT	60.06	*	MAYBE	0.32	*	MAYBE	0.31
Transformed_CSR_04/Ex1_2_Luc02c_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.55	*	MAYBE	0.59
Transformed_CSR_04/Ex1_2_Luc02c_Z.typed	*	WORST_CASE(?,O(n^1))	0.55	*	WORST_CASE(?,O(n^1))	0.52	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.42
Transformed_CSR_04/Ex1_GL02a_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	38.57	*	MAYBE	30.45
Transformed_CSR_04/Ex1_GL02a_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	2.27	*	MAYBE	1.92
Transformed_CSR_04/Ex1_GL02a_GM.typed	*	WORST_CASE(?,O(n^1))	2.08	*	WORST_CASE(?,O(n^1))	0.39	*	MAYBE	0.58	*	MAYBE	0.61
Transformed_CSR_04/Ex1_GL02a_L.typed	*	MAYBE	0.54	*	MAYBE	0.64	*	MAYBE	0.43	*	MAYBE	0.35
Transformed_CSR_04/Ex1_GL02a_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	1.51	*	MAYBE	1.14
Transformed_CSR_04/Ex1_GM03_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/Ex1_GM03_FR.typed	*	MAYBE	43.98	*	MAYBE	43.02	*	MAYBE	1.07	*	MAYBE	1.17
Transformed_CSR_04/Ex1_GM03_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	9.36	*	MAYBE	9.80
Transformed_CSR_04/Ex1_GM03_Z.typed	*	MAYBE	1.72	*	MAYBE	2.85	*	MAYBE	0.88	*	MAYBE	0.92
Transformed_CSR_04/Ex1_GM99_C.typed	*	MAYBE	13.22	*	MAYBE	11.94	*	MAYBE	1.30	*	MAYBE	1.06
Transformed_CSR_04/Ex1_GM99_GM.typed	*	MAYBE	2.60	*	MAYBE	3.12	*	MAYBE	0.64	*	MAYBE	0.97
Transformed_CSR_04/Ex1_GM99_L.typed	*	MAYBE	0.35	*	MAYBE	0.17	*	MAYBE	0.17	*	MAYBE	0.24
Transformed_CSR_04/Ex1_Luc02b_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.06	*	TIMEOUT	60.06
Transformed_CSR_04/Ex1_Luc02b_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	1.14	*	MAYBE	0.58
Transformed_CSR_04/Ex1_Luc02b_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	3.62	*	MAYBE	4.04
Transformed_CSR_04/Ex1_Luc02b_Z.typed	*	WORST_CASE(?,O(n^1))	0.84	*	WORST_CASE(?,O(n^1))	0.52	*	MAYBE	0.63	*	MAYBE	0.71
Transformed_CSR_04/Ex1_Luc04b_C.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	MAYBE	16.40	*	MAYBE	20.27
Transformed_CSR_04/Ex1_Luc04b_FR.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.03	*	MAYBE	0.40	*	MAYBE	0.58
Transformed_CSR_04/Ex1_Luc04b_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	7.98	*	MAYBE	2.27
Transformed_CSR_04/Ex1_Luc04b_Z.typed	*	MAYBE	3.46	*	MAYBE	3.25	*	MAYBE	0.72	*	MAYBE	0.59
Transformed_CSR_04/Ex1_Zan97_C.typed	*	MAYBE	7.04	*	MAYBE	3.73	*	MAYBE	0.43	*	MAYBE	0.49
Transformed_CSR_04/Ex1_Zan97_FR.typed	*	MAYBE	0.65	*	MAYBE	0.99	*	MAYBE	0.55	*	MAYBE	0.67
Transformed_CSR_04/Ex1_Zan97_GM.typed	*	MAYBE	0.52	*	MAYBE	0.78	*	MAYBE	0.65	*	MAYBE	0.34
Transformed_CSR_04/Ex1_Zan97_L.typed	*	MAYBE	0.14	*	MAYBE	0.08	*	MAYBE	0.27	*	MAYBE	0.29
Transformed_CSR_04/Ex23_Luc06_C.typed	*	MAYBE	21.12	*	MAYBE	13.72	*	MAYBE	1.35	*	MAYBE	1.37
Transformed_CSR_04/Ex23_Luc06_FR.typed	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.34	*	WORST_CASE(?,O(n^1))	0.39	*	WORST_CASE(?,O(n^1))	0.48
Transformed_CSR_04/Ex23_Luc06_GM.typed	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	0.11	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.13
Transformed_CSR_04/Ex23_Luc06_Z.typed	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.10
Transformed_CSR_04/Ex24_GM04_C.typed	*	MAYBE	0.02	*	MAYBE	0.03	*	MAYBE	0.23	*	MAYBE	0.04
Transformed_CSR_04/Ex24_GM04_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.01
Transformed_CSR_04/Ex24_GM04_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.01
Transformed_CSR_04/Ex24_GM04_L.typed	*	MAYBE	0.36	*	MAYBE	0.28	*	MAYBE	0.28	*	MAYBE	0.25
Transformed_CSR_04/Ex24_GM04_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
Transformed_CSR_04/Ex24_Luc06_C.typed	*	MAYBE	14.09	*	MAYBE	9.39	*	MAYBE	0.86	*	MAYBE	1.29
Transformed_CSR_04/Ex24_Luc06_GM.typed	*	MAYBE	1.60	*	MAYBE	0.62	*	MAYBE	0.14	*	MAYBE	0.24
Transformed_CSR_04/Ex24_Luc06_L.typed	*	MAYBE	0.11	*	MAYBE	0.08	*	MAYBE	0.07	*	MAYBE	0.16
Transformed_CSR_04/Ex25_Luc06_C.typed	*	MAYBE	25.55	*	MAYBE	20.52	*	MAYBE	2.53	*	MAYBE	3.28
Transformed_CSR_04/Ex25_Luc06_FR.typed	*	WORST_CASE(?,O(n^1))	0.64	*	WORST_CASE(?,O(n^1))	0.64	*	MAYBE	1.07	*	MAYBE	1.25
Transformed_CSR_04/Ex25_Luc06_GM.typed	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.91	*	WORST_CASE(?,O(n^1))	0.64	*	WORST_CASE(?,O(n^1))	0.35
Transformed_CSR_04/Ex25_Luc06_Z.typed	*	WORST_CASE(?,O(n^1))	0.48	*	WORST_CASE(?,O(n^1))	0.72	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.42
Transformed_CSR_04/Ex26_Luc03b_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	TIMEOUT	60.04
Transformed_CSR_04/Ex26_Luc03b_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	9.65	*	MAYBE	9.46
Transformed_CSR_04/Ex26_Luc03b_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	10.08	*	MAYBE	9.98
Transformed_CSR_04/Ex26_Luc03b_L.typed	*	WORST_CASE(?,O(n^1))	0.40	*	WORST_CASE(?,O(n^1))	0.24	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.20
Transformed_CSR_04/Ex26_Luc03b_Z.typed	*	MAYBE	53.68	*	TIMEOUT	60.04	*	MAYBE	14.63	*	MAYBE	5.50
Transformed_CSR_04/Ex2_Luc02a_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.05
Transformed_CSR_04/Ex2_Luc02a_FR.typed	*	MAYBE	12.58	*	MAYBE	18.46	*	MAYBE	5.35	*	MAYBE	4.62
Transformed_CSR_04/Ex2_Luc02a_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.17
Transformed_CSR_04/Ex2_Luc02a_L.typed	*	WORST_CASE(?,O(n^3))	2.29	*	WORST_CASE(?,O(n^3))	3.99	*	WORST_CASE(?,O(n^3))	0.81	*	WORST_CASE(?,O(n^3))	1.05
Transformed_CSR_04/Ex2_Luc02a_Z.typed	*	WORST_CASE(?,O(n^3))	23.47	*	WORST_CASE(?,O(n^3))	31.35	*	MAYBE	0.38	*	MAYBE	0.70
Transformed_CSR_04/Ex2_Luc03b_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.02
Transformed_CSR_04/Ex2_Luc03b_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	2.26	*	MAYBE	2.57
Transformed_CSR_04/Ex2_Luc03b_GM.typed	*	WORST_CASE(?,O(n^2))	15.82	*	WORST_CASE(?,O(n^2))	20.70	*	MAYBE	11.63	*	MAYBE	10.75
Transformed_CSR_04/Ex2_Luc03b_L.typed	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.26	*	WORST_CASE(?,O(n^1))	0.36	*	WORST_CASE(?,O(n^1))	0.25
Transformed_CSR_04/Ex2_Luc03b_Z.typed	*	WORST_CASE(?,O(n^1))	1.84	*	WORST_CASE(?,O(n^1))	1.96	*	MAYBE	5.66	*	MAYBE	2.70
Transformed_CSR_04/Ex3_12_Luc96a_C.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	MAYBE	22.22	*	MAYBE	26.30
Transformed_CSR_04/Ex3_12_Luc96a_FR.typed	*	MAYBE	27.83	*	MAYBE	47.36	*	MAYBE	1.52	*	MAYBE	0.83
Transformed_CSR_04/Ex3_12_Luc96a_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	1.35	*	MAYBE	1.38
Transformed_CSR_04/Ex3_12_Luc96a_Z.typed	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	0.60	*	WORST_CASE(?,O(n^1))	0.44
Transformed_CSR_04/Ex3_2_Luc97_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex3_2_Luc97_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	25.94	*	MAYBE	13.89
Transformed_CSR_04/Ex3_2_Luc97_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	3.74	*	MAYBE	3.19
Transformed_CSR_04/Ex3_2_Luc97_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	22.99	*	MAYBE	16.24
Transformed_CSR_04/Ex3_3_25_Bor03_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.02
Transformed_CSR_04/Ex3_3_25_Bor03_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	3.23	*	MAYBE	3.95
Transformed_CSR_04/Ex3_3_25_Bor03_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	6.99	*	MAYBE	5.73
Transformed_CSR_04/Ex3_3_25_Bor03_L.typed	*	WORST_CASE(?,O(n^1))	0.29	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.40
Transformed_CSR_04/Ex3_3_25_Bor03_Z.typed	*	MAYBE	17.00	*	MAYBE	23.73	*	MAYBE	0.94	*	MAYBE	0.98
Transformed_CSR_04/Ex49_GM04_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	21.06	*	TIMEOUT	60.06
Transformed_CSR_04/Ex49_GM04_FR.typed	*	MAYBE	48.21	*	MAYBE	38.28	*	MAYBE	4.96	*	MAYBE	5.31
Transformed_CSR_04/Ex49_GM04_GM.typed	*	WORST_CASE(?,O(n^2))	15.62	*	WORST_CASE(?,O(n^2))	12.88	*	MAYBE	2.54	*	MAYBE	2.95
Transformed_CSR_04/Ex49_GM04_Z.typed	*	MAYBE	7.07	*	MAYBE	11.01	*	MAYBE	2.02	*	MAYBE	1.24
Transformed_CSR_04/Ex4_4_Luc96b_C.typed	*	MAYBE	18.95	*	MAYBE	25.71	*	MAYBE	1.77	*	MAYBE	2.83
Transformed_CSR_04/Ex4_4_Luc96b_FR.typed	*	MAYBE	13.19	*	MAYBE	22.37	*	MAYBE	1.44	*	MAYBE	1.08
Transformed_CSR_04/Ex4_4_Luc96b_GM.typed	*	WORST_CASE(?,O(n^2))	1.89	*	WORST_CASE(?,O(n^2))	1.28	*	MAYBE	0.49	*	MAYBE	0.59
Transformed_CSR_04/Ex4_4_Luc96b_L.typed	*	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))	0.30
Transformed_CSR_04/Ex4_4_Luc96b_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.45	*	MAYBE	0.14
Transformed_CSR_04/Ex4_7_15_Bor03_C.typed	*	MAYBE	54.21	*	TIMEOUT	60.00	*	MAYBE	7.07	*	MAYBE	7.87
Transformed_CSR_04/Ex4_7_15_Bor03_FR.typed	*	MAYBE	2.94	*	MAYBE	1.82	*	MAYBE	0.26	*	MAYBE	0.47
Transformed_CSR_04/Ex4_7_15_Bor03_GM.typed	*	WORST_CASE(?,O(n^2))	2.16	*	WORST_CASE(?,O(n^2))	3.71	*	MAYBE	3.12	*	MAYBE	1.28
Transformed_CSR_04/Ex4_7_15_Bor03_L.typed	*	WORST_CASE(?,O(n^1))	0.10	*	WORST_CASE(?,O(n^1))	0.12	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.08
Transformed_CSR_04/Ex4_7_15_Bor03_Z.typed	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.15	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.29
Transformed_CSR_04/Ex4_7_37_Bor03_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
Transformed_CSR_04/Ex4_7_37_Bor03_FR.typed	*	MAYBE	18.69	*	MAYBE	27.53	*	MAYBE	1.34	*	MAYBE	1.17
Transformed_CSR_04/Ex4_7_37_Bor03_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/Ex4_7_37_Bor03_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	0.66	*	MAYBE	1.02
Transformed_CSR_04/Ex4_7_56_Bor03_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	30.25	*	MAYBE	52.27
Transformed_CSR_04/Ex4_7_56_Bor03_FR.typed	*	MAYBE	8.78	*	MAYBE	15.07	*	MAYBE	0.80	*	MAYBE	0.54
Transformed_CSR_04/Ex4_7_56_Bor03_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	1.39	*	MAYBE	1.16
Transformed_CSR_04/Ex4_7_56_Bor03_Z.typed	*	WORST_CASE(?,O(n^1))	0.17	*	WORST_CASE(?,O(n^1))	0.27	*	WORST_CASE(?,O(n^1))	0.06	*	WORST_CASE(?,O(n^1))	0.29
Transformed_CSR_04/Ex4_7_77_Bor03_C.typed	*	MAYBE	18.35	*	MAYBE	26.52	*	MAYBE	4.81	*	MAYBE	6.48
Transformed_CSR_04/Ex4_7_77_Bor03_FR.typed	*	WORST_CASE(?,O(n^1))	0.28	*	WORST_CASE(?,O(n^1))	0.31	*	WORST_CASE(?,O(n^1))	0.25	*	WORST_CASE(?,O(n^1))	0.38
Transformed_CSR_04/Ex4_7_77_Bor03_GM.typed	*	WORST_CASE(?,O(n^2))	1.94	*	WORST_CASE(?,O(n^2))	1.83	*	MAYBE	1.10	*	MAYBE	0.95
Transformed_CSR_04/Ex4_DLMMU04_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_DLMMU04_FR.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/Ex4_DLMMU04_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/Ex4_DLMMU04_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/Ex4_Zan97_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex4_Zan97_FR.typed	*	MAYBE	16.06	*	MAYBE	24.28	*	MAYBE	1.57	*	MAYBE	1.44
Transformed_CSR_04/Ex4_Zan97_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	4.39	*	MAYBE	2.98
Transformed_CSR_04/Ex4_Zan97_Z.typed	*	MAYBE	15.02	*	MAYBE	25.43	*	MAYBE	0.20	*	MAYBE	0.17
Transformed_CSR_04/Ex5_7_Luc97_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/Ex5_7_Luc97_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	38.48	*	MAYBE	44.42
Transformed_CSR_04/Ex5_7_Luc97_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.03
Transformed_CSR_04/Ex5_7_Luc97_Z.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	MAYBE	16.02	*	MAYBE	14.86
Transformed_CSR_04/Ex5_DLMMU04_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.02
Transformed_CSR_04/Ex5_DLMMU04_FR.typed	*	TIMEOUT	60.06	*	MAYBE	55.39	*	MAYBE	20.86	*	MAYBE	26.99
Transformed_CSR_04/Ex5_DLMMU04_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	28.41	*	MAYBE	44.17
Transformed_CSR_04/Ex5_DLMMU04_Z.typed	*	MAYBE	30.72	*	MAYBE	28.67	*	MAYBE	3.57	*	MAYBE	3.11
Transformed_CSR_04/Ex5_Zan97_C.typed	*	MAYBE	45.36	*	MAYBE	47.21	*	MAYBE	7.67	*	MAYBE	4.54
Transformed_CSR_04/Ex5_Zan97_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	0.21	*	MAYBE	0.33
Transformed_CSR_04/Ex5_Zan97_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	1.02	*	MAYBE	0.77
Transformed_CSR_04/Ex5_Zan97_Z.typed	*	MAYBE	4.56	*	MAYBE	7.54	*	MAYBE	0.22	*	MAYBE	0.15
Transformed_CSR_04/Ex6_15_AEL02_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/Ex6_15_AEL02_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/Ex6_15_AEL02_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.01
Transformed_CSR_04/Ex6_15_AEL02_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	17.19	*	MAYBE	17.58
Transformed_CSR_04/Ex6_9_Luc02c_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	33.96	*	MAYBE	23.03
Transformed_CSR_04/Ex6_9_Luc02c_FR.typed	*	WORST_CASE(?,O(n^1))	0.71	*	WORST_CASE(?,O(n^1))	0.37	*	MAYBE	0.45	*	MAYBE	0.89
Transformed_CSR_04/Ex6_9_Luc02c_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	1.58	*	MAYBE	1.54
Transformed_CSR_04/Ex6_9_Luc02c_Z.typed	*	WORST_CASE(?,O(n^1))	0.67	*	WORST_CASE(?,O(n^1))	0.50	*	MAYBE	0.45	*	MAYBE	0.64
Transformed_CSR_04/Ex6_GM04_C.typed	*	MAYBE	6.08	*	MAYBE	7.50	*	MAYBE	2.10	*	MAYBE	1.65
Transformed_CSR_04/Ex6_GM04_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.19	*	MAYBE	0.44
Transformed_CSR_04/Ex6_GM04_GM.typed	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.09	*	WORST_CASE(?,O(n^1))	0.09
Transformed_CSR_04/Ex6_Luc98_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	29.72	*	TIMEOUT	60.04
Transformed_CSR_04/Ex6_Luc98_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	0.51	*	MAYBE	0.57
Transformed_CSR_04/Ex6_Luc98_GM.typed	*	WORST_CASE(?,O(n^2))	7.44	*	WORST_CASE(?,O(n^2))	4.82	*	MAYBE	0.83	*	MAYBE	0.83
Transformed_CSR_04/Ex6_Luc98_L.typed	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.26
Transformed_CSR_04/Ex6_Luc98_Z.typed	*	WORST_CASE(?,O(n^1))	0.56	*	WORST_CASE(?,O(n^1))	0.14	*	MAYBE	0.26	*	MAYBE	0.46
Transformed_CSR_04/Ex7_BLR02_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/Ex7_BLR02_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.67	*	MAYBE	0.65
Transformed_CSR_04/Ex7_BLR02_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	10.58	*	MAYBE	11.33
Transformed_CSR_04/Ex7_BLR02_Z.typed	*	WORST_CASE(?,O(n^1))	1.14	*	WORST_CASE(?,O(n^1))	0.23	*	MAYBE	0.51	*	MAYBE	0.41
Transformed_CSR_04/Ex8_BLR02_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.02
Transformed_CSR_04/Ex8_BLR02_FR.typed	*	MAYBE	34.50	*	MAYBE	43.75	*	MAYBE	0.49	*	MAYBE	0.40
Transformed_CSR_04/Ex8_BLR02_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	41.03	*	TIMEOUT	60.03
Transformed_CSR_04/Ex8_BLR02_Z.typed	*	MAYBE	20.22	*	MAYBE	25.94	*	MAYBE	0.24	*	MAYBE	0.45
Transformed_CSR_04/Ex9_BLR02_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/Ex9_BLR02_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	4.75	*	MAYBE	3.33
Transformed_CSR_04/Ex9_BLR02_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	7.01	*	MAYBE	7.07
Transformed_CSR_04/Ex9_BLR02_L.typed	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.35	*	WORST_CASE(?,O(n^1))	0.26
Transformed_CSR_04/Ex9_BLR02_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	2.05	*	MAYBE	1.92
Transformed_CSR_04/Ex9_Luc04_C.typed	*	MAYBE	23.48	*	MAYBE	25.98	*	MAYBE	2.04	*	MAYBE	1.92
Transformed_CSR_04/Ex9_Luc04_GM.typed	*	MAYBE	3.89	*	MAYBE	5.10	*	MAYBE	1.80	*	MAYBE	1.30
Transformed_CSR_04/Ex9_Luc04_L.typed	*	MAYBE	0.54	*	MAYBE	0.43	*	MAYBE	0.47	*	MAYBE	0.32
Transformed_CSR_04/Ex9_Luc06_C.typed	*	MAYBE	13.54	*	MAYBE	15.77	*	MAYBE	2.65	*	MAYBE	0.91
Transformed_CSR_04/Ex9_Luc06_FR.typed	*	MAYBE	0.33	*	MAYBE	0.22	*	MAYBE	0.11	*	MAYBE	0.14
Transformed_CSR_04/Ex9_Luc06_GM.typed	*	MAYBE	1.16	*	MAYBE	1.87	*	MAYBE	0.72	*	MAYBE	0.63
Transformed_CSR_04/ExAppendixB_AEL03_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/ExAppendixB_AEL03_FR.typed	*	MAYBE	21.14	*	MAYBE	16.73	*	MAYBE	1.51	*	MAYBE	1.25
Transformed_CSR_04/ExAppendixB_AEL03_GM.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/ExAppendixB_AEL03_Z.typed	*	MAYBE	24.31	*	MAYBE	30.48	*	MAYBE	1.25	*	MAYBE	0.93
Transformed_CSR_04/ExConc_Zan97_C.typed	*	MAYBE	14.79	*	MAYBE	23.07	*	MAYBE	3.01	*	MAYBE	1.69
Transformed_CSR_04/ExConc_Zan97_FR.typed	*	WORST_CASE(?,O(n^1))	0.16	*	WORST_CASE(?,O(n^1))	0.60	*	WORST_CASE(?,O(n^1))	0.37	*	WORST_CASE(?,O(n^1))	0.31
Transformed_CSR_04/ExConc_Zan97_GM.typed	*	WORST_CASE(?,O(n^1))	0.44	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.20
Transformed_CSR_04/ExConc_Zan97_Z.typed	*	MAYBE	0.53	*	MAYBE	0.64	*	MAYBE	0.87	*	MAYBE	0.58
Transformed_CSR_04/ExIntrod_GM01_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/ExIntrod_GM01_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	2.10	*	MAYBE	0.87
Transformed_CSR_04/ExIntrod_GM01_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	6.98	*	MAYBE	6.67
Transformed_CSR_04/ExIntrod_GM01_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.97	*	MAYBE	0.49
Transformed_CSR_04/ExIntrod_GM04_C.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	MAYBE	13.64	*	MAYBE	13.57
Transformed_CSR_04/ExIntrod_GM04_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	1.51	*	MAYBE	1.32
Transformed_CSR_04/ExIntrod_GM04_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	2.13	*	MAYBE	1.73
Transformed_CSR_04/ExIntrod_GM04_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	0.94	*	MAYBE	1.31
Transformed_CSR_04/ExIntrod_GM99_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.06
Transformed_CSR_04/ExIntrod_GM99_FR.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.03	*	MAYBE	3.80	*	MAYBE	3.41
Transformed_CSR_04/ExIntrod_GM99_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/ExIntrod_GM99_Z.typed	*	MAYBE	26.43	*	MAYBE	23.75	*	MAYBE	1.41	*	MAYBE	1.46
Transformed_CSR_04/ExIntrod_Zan97_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.00
Transformed_CSR_04/ExIntrod_Zan97_FR.typed	*	MAYBE	18.60	*	MAYBE	21.25	*	MAYBE	4.14	*	MAYBE	1.48
Transformed_CSR_04/ExIntrod_Zan97_GM.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/ExIntrod_Zan97_Z.typed	*	MAYBE	2.87	*	MAYBE	1.96	*	MAYBE	0.49	*	MAYBE	1.34
Transformed_CSR_04/ExProp7_Luc06_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	7.19	*	MAYBE	13.18
Transformed_CSR_04/ExProp7_Luc06_FR.typed	*	MAYBE	2.06	*	MAYBE	1.61	*	MAYBE	0.30	*	MAYBE	0.52
Transformed_CSR_04/ExProp7_Luc06_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.76	*	MAYBE	0.78
Transformed_CSR_04/ExProp7_Luc06_L.typed	*	WORST_CASE(?,O(n^2))	1.94	*	WORST_CASE(?,O(n^2))	2.42	*	WORST_CASE(?,O(n^2))	0.35	*	WORST_CASE(?,O(n^2))	0.44
Transformed_CSR_04/ExProp7_Luc06_Z.typed	*	WORST_CASE(?,O(n^2))	0.37	*	WORST_CASE(?,O(n^2))	0.32	*	WORST_CASE(?,O(n^2))	0.09	*	WORST_CASE(?,O(n^2))	0.13
Transformed_CSR_04/ExSec11_1_Luc02a_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/ExSec11_1_Luc02a_FR.typed	*	MAYBE	10.45	*	MAYBE	14.35	*	MAYBE	1.16	*	MAYBE	1.09
Transformed_CSR_04/ExSec11_1_Luc02a_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/ExSec11_1_Luc02a_L.typed	*	WORST_CASE(?,O(n^3))	5.13	*	WORST_CASE(?,O(n^3))	8.11	*	WORST_CASE(?,O(n^3))	0.97	*	WORST_CASE(?,O(n^3))	1.17
Transformed_CSR_04/ExSec11_1_Luc02a_Z.typed	*	WORST_CASE(?,O(n^3))	17.80	*	WORST_CASE(?,O(n^3))	26.78	*	MAYBE	0.43	*	MAYBE	0.41
Transformed_CSR_04/ExSec4_2_DLMMU04_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.04	*	TIMEOUT	60.01
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.typed	*	MAYBE	4.29	*	MAYBE	3.73	*	MAYBE	0.44	*	MAYBE	0.34
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.05	*	TIMEOUT	60.00
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.typed	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	0.22	*	WORST_CASE(?,O(n^1))	0.18	*	WORST_CASE(?,O(n^1))	0.16
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/LISTUTILITIES_complete_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/LISTUTILITIES_complete_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/LISTUTILITIES_complete_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/LISTUTILITIES_complete_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	TIMEOUT	60.04
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.09
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/LISTUTILITIES_nokinds_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	TIMEOUT	60.04
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.02
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.04
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	4.36	*	MAYBE	2.79
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	1.57	*	MAYBE	2.04
Transformed_CSR_04/LISTUTILITIES_nosorts_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.typed	*	MAYBE	41.12	*	MAYBE	43.04	*	MAYBE	0.98	*	MAYBE	0.64
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	0.65	*	MAYBE	0.53
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.02
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/LengthOfFiniteLists_complete_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.00	*	TIMEOUT	60.05
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.54	*	TIMEOUT	60.06
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.05	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.04
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.typed	*	MAYBE	2.83	*	MAYBE	4.47	*	MAYBE	1.32	*	MAYBE	1.04
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	17.56	*	MAYBE	8.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.typed	*	MAYBE	1.56	*	MAYBE	2.42	*	MAYBE	0.35	*	MAYBE	0.86
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	1.49	*	MAYBE	0.91
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	30.73	*	TIMEOUT	60.06
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	2.69	*	MAYBE	2.40
Transformed_CSR_04/MYNAT_complete-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/MYNAT_complete-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.13	*	TIMEOUT	60.06	*	TIMEOUT	60.06
Transformed_CSR_04/MYNAT_complete_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/MYNAT_complete_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/MYNAT_complete_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/MYNAT_complete_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.03	*	TIMEOUT	60.02
Transformed_CSR_04/MYNAT_complete_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.04	*	TIMEOUT	60.01
Transformed_CSR_04/MYNAT_complete_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.03
Transformed_CSR_04/MYNAT_nokinds-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.00	*	TIMEOUT	60.05
Transformed_CSR_04/MYNAT_nokinds-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.01	*	TIMEOUT	60.00
Transformed_CSR_04/MYNAT_nokinds_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/MYNAT_nokinds_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	TIMEOUT	60.04
Transformed_CSR_04/MYNAT_nokinds_GM.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/MYNAT_nokinds_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.03	*	TIMEOUT	60.02
Transformed_CSR_04/MYNAT_nokinds_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.03
Transformed_CSR_04/MYNAT_nokinds_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/MYNAT_nosorts-noand_FR.typed	*	MAYBE	2.67	*	MAYBE	4.99	*	MAYBE	2.54	*	MAYBE	2.87
Transformed_CSR_04/MYNAT_nosorts_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/MYNAT_nosorts_FR.typed	*	MAYBE	0.80	*	MAYBE	0.96	*	MAYBE	0.80	*	MAYBE	0.56
Transformed_CSR_04/MYNAT_nosorts_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	4.73	*	MAYBE	4.31
Transformed_CSR_04/MYNAT_nosorts_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.02
Transformed_CSR_04/MYNAT_nosorts_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/OvConsOS_complete-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/OvConsOS_complete-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/OvConsOS_complete_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/OvConsOS_complete_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/OvConsOS_complete_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_complete_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_complete_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/OvConsOS_complete_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.02	*	TIMEOUT	60.03
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/OvConsOS_nokinds_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.05
Transformed_CSR_04/OvConsOS_nokinds_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nokinds_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.01
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.00
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	4.93	*	MAYBE	5.10
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	MAYBE	8.70	*	MAYBE	4.86
Transformed_CSR_04/OvConsOS_nosorts_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/OvConsOS_nosorts_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.42	*	MAYBE	0.48
Transformed_CSR_04/OvConsOS_nosorts_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	2.47	*	MAYBE	1.76
Transformed_CSR_04/OvConsOS_nosorts_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	MAYBE	0.31	*	MAYBE	0.21
Transformed_CSR_04/OvConsOS_nosorts_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	35.07	*	TIMEOUT	60.05
Transformed_CSR_04/PALINDROME_complete-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/PALINDROME_complete-noand_L.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PALINDROME_complete-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.02
Transformed_CSR_04/PALINDROME_complete_C.typed	*	MAYBE	0.48	*	MAYBE	0.50	*	MAYBE	0.21	*	MAYBE	0.48
Transformed_CSR_04/PALINDROME_complete_FR.typed	*	MAYBE	0.11	*	MAYBE	0.04	*	MAYBE	0.26	*	MAYBE	0.08
Transformed_CSR_04/PALINDROME_complete_GM.typed	*	MAYBE	12.90	*	MAYBE	10.20	*	MAYBE	5.50	*	MAYBE	9.70
Transformed_CSR_04/PALINDROME_complete_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.01
Transformed_CSR_04/PALINDROME_complete_noand_C.typed	*	MAYBE	0.11	*	MAYBE	0.67	*	MAYBE	0.69	*	MAYBE	0.28
Transformed_CSR_04/PALINDROME_complete_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.typed	*	MAYBE	1.78	*	MAYBE	1.88	*	MAYBE	0.90	*	MAYBE	0.95
Transformed_CSR_04/PALINDROME_nokinds-noand_L.typed	*	MAYBE	5.39	*	MAYBE	6.47	*	MAYBE	3.22	*	MAYBE	3.06
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.typed	*	MAYBE	3.50	*	MAYBE	2.03	*	MAYBE	4.69	*	MAYBE	3.27
Transformed_CSR_04/PALINDROME_nokinds_C.typed	*	MAYBE	0.10	*	MAYBE	0.15	*	MAYBE	0.16	*	MAYBE	0.26
Transformed_CSR_04/PALINDROME_nokinds_FR.typed	*	MAYBE	0.43	*	MAYBE	0.28	*	MAYBE	0.26	*	MAYBE	0.24
Transformed_CSR_04/PALINDROME_nokinds_GM.typed	*	MAYBE	0.21	*	MAYBE	0.03	*	MAYBE	0.29	*	MAYBE	0.03
Transformed_CSR_04/PALINDROME_nokinds_Z.typed	*	MAYBE	0.12	*	MAYBE	0.03	*	MAYBE	0.11	*	MAYBE	0.03
Transformed_CSR_04/PALINDROME_nokinds_noand_C.typed	*	MAYBE	0.18	*	MAYBE	0.04	*	MAYBE	0.04	*	MAYBE	0.05
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.typed	*	MAYBE	0.29	*	MAYBE	0.09	*	MAYBE	0.07	*	MAYBE	0.17
Transformed_CSR_04/PALINDROME_nosorts_C.typed	*	MAYBE	0.07	*	MAYBE	0.26	*	MAYBE	0.12	*	MAYBE	0.09
Transformed_CSR_04/PALINDROME_nosorts_GM.typed	*	MAYBE	0.03	*	MAYBE	0.02	*	MAYBE	0.02	*	MAYBE	0.04
Transformed_CSR_04/PALINDROME_nosorts_noand_C.typed	*	MAYBE	0.03	*	MAYBE	0.03	*	MAYBE	0.02	*	MAYBE	0.02
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.typed	*	MAYBE	0.10	*	MAYBE	0.21	*	MAYBE	0.14	*	MAYBE	0.19
Transformed_CSR_04/PEANO_complete-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete-noand_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/PEANO_complete_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/PEANO_complete_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Transformed_CSR_04/PEANO_complete_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.02
Transformed_CSR_04/PEANO_complete_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
Transformed_CSR_04/PEANO_complete_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.04
Transformed_CSR_04/PEANO_nokinds-noand_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	49.70	*	MAYBE	58.89
Transformed_CSR_04/PEANO_nokinds-noand_Z.typed	*	TIMEOUT	60.03	*	TIMEOUT	60.00	*	MAYBE	34.03	*	MAYBE	45.29
Transformed_CSR_04/PEANO_nokinds_C.typed	*	TIMEOUT	60.03	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06
Transformed_CSR_04/PEANO_nokinds_FR.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	19.48	*	MAYBE	20.27
Transformed_CSR_04/PEANO_nokinds_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.03
Transformed_CSR_04/PEANO_nokinds_Z.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	43.71	*	MAYBE	38.30
Transformed_CSR_04/PEANO_nokinds_noand_C.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.04
Transformed_CSR_04/PEANO_nokinds_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05
Transformed_CSR_04/PEANO_nosorts-noand_FR.typed	*	WORST_CASE(?,O(n^1))	0.73	*	WORST_CASE(?,O(n^1))	0.66	*	WORST_CASE(?,O(n^1))	0.96	*	WORST_CASE(?,O(n^1))	0.79
Transformed_CSR_04/PEANO_nosorts_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	8.35	*	MAYBE	14.18
Transformed_CSR_04/PEANO_nosorts_FR.typed	*	WORST_CASE(?,O(n^1))	0.20	*	WORST_CASE(?,O(n^1))	0.07	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.08
Transformed_CSR_04/PEANO_nosorts_GM.typed	*	MAYBE	41.85	*	MAYBE	39.96	*	MAYBE	0.80	*	MAYBE	1.11
Transformed_CSR_04/PEANO_nosorts_noand_C.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	49.32	*	TIMEOUT	60.03
Transformed_CSR_04/PEANO_nosorts_noand_GM.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	4.33	*	MAYBE	4.38
Various_04/04.typed	*	WORST_CASE(?,O(n^1))	0.75	*	WORST_CASE(?,O(n^1))	0.47	*	WORST_CASE(?,O(n^1))	0.30	*	WORST_CASE(?,O(n^1))	0.31
Various_04/08.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.04	*	TIMEOUT	60.02	*	TIMEOUT	60.03
Various_04/10.typed	*	TIMEOUT	60.04	*	TIMEOUT	60.00	*	MAYBE	0.52	*	MAYBE	0.81
Various_04/11.typed	*	MAYBE	0.60	*	MAYBE	0.35	*	MAYBE	0.09	*	MAYBE	0.18
Various_04/12.typed	*	MAYBE	8.08	*	MAYBE	10.86	*	MAYBE	3.18	*	MAYBE	1.22
Various_04/13.typed	*	MAYBE	13.38	*	MAYBE	8.57	*	MAYBE	1.09	*	MAYBE	1.33
Various_04/14.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	26.35	*	MAYBE	25.97
Various_04/15.typed	*	WORST_CASE(?,O(n^2))	1.12	*	WORST_CASE(?,O(n^2))	1.13	*	WORST_CASE(?,O(n^2))	0.48	*	WORST_CASE(?,O(n^2))	0.37
Various_04/18.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.03	*	TIMEOUT	60.03	*	TIMEOUT	60.03
Various_04/22.typed	*	MAYBE	0.50	*	MAYBE	0.40	*	MAYBE	0.13	*	MAYBE	0.12
Various_04/23.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	0.52	*	MAYBE	0.33
Various_04/24.typed	*	WORST_CASE(?,O(n^2))	3.20	*	WORST_CASE(?,O(n^2))	1.97	*	MAYBE	0.31	*	MAYBE	0.32
Waldmann_06/jwmatchb1.typed	*	MAYBE	11.03	*	MAYBE	10.58	*	MAYBE	0.31	*	MAYBE	0.15
Waldmann_06/jwmatchb2.typed	*	MAYBE	14.06	*	MAYBE	14.03	*	MAYBE	0.11	*	MAYBE	0.10
Waldmann_06/jwno1.typed	*	MAYBE	1.85	*	MAYBE	1.79	*	MAYBE	0.16	*	MAYBE	0.13
Waldmann_06/jwno4.typed	*	MAYBE	2.94	*	MAYBE	2.62	*	MAYBE	0.30	*	MAYBE	0.19
Waldmann_06/jwno6.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.18	*	MAYBE	0.17
Zantema_05/z10.typed	*	MAYBE	0.49	*	MAYBE	0.44	*	MAYBE	0.15	*	MAYBE	0.13
Zantema_05/z12.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.01	*	MAYBE	0.23	*	MAYBE	0.32
Zantema_05/z13.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.27	*	MAYBE	0.27
Zantema_05/z14.typed	*	MAYBE	21.81	*	MAYBE	21.39	*	MAYBE	0.19	*	MAYBE	0.39
Zantema_05/z15.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.23	*	MAYBE	0.17
Zantema_05/z16.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.35	*	MAYBE	0.18
Zantema_05/z17.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	0.23	*	MAYBE	0.38
Zantema_05/z18.typed	*	MAYBE	40.23	*	MAYBE	39.79	*	MAYBE	0.30	*	MAYBE	0.22
Zantema_05/z23.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	MAYBE	0.28	*	MAYBE	0.34
Zantema_05/z24.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	0.61	*	MAYBE	0.63
Zantema_05/z26.typed	*	MAYBE	0.66	*	MAYBE	0.27	*	MAYBE	0.11	*	MAYBE	0.10
Zantema_05/z27.typed	*	MAYBE	2.94	*	MAYBE	1.42	*	MAYBE	0.29	*	MAYBE	0.22
Zantema_05/z28.typed	*	MAYBE	0.30	*	MAYBE	0.17	*	MAYBE	0.07	*	MAYBE	0.09
hoca/dfs-flatten.typed	*	WORST_CASE(?,O(n^1))	0.42	*	WORST_CASE(?,O(n^1))	0.10	*	MAYBE	0.17	*	MAYBE	0.15
hoca/fib_llist.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	5.23	*	MAYBE	5.88
hoca/flatten.typed	*	WORST_CASE(?,O(n^1))	0.99	*	WORST_CASE(?,O(n^1))	1.04	*	MAYBE	1.73	*	MAYBE	2.00
hoca/foldsum.typed	*	WORST_CASE(?,O(n^1))	0.91	*	WORST_CASE(?,O(n^1))	0.23	*	MAYBE	0.21	*	MAYBE	0.59
hoca/id.typed	*	WORST_CASE(?,O(n^1))	0.19	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.14	*	WORST_CASE(?,O(n^1))	0.09
hoca/isort-fold.typed	*	WORST_CASE(?,O(n^2))	2.68	*	WORST_CASE(?,O(n^2))	1.56	*	MAYBE	0.43	*	MAYBE	0.59
hoca/isort.typed	*	WORST_CASE(?,O(n^2))	1.95	*	WORST_CASE(?,O(n^2))	0.93	*	MAYBE	0.40	*	MAYBE	0.32
hoca/mappplus.typed	*	MAYBE	2.34	*	MAYBE	1.92	*	MAYBE	0.14	*	MAYBE	0.19
hoca/mergesort-dc.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	5.34	*	MAYBE	2.80
hoca/mss.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	MAYBE	0.65	*	MAYBE	0.67
hoca/rev-dl.typed	*	WORST_CASE(?,O(n^1))	0.65	*	WORST_CASE(?,O(n^1))	0.54	*	MAYBE	0.39	*	MAYBE	0.12
hoca/rev-fletf.typed	*	WORST_CASE(?,O(n^1))	0.43	*	WORST_CASE(?,O(n^1))	0.13	*	MAYBE	0.15	*	MAYBE	0.15
hoca/rev-foldl.typed	*	WORST_CASE(?,O(n^1))	0.32	*	WORST_CASE(?,O(n^1))	0.11	*	MAYBE	0.09	*	MAYBE	0.09
hoca/rpm-lazy.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.02	*	TIMEOUT	60.04	*	TIMEOUT	60.01
hoca/sum.typed	*	WORST_CASE(?,O(n^1))	0.08	*	WORST_CASE(?,O(n^1))	0.29	*	MAYBE	0.11	*	MAYBE	0.19
hoca/sum_sqs3.typed	*	MAYBE	2.10	*	MAYBE	1.24	*	MAYBE	0.22	*	MAYBE	0.23
raML/appendAll.raml.typed	*	WORST_CASE(?,O(n^2))	2.50	*	WORST_CASE(?,O(n^2))	3.02	*	MAYBE	0.59	*	MAYBE	1.94
raML/bfs.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.05	*	TIMEOUT	60.00
raML/bft_mmult.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.04	*	TIMEOUT	60.06	*	TIMEOUT	60.06
raML/bitvectors.raml.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.01	*	TIMEOUT	60.05	*	TIMEOUT	60.00
raML/clevermmult.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
raML/duplicates.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	27.70	*	MAYBE	34.43
raML/dyade.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.05	*	TIMEOUT	60.00
raML/eratosthenes.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
raML/flatten.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	3.57	*	MAYBE	7.97
raML/flatten2.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	MAYBE	2.52	*	MAYBE	2.01
raML/insertionsort.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	15.92	*	MAYBE	15.52
raML/listsort.raml.typed	*	WORST_CASE(?,O(n^2))	35.09	*	WORST_CASE(?,O(n^2))	35.56	*	MAYBE	46.43	*	MAYBE	47.44
raML/longestCommonSubsequence.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
raML/matrix.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	TIMEOUT	60.06	*	TIMEOUT	60.00
raML/mergesort.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	12.16	*	MAYBE	16.39
raML/minsort.raml.typed	*	WORST_CASE(?,O(n^2))	8.35	*	WORST_CASE(?,O(n^2))	5.73	*	MAYBE	1.13	*	MAYBE	4.63
raML/queue.raml.typed	*	TIMEOUT	60.05	*	TIMEOUT	60.00	*	MAYBE	3.91	*	MAYBE	6.53
raML/quicksort.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.00	*	MAYBE	31.76	*	MAYBE	31.49
raML/rationalPotential.raml.typed	*	WORST_CASE(?,O(n^1))	1.36	*	WORST_CASE(?,O(n^1))	0.59	*	MAYBE	1.18	*	MAYBE	0.97
raML/splitandsort.raml.typed	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06	*	TIMEOUT	60.06
raML/subtrees.raml.typed	*	WORST_CASE(?,O(n^2))	3.36	*	WORST_CASE(?,O(n^2))	2.39	*	MAYBE	0.39	*	MAYBE	1.06

Result Summary

Average Times