Tool	YES	MAYBE	TIMEOUT
AProVE 2012	639 [6.34]	67 [8.56]	543
AProVE restricted	526 [12.79]	60 [7.73]	663
TCT	448 [6.69]	260 [25.81]	329
CaT	329 [1.20]	905 [3.16]	15

Example	AProVE 2012		AProVE restricted		TCT		CaT
	TIMEOUT	60	TIMEOUT	60	ERROR	8.13	MAYBE	0.24
	O(n^3)	2.99	O(n^3)	3.13	MAYBE	43.76	MAYBE	19.36
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^1)	1.76	O(n^1)	1.8	O(n^1)	1.0	O(n^2)	6.95
	O(n^3)	3.53	O(n^3)	3.72	MAYBE	10.13	MAYBE	0.19
	O(n^2)	2.96	TIMEOUT	60	ERROR	29.76	MAYBE	59.64
	O(n^2)	2.4	TIMEOUT	60	ERROR	16.57	MAYBE	58.9
	TIMEOUT	60	TIMEOUT	60	MAYBE	35.9	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^2)	2.31	O(n^2)	2.17	O(n^1)	5.36	MAYBE	0.2
	O(1)	1.55	O(n^1)	2.03	TIMEOUT	60	MAYBE	0.2
	O(n^2)	2.13	O(n^2)	2.37	O(n^2)	3.38	MAYBE	0.19
	O(n^1)	1.78	O(n^1)	1.71	O(n^1)	0.2	MAYBE	0.2
	O(n^2)	1.86	O(n^2)	1.83	O(n^1)	0.49	O(n^1)	0.27
	TIMEOUT	60	TIMEOUT	60	MAYBE	46.51	MAYBE	39.85
	O(1)	1.57	O(1)	1.54	O(n^1)	0.11	MAYBE	0.2
	O(n^2)	2.2	O(n^2)	2.68	MAYBE	25.44	MAYBE	0.21
	MAYBE	3.77	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	O(1)	1.53	O(1)	1.55	O(n^1)	1.55	O(n^1)	0.28
	O(n^1)	1.71	O(n^1)	1.69	O(n^1)	0.44	O(n^1)	0.28
	TIMEOUT	60	TIMEOUT	60	MAYBE	57.49	MAYBE	0.21
	O(n^1)	1.75	O(n^1)	1.99	O(n^1)	0.67	O(n^1)	0.39
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^2)	5.1	O(n^2)	14.62	TIMEOUT	60	MAYBE	0.21
	O(n^2)	7.66	O(n^2)	22.34	MAYBE	44.35	MAYBE	0.23
	O(n^1)	1.84	O(n^1)	1.91	O(n^2)	10.1	MAYBE	0.19
	O(n^2)	2.41	O(n^2)	2.61	O(n^1)	7.62	MAYBE	0.21
	O(n^1)	2.91	TIMEOUT	60	O(n^1)	1.76	MAYBE	0.2
	O(n^2)	1.82	TIMEOUT	60	O(n^1)	23.85	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	55.64
	TIMEOUT	60	TIMEOUT	60	MAYBE	18.73	MAYBE	0.2
	O(n^1)	1.74	O(n^1)	1.84	O(n^1)	2.13	O(n^1)	0.32
	O(n^1)	1.78	O(n^1)	1.79	O(n^2)	1.36	MAYBE	0.2
	O(1)	1.54	O(1)	1.52	O(n^1)	0.37	MAYBE	0.2
	O(n^1)	1.82	O(n^1)	1.8	O(n^2)	1.98	MAYBE	0.2
	O(n^3)	9.18	O(n^3)	8.98	MAYBE	50.56	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(n^1)	1.84	O(n^1)	1.82	O(n^1)	0.78	O(n^1)	0.31
	TIMEOUT	60	TIMEOUT	60	ERROR	12.99	MAYBE	0.22
	O(n^2)	3.87	O(n^2)	3.96	MAYBE	19.88	MAYBE	0.21
	O(n^3)	9.19	O(n^3)	8.4	TIMEOUT	60	MAYBE	0.22
	O(n^2)	3.42	O(n^2)	3.46	O(n^2)	11.17	MAYBE	0.21
	O(n^2)	3.72	O(n^2)	3.79	O(n^2)	12.06	MAYBE	0.21
	O(n^3)	8.98	O(n^3)	8.81	TIMEOUT	60	MAYBE	0.22
	O(n^2)	4.42	O(n^2)	4.38	MAYBE	22.56	MAYBE	0.21
	O(n^2)	1.78	O(n^2)	1.82	O(n^2)	8.38	O(n^1)	4.88
	O(n^2)	4.67	O(n^2)	5.45	ERROR	38.24	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	44.21	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	21.93	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	33.19	MAYBE	0.3
	TIMEOUT	60	TIMEOUT	60	ERROR	24.8	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.73	O(1)	1.78	MAYBE	1.98	MAYBE	0.19
	O(1)	1.74	O(1)	1.8	MAYBE	2.92	MAYBE	0.2
	O(n^2)	3.04	O(n^2)	3.06	MAYBE	12.0	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.68	MAYBE	0.25
	O(n^1)	1.79	O(n^1)	1.78	O(n^1)	2.72	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	16.63	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	16.5	MAYBE	0.24
	O(n^2)	1.85	O(n^2)	1.82	MAYBE	4.35	MAYBE	0.2
	O(1)	1.6	O(n^1)	1.69	MAYBE	6.14	MAYBE	0.2
	O(n^1)	30.47	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	29.08	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	59.34
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	O(n^2)	20.04
	O(n^1)	7.54	O(n^1)	5.04	O(n^1)	49.64	O(n^1)	0.33
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	47.87	O(n^1)	47.89	O(n^1)	14.91	O(n^1)	0.49
	O(n^1)	20.3	O(n^1)	47.05	TIMEOUT	60	O(n^1)	0.43
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.03
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	MAYBE	4.4	MAYBE	4.35	MAYBE	6.85	MAYBE	0.18
	TIMEOUT	60	TIMEOUT	60	MAYBE	23.66	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	30.75	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	28.19
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.65	TIMEOUT	60	ERROR	12.35	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	13.59	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	21.57	MAYBE	55.6
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	O(n^1)	6.79	MAYBE	0.22
	O(n^2)	4.81	O(n^2)	5.72	MAYBE	41.43	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.02
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^3)	21.34	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	ERROR	10.74	MAYBE	0.25
	O(1)	1.62	O(1)	1.58	O(n^1)	1.59	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(1)	1.64	TIMEOUT	60	ERROR	28.9	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	9.15	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	46.86	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	16.19	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(n^2)	10.04	O(n^2)	11.1	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.79	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	37.05	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	37.46	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	22.88	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	28.65	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	43.4	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	32.74	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	10.3	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	8.94	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	56.34	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	18.14	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(n^2)	49.83	TIMEOUT	60	O(n^1)	3.3	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	34.24	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	48.82	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	29.23	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	10.73	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	36.46	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	29.51	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	16.8	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	27.43	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	15.18	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	8.76	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	35.57	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	24.47	MAYBE	0.22
	O(1)	1.73	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	MAYBE	25.24	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	MAYBE	33.56	MAYBE	0.23
	O(1)	1.67	TIMEOUT	60	ERROR	20.59	MAYBE	0.25
	O(n^1)	3.83	O(n^1)	4.34	O(n^1)	4.26	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	12.09	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	14.64	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	15.9	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	ERROR	12.38	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	12.93	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	13.62	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	12.61	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	12.62	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	15.33	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	12.72	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	O(n^1)	12.47	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	16.85	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	11.1	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	10.23	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	10.24	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	12.42	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	MAYBE	19.64	MAYBE	17.62
	O(n^1)	48.8	O(n^1)	48.91	MAYBE	22.0	MAYBE	10.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	36.78	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	49.84	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	40.18	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	49.16	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	12.19	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	12.24	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	14.01	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	15.86	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	ERROR	22.24	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	27.26	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	17.76	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	15.02	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.9	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	12.68	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^2)	9.21	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	50.74	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	47.69	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	53.22	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	O(n^1)	49.98	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	20.7	MAYBE	0.23
	O(n^2)	44.85	TIMEOUT	60	MAYBE	10.97	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	O(n^1)	16.83	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	O(n^1)	14.75	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	6.8	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	5.58	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	19.73	MAYBE	0.23
	O(n^2)	46.16	O(n^2)	46.24	MAYBE	12.72	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	12.04	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	8.22	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^3)	45.78	O(n^2)	45.22	MAYBE	13.15	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^1)	2.26	O(n^1)	2.89	MAYBE	14.85	MAYBE	0.21
	MAYBE	7.81	MAYBE	9.01	TIMEOUT	60	MAYBE	0.2
	O(n^1)	1.76	O(n^1)	1.85	O(n^1)	2.6	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	11.3	MAYBE	0.31
	O(n^1)	1.81	O(n^1)	2.47	O(n^1)	3.73	MAYBE	0.22
	O(1)	1.54	O(n^1)	1.84	O(n^1)	1.27	O(n^1)	0.3
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	45.9
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	57.76
	O(n^2)	12.51	O(n^2)	13.08	MAYBE	46.64	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	51.39	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	40.75	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	O(n^2)	9.98	O(n^2)	10.38	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	8.37	MAYBE	0.24
	O(n^1)	14.22	O(n^1)	36.4	ERROR	25.58	MAYBE	0.77
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	54.88	MAYBE	0.29
	O(1)	1.58	O(1)	1.57	O(n^1)	1.15	O(n^1)	0.3
	O(1)	1.54	O(1)	1.53	O(n^1)	0.47	O(n^1)	0.27
	O(1)	1.61	O(n^1)	1.71	O(n^1)	0.08	O(n^1)	0.25
	O(1)	1.66	O(n^2)	1.69	O(n^1)	0.16	O(n^1)	0.24
	O(n^1)	1.69	O(n^1)	1.69	O(n^1)	1.1	O(n^1)	0.25
	O(n^1)	2.01	O(n^1)	2.05	O(n^1)	1.2	O(n^1)	0.26
	O(n^1)	1.8	O(n^1)	1.85	O(n^2)	3.64	MAYBE	0.21
	O(1)	1.66	O(n^1)	1.76	O(n^1)	0.09	O(n^1)	0.24
	O(n^1)	1.99	O(n^1)	2.17	ERROR	26.29	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	19.92	MAYBE	0.21
	O(1)	1.58	O(n^2)	7.77	O(n^2)	14.2	MAYBE	0.21
	O(1)	1.55	O(n^2)	3.12	O(n^1)	1.59	O(n^1)	0.28
	O(n^1)	1.71	O(n^1)	1.68	O(n^1)	0.15	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	18.92
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^1)	1.7	O(n^1)	1.71	O(n^1)	0.24	O(n^1)	0.28
	O(1)	1.57	O(n^1)	1.82	MAYBE	9.04	MAYBE	0.21
	O(1)	1.56	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^1)	1.87	O(n^1)	1.82	O(n^2)	5.46	MAYBE	0.21
	O(n^2)	3.35	O(n^2)	3.86	O(n^2)	14.87	MAYBE	0.22
	O(n^1)	7.77	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^1)	49.41	O(n^1)	49.51	O(n^1)	0.98	O(n^1)	1.11
	O(1)	1.55	TIMEOUT	60	MAYBE	7.11	MAYBE	0.21
	O(1)	1.54	O(n^1)	49.56	O(n^1)	9.27	O(n^1)	0.26
	O(1)	1.7	O(n^1)	47.51	TIMEOUT	60	O(n^1)	0.25
	O(1)	1.69	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.67	O(n^2)	2.97	O(n^1)	24.1	MAYBE	0.21
	O(1)	1.65	O(n^2)	2.71	TIMEOUT	60	MAYBE	0.21
	O(1)	1.53	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.57	O(n^1)	46.89	O(n^1)	28.99	O(n^1)	0.24
	O(1)	1.57	O(n^1)	46.74	TIMEOUT	60	O(n^1)	0.25
	O(1)	1.57	O(n^1)	46.74	O(n^1)	5.41	O(n^1)	0.25
	O(1)	1.64	O(n^1)	46.75	O(n^1)	9.0	O(n^1)	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.77	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	16.83	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	8.56	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	12.62	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	34.47	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	4.78	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	6.21	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	2.9	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	29.42	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	20.59	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	56.28	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	MAYBE	36.27	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	MAYBE	1.74	MAYBE	1.74	MAYBE	3.17	MAYBE	10.21
	MAYBE	1.81	MAYBE	1.79	MAYBE	3.63	MAYBE	10.21
	MAYBE	1.85	MAYBE	1.81	MAYBE	3.16	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	4.62	MAYBE	10.21
	MAYBE	59.35	MAYBE	58.8	MAYBE	6.63	MAYBE	10.2
	MAYBE	1.91	MAYBE	1.88	MAYBE	1.39	MAYBE	0.2
	O(1)	1.57	O(1)	1.58	O(n^1)	0.05	O(n^1)	0.23
	O(1)	1.86	O(n^2)	7.27	O(n^1)	16.47	O(n^1)	9.43
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^2)	3.5	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	10.21
	O(1)	2.11	TIMEOUT	60	TIMEOUT	60	MAYBE	0.48
	O(1)	1.56	O(n^1)	1.83	O(n^1)	0.14	O(n^1)	0.23
	O(1)	1.57	O(1)	1.59	O(n^1)	0.2	O(n^1)	0.28
	O(1)	1.66	O(n^1)	46.95	O(n^1)	9.18	O(n^1)	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(1)	1.55	O(1)	1.54	O(n^1)	0.14	O(n^1)	0.24
	O(n^1)	1.72	O(n^1)	1.72	O(n^1)	0.26	O(n^2)	6.58
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	26.94
	TIMEOUT	60	TIMEOUT	60	MAYBE	57.89	MAYBE	0.2
	O(n^2)	2.19	O(n^2)	5.38	TIMEOUT	60	MAYBE	0.21
	O(1)	1.5	O(1)	13.67	O(n^1)	3.92	O(n^1)	0.23
	O(1)	1.54	O(n^1)	46.97	O(n^1)	20.93	O(n^1)	0.23
	O(1)	1.54	O(1)	13.63	TIMEOUT	60	MAYBE	0.19
	O(1)	1.53	O(1)	25.73	O(n^1)	3.74	O(n^1)	0.23
	O(1)	1.56	O(1)	5.92	O(n^2)	4.52	MAYBE	0.19
	O(1)	1.55	O(n^1)	46.88	O(n^1)	1.12	O(n^1)	0.24
	O(1)	1.59	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	O(1)	1.62	O(n^1)	47.49	ERROR	14.16	O(n^1)	0.27
	TIMEOUT	60	TIMEOUT	60	MAYBE	53.17	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	O(n^1)	6.56	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^1)	1.79	O(n^2)	1.8	MAYBE	16.98	MAYBE	0.21
	O(n^1)	7.8	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^1)	1.77	O(n^1)	1.74	O(n^1)	0.35	O(n^1)	0.27
	O(n^1)	1.78	O(n^1)	1.75	O(n^1)	2.22	MAYBE	0.2
	O(n^1)	1.73	O(n^1)	1.74	O(n^1)	0.36	O(n^1)	0.26
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.95	MAYBE	0.2
	O(n^2)	1.91	O(n^1)	1.75	O(n^1)	0.67	O(n^1)	0.34
	TIMEOUT	60	TIMEOUT	60	MAYBE	55.89	MAYBE	0.22
	O(1)	1.6	O(n^1)	5.15	O(n^1)	0.53	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(n^1)	1.81	O(n^1)	2.29	O(n^1)	2.18	MAYBE	0.22
	MAYBE	16.21	MAYBE	15.66	MAYBE	13.46	MAYBE	0.2
	O(1)	1.57	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	2.16	MAYBE	0.21
	O(n^1)	4.13	O(n^1)	4.44	O(n^1)	4.65	O(n^1)	1.02
	MAYBE	0.33	MAYBE	0.32	ERROR	48.52	MAYBE	0.31
	MAYBE	0.33	MAYBE	0.33	TIMEOUT	60	MAYBE	0.32
	MAYBE	0.43	MAYBE	0.41	ERROR	10.43	MAYBE	0.5
	MAYBE	0.32	MAYBE	0.32	ERROR	17.13	MAYBE	0.28
	MAYBE	0.29	MAYBE	0.29	O(n^2)	48.28	MAYBE	0.26
	MAYBE	0.29	MAYBE	0.29	ERROR	21.21	MAYBE	0.25
	MAYBE	0.35	MAYBE	0.35	ERROR	22.99	MAYBE	0.34
	MAYBE	0.28	MAYBE	0.29	TIMEOUT	60	MAYBE	0.25
	MAYBE	0.31	MAYBE	0.31	TIMEOUT	60	MAYBE	0.35
	MAYBE	0.33	MAYBE	0.32	ERROR	24.03	MAYBE	0.29
	MAYBE	0.34	MAYBE	0.35	ERROR	26.6	MAYBE	0.36
	MAYBE	0.38	MAYBE	0.38	TIMEOUT	60	MAYBE	0.43
	MAYBE	0.31	MAYBE	0.3	ERROR	23.07	MAYBE	0.26
	MAYBE	0.27	MAYBE	0.27	O(n^2)	30.51	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	53.33	MAYBE	0.26
	MAYBE	0.33	MAYBE	0.34	TIMEOUT	60	MAYBE	0.37
	O(n^1)	2.38	O(n^1)	2.35	O(n^1)	4.72	O(n^1)	0.67
	MAYBE	0.34	MAYBE	0.33	ERROR	13.21	MAYBE	0.32
	O(n^2)	3.99	O(n^2)	4.0	O(n^2)	15.73	MAYBE	0.21
	O(1)	1.52	O(n^1)	6.94	O(n^1)	0.79	O(n^1)	0.24
	O(n^2)	2.33	O(n^2)	2.27	O(n^1)	0.84	O(n^1)	4.1
	O(n^2)	2.74	O(n^2)	2.74	O(n^1)	2.18	MAYBE	0.2
	O(1)	1.52	O(n^1)	46.82	O(n^1)	2.45	O(n^1)	0.25
	O(n^3)	6.98	O(n^3)	8.38	TIMEOUT	60	MAYBE	0.2
	O(n^2)	4.42	O(n^2)	5.15	O(n^2)	29.41	MAYBE	0.22
	TIMEOUT	60	O(n^2)	20.85	TIMEOUT	60	MAYBE	0.23
	O(n^2)	4.75	O(n^2)	4.75	MAYBE	20.91	MAYBE	0.22
	O(n^1)	1.71	O(n^1)	1.73	O(n^1)	1.17	O(n^1)	0.34
	O(n^2)	2.68	O(n^2)	2.74	O(n^1)	5.96	MAYBE	0.19
	O(1)	1.54	O(1)	1.56	O(n^1)	0.38	O(n^1)	0.29
	O(n^1)	1.88	O(n^1)	1.87	O(n^1)	1.19	O(n^1)	0.25
	O(1)	1.56	O(1)	1.56	O(n^1)	0.18	O(n^1)	0.26
	O(n^2)	3.57	O(n^2)	3.46	ERROR	37.71	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	15.53	MAYBE	0.26
	O(1)	1.55	O(n^1)	1.7	O(n^1)	0.2	O(n^1)	0.25
	O(1)	1.61	O(1)	1.54	O(n^1)	0.25	O(n^1)	0.27
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	55.33
	O(1)	1.58	O(n^1)	1.96	O(n^1)	0.71	O(n^1)	0.27
	O(n^1)	2.03	O(n^1)	2.14	ERROR	32.36	MAYBE	0.23
	O(n^1)	2.13	O(n^1)	2.22	O(n^1)	0.42	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	20.54	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.19
	TIMEOUT	60	TIMEOUT	60	ERROR	14.13	MAYBE	0.24
	O(n^1)	2.4	O(n^1)	2.36	O(n^1)	0.58	O(n^1)	0.32
	O(n^1)	1.73	O(n^2)	1.71	O(n^1)	0.45	O(n^1)	0.31
	O(n^2)	7.65	O(n^2)	7.43	TIMEOUT	60	MAYBE	0.22
	O(1)	1.66	TIMEOUT	60	ERROR	11.94	MAYBE	0.24
	O(n^2)	46.51	O(n^2)	53.35	MAYBE	29.04	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	32.78	MAYBE	0.22
	O(n^2)	8.85	O(n^2)	8.82	MAYBE	16.0	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(1)	1.9	TIMEOUT	60	ERROR	17.84	MAYBE	0.27
	O(n^1)	3.09	O(n^1)	3.25	O(n^2)	9.23	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	48.43	MAYBE	0.24
	O(1)	1.55	O(1)	1.55	O(n^1)	3.17	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	19.07	MAYBE	0.31
	O(1)	1.56	O(n^1)	8.15	MAYBE	7.48	MAYBE	0.2
	O(1)	1.53	O(1)	3.34	O(n^1)	0.17	O(n^1)	0.23
	O(1)	1.58	O(1)	19.72	O(n^1)	7.66	O(n^1)	0.26
	O(1)	1.58	O(n^1)	7.77	TIMEOUT	60	O(n^1)	0.24
	O(1)	1.53	O(1)	7.64	O(n^1)	2.99	O(n^1)	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^2)	45.53	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	18.0	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	12.98	MAYBE	0.21
	O(1)	1.66	MAYBE	15.99	MAYBE	12.37	MAYBE	0.2
	MAYBE	2.54	MAYBE	2.42	MAYBE	10.1	MAYBE	10.21
	O(n^1)	2.04	O(n^1)	1.98	O(n^1)	0.61	O(n^1)	0.29
	O(n^1)	47.52	O(n^1)	46.91	O(n^1)	13.38	O(n^1)	0.25
	O(1)	14.35	O(n^1)	46.97	TIMEOUT	60	O(n^1)	0.3
	O(n^1)	8.61	O(n^1)	46.82	O(n^1)	6.25	O(n^1)	0.27
	O(1)	1.55	O(1)	1.54	O(n^1)	0.2	O(n^1)	0.23
	O(1)	1.53	O(1)	1.54	O(n^1)	0.41	O(n^1)	0.27
	O(1)	1.6	O(n^1)	47.0	ERROR	14.79	O(n^1)	0.26
	O(1)	1.57	O(n^1)	46.84	ERROR	16.47	O(n^1)	0.27
	O(n^1)	34.61	O(n^1)	47.13	O(n^1)	7.47	O(n^1)	0.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	57.92	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	47.74	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	45.48	MAYBE	0.23
	O(1)	1.56	TIMEOUT	60	O(n^1)	25.42	MAYBE	0.21
	O(1)	1.66	TIMEOUT	60	ERROR	16.56	MAYBE	0.21
	O(n^1)	2.89	O(n^1)	2.93	O(n^1)	12.47	MAYBE	0.21
	O(1)	1.58	O(n^1)	7.87	ERROR	14.44	MAYBE	0.21
	O(1)	1.54	TIMEOUT	60	O(n^2)	40.38	MAYBE	0.21
	O(1)	1.53	O(1)	1.56	O(n^1)	0.27	MAYBE	0.2
	O(1)	1.63	TIMEOUT	60	ERROR	16.29	MAYBE	0.22
	O(1)	1.64	O(n^1)	2.17	ERROR	12.19	MAYBE	0.21
	O(1)	32.61	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.56	TIMEOUT	60	O(n^1)	10.6	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	48.12	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	38.53	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	12.01	MAYBE	0.24
	O(1)	1.66	O(1)	8.35	MAYBE	12.73	O(n^1)	0.24
	O(1)	1.54	MAYBE	3.42	O(n^1)	0.67	O(n^1)	0.25
	O(1)	1.54	O(n^1)	46.78	MAYBE	10.18	O(n^1)	0.25
	TIMEOUT	60	TIMEOUT	60	O(n^1)	31.22	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	13.22	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	17.62	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	O(n^2)	44.15	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	16.09	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	O(n^2)	43.23	MAYBE	0.23
	O(1)	1.58	O(n^1)	47.7	TIMEOUT	60	O(n^1)	0.33
	O(1)	1.57	O(n^1)	47.33	TIMEOUT	60	O(n^1)	0.33
	O(n^1)	2.42	O(n^1)	48.4	ERROR	31.03	O(n^1)	0.45
	O(1)	1.57	O(n^1)	47.17	O(n^1)	55.55	O(n^1)	0.29
	O(1)	1.63	O(n^1)	47.65	TIMEOUT	60	O(n^1)	0.66
	O(1)	1.65	O(n^1)	50.71	ERROR	52.28	O(n^1)	0.24
	TIMEOUT	60	TIMEOUT	60	MAYBE	55.18	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	22.17	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	29.81	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	25.29	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	MAYBE	29.86	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	56.34	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	MAYBE	56.88	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	32.52	MAYBE	0.23
	O(1)	1.65	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	43.0	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(n^1)	1.86	O(n^1)	2.65	O(n^2)	8.63	MAYBE	0.23
	O(1)	1.61	O(n^1)	2.45	O(n^1)	1.41	O(n^1)	0.28
	MAYBE	13.19	MAYBE	14.45	O(n^1)	1.52	O(n^1)	0.27
	O(n^1)	1.74	O(n^2)	1.71	O(n^1)	1.12	O(n^1)	0.28
	O(1)	1.53	O(n^1)	2.15	O(n^1)	0.25	O(n^1)	0.23
	O(1)	1.69	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.58	O(n^1)	2.88	O(n^1)	0.29	O(n^1)	0.26
	O(n^1)	2.33	O(n^1)	2.09	O(n^2)	4.55	MAYBE	0.21
	O(1)	1.62	O(n^2)	3.7	O(n^2)	21.71	MAYBE	0.21
	O(n^1)	1.71	O(n^1)	1.71	O(n^1)	0.22	O(n^1)	0.27
	O(1)	1.55	O(n^1)	2.11	O(n^1)	2.27	O(n^1)	0.27
	O(n^1)	1.8	O(n^1)	1.78	O(n^1)	0.74	O(n^1)	0.28
	O(n^3)	6.75	O(n^3)	6.07	MAYBE	19.39	MAYBE	0.21
	O(n^1)	1.93	O(n^1)	1.9	O(n^2)	2.07	MAYBE	0.2
	O(n^1)	1.82	O(n^1)	1.85	O(n^1)	3.87	O(n^1)	0.3
	MAYBE	14.8	TIMEOUT	60	MAYBE	11.08	MAYBE	0.21
	O(n^2)	2.28	O(n^2)	2.33	O(n^2)	16.79	MAYBE	0.21
	O(n^1)	1.7	O(n^2)	1.69	O(n^1)	0.78	MAYBE	0.21
	O(n^2)	2.12	O(n^2)	2.02	O(n^2)	2.13	MAYBE	0.21
	O(n^2)	3.45	O(n^2)	3.8	O(n^2)	6.34	MAYBE	0.21
	O(n^1)	1.69	O(n^1)	1.75	O(n^1)	0.83	MAYBE	0.2
	MAYBE	17.02	MAYBE	15.46	MAYBE	18.75	MAYBE	0.2
	O(n^2)	2.92	O(n^2)	2.95	O(n^2)	5.12	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	21.45	MAYBE	0.21
	MAYBE	49.96	MAYBE	49.86	MAYBE	31.38	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	33.17	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	18.34	MAYBE	0.19
	O(n^1)	1.7	O(n^1)	1.75	O(n^1)	3.29	MAYBE	0.21
	O(1)	1.54	O(1)	1.59	O(n^1)	1.01	MAYBE	0.21
	O(n^1)	1.77	O(n^1)	1.91	O(n^1)	1.72	O(n^1)	0.36
	O(1)	1.58	O(1)	1.56	O(n^1)	2.06	MAYBE	0.22
	O(1)	1.56	O(n^1)	1.95	O(n^1)	1.67	O(n^1)	0.28
	O(1)	1.57	O(n^1)	1.97	O(n^1)	1.39	O(n^1)	1.54
	O(1)	1.61	O(n^1)	1.86	O(n^1)	0.75	MAYBE	0.2
	O(n^1)	1.73	O(n^1)	1.73	TIMEOUT	60	O(n^2)	6.7
	O(n^1)	1.69	O(n^1)	1.73	O(n^1)	0.19	MAYBE	0.2
	O(n^1)	1.79	O(n^1)	1.87	O(n^1)	1.19	O(n^1)	0.28
	O(n^2)	2.0	O(n^2)	2.11	MAYBE	38.77	MAYBE	13.43
	O(n^1)	1.69	O(n^1)	1.88	O(n^1)	0.47	MAYBE	0.2
	O(n^1)	1.74	O(n^2)	1.87	O(n^1)	0.89	O(n^1)	0.42
	O(n^1)	2.6	O(n^2)	5.47	O(n^1)	2.46	O(n^1)	0.3
	MAYBE	16.91	TIMEOUT	60	MAYBE	55.43	MAYBE	0.21
	O(n^1)	1.91	O(n^1)	2.28	O(n^1)	1.87	MAYBE	0.22
	O(n^1)	1.77	O(n^1)	1.96	O(n^1)	8.28	MAYBE	0.21
	O(1)	1.51	O(n^1)	1.85	O(n^1)	1.31	O(n^1)	0.24
	O(n^1)	1.69	O(n^1)	1.7	O(n^1)	0.75	O(n^1)	0.25
	O(1)	1.55	O(1)	1.57	O(n^1)	0.81	O(n^1)	0.28
	O(1)	1.57	O(n^1)	2.62	O(n^1)	1.95	O(n^1)	0.3
	O(n^1)	1.72	O(n^1)	1.66	O(n^1)	0.9	O(n^1)	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	25.19	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(n^1)	1.75	O(n^1)	1.78	O(n^1)	0.27	O(n^1)	0.25
	O(n^2)	1.73	O(n^2)	1.68	O(n^1)	0.19	O(n^1)	0.24
	O(n^1)	1.74	O(n^1)	1.72	O(n^1)	0.24	O(n^2)	6.56
	O(1)	1.55	O(1)	1.56	O(n^1)	0.2	O(n^1)	0.27
	O(1)	1.56	O(1)	1.53	O(n^1)	0.32	MAYBE	0.2
	O(1)	1.68	O(1)	1.55	O(n^1)	0.54	MAYBE	0.2
	O(n^1)	1.77	O(n^1)	1.65	O(n^1)	0.13	MAYBE	0.2
	O(1)	1.52	O(1)	1.53	O(n^1)	1.01	O(n^1)	0.26
	O(n^2)	4.88	O(n^2)	6.57	O(n^1)	4.59	O(n^1)	0.64
	O(1)	1.55	O(1)	1.54	O(n^1)	0.48	O(n^1)	0.25
	O(1)	1.6	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.64	O(n^2)	3.68	O(n^2)	12.68	MAYBE	0.19
	O(1)	1.55	O(n^1)	1.84	O(n^1)	0.39	O(n^1)	0.25
	O(n^2)	1.78	O(n^2)	1.78	O(n^2)	1.5	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	30.06	MAYBE	0.2
	O(1)	1.54	O(n^1)	1.79	O(n^1)	0.33	O(n^1)	0.3
	O(1)	1.66	O(n^1)	1.87	O(n^1)	0.17	O(n^1)	0.23
	O(1)	1.55	O(n^2)	4.66	O(n^2)	12.71	MAYBE	0.2
	O(n^2)	1.89	O(n^2)	1.8	O(n^2)	3.03	MAYBE	0.21
	O(1)	1.54	O(n^2)	2.26	O(n^1)	1.06	O(n^1)	0.25
	O(n^1)	1.83	O(n^1)	1.77	O(n^1)	1.73	O(n^1)	1.64
	O(n^1)	1.87	O(n^1)	1.86	O(n^2)	29.93	MAYBE	0.21
	O(1)	1.56	O(n^3)	8.32	MAYBE	20.43	MAYBE	0.22
	O(1)	1.66	O(n^1)	1.8	O(n^1)	0.91	O(n^1)	0.24
	O(n^1)	1.69	O(n^1)	1.71	O(n^1)	1.64	O(n^1)	0.32
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	O(1)	1.55	O(1)	1.54	O(n^1)	1.28	MAYBE	0.21
	O(1)	1.59	O(n^2)	3.64	O(n^1)	0.27	O(n^1)	0.26
	O(n^1)	1.8	O(n^1)	2.18	O(n^1)	3.35	MAYBE	0.22
	O(1)	1.67	O(n^2)	3.05	O(n^2)	8.75	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	18.07	MAYBE	0.21
	O(1)	1.55	O(n^2)	4.22	MAYBE	12.13	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^1)	1.71	O(n^1)	1.84	O(n^1)	0.37	O(n^2)	6.95
	O(n^2)	2.71	O(n^2)	4.16	O(n^1)	2.15	O(n^1)	0.29
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	59.21
	O(n^2)	1.94	O(n^1)	1.9	O(n^1)	6.32	MAYBE	0.22
	O(n^1)	1.73	O(n^1)	1.74	O(n^1)	5.54	O(n^1)	0.4
	O(n^1)	46.91	O(n^1)	47.6	O(n^1)	4.53	O(n^1)	0.37
	MAYBE	4.85	TIMEOUT	60	MAYBE	34.83	MAYBE	0.19
	O(1)	1.57	O(n^1)	47.13	O(n^1)	2.84	O(n^1)	0.26
	O(1)	1.54	O(n^2)	1.82	O(n^1)	0.16	O(n^1)	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	55.29
	O(1)	1.54	O(1)	1.55	O(n^1)	0.13	O(n^1)	0.25
	O(1)	1.55	O(n^1)	1.7	O(n^1)	0.12	O(n^1)	0.24
	O(1)	1.52	O(n^1)	1.79	O(n^1)	0.12	O(n^1)	0.24
	O(n^1)	1.75	O(n^1)	1.82	O(n^1)	0.55	O(n^1)	0.31
	O(1)	1.54	O(n^1)	1.75	O(n^1)	3.45	O(n^1)	0.24
	O(1)	1.56	TIMEOUT	60	MAYBE	42.19	MAYBE	0.21
	O(n^1)	1.76	O(n^2)	1.73	O(n^1)	0.19	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	13.55	MAYBE	0.2
	MAYBE	39.27	MAYBE	37.36	MAYBE	27.29	MAYBE	12.21
	O(1)	1.56	O(1)	1.54	O(n^1)	0.5	O(n^1)	0.25
	O(n^1)	1.71	O(n^1)	1.67	O(n^1)	0.14	O(n^1)	0.25
	O(1)	1.55	O(1)	1.53	O(n^1)	0.15	O(n^1)	0.24
	O(1)	1.56	O(1)	1.59	O(n^1)	1.85	O(n^1)	0.98
	O(1)	1.56	O(n^1)	1.85	O(n^1)	0.46	O(n^1)	0.26
	O(1)	1.54	MAYBE	24.68	MAYBE	7.26	MAYBE	0.2
	O(1)	1.55	O(1)	1.53	O(1)	0.7	MAYBE	0.19
	O(n^2)	1.81	O(n^1)	1.76	O(n^1)	2.19	O(n^1)	0.4
	O(1)	1.53	O(n^1)	3.77	O(n^1)	2.23	O(n^1)	0.27
	O(n^1)	1.8	O(n^1)	2.0	O(n^2)	8.11	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	O(1)	1.62	O(1)	1.74	MAYBE	3.94	O(n^1)	0.27
	O(1)	1.66	O(1)	1.66	O(n^1)	0.19	O(n^1)	0.26
	O(1)	1.59	O(1)	1.55	MAYBE	47.89	MAYBE	0.21
	MAYBE	16.44	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	8.25	MAYBE	0.23
	O(1)	1.72	O(1)	1.74	MAYBE	2.24	MAYBE	0.2
	O(1)	1.58	O(1)	1.56	O(n^1)	0.45	MAYBE	0.21
	O(n^1)	1.67	O(n^1)	1.72	MAYBE	47.46	MAYBE	0.2
	O(1)	1.57	O(n^1)	1.72	MAYBE	14.36	MAYBE	0.21
	O(n^1)	1.67	O(n^1)	1.71	MAYBE	7.27	MAYBE	0.2
	O(n^1)	1.7	O(n^1)	5.34	O(n^1)	0.67	O(n^1)	0.26
	O(1)	1.57	O(n^1)	7.64	O(n^1)	0.98	O(n^1)	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	19.08	MAYBE	0.2
	O(n^1)	2.73	O(n^1)	2.86	O(n^1)	0.54	O(n^1)	0.26
	O(1)	1.57	O(n^1)	1.69	O(n^1)	0.16	O(n^1)	0.23
	O(1)	1.56	O(n^1)	1.74	O(n^1)	0.46	O(n^1)	0.27
	O(n^1)	1.71	O(n^1)	1.7	O(n^1)	2.32	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	31.99	MAYBE	0.2
	O(1)	1.67	O(1)	1.66	MAYBE	5.65	MAYBE	10.2
	O(n^2)	8.88	O(n^2)	8.81	MAYBE	14.28	MAYBE	0.21
	O(n^2)	2.27	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^2)	2.39	O(n^2)	2.19	O(n^1)	10.3	O(n^1)	6.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^1)	1.71	O(n^1)	1.78	O(n^1)	0.46	MAYBE	0.2
	O(n^2)	4.5	O(n^2)	4.8	MAYBE	56.62	MAYBE	0.21
	O(n^2)	15.34	O(n^2)	14.72	MAYBE	33.74	MAYBE	0.22
	O(n^2)	21.72	O(n^2)	22.81	MAYBE	37.22	MAYBE	0.2
	O(n^2)	14.42	O(n^2)	14.65	O(n^1)	7.39	MAYBE	0.22
	O(n^1)	2.92	TIMEOUT	60	O(n^1)	2.48	MAYBE	0.19
	TIMEOUT	60	TIMEOUT	60	O(n^2)	59.38	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	4.64	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	ERROR	15.74	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	ERROR	21.97	MAYBE	0.24
	O(n^1)	1.95	O(n^1)	1.81	O(n^1)	0.91	O(n^1)	0.28
	O(n^1)	1.91	O(n^1)	1.79	O(n^1)	0.52	O(n^1)	0.28
	O(1)	1.63	O(1)	1.57	O(n^1)	0.15	MAYBE	0.21
	O(1)	1.61	O(n^1)	1.77	MAYBE	3.53	MAYBE	0.2
	O(1)	1.55	O(1)	1.57	O(n^1)	0.21	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	40.31	MAYBE	0.22
	MAYBE	56.63	MAYBE	58.28	MAYBE	12.01	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.38	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	15.88	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	14.49	MAYBE	0.21
	MAYBE	3.15	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.67	O(1)	1.58	MAYBE	1.48	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	13.45	MAYBE	0.21
	MAYBE	2.81	MAYBE	2.79	O(n^1)	0.7	MAYBE	10.22
	O(1)	1.6	O(1)	1.53	MAYBE	2.36	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	25.97	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	14.67	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.57	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	17.3	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	30.02	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	16.62	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	O(n^1)	20.66	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	19.94	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.34	MAYBE	0.2
	MAYBE	1.72	MAYBE	1.72	MAYBE	6.23	MAYBE	10.21
	O(n^1)	1.97	O(n^1)	2.72	O(n^1)	3.51	MAYBE	0.21
	MAYBE	7.16	MAYBE	7.22	MAYBE	17.24	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	22.05	MAYBE	0.23
	MAYBE	1.85	MAYBE	8.38	MAYBE	5.49	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	39.95	MAYBE	0.24
	MAYBE	53.4	MAYBE	51.46	MAYBE	15.8	MAYBE	0.2
	MAYBE	1.68	MAYBE	3.16	MAYBE	7.82	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.99	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	15.09	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	50.2	MAYBE	0.22
	MAYBE	1.87	MAYBE	1.74	MAYBE	7.04	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	23.98	MAYBE	10.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	23.37	MAYBE	10.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.54	O(n^2)	1.83	O(n^2)	2.65	MAYBE	0.2
	MAYBE	1.75	MAYBE	3.63	MAYBE	4.71	MAYBE	10.2
	MAYBE	51.23	TIMEOUT	60	MAYBE	12.05	MAYBE	0.19
	MAYBE	1.76	MAYBE	3.7	MAYBE	4.9	MAYBE	10.2
	MAYBE	1.94	MAYBE	1.93	MAYBE	7.36	MAYBE	10.21
	MAYBE	1.79	MAYBE	2.69	MAYBE	4.52	MAYBE	10.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	17.28	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	31.76	MAYBE	0.22
	O(1)	1.53	O(1)	1.51	O(n^1)	0.75	O(n^1)	0.27
	MAYBE	11.2	MAYBE	11.05	TIMEOUT	60	MAYBE	0.21
	O(1)	1.56	O(n^1)	46.62	O(n^1)	30.73	O(n^1)	0.25
	O(n^1)	1.71	O(n^1)	1.68	O(n^1)	3.1	MAYBE	0.21
	O(1)	1.96	O(1)	2.04	MAYBE	3.69	MAYBE	0.21
	O(n^1)	2.06	TIMEOUT	60	MAYBE	9.2	MAYBE	0.2
	O(n^1)	2.31	TIMEOUT	60	MAYBE	8.76	MAYBE	0.2
	O(n^1)	2.34	O(n^1)	2.38	O(n^1)	0.98	O(n^1)	0.31
	O(1)	1.75	O(1)	1.77	MAYBE	2.42	MAYBE	0.2
	O(1)	1.53	O(1)	1.58	MAYBE	1.79	MAYBE	0.2
	O(1)	1.6	O(1)	1.56	O(n^1)	1.57	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	28.91	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	13.98	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	25.62	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	11.87	MAYBE	0.22
	O(n^2)	3.47	O(n^2)	8.49	O(n^2)	24.44	MAYBE	0.23
	O(n^2)	25.12	TIMEOUT	60	ERROR	20.62	MAYBE	0.34
	O(n^1)	1.81	O(n^1)	2.29	O(n^1)	9.47	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	24.34	MAYBE	0.26
	O(1)	1.92	TIMEOUT	60	ERROR	21.2	MAYBE	0.32
	O(n^2)	2.15	O(n^2)	2.93	O(n^2)	12.48	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^1)	1.76	O(n^1)	2.51	O(n^2)	4.94	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.61	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.56	O(1)	1.53	O(n^1)	0.99	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^2)	21.92	MAYBE	0.21
	O(1)	1.66	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	MAYBE	1.75	MAYBE	1.83	MAYBE	5.62	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^3)	57.04	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.56	O(1)	1.67	O(n^1)	0.41	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	33.42	MAYBE	0.21
	O(1)	1.63	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.6	O(1)	1.55	O(n^1)	0.2	MAYBE	10.2
	O(n^2)	34.78	O(n^1)	46.9	O(n^1)	14.65	O(n^1)	0.4
	O(n^1)	1.7	O(n^1)	1.81	O(n^1)	2.52	O(n^1)	0.34
	O(n^1)	1.76	O(n^1)	1.67	O(n^1)	0.78	O(n^1)	0.31
	O(1)	1.58	O(n^1)	47.67	O(n^1)	6.12	O(n^1)	0.28
	MAYBE	1.67	MAYBE	1.7	MAYBE	3.13	MAYBE	10.21
	O(1)	1.59	O(1)	1.63	O(n^1)	1.17	O(n^1)	0.32
	O(n^1)	25.39	TIMEOUT	60	ERROR	8.68	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	MAYBE	48.23	MAYBE	0.22
	O(n^1)	5.2	O(n^1)	4.55	O(n^1)	6.65	MAYBE	0.22
	O(1)	1.81	TIMEOUT	60	TIMEOUT	60	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	MAYBE	28.77	MAYBE	0.23
	O(n^1)	24.12	O(n^1)	52.2	O(n^1)	17.32	O(n^1)	13.4
	O(1)	1.53	O(1)	1.54	MAYBE	3.83	O(n^1)	0.31
	O(n^1)	1.81	O(n^1)	1.81	MAYBE	12.64	MAYBE	10.21
	O(1)	1.58	O(n^1)	47.52	O(n^1)	3.34	O(n^1)	5.84
	MAYBE	1.85	MAYBE	1.81	MAYBE	3.66	MAYBE	10.21
	O(n^2)	35.94	O(n^1)	47.02	O(n^1)	12.95	O(n^1)	0.37
	O(n^1)	1.7	O(n^2)	1.91	O(n^1)	1.18	O(n^1)	0.34
	O(n^1)	1.71	O(n^1)	1.89	O(n^1)	0.43	O(n^1)	0.34
	O(1)	1.63	O(n^1)	5.04	O(n^1)	5.28	O(n^1)	0.28
	O(1)	1.57	O(1)	1.53	O(n^1)	0.08	O(n^1)	0.23
	O(1)	1.63	O(1)	1.55	O(n^1)	0.25	O(n^1)	0.27
	O(n^2)	25.11	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	MAYBE	41.39	MAYBE	0.23
	O(n^1)	1.92	O(n^1)	3.8	O(n^1)	3.59	MAYBE	0.23
	O(1)	1.76	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	MAYBE	1.71	MAYBE	1.75	MAYBE	3.75	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	11.03	MAYBE	0.27
	O(n^1)	1.84	O(n^1)	2.96	MAYBE	48.02	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.76	TIMEOUT	60	ERROR	10.42	MAYBE	0.26
	MAYBE	2.81	TIMEOUT	60	TIMEOUT	60	MAYBE	0.2
	O(n^1)	31.36	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(1)	1.57	O(1)	1.54	MAYBE	2.08	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	27.14	MAYBE	0.22
	O(1)	1.61	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	MAYBE	1.73	MAYBE	1.77	MAYBE	3.19	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^1)	1.86	O(n^1)	2.83	O(n^2)	6.75	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	46.6	MAYBE	0.2
	O(1)	1.71	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^2)	2.23	O(n^2)	2.17	O(n^1)	6.88	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	O(n^1)	2.67
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.06
	TIMEOUT	60	TIMEOUT	60	MAYBE	52.61	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	O(n^1)	0.84
	TIMEOUT	60	TIMEOUT	60	MAYBE	24.49	MAYBE	10.22
	O(n^2)	23.14	O(n^1)	47.33	O(n^1)	5.66	O(n^1)	0.57
	MAYBE	3.05	MAYBE	3.18	O(n^1)	1.82	MAYBE	57.77
	O(n^1)	1.72	O(n^1)	1.71	O(n^1)	0.65	O(n^1)	0.33
	O(1)	1.58	O(n^1)	2.44	O(n^1)	1.76	O(n^1)	0.33
	MAYBE	1.73	MAYBE	1.75	MAYBE	3.15	MAYBE	10.2
	O(n^1)	46.97	O(n^1)	46.99	TIMEOUT	60	O(n^1)	0.43
	O(n^1)	1.72	O(n^1)	1.96	O(n^1)	1.79	O(n^1)	0.37
	O(n^1)	1.78	O(n^2)	1.95	O(n^1)	1.61	O(n^1)	0.37
	O(1)	1.65	O(n^1)	10.21	O(n^1)	24.43	O(n^1)	0.29
	O(1)	1.55	O(1)	1.51	O(n^1)	0.07	O(n^1)	0.24
	O(1)	1.54	O(1)	1.57	O(n^1)	0.29	O(n^1)	0.28
	O(n^1)	35.44	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	8.44	MAYBE	0.21
	O(n^1)	1.73	O(n^1)	1.88	MAYBE	17.86	MAYBE	0.22
	O(1)	1.67	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	MAYBE	1.74	MAYBE	1.74	MAYBE	3.19	MAYBE	10.21
	MAYBE	52.7	TIMEOUT	60	MAYBE	7.71	MAYBE	0.2
	O(n^1)	28.23	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.56	O(1)	1.55	MAYBE	3.36	MAYBE	0.2
	O(n^1)	1.7	O(n^1)	1.83	MAYBE	16.08	MAYBE	0.2
	O(1)	1.61	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	MAYBE	1.88	MAYBE	1.85	MAYBE	3.65	MAYBE	10.21
	O(n^1)	46.89	O(n^1)	47.02	TIMEOUT	60	O(n^1)	0.4
	O(n^1)	1.73	O(n^1)	1.94	O(n^1)	2.54	O(n^1)	0.62
	O(n^1)	1.72	O(n^1)	1.96	O(n^1)	2.04	O(n^1)	0.48
	O(1)	1.68	O(n^1)	46.95	O(n^1)	28.54	O(n^1)	0.27
	O(1)	1.57	O(1)	1.55	O(n^1)	0.16	O(n^1)	0.25
	O(1)	1.67	O(1)	1.57	O(n^1)	0.82	O(n^1)	0.39
	O(n^3)	26.84	TIMEOUT	60	ERROR	13.86	MAYBE	0.29
	O(n^1)	2.2	O(n^1)	5.76	O(n^2)	12.12	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.93	TIMEOUT	60	ERROR	13.48	MAYBE	0.27
	O(1)	1.59	O(1)	1.5	O(n^1)	0.7	O(n^1)	0.3
	O(1)	1.76	O(1)	1.66	O(n^1)	3.35	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	14.11	MAYBE	0.27
	O(n^1)	1.96	O(n^1)	2.59	O(n^2)	8.51	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.77	TIMEOUT	60	ERROR	13.84	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	MAYBE	33.22	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	48.64	MAYBE	0.23
	O(n^1)	24.88	TIMEOUT	60	TIMEOUT	60	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	O(n^2)	29.06	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	O(n^2)	35.99	MAYBE	0.23
	O(1)	1.73	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	O(1)	1.53	O(1)	1.56	O(n^1)	0.45	O(n^1)	0.3
	O(n^1)	1.95	O(n^1)	2.02	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^1)	1.74	O(n^1)	1.97	O(n^2)	3.86	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.77	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(n^1)	1.8	O(n^1)	1.83	MAYBE	4.84	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	9.77	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.83	TIMEOUT	60	ERROR	9.23	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	MAYBE	56.24	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	11.01	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.77	TIMEOUT	60	ERROR	10.46	MAYBE	0.26
	O(1)	1.6	O(1)	1.54	O(n^1)	1.02	O(n^1)	0.27
	TIMEOUT	60	TIMEOUT	60	MAYBE	27.53	MAYBE	0.23
	O(n^2)	57.82	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^1)	1.85	O(n^1)	1.84	O(n^1)	1.75	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^2)	11.15	MAYBE	0.2
	O(1)	1.57	TIMEOUT	60	O(n^1)	17.22	MAYBE	0.22
	O(n^1)	1.74	O(n^1)	1.82	O(n^1)	0.07	O(n^1)	0.23
	TIMEOUT	60	TIMEOUT	60	MAYBE	45.95	MAYBE	0.21
	O(n^1)	47.38	O(n^1)	49.71	TIMEOUT	60	O(n^1)	0.49
	O(n^1)	1.89	O(n^1)	1.94	O(n^1)	2.26	O(n^1)	0.42
	O(n^1)	5.0	O(n^1)	3.29	O(n^1)	7.74	O(n^1)	0.51
	O(1)	1.74	O(n^1)	47.27	O(n^1)	58.75	O(n^1)	0.31
	O(n^1)	1.81	O(n^1)	1.77	O(n^1)	0.57	O(n^1)	0.29
	O(n^1)	1.72	O(n^1)	1.75	O(n^1)	1.73	O(n^1)	0.33
	O(n^1)	25.69	TIMEOUT	60	ERROR	14.32	MAYBE	0.3
	TIMEOUT	60	TIMEOUT	60	MAYBE	40.03	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.85	TIMEOUT	60	ERROR	14.38	MAYBE	0.29
	TIMEOUT	60	TIMEOUT	60	MAYBE	56.12	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^1)	1.74	O(n^1)	1.94	O(n^2)	3.68	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.65	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(n^1)	1.78	O(n^1)	1.81	O(n^2)	3.35	MAYBE	0.2
	O(n^1)	49.69	O(n^1)	49.57	TIMEOUT	60	O(n^1)	0.68
	O(1)	1.54	O(1)	1.56	O(n^1)	0.43	O(n^1)	0.29
	O(n^1)	47.07	O(n^1)	47.68	O(n^1)	0.8	O(n^2)	7.98
	O(n^1)	48.83	O(n^1)	47.62	O(n^1)	6.75	O(n^1)	0.41
	TIMEOUT	60	TIMEOUT	60	ERROR	20.67	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	O(n^2)	19.83	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	O(n^1)	29.62	MAYBE	0.23
	O(1)	1.79	TIMEOUT	60	ERROR	43.25	MAYBE	0.25
	O(n^1)	2.09	O(n^1)	2.21	O(n^1)	2.42	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	35.34	MAYBE	0.33
	TIMEOUT	60	TIMEOUT	60	MAYBE	42.25	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	36.21	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.32
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.7	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(n^3)	46.19	TIMEOUT	60	ERROR	18.52	MAYBE	0.33
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	O(1)	1.95	TIMEOUT	60	ERROR	17.94	MAYBE	0.31
	TIMEOUT	60	TIMEOUT	60	MAYBE	59.15	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	13.35	MAYBE	0.3
	O(n^1)	1.94	O(n^1)	6.03	O(n^1)	5.66	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	12.79	MAYBE	0.29
	MAYBE	2.07	TIMEOUT	60	MAYBE	27.2	MAYBE	0.24
	O(n^2)	40.09	O(n^1)	48.04	TIMEOUT	60	O(n^1)	1.21
	O(n^2)	2.08	O(n^3)	2.14	O(n^1)	1.91	O(n^1)	0.44
	TIMEOUT	60	TIMEOUT	60	MAYBE	31.8	MAYBE	11.13
	O(1)	1.64	O(n^1)	49.12	O(n^1)	10.81	O(n^1)	0.31
	O(n^1)	1.78	O(n^2)	1.87	O(n^1)	0.7	O(n^1)	0.37
	O(n^1)	30.83	TIMEOUT	60	ERROR	23.98	MAYBE	0.37
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	ERROR	23.34	MAYBE	0.28
	O(1)	2.23	TIMEOUT	60	ERROR	23.97	MAYBE	0.35
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^2)	28.02	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^1)	1.74	O(n^2)	2.02	O(n^1)	5.39	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	49.67	MAYBE	0.21
	O(1)	1.71	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(1)	1.67	O(1)	1.59	O(n^1)	1.09	MAYBE	0.2
	O(n^1)	47.57	O(n^1)	47.81	O(n^1)	14.86	O(n^1)	0.89
	MAYBE	2.24	MAYBE	4.36	MAYBE	10.89	MAYBE	31.8
	O(1)	1.59	O(1)	1.55	O(n^1)	0.41	O(n^1)	0.32
	O(n^1)	2.73	O(n^1)	3.77	O(n^1)	1.82	O(n^1)	0.39
	O(1)	1.53	O(1)	1.54	O(n^1)	0.05	O(n^1)	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^1)	1.77	O(n^2)	2.79	O(n^1)	5.75	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.69	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.53	O(1)	1.54	O(n^1)	0.24	O(n^1)	0.24
	O(n^1)	1.8	O(n^1)	1.79	O(n^1)	1.41	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	O(n^1)	1.81	O(n^1)	2.5	O(n^1)	7.95	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(1)	1.76	TIMEOUT	60	TIMEOUT	60	MAYBE	0.26
	O(n^2)	2.34	O(n^2)	2.31	O(n^1)	9.09	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	11.31	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	O(1)	1.82	TIMEOUT	60	ERROR	11.02	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	ERROR	19.04	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	18.49	MAYBE	0.28
	O(1)	1.61	O(1)	1.53	O(n^1)	1.87	O(n^1)	0.34
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^2)	23.69	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.62	O(1)	1.66	MAYBE	1.86	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	MAYBE	17.47	MAYBE	0.22
	O(1)	1.74	TIMEOUT	60	MAYBE	34.14	MAYBE	0.22
	MAYBE	4.5	MAYBE	4.52	MAYBE	2.05	MAYBE	0.21
	O(n^1)	27.67	TIMEOUT	60	O(n^1)	17.23	O(n^1)	37.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	51.43	MAYBE	55.57
	O(n^1)	1.89	O(n^1)	2.06	O(n^1)	0.7	O(n^2)	25.76
	O(1)	1.59	O(n^1)	48.13	O(n^1)	4.56	O(n^1)	9.54
	O(n^2)	27.75	TIMEOUT	60	ERROR	26.17	MAYBE	0.35
	O(n^1)	1.79	O(n^1)	2.03	O(n^1)	9.44	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	21.84	MAYBE	0.27
	O(1)	2.08	TIMEOUT	60	ERROR	26.92	MAYBE	0.32
	O(n^2)	4.49	O(n^2)	4.67	O(n^2)	26.56	MAYBE	0.21
	O(n^1)	47.07	O(n^1)	46.88	O(n^1)	36.57	O(n^1)	0.33
	O(n^1)	1.71	O(n^1)	1.94	O(n^1)	1.97	O(n^1)	0.3
	O(n^1)	1.71	O(n^1)	2.02	O(n^1)	0.69	O(n^1)	0.31
	O(1)	1.59	O(n^1)	47.18	O(n^1)	9.06	O(n^1)	0.27
	O(1)	1.5	O(1)	1.51	O(n^1)	0.05	O(n^1)	0.22
	MAYBE	1.77	MAYBE	1.78	MAYBE	7.83	MAYBE	10.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	O(n^1)	4.1
	TIMEOUT	60	TIMEOUT	60	MAYBE	56.92	MAYBE	56.59
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	O(n^1)	1.61
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.95
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	O(n^1)	2.95
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	57.19
	TIMEOUT	60	TIMEOUT	60	MAYBE	48.7	O(n^3)	39.54
	O(n^1)	50.2	O(n^1)	51.53	TIMEOUT	60	O(n^1)	0.89
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	57.34
	TIMEOUT	60	TIMEOUT	60	ERROR	53.55	MAYBE	0.3
	O(n^1)	1.94	O(n^1)	5.68	O(n^1)	15.55	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	24.23	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	53.44	MAYBE	0.3
	O(1)	1.64	O(1)	1.64	O(n^1)	4.67	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	13.0	MAYBE	0.29
	O(n^1)	1.94	O(n^1)	2.61	MAYBE	50.68	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.84	TIMEOUT	60	ERROR	12.49	MAYBE	0.27
	MAYBE	2.89	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^1)	47.87	O(n^1)	48.96	TIMEOUT	60	O(n^1)	0.46
	O(n^1)	1.73	O(n^1)	1.89	O(n^1)	2.16	O(n^1)	0.44
	TIMEOUT	60	TIMEOUT	60	MAYBE	51.22	TIMEOUT	60
	O(1)	1.65	O(n^1)	47.04	O(n^1)	39.41	O(n^1)	0.33
	O(1)	2.07	O(1)	2.09	O(n^1)	0.55	O(n^1)	0.29
	O(1)	2.05	O(1)	2.15	O(n^1)	1.68	O(n^1)	0.35
	TIMEOUT	60	TIMEOUT	60	ERROR	18.25	MAYBE	0.31
	O(n^1)	1.82	O(n^1)	2.72	O(n^2)	9.02	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	27.94	MAYBE	0.25
	O(1)	1.86	TIMEOUT	60	ERROR	17.81	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	MAYBE	29.97	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	MAYBE	54.0	MAYBE	0.23
	O(n^1)	36.74	TIMEOUT	60	ERROR	18.17	MAYBE	0.35
	O(n^1)	1.77	O(n^1)	1.99	O(n^1)	14.26	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	21.66	MAYBE	0.27
	O(1)	2.18	TIMEOUT	60	ERROR	17.74	MAYBE	0.33
	O(n^1)	1.9	O(n^1)	2.23	O(n^1)	8.89	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	13.77	MAYBE	0.43
	TIMEOUT	60	TIMEOUT	60	ERROR	15.19	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.3
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.42
	TIMEOUT	60	TIMEOUT	60	ERROR	8.26	MAYBE	0.61
	TIMEOUT	60	TIMEOUT	60	ERROR	20.96	MAYBE	0.29
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.39
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.62
	TIMEOUT	60	TIMEOUT	60	ERROR	20.95	MAYBE	0.31
	TIMEOUT	60	TIMEOUT	60	ERROR	14.71	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	ERROR	10.62	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	37.0	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	ERROR	16.92	MAYBE	0.34
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	ERROR	52.92	MAYBE	0.33
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(n^1)	49.17	O(n^1)	49.07	TIMEOUT	60	O(n^1)	1.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	55.96
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	51.51	O(n^1)	48.08	TIMEOUT	60	O(n^1)	0.48
	O(n^1)	50.5	O(n^1)	49.55	TIMEOUT	60	O(n^1)	1.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	55.45	MAYBE	13.49
	TIMEOUT	60	TIMEOUT	60	MAYBE	55.37	TIMEOUT	60
	O(n^1)	50.5	O(n^1)	48.58	TIMEOUT	60	O(n^1)	0.56
	TIMEOUT	60	TIMEOUT	60	ERROR	5.48	MAYBE	0.92
	TIMEOUT	60	TIMEOUT	60	ERROR	20.33	MAYBE	0.46
	TIMEOUT	60	TIMEOUT	60	ERROR	12.06	MAYBE	0.57
	O(1)	3.09	TIMEOUT	60	ERROR	5.21	MAYBE	0.91
	TIMEOUT	60	TIMEOUT	60	ERROR	7.45	MAYBE	1.75
	TIMEOUT	60	TIMEOUT	60	ERROR	12.59	MAYBE	0.59
	TIMEOUT	60	TIMEOUT	60	ERROR	14.0	MAYBE	0.92
	O(1)	4.96	TIMEOUT	60	TIMEOUT	60	MAYBE	1.93
	TIMEOUT	60	TIMEOUT	60	ERROR	12.37	MAYBE	0.59
	TIMEOUT	60	TIMEOUT	60	ERROR	19.76	MAYBE	0.45
	TIMEOUT	60	TIMEOUT	60	ERROR	8.87	MAYBE	0.54
	TIMEOUT	60	TIMEOUT	60	ERROR	17.89	MAYBE	0.33
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.35
	O(1)	3.28	TIMEOUT	60	ERROR	8.14	MAYBE	0.52
	TIMEOUT	60	TIMEOUT	60	ERROR	14.8	MAYBE	0.78
	TIMEOUT	60	TIMEOUT	60	ERROR	34.28	MAYBE	0.36
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.46
	O(1)	3.28	TIMEOUT	60	ERROR	12.91	MAYBE	0.81
	TIMEOUT	60	TIMEOUT	60	ERROR	32.98	MAYBE	0.37
	TIMEOUT	60	TIMEOUT	60	ERROR	16.77	MAYBE	0.32
	TIMEOUT	60	TIMEOUT	60	ERROR	21.14	MAYBE	0.35
	O(n^1)	2.5	O(n^1)	2.55	O(n^1)	18.79	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	26.45	MAYBE	0.27
	O(1)	2.17	TIMEOUT	60	ERROR	20.52	MAYBE	0.35
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.56
	TIMEOUT	60	TIMEOUT	60	ERROR	54.19	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.36
	O(1)	3.07	TIMEOUT	60	ERROR	59.03	MAYBE	0.59
	O(n^1)	2.67	O(n^1)	3.4	ERROR	57.49	MAYBE	0.26
	O(n^1)	2.05	O(n^1)	2.51	O(n^1)	23.31	MAYBE	0.23
	TIMEOUT	60	TIMEOUT	60	ERROR	18.72	MAYBE	0.43
	TIMEOUT	60	TIMEOUT	60	ERROR	14.33	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.3
	O(1)	2.6	TIMEOUT	60	ERROR	17.73	MAYBE	0.43
	TIMEOUT	60	TIMEOUT	60	ERROR	9.42	MAYBE	0.62
	TIMEOUT	60	TIMEOUT	60	ERROR	24.21	MAYBE	0.31
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.4
	O(1)	2.7	TIMEOUT	60	ERROR	8.34	MAYBE	0.68
	TIMEOUT	60	TIMEOUT	60	ERROR	23.99	MAYBE	0.29
	TIMEOUT	60	TIMEOUT	60	ERROR	13.73	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	ERROR	18.14	MAYBE	0.32
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.92	TIMEOUT	60	ERROR	17.06	MAYBE	0.3
	TIMEOUT	60	TIMEOUT	60	ERROR	23.36	MAYBE	0.35
	O(n^2)	10.67	O(n^2)	13.6	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	34.79	MAYBE	0.28
	O(1)	2.35	TIMEOUT	60	ERROR	21.65	MAYBE	0.37
	O(n^1)	5.01	O(n^1)	8.78	O(n^1)	18.42	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	O(n^1)	10.63	MAYBE	0.24
	O(n^3)	55.58	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	O(n^2)	2.53	O(n^2)	2.62	O(n^2)	4.14	MAYBE	0.21
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(1)	1.71	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	ERROR	9.57	MAYBE	0.29
	O(n^2)	6.82	O(n^2)	7.83	MAYBE	50.25	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.97	TIMEOUT	60	TIMEOUT	60	MAYBE	0.29
	TIMEOUT	60	TIMEOUT	60	ERROR	14.23	MAYBE	0.51
	TIMEOUT	60	TIMEOUT	60	ERROR	23.63	MAYBE	0.31
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.36
	TIMEOUT	60	TIMEOUT	60	ERROR	13.41	MAYBE	0.52
	TIMEOUT	60	TIMEOUT	60	ERROR	16.24	MAYBE	0.82
	TIMEOUT	60	TIMEOUT	60	ERROR	39.29	MAYBE	0.36
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.5
	TIMEOUT	60	TIMEOUT	60	ERROR	14.11	MAYBE	0.91
	TIMEOUT	60	TIMEOUT	60	ERROR	38.75	MAYBE	0.36
	TIMEOUT	60	TIMEOUT	60	ERROR	22.83	MAYBE	0.31
	TIMEOUT	60	TIMEOUT	60	ERROR	35.21	MAYBE	0.31
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	ERROR	33.52	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.32
	TIMEOUT	60	TIMEOUT	60	ERROR	37.04	MAYBE	0.43
	TIMEOUT	60	TIMEOUT	60	ERROR	10.91	MAYBE	0.29
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.32
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.45
	TIMEOUT	60	TIMEOUT	60	ERROR	10.63	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.28
	O(n^1)	49.83	O(n^1)	49.9	TIMEOUT	60	O(n^1)	1.26
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	59.14
	O(n^1)	48.39	O(n^1)	48.46	TIMEOUT	60	O(n^1)	0.56
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	MAYBE	51.6	MAYBE	47.67
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	51.3	O(n^1)	54.69	ERROR	42.9	O(n^1)	2.25
	TIMEOUT	60	TIMEOUT	60	MAYBE	53.73	MAYBE	56.64
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.14
	TIMEOUT	60	TIMEOUT	60	ERROR	13.47	MAYBE	0.47
	TIMEOUT	60	TIMEOUT	60	ERROR	28.49	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.34
	O(1)	3.05	TIMEOUT	60	TIMEOUT	60	MAYBE	0.47
	TIMEOUT	60	TIMEOUT	60	ERROR	10.84	MAYBE	0.67
	TIMEOUT	60	TIMEOUT	60	ERROR	27.38	MAYBE	0.33
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.42
	O(1)	3.06	TIMEOUT	60	ERROR	9.45	MAYBE	0.71
	TIMEOUT	60	TIMEOUT	60	MAYBE	55.57	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	ERROR	26.25	MAYBE	0.31
	TIMEOUT	60	TIMEOUT	60	ERROR	19.57	MAYBE	0.29
	O(n^1)	52.57	O(n^1)	52.74	ERROR	39.37	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	28.6
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	22.25
	O(1)	1.83	O(n^1)	47.78	TIMEOUT	60	O(n^1)	0.75
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^2)	12.58	O(n^2)	17.41	TIMEOUT	60	MAYBE	23.35
	TIMEOUT	60	TIMEOUT	60	ERROR	44.08	TIMEOUT	60
	O(1)	2.39	O(n^1)	48.17	TIMEOUT	60	O(n^1)	1.69
	TIMEOUT	60	TIMEOUT	60	MAYBE	14.89	MAYBE	10.24
	O(n^1)	5.72	O(n^1)	3.88	O(n^1)	31.18	O(n^2)	13.23
	TIMEOUT	60	TIMEOUT	60	O(n^1)	10.39	O(n^2)	11.08
	O(n^1)	46.95	O(n^1)	49.87	TIMEOUT	60	O(n^1)	0.75
	O(1)	1.58	O(n^1)	1.76	O(n^1)	1.8	O(n^1)	0.37
	TIMEOUT	60	TIMEOUT	60	MAYBE	49.18	MAYBE	12.46
	O(1)	1.68	O(n^1)	47.64	O(n^1)	24.41	O(n^1)	0.38
	O(n^1)	50.41	O(n^1)	50.2	TIMEOUT	60	O(n^1)	0.81
	O(1)	1.57	O(n^1)	1.8	O(n^1)	2.2	O(n^1)	0.36
	TIMEOUT	60	TIMEOUT	60	MAYBE	50.14	MAYBE	16.66
	O(1)	1.65	O(n^1)	46.98	O(n^1)	26.44	O(n^1)	0.41
	O(1)	1.56	O(n^1)	1.85	O(n^1)	1.8	O(n^1)	0.36
	TIMEOUT	60	TIMEOUT	60	ERROR	9.95	MAYBE	0.34
	TIMEOUT	60	TIMEOUT	60	ERROR	8.08	MAYBE	0.26
	TIMEOUT	60	TIMEOUT	60	ERROR	45.36	MAYBE	0.27
	O(1)	2.07	TIMEOUT	60	TIMEOUT	60	MAYBE	0.33
	TIMEOUT	60	TIMEOUT	60	ERROR	40.13	MAYBE	0.45
	TIMEOUT	60	TIMEOUT	60	ERROR	12.23	MAYBE	0.28
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.32
	O(1)	2.7	TIMEOUT	60	TIMEOUT	60	MAYBE	0.47
	TIMEOUT	60	TIMEOUT	60	ERROR	12.16	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.25
	TIMEOUT	60	TIMEOUT	60	ERROR	9.38	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	O(n^2)	36.26	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	1.81	TIMEOUT	60	TIMEOUT	60	MAYBE	0.27
	TIMEOUT	60	TIMEOUT	60	ERROR	11.14	MAYBE	0.3
	O(n^2)	7.49	O(n^2)	8.54	TIMEOUT	60	MAYBE	0.24
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.24
	O(1)	2.02	TIMEOUT	60	ERROR	34.74	MAYBE	0.3
	O(n^1)	3.17	O(n^1)	3.04	O(n^1)	9.9	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	O(n^1)	4.74	MAYBE	0.23
	O(n^1)	47.45	O(n^1)	49.7	TIMEOUT	60	O(n^1)	0.55
	O(n^1)	1.69	O(n^1)	1.7	O(n^1)	0.55	O(n^1)	0.29
	TIMEOUT	60	TIMEOUT	60	MAYBE	51.39	MAYBE	21.86
	O(1)	1.63	O(n^1)	47.19	O(n^1)	18.07	O(n^1)	0.32
	O(n^1)	48.88	O(n^1)	48.21	TIMEOUT	60	O(n^1)	1.22
	O(n^1)	1.89	O(n^1)	1.87	O(n^1)	4.84	O(n^2)	7.44
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	53.05
	O(1)	1.71	O(n^1)	48.49	O(n^1)	45.88	O(n^1)	0.35
	O(1)	1.55	O(1)	1.57	O(n^1)	0.18	MAYBE	0.19
	O(1)	1.53	O(1)	1.58	MAYBE	2.72	MAYBE	0.21
	O(1)	1.62	O(1)	1.63	O(n^1)	6.42	MAYBE	0.24
	O(1)	1.59	O(1)	1.58	O(n^1)	2.75	MAYBE	0.22
	O(1)	1.55	O(1)	1.6	O(n^1)	0.74	MAYBE	0.21
	O(1)	1.51	O(1)	1.54	O(n^1)	0.23	O(n^1)	0.27
	O(1)	1.65	O(1)	1.67	ERROR	25.94	MAYBE	0.25
	O(1)	1.58	O(1)	1.58	O(n^1)	1.23	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	ERROR	24.39	MAYBE	0.23
	O(1)	3.57	O(1)	3.35	MAYBE	10.33	MAYBE	0.19
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.22
	O(n^2)	19.57	O(n^2)	23.05	TIMEOUT	60	MAYBE	0.27
	O(n^1)	1.81	O(n^1)	1.82	O(n^1)	5.67	O(n^1)	0.28
	O(n^1)	2.69	O(n^1)	47.38	O(n^1)	2.06	O(n^1)	0.28
	O(n^2)	8.22	O(n^2)	8.08	O(n^1)	2.96	O(n^1)	0.3
	O(1)	1.69	O(n^1)	47.15	TIMEOUT	60	O(n^1)	17.1
	O(n^2)	2.92	TIMEOUT	60	O(n^1)	2.2	MAYBE	0.21
	O(n^1)	1.81	O(n^1)	1.88	O(n^1)	1.89	O(n^2)	7.7
	O(n^1)	47.93	O(n^1)	47.33	ERROR	16.21	O(n^1)	4.25
	O(n^1)	1.71	O(n^1)	1.72	O(n^1)	0.29	O(n^1)	0.31
	O(1)	1.61	O(n^1)	1.99	O(n^1)	4.54	MAYBE	0.2
	O(1)	1.53	O(1)	1.56	O(n^1)	0.12	O(n^1)	0.26
	O(1)	1.55	O(n^1)	47.01	O(n^1)	3.6	O(n^1)	0.25
	O(1)	1.53	O(n^1)	46.94	O(n^1)	3.12	O(n^1)	0.25
	O(1)	1.55	O(n^1)	47.26	O(n^1)	3.36	O(n^1)	0.25
	O(1)	1.57	O(n^1)	26.06	O(n^1)	4.42	O(n^1)	0.25
	O(n^1)	46.64	O(n^1)	46.62	O(n^1)	1.78	O(n^1)	0.53
	O(n^1)	46.64	O(n^1)	46.63	O(n^1)	1.65	O(n^1)	0.29
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	10.21
	O(1)	1.58	O(n^1)	46.75	O(n^1)	1.41	O(n^1)	0.23
	O(1)	1.55	O(n^1)	46.76	O(n^1)	17.37	O(n^1)	0.26
	MAYBE	3.98	MAYBE	4.2	MAYBE	56.79	MAYBE	10.21
	O(1)	1.56	O(n^1)	47.01	O(n^1)	1.13	O(n^1)	0.23
	MAYBE	4.34	MAYBE	4.29	MAYBE	57.87	MAYBE	10.21
	O(1)	1.57	O(n^1)	46.68	O(n^1)	3.79	O(n^1)	0.24
	O(1)	1.55	O(n^1)	47.0	O(n^1)	3.69	O(n^1)	0.25
	O(1)	1.56	O(1)	31.93	O(n^1)	4.69	O(n^1)	0.24
	O(1)	1.69	O(1)	7.62	TIMEOUT	60	MAYBE	0.2
	O(1)	1.55	O(1)	7.61	TIMEOUT	60	MAYBE	0.21
	O(1)	1.68	O(n^1)	46.65	O(n^1)	13.76	O(n^1)	0.25
	O(1)	1.56	O(n^1)	46.88	O(n^1)	5.2	O(n^1)	0.24
	O(1)	1.66	O(n^1)	46.95	O(n^1)	13.33	O(n^1)	0.25
	O(1)	1.56	O(1)	13.63	O(n^1)	0.26	O(n^1)	0.25
	O(1)	1.56	O(1)	13.64	O(n^1)	1.52	O(n^1)	0.26
	O(1)	1.54	O(1)	13.64	O(n^1)	1.5	O(n^1)	0.25
	O(1)	1.68	O(1)	13.61	O(n^1)	1.58	O(n^1)	0.25
	O(1)	1.59	O(1)	13.65	O(n^1)	1.53	O(n^1)	0.24
	O(1)	1.66	O(1)	13.66	O(n^1)	0.22	O(n^1)	0.24
	O(1)	1.57	O(1)	7.63	O(n^1)	12.21	O(n^1)	0.24
	O(1)	1.66	O(1)	7.62	O(n^1)	9.56	O(n^1)	0.25
	O(1)	1.53	O(1)	13.65	O(n^1)	3.6	O(n^1)	0.24
	O(1)	1.66	O(n^1)	14.21	O(n^1)	2.44	O(n^1)	0.24
	O(1)	1.55	O(n^1)	14.09	O(n^1)	4.2	O(n^1)	0.25
	O(1)	1.52	O(n^1)	7.71	O(n^1)	2.17	O(n^1)	0.24
	O(1)	1.54	O(n^1)	7.68	O(n^1)	0.29	O(n^1)	0.24
	O(1)	1.55	O(1)	7.59	O(n^1)	5.07	O(n^1)	0.24
	O(1)	1.66	O(1)	13.62	O(n^1)	0.42	O(n^1)	0.24
	O(1)	1.55	O(1)	13.63	O(n^1)	4.06	O(n^1)	0.24
	O(1)	1.55	O(1)	13.71	O(n^1)	0.25	O(n^1)	0.24
	O(1)	1.55	O(1)	13.69	O(n^1)	1.72	O(n^1)	0.24
	O(1)	1.55	O(1)	13.63	O(n^1)	4.02	O(n^1)	0.25
	O(1)	1.6	O(1)	7.63	O(n^1)	6.68	O(n^1)	0.23
	O(1)	1.54	O(1)	7.63	O(n^1)	3.95	O(n^1)	0.24
	O(1)	1.52	O(1)	7.62	O(n^1)	7.21	O(n^1)	0.25
	O(1)	1.69	O(1)	13.74	O(n^1)	3.84	O(n^1)	0.24
	O(1)	1.6	O(1)	13.63	O(n^1)	3.86	O(n^1)	0.24
	O(1)	1.56	O(1)	7.63	O(n^1)	5.52	O(n^1)	0.25
	O(1)	1.63	O(1)	7.61	O(n^1)	4.2	O(n^1)	0.25
	O(1)	1.66	O(1)	7.65	O(n^1)	5.49	O(n^1)	0.25
	O(1)	1.54	O(1)	13.63	O(n^1)	4.16	O(n^1)	0.25
	O(1)	1.54	O(1)	13.67	O(n^1)	1.54	O(n^1)	0.22
	O(1)	1.53	O(1)	13.65	O(n^1)	0.25	O(n^1)	0.25
	O(1)	1.53	O(1)	13.64	O(n^1)	4.08	O(n^1)	0.26
	O(1)	1.59	O(1)	13.65	O(n^1)	0.44	O(n^1)	0.24
	O(1)	1.57	O(1)	7.62	O(n^1)	5.09	O(n^1)	0.25
	O(1)	1.54	O(n^1)	7.72	O(n^1)	0.27	O(n^1)	0.23
	O(1)	1.66	O(n^1)	7.7	O(n^1)	2.12	O(n^1)	0.25
	O(1)	1.57	O(n^1)	14.12	O(n^1)	4.01	O(n^1)	0.23
	O(1)	1.56	O(n^1)	14.3	O(n^1)	2.42	O(n^1)	0.25
	O(1)	1.51	O(1)	13.66	O(n^1)	4.26	O(n^1)	0.23
	O(1)	1.54	O(1)	13.68	O(n^1)	3.68	O(n^1)	0.25
	O(1)	1.55	O(1)	7.62	O(n^1)	10.21	O(n^1)	0.23
	O(1)	1.54	O(1)	7.68	O(n^1)	13.18	O(n^1)	0.25
	O(1)	1.67	O(n^1)	1.82	O(n^1)	2.41	O(n^1)	0.23
	O(1)	1.56	O(n^1)	1.9	O(n^1)	0.28	O(n^1)	0.24
	O(1)	1.58	O(n^1)	2.32	O(n^1)	0.28	O(n^1)	0.24
	O(1)	1.55	O(n^1)	1.88	O(n^1)	2.72	O(n^1)	0.24
	O(1)	1.55	O(n^1)	47.35	ERROR	59.37	O(n^1)	0.24
	O(n^1)	7.78	O(1)	31.75	O(n^1)	1.21	O(n^1)	0.26
	O(1)	1.56	O(n^1)	14.04	TIMEOUT	60	O(n^1)	0.24
	O(n^1)	1.78	O(1)	7.73	MAYBE	54.07	MAYBE	0.21
	O(1)	1.57	O(n^1)	47.07	O(n^1)	24.13	O(n^1)	0.24
	O(1)	1.57	O(n^1)	46.92	O(n^1)	4.54	O(n^1)	0.24
	O(1)	1.56	O(n^1)	46.88	O(n^1)	29.67	O(n^1)	0.27
	O(1)	1.54	O(n^1)	7.82	O(n^1)	21.87	O(n^1)	0.25
	O(1)	1.53	O(1)	1.62	O(n^1)	0.4	MAYBE	0.19
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	0.21
	O(1)	1.57	O(n^1)	47.57	ERROR	13.37	O(n^1)	0.29
	TIMEOUT	60	TIMEOUT	60	ERROR	24.85	MAYBE	56.1
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	57.79
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	55.52
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	55.51
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.3
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	55.48
	O(1)	1.54	O(n^1)	46.8	O(n^1)	1.39	O(n^1)	0.24
	O(1)	1.54	O(n^1)	47.33	O(n^1)	11.57	O(n^1)	0.24
	O(1)	1.59	MAYBE	5.65	O(n^1)	1.37	O(n^1)	0.25
	O(1)	1.56	O(n^1)	46.8	O(n^1)	3.94	O(n^1)	0.25
	O(n^1)	49.5	O(n^1)	48.97	TIMEOUT	60	MAYBE	58.97
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	MAYBE	56.06
	O(1)	1.55	O(n^1)	46.97	TIMEOUT	60	O(n^1)	0.25
	O(n^1)	47.21	O(n^1)	47.3	ERROR	12.3	O(n^1)	0.26
	TIMEOUT	60	TIMEOUT	60	MAYBE	8.44	MAYBE	0.2
	TIMEOUT	60	TIMEOUT	60	MAYBE	27.98	MAYBE	0.2
	O(1)	1.57	O(1)	1.61	O(n^1)	0.15	O(n^1)	0.26
	O(1)	1.57	TIMEOUT	60	ERROR	12.49	O(n^1)	0.26