Tool	YES	MAYBE	TIMEOUT
AProVE 2011	618	27	678
CaT 1.5	447	850	26
TCT 1.6	385	0	938

Example	AProVE 2011		CaT 1.5		TCT 1.6
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^3)	3.07	MAYBE	21.44	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^1)	1.78	O(n^2)	7.29	O(n^1)	0.82
	O(n^3)	3.07	MAYBE	0.21	TIMEOUT	60
	O(n^2)	2.09	TIMEOUT	60	TIMEOUT	60
	O(n^2)	1.97	MAYBE	46.34	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^2)	1.98	MAYBE	0.21	TIMEOUT	60
	O(n^2)	2.27	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.73	MAYBE	0.2	TIMEOUT	60
	O(n^2)	1.83	O(n^1)	0.28	O(n^1)	0.47
	TIMEOUT	60	MAYBE	47.22	TIMEOUT	60
	O(1)	1.47	MAYBE	0.2	O(n^1)	0.19
	O(n^2)	2.09	MAYBE	0.21	TIMEOUT	60
	MAYBE	3.64	MAYBE	0.2	TIMEOUT	60
	O(1)	1.51	O(n^1)	0.28	O(1)	0.04
	O(n^1)	1.61	O(n^1)	0.31	O(n^1)	0.16
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	O(n^1)	1.7	O(n^1)	0.38	O(n^1)	1.84
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^2)	4.75	MAYBE	0.21	TIMEOUT	60
	O(n^2)	7.35	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.84	MAYBE	0.2	O(n^1)	0.1
	O(n^2)	2.44	MAYBE	0.21	TIMEOUT	60
	O(n^3)	2.92	MAYBE	0.2	TIMEOUT	60
	O(n^2)	1.87	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.74	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.68	O(n^1)	0.36	O(n^1)	0.39
	O(n^2)	1.68	MAYBE	0.21	TIMEOUT	60
	O(1)	1.48	MAYBE	0.2	O(n^1)	0.19
	O(n^1)	1.73	MAYBE	0.21	TIMEOUT	60
	O(n^3)	9.22	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^1)	1.82	O(n^1)	0.37	O(n^1)	1.31
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^2)	3.45	MAYBE	0.23	TIMEOUT	60
	O(n^3)	9.48	MAYBE	0.23	TIMEOUT	60
	O(n^2)	3.42	MAYBE	0.22	TIMEOUT	60
	O(n^2)	3.95	MAYBE	0.22	TIMEOUT	60
	O(n^3)	11.64	MAYBE	0.23	TIMEOUT	60
	O(n^2)	3.51	MAYBE	0.22	TIMEOUT	60
	O(n^3)	1.9	O(n^1)	5.44	O(n^1)	0.18
	O(n^2)	4.61	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.72	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.67	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.66	O(n^1)	0.33	O(n^1)	0.39
	O(n^1)	25.62	MAYBE	0.21	TIMEOUT	60
	O(n^1)	2.79	O(n^1)	0.27	O(n^1)	0.11
	O(n^1)	1.67	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.2	TIMEOUT	60
	O(1)	1.66	MAYBE	10.21	TIMEOUT	60
	O(n^2)	9.37	MAYBE	0.22	TIMEOUT	60
	O(n^2)	2.12	MAYBE	0.23	TIMEOUT	60
	O(n^2)	2.39	O(n^1)	6.58	O(n^1)	2.5
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.7	MAYBE	0.21	TIMEOUT	60
	O(n^2)	4.45	MAYBE	0.21	TIMEOUT	60
	O(n^2)	15.56	MAYBE	0.22	TIMEOUT	60
	O(n^2)	14.82	MAYBE	0.22	TIMEOUT	60
	O(n^1)	2.58	O(n^1)	0.31	O(n^1)	1.23
	O(n^1)	2.76	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^1)	1.83	O(n^1)	0.33	O(n^1)	1.05
	O(n^1)	1.86	O(n^1)	0.32	O(n^1)	0.95
	O(1)	1.53	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^2)	2.96	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^1)	1.71	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	O(n^1)	35.69	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	O(n^2)	20.81	TIMEOUT	60
	O(n^1)	7.15	O(n^1)	0.38	O(n^1)	15.67
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.56	O(n^1)	7.86
	O(n^1)	31.01	O(n^1)	0.43	O(n^1)	5.66
	TIMEOUT	60	MAYBE	56.48	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	MAYBE	5.31	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.01	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.67	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	4.67	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.06	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	32.01	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	O(1)	1.63	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^2)	10.83	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^2)	55.53	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	4.04	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
(non-term.)	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.59	O(n^1)	0.31	O(n^1)	0.13
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	MAYBE	37.68	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	41.52	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^2)	41.97	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^2)	46.09	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	O(n^1)	3.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^2)	2.43	MAYBE	0.22	TIMEOUT	60
	MAYBE	8.68	MAYBE	0.21	TIMEOUT	60
	O(n^2)	1.82	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	O(1)	1.64	O(n^1)	0.34	O(n^1)	0.28
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	44.99	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	57.98	TIMEOUT	60
	O(n^2)	25.01	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^2)	17.18	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	O(n^1)	25.5	MAYBE	0.78	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	O(1)	1.51	O(n^1)	0.28	O(n^1)	0.34
	O(n^2)	2.28	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.74	O(n^1)	0.28	O(n^1)	0.05
	O(n^2)	2.2	O(n^1)	0.29	O(n^1)	0.4
	O(n^2)	1.89	MAYBE	0.21	O(n^1)	0.21
	O(n^1)	2.35	MAYBE	0.23	O(n^1)	0.61
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.62	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	17.9	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.91	O(n^1)	0.26	O(n^1)	0.05
	O(n^1)	1.99	MAYBE	0.22	TIMEOUT	60
	O(n^2)	3.2	MAYBE	0.22	TIMEOUT	60
	O(n^1)	8.07	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.48	O(n^2)	7.63
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^2)	3.98	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.21	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	1.7	O(n^2)	6.62	O(n^1)	0.37
	TIMEOUT	60	MAYBE	26.43	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^2)	2.22	MAYBE	0.23	TIMEOUT	60
	O(n^1)	46.95	O(n^1)	1.58	TIMEOUT	60
	O(n^2)	35.06	O(n^1)	5.43	TIMEOUT	60
	O(n^1)	46.9	O(n^1)	1.01	TIMEOUT	60
	O(1)	4.5	O(n^1)	2.44	TIMEOUT	60
	O(1)	6.51	O(n^1)	9.18	TIMEOUT	60
	O(n^1)	46.84	O(n^1)	0.72	TIMEOUT	60
	O(n^1)	47.29	O(n^1)	0.76	TIMEOUT	60
	O(n^1)	47.01	O(n^1)	1.34	TIMEOUT	60
	O(n^1)	46.81	O(n^1)	1.1	TIMEOUT	60
	O(n^1)	8.84	O(n^1)	1.37	TIMEOUT	60
	O(n^1)	46.89	O(n^1)	0.72	TIMEOUT	60
	O(n^1)	47.09	TIMEOUT	60	TIMEOUT	60
	O(n^1)	26.11	O(n^1)	0.78	TIMEOUT	60
	O(n^1)	27.29	O(n^1)	0.9	TIMEOUT	60
	O(1)	2.14	O(n^1)	0.55	TIMEOUT	60
	O(1)	2.43	O(n^1)	0.58	TIMEOUT	60
	O(1)	22.15	O(n^1)	12.43	TIMEOUT	60
	O(n^1)	17.5	O(n^1)	0.56	TIMEOUT	60
	O(n^1)	7.8	O(n^1)	0.72	TIMEOUT	60
	O(n^1)	46.82	O(n^1)	17.93	TIMEOUT	60
	O(1)	5.91	O(n^1)	3.23	O(n^1)	38.32
	O(1)	11.12	O(n^1)	6.06	TIMEOUT	60
	O(1)	38.72	O(n^1)	16.8	TIMEOUT	60
	O(1)	13.87	O(n^1)	4.36	O(n^1)	32.38
	O(n^1)	46.88	O(n^1)	15.03	TIMEOUT	60
	O(1)	29.59	O(n^1)	7.25	TIMEOUT	60
	O(1)	15.75	O(n^1)	12.82	TIMEOUT	60
	O(n^1)	46.83	O(n^1)	18.83	TIMEOUT	60
	O(1)	39.48	O(n^1)	23.49	TIMEOUT	60
	O(1)	9.93	O(n^1)	8.98	TIMEOUT	60
	O(1)	47.81	O(n^1)	23.54	TIMEOUT	60
	O(n^1)	46.98	O(n^1)	17.45	TIMEOUT	60
	O(1)	25.59	O(n^1)	8.61	TIMEOUT	60
	O(n^1)	46.77	O(n^1)	13.09	TIMEOUT	60
	O(1)	21.02	O(n^1)	12.59	TIMEOUT	60
	O(1)	33.36	O(n^1)	8.44	TIMEOUT	60
	O(1)	26.14	O(n^1)	8.28	TIMEOUT	60
	O(1)	7.61	O(n^1)	13.01	TIMEOUT	60
	O(n^1)	46.84	O(n^1)	17.55	TIMEOUT	60
	O(1)	1.49	O(n^1)	0.32	O(n^1)	0.43
	O(n^1)	46.65	O(n^1)	0.39	O(n^1)	1.46
	O(n^1)	47.08	O(n^1)	0.43	O(n^1)	7.98
	O(n^1)	46.93	O(n^1)	0.54	O(n^1)	14.9
	O(n^1)	47.29	O(n^1)	0.56	O(n^1)	18.02
	O(n^1)	47.31	O(n^1)	0.65	O(n^1)	33.05
	O(n^1)	47.29	O(n^1)	0.91	O(n^1)	44.03
	O(n^1)	47.57	O(n^1)	1.01	TIMEOUT	60
	O(n^1)	47.88	O(n^1)	1.17	TIMEOUT	60
	O(1)	1.53	O(n^1)	0.37	O(1)	0.04
	O(1)	1.52	O(n^1)	0.37	O(1)	0.03
	O(n^1)	48.22	O(n^1)	1.12	TIMEOUT	60
	O(n^1)	47.79	O(n^1)	1.77	TIMEOUT	60
	O(n^1)	49.52	O(n^1)	1.53	TIMEOUT	60
	O(n^1)	50.56	O(n^1)	1.87	TIMEOUT	60
	O(n^1)	51.43	O(n^1)	2.32	TIMEOUT	60
	O(n^1)	53.38	O(n^1)	2.33	TIMEOUT	60
	O(n^1)	54.35	O(n^1)	2.56	TIMEOUT	60
	O(n^1)	52.91	O(n^1)	2.67	TIMEOUT	60
	O(n^1)	57.26	O(n^1)	3.31	TIMEOUT	60
	O(n^1)	56.06	O(n^1)	3.46	TIMEOUT	60
	TIMEOUT	60	O(n^1)	3.72	TIMEOUT	60
	O(n^1)	46.73	O(n^1)	0.67	TIMEOUT	60
	O(n^1)	49.53	O(n^1)	1.0	TIMEOUT	60
	O(n^1)	46.87	O(n^1)	1.37	TIMEOUT	60
	O(1)	2.92	O(n^1)	0.85	TIMEOUT	60
	O(1)	3.2	O(n^1)	1.02	TIMEOUT	60
	O(1)	1.88	TIMEOUT	60	TIMEOUT	60
	O(1)	1.96	TIMEOUT	60	TIMEOUT	60
	O(n^1)	47.08	O(n^1)	1.82	TIMEOUT	60
	O(n^1)	47.64	TIMEOUT	60	TIMEOUT	60
	O(n^1)	46.98	O(n^1)	0.99	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.49	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.4	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	O(n^3)	21.45	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^2)	5.5	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^2)	5.79	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^1)	1.73	O(n^1)	0.8	O(n^1)	0.16
	O(n^2)	2.99	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.59	O(n^1)	0.28	O(n^1)	0.06
	O(n^2)	2.17	MAYBE	0.22	TIMEOUT	60
	O(n^2)	11.59	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(1)	28.07	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.62	MAYBE	0.2	TIMEOUT	60
	O(n^1)	2.12	MAYBE	0.21	TIMEOUT	60
	O(n^1)	2.25	MAYBE	0.21	TIMEOUT	60
	O(n^1)	2.36	O(n^1)	0.31	O(n^1)	0.14
	O(1)	1.48	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	MAYBE	20.13	MAYBE	33.55	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.22	TIMEOUT	60
	MAYBE	29.7	MAYBE	55.81	TIMEOUT	60
	MAYBE	30.06	MAYBE	55.6	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.54	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.81	TIMEOUT	60
	O(1)	1.49	O(n^1)	0.3	O(n^1)	0.41
	TIMEOUT	60	MAYBE	55.52	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.46	TIMEOUT	60
	O(n^1)	47.46	O(n^1)	0.38	O(n^1)	14.09
	O(n^1)	46.91	O(n^1)	1.02	TIMEOUT	60
	O(n^1)	47.01	O(n^1)	0.48	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	O(n^1)	1.72	MAYBE	0.21	TIMEOUT	60
	O(n^1)	8.57	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.67	O(n^1)	0.27	O(n^1)	0.56
	O(n^1)	1.67	MAYBE	0.19	TIMEOUT	60
	O(n^1)	1.66	O(n^1)	0.28	O(n^1)	0.08
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	O(n^2)	1.87	O(n^1)	0.32	O(n^1)	1.24
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^1)	1.72	MAYBE	0.22	TIMEOUT	60
	MAYBE	17.64	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.19	TIMEOUT	60
	TIMEOUT	60	MAYBE	8.67	TIMEOUT	60
	O(1)	1.64	MAYBE	0.24	TIMEOUT	60
	O(n^2)	2.31	O(n^1)	3.7	O(n^1)	0.52
	O(n^2)	2.4	MAYBE	0.2	TIMEOUT	60
	O(n^3)	7.43	MAYBE	0.22	TIMEOUT	60
	O(n^2)	4.87	MAYBE	0.23	TIMEOUT	60
	O(n^2)	13.37	MAYBE	0.23	TIMEOUT	60
	O(n^2)	4.98	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.68	O(n^1)	0.33	O(n^1)	0.25
	O(n^2)	2.17	MAYBE	0.21	TIMEOUT	60
	O(1)	1.48	O(n^1)	0.34	O(n^1)	0.13
	O(n^2)	4.09	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	O(1)	1.56	O(n^1)	0.3	O(1)	0.03
	TIMEOUT	60	MAYBE	55.37	TIMEOUT	60
	O(1)	1.52	O(n^1)	0.3	O(n^1)	0.78
	O(n^1)	2.36	MAYBE	0.23	O(n^1)	0.62
	O(n^1)	2.01	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	O(n^1)	2.55	O(n^1)	0.39	O(n^1)	0.35
	O(n^1)	1.68	O(n^1)	0.3	O(n^1)	1.01
	O(n^2)	8.43	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	57.37	TIMEOUT	60
	O(n^2)	1.81	O(n^1)	0.35	O(n^1)	3.05
	TIMEOUT	60	MAYBE	59.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.96	TIMEOUT	60
	O(1)	1.48	O(n^1)	0.28	O(n^1)	0.42
	O(1)	1.51	O(n^1)	0.31	O(n^1)	1.88
	O(n^1)	46.9	O(n^1)	0.32	O(n^1)	3.39
	O(n^1)	46.68	O(n^1)	0.35	O(n^1)	6.5
	O(n^1)	47.15	O(n^1)	0.3	O(n^1)	1.83
	O(n^1)	2.18	O(n^1)	0.35	O(n^1)	3.25
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^2)	59.71	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	9.23	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^1)	4.2	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(1)	1.47	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(1)	1.53	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.46	TIMEOUT	60
	O(1)	1.44	O(n^1)	0.31	O(n^1)	0.47
	O(n^1)	47.06	O(n^1)	0.54	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.56	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.49	TIMEOUT	60
	O(n^1)	20.69	O(n^1)	0.38	O(n^1)	8.43
	O(n^1)	47.26	O(n^1)	0.79	O(n^1)	11.72
	O(n^1)	46.71	O(n^1)	1.05	TIMEOUT	60
	O(n^1)	50.59	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	46.94	O(n^1)	0.48	O(n^1)	46.86
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	49.03	O(n^1)	1.14	TIMEOUT	60
	O(n^1)	46.75	O(n^1)	0.47	O(n^1)	24.85
	O(n^1)	14.71	O(n^1)	0.46	TIMEOUT	60
	O(n^1)	46.72	O(n^1)	0.29	O(n^1)	0.91
	O(n^1)	46.78	O(n^1)	0.42	O(n^1)	9.36
	O(1)	1.53	O(n^1)	0.3	O(n^1)	2.74
	TIMEOUT	60	MAYBE	55.65	TIMEOUT	60
	O(n^1)	1.89	O(n^1)	0.31	O(n^1)	0.81
	O(n^1)	11.99	O(n^1)	0.28	O(n^1)	0.89
	O(1)	1.51	O(n^1)	0.3	O(n^1)	1.66
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(1)	1.47	MAYBE	0.21	TIMEOUT	60
	O(1)	1.56	MAYBE	0.2	TIMEOUT	60
	O(1)	39.77	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(1)	20.06	O(n^1)	0.31	O(n^1)	0.24
	O(n^1)	46.56	O(n^1)	0.29	O(n^1)	0.28
	TIMEOUT	60	MAYBE	55.53	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.48	TIMEOUT	60
	O(n^1)	46.56	O(n^1)	0.3	O(n^1)	0.38
	MAYBE	8.02	O(n^1)	0.29	O(n^1)	0.25
	MAYBE	3.01	MAYBE	55.46	TIMEOUT	60
	MAYBE	3.03	MAYBE	55.52	TIMEOUT	60
	O(1)	1.46	O(n^1)	0.29	O(n^1)	0.21
	O(n^1)	46.72	O(n^1)	0.29	O(n^1)	0.23
	TIMEOUT	60	MAYBE	10.77	TIMEOUT	60
	O(n^2)	1.78	MAYBE	20.61	TIMEOUT	60
	O(1)	18.78	O(n^1)	0.27	O(n^1)	1.1
	O(n^1)	46.54	O(n^1)	0.39	O(n^1)	0.68
	O(1)	1.56	O(n^1)	0.3	O(n^1)	1.07
	O(n^1)	2.86	O(n^1)	0.47	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^1)	1.88	MAYBE	0.24	TIMEOUT	60
	MAYBE	17.0	O(n^1)	0.28	O(n^1)	0.31
	O(n^3)	1.66	O(n^1)	0.28	O(n^1)	0.11
	O(n^1)	1.96	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.7	O(n^1)	0.28	O(n^1)	0.43
	O(n^1)	1.71	O(n^1)	0.31	O(n^1)	0.1
	O(n^3)	6.25	MAYBE	0.22	TIMEOUT	60
	O(n^1)	2.05	MAYBE	0.22	O(n^1)	1.17
	O(n^2)	1.76	O(n^1)	0.33	O(n^1)	0.19
	MAYBE	15.73	MAYBE	0.22	TIMEOUT	60
	O(n^2)	2.89	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.66	MAYBE	0.21	O(n^1)	0.08
	O(n^2)	1.97	MAYBE	0.21	TIMEOUT	60
	O(n^2)	3.47	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.62	MAYBE	0.22	TIMEOUT	60
	MAYBE	16.96	MAYBE	0.21	TIMEOUT	60
	O(n^2)	2.41	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	MAYBE	52.0	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.58	MAYBE	0.22	TIMEOUT	60
	O(1)	1.49	MAYBE	0.21	O(1)	0.03
	O(n^2)	1.82	O(n^1)	0.39	O(n^1)	0.28
	O(n^2)	1.84	O(n^2)	6.92	O(n^1)	0.11
	O(n^1)	1.64	MAYBE	0.2	TIMEOUT	60
	O(n^1)	2.13	O(n^1)	0.3	O(n^1)	0.63
	O(n^2)	2.04	MAYBE	14.11	TIMEOUT	60
	O(n^1)	1.67	MAYBE	0.21	TIMEOUT	60
	O(n^2)	1.98	O(n^1)	0.43	O(n^1)	0.16
	O(n^1)	3.28	O(n^1)	0.34	O(n^1)	8.02
	MAYBE	13.77	MAYBE	0.22	TIMEOUT	60
	O(n^1)	2.35	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.99	MAYBE	0.2	TIMEOUT	60
	O(n^1)	1.57	O(n^1)	0.26	O(n^1)	0.05
	O(1)	1.48	O(n^1)	0.31	O(n^1)	0.09
	O(1)	1.58	O(n^1)	0.34	O(n^1)	0.64
	O(n^1)	1.63	O(n^1)	0.27	O(n^1)	0.03
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	1.72	O(n^1)	0.29	O(n^1)	0.06
	O(n^1)	1.67	O(n^1)	0.29	O(n^1)	0.29
	O(n^2)	1.69	O(n^2)	6.74	O(n^1)	0.29
	O(n^1)	1.7	MAYBE	0.2	TIMEOUT	60
	O(n^2)	5.51	O(n^1)	0.78	O(n^1)	0.68
	O(n^2)	1.71	MAYBE	0.21	TIMEOUT	60
	O(1)	1.53	O(n^1)	0.34	O(n^1)	0.53
	O(1)	1.47	MAYBE	0.2	TIMEOUT	60
	O(n^2)	2.1	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.88	O(n^1)	1.93	O(n^1)	0.55
	O(n^1)	1.96	MAYBE	0.2	O(n^1)	0.18
	O(n^1)	1.74	O(n^1)	0.31	O(n^1)	0.23
	TIMEOUT	60	MAYBE	0.2	O(n^2)	7.99
	O(1)	1.82	MAYBE	0.2	O(1)	0.03
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.63	O(n^2)	7.22	O(n^1)	0.1
	O(n^2)	2.33	O(n^1)	0.33	O(n^1)	2.27
	TIMEOUT	60	MAYBE	59.47	TIMEOUT	60
	O(n^1)	2.06	MAYBE	0.22	O(n^1)	0.27
	O(n^1)	1.7	O(n^1)	0.4	O(n^1)	0.17
	TIMEOUT	60	O(n^1)	0.35	O(n^2)	5.55
	MAYBE	5.12	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.35	TIMEOUT	60
	O(1)	1.49	O(n^1)	0.26	O(1)	0.02
	O(n^1)	1.99	O(n^1)	0.3	O(n^1)	0.08
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	12.8	TIMEOUT	60
	O(n^1)	1.61	O(n^1)	0.27	O(n^1)	0.05
	O(1)	1.51	O(n^1)	1.04	O(1)	0.04
	O(1)	1.44	O(n^1)	0.29	O(n^1)	0.35
	O(n^1)	1.66	O(n^1)	0.32	O(n^1)	0.29
	O(n^1)	1.81	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(1)	1.47	MAYBE	0.21	TIMEOUT	60
	MAYBE	15.05	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	23.64	MAYBE	0.22	TIMEOUT	60
	O(1)	1.47	MAYBE	0.19	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^2)	2.13	MAYBE	0.2	TIMEOUT	60
	O(n^1)	1.64	O(n^1)	0.26	O(n^1)	0.06
	O(n^1)	1.71	O(n^1)	0.29	O(n^1)	0.06
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.58	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.7	MAYBE	0.2	TIMEOUT	60
	O(n^1)	1.72	O(n^1)	0.32	O(n^1)	0.62
	O(n^1)	1.71	O(n^1)	0.32	O(n^1)	0.11
	O(n^2)	2.42	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.61	TIMEOUT	60
	O(n^3)	2.27	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.77	MAYBE	0.2	TIMEOUT	60
	O(n^1)	1.71	O(n^1)	0.31	O(n^1)	0.2
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^2)	2.34	MAYBE	0.23	TIMEOUT	60
	MAYBE	42.51	MAYBE	57.51	TIMEOUT	60
	MAYBE	45.99	MAYBE	25.42	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.34	TIMEOUT	60
	O(n^1)	1.85	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	O(n^2)	2.1	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	1.82	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(1)	1.47	MAYBE	0.2	O(n^1)	1.22
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^3)	58.29	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^1)	35.0	O(n^1)	0.37	O(n^1)	3.52
	O(n^2)	1.65	O(n^1)	0.32	O(n^1)	0.78
	O(n^1)	1.58	O(n^1)	0.32	O(n^1)	0.2
	O(1)	1.48	O(n^1)	0.31	O(n^1)	0.61
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^1)	7.88	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^1)	25.71	O(n^1)	14.39	TIMEOUT	60
	O(n^1)	1.61	MAYBE	10.21	TIMEOUT	60
	O(n^1)	42.11	O(n^1)	0.37	O(n^1)	3.32
	O(n^1)	1.61	O(n^1)	0.32	O(n^1)	1.46
	O(n^1)	1.66	O(n^1)	0.34	O(n^1)	1.34
	O(1)	1.51	O(n^1)	0.29	O(n^1)	0.11
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^3)	2.38	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	O(n^2)	1.96	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^1)	33.84	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	O(n^3)	1.78	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^2)	2.53	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	O(n^1)	2.62	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^3)	22.7	O(n^1)	0.43	TIMEOUT	60
	O(n^2)	1.61	O(n^1)	0.36	O(n^1)	0.33
	O(n^1)	47.02	O(n^1)	0.4	O(n^1)	7.11
	O(n^1)	1.77	O(n^1)	0.42	O(n^1)	2.16
	O(n^3)	1.66	O(n^1)	0.43	O(n^1)	1.31
	O(1)	1.49	O(n^1)	0.32	O(n^1)	0.1
	O(n^3)	40.18	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.73	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^2)	30.25	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.62	MAYBE	0.21	TIMEOUT	60
	O(n^1)	46.65	O(n^1)	0.42	O(n^1)	8.95
	O(n^1)	1.71	O(n^1)	0.68	O(n^1)	3.97
	O(n^1)	1.66	O(n^1)	0.52	O(n^1)	5.75
	O(1)	1.51	O(n^1)	0.34	O(n^1)	0.48
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	O(n^2)	2.16	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(1)	1.47	O(n^1)	0.33	O(n^1)	0.12
	O(1)	1.67	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	O(n^1)	1.9	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(1)	1.57	O(n^1)	0.3	O(1)	0.04
	O(n^2)	2.26	MAYBE	0.22	O(n^1)	0.84
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^1)	1.71	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.78	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(1)	1.47	O(n^1)	0.34	O(n^1)	0.11
	O(n^2)	54.3	MAYBE	0.22	TIMEOUT	60
	O(n^1)	1.66	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.62	O(n^1)	0.25	O(n^1)	0.04
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.48	O(n^1)	22.46
	O(n^1)	1.72	O(n^1)	0.4	O(n^1)	7.38
	O(n^1)	6.04	O(n^1)	0.45	O(n^2)	47.27
	O(n^1)	1.83	O(n^1)	0.27	O(n^1)	0.13
	O(n^1)	1.88	O(n^1)	0.33	O(n^1)	0.25
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^1)	1.7	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	1.67	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.58	O(n^1)	5.65
	O(1)	1.52	O(n^1)	0.28	O(n^1)	0.12
	TIMEOUT	60	O(n^2)	8.34	O(n^1)	3.07
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	O(n^1)	2.04	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.35	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.33	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.31	TIMEOUT	60
	O(n^1)	2.26	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	O(n^2)	43.26	O(n^1)	1.4	O(n^1)	9.65
	O(n^2)	2.31	O(n^1)	0.43	O(n^1)	3.97
	TIMEOUT	60	MAYBE	10.42	TIMEOUT	60
	O(n^1)	1.7	O(n^1)	0.42	O(n^1)	0.24
	TIMEOUT	60	MAYBE	0.39	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^1)	1.85	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(1)	1.58	MAYBE	0.2	TIMEOUT	60
	O(n^1)	46.9	O(n^1)	0.86	O(n^1)	1.84
	O(1)	1.5	O(n^1)	0.31	O(n^1)	0.17
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^1)	1.83	MAYBE	0.2	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(1)	1.42	O(n^1)	0.26	O(1)	0.04
	O(n^1)	1.68	MAYBE	0.22	O(n^1)	0.26
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	O(n^2)	1.93	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^2)	2.35	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	O(1)	1.5	O(n^1)	0.33	O(n^1)	0.16
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	O(n^2)	25.77	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	31.96	O(n^1)	37.1	TIMEOUT	60
	O(n^1)	1.84	O(n^2)	26.13	O(n^1)	7.53
	TIMEOUT	60	MAYBE	0.36	TIMEOUT	60
	O(n^1)	1.81	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	O(n^2)	3.69	MAYBE	0.23	TIMEOUT	60
	O(n^1)	49.91	O(n^1)	0.33	O(n^1)	4.74
	O(n^1)	1.84	O(n^1)	0.3	O(n^1)	1.38
	O(n^1)	1.64	O(n^1)	0.31	O(n^1)	0.87
	TIMEOUT	60	O(n^1)	3.43	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.77	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	O(n^1)	3.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	57.16	TIMEOUT	60
	TIMEOUT	60	O(n^3)	35.6	TIMEOUT	60
	TIMEOUT	60	MAYBE	58.1	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	O(n^3)	2.15	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(1)	1.59	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	O(n^3)	1.92	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.47	O(n^1)	16.44
	O(n^1)	1.67	O(n^1)	0.39	O(n^1)	6.96
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(1)	2.25	O(n^1)	0.28	O(n^1)	0.12
	O(1)	2.01	O(n^1)	0.3	O(n^1)	0.24
	TIMEOUT	60	MAYBE	0.31	TIMEOUT	60
	O(n^2)	1.98	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.36	TIMEOUT	60
	O(n^1)	1.74	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	O(n^1)	1.92	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.43	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.59	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.4	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.35	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	O(n^1)	1.16	O(n^1)	19.78
	TIMEOUT	60	O(n^1)	1.53	O(n^1)	32.0
	TIMEOUT	60	MAYBE	10.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.95	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.48	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.58	TIMEOUT	60
	TIMEOUT	60	MAYBE	1.8	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.61	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.95	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.59	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.46	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.53	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.35	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.38	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.81	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.38	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.49	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.37	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.33	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.39	TIMEOUT	60
	O(n^1)	2.5	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.56	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.37	TIMEOUT	60
	O(n^1)	2.86	MAYBE	0.26	TIMEOUT	60
	O(n^1)	2.14	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.44	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.33	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.64	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.34	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.42	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.37	TIMEOUT	60
	O(n^2)	14.45	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	O(n^1)	5.55	MAYBE	0.26	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.26	TIMEOUT	60
	O(n^2)	2.21	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.29	TIMEOUT	60
	O(n^2)	5.16	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.51	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.33	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.38	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.86	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.38	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.51	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.36	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.34	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.45	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.28	TIMEOUT	60
	TIMEOUT	60	O(n^1)	1.66	O(n^1)	41.03
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	49.3	TIMEOUT	60
	TIMEOUT	60	MAYBE	37.06	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.5	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.31	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.35	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.72	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.33	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.47	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.34	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	O(n^1)	47.17
	TIMEOUT	60	MAYBE	30.77	TIMEOUT	60
	TIMEOUT	60	MAYBE	24.8	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^2)	19.33	MAYBE	20.94	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	9.14	O(n^2)	16.95	TIMEOUT	60
	TIMEOUT	60	O(n^2)	12.01	TIMEOUT	60
	O(n^1)	50.15	O(n^1)	0.77	O(n^1)	16.37
	TIMEOUT	60	MAYBE	13.57	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.76	O(n^1)	25.37
	TIMEOUT	60	MAYBE	16.57	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.36	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.46	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.33	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.27	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.24	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.32	TIMEOUT	60
	O(n^2)	7.29	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.25	TIMEOUT	60
	O(n^1)	3.4	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^2)	57.15	O(n^1)	0.61	O(n^1)	13.31
	O(n^2)	1.61	O(n^1)	0.29	O(n^1)	0.08
	TIMEOUT	60	MAYBE	19.32	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.93	O(n^1)	26.52
	O(n^1)	1.82	O(n^2)	8.39	O(n^1)	0.22
	TIMEOUT	60	MAYBE	58.19	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.23	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.45	TIMEOUT	60
	O(1)	1.58	MAYBE	0.25	TIMEOUT	60
	O(1)	1.61	MAYBE	0.25	TIMEOUT	60
	O(n^2)	28.05	MAYBE	0.23	TIMEOUT	60
	O(1)	3.81	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.23	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.3	TIMEOUT	60
	O(n^2)	1.88	O(n^1)	0.28	O(n^1)	0.1
	O(n^1)	2.41	O(n^1)	0.29	O(n^1)	0.68
	O(n^1)	2.29	MAYBE	0.2	TIMEOUT	60
	O(n^1)	1.68	O(n^2)	8.16	O(n^1)	0.16
	TIMEOUT	60	O(n^1)	4.04	O(n^1)	2.62
	TIMEOUT	60	O(n^1)	0.3	O(n^1)	0.12
	TIMEOUT	60	O(n^1)	0.32	O(n^1)	0.12
	TIMEOUT	60	MAYBE	10.2	TIMEOUT	60
	MAYBE	4.58	MAYBE	10.24	TIMEOUT	60
	MAYBE	4.57	MAYBE	10.22	TIMEOUT	60
	O(n^1)	46.54	O(n^1)	0.51	O(n^1)	55.09
	O(n^1)	46.58	O(n^1)	0.36	O(n^1)	1.87
	O(n^1)	48.56	O(n^1)	0.39	O(n^1)	19.89
	O(1)	1.43	O(n^1)	0.28	O(n^1)	0.55
	O(1)	1.47	O(n^1)	0.29	O(n^1)	0.51
	O(1)	1.46	O(n^1)	0.28	O(n^1)	0.6
	MAYBE	5.37	O(n^1)	0.3	O(n^1)	0.3
	TIMEOUT	60	MAYBE	55.74	TIMEOUT	60
	TIMEOUT	60	MAYBE	15.16	TIMEOUT	60
	O(1)	1.49	O(n^1)	0.29	O(n^1)	0.42
	O(n^1)	1.61	MAYBE	10.47	TIMEOUT	60
	O(1)	10.28	O(n^1)	0.28	O(n^1)	0.25
	TIMEOUT	60	MAYBE	10.51	TIMEOUT	60
	O(1)	1.48	O(n^1)	0.27	O(n^1)	0.61
	O(1)	1.48	O(n^1)	0.27	O(n^1)	0.55
	O(1)	1.47	O(n^1)	0.27	O(n^1)	0.58
	O(1)	1.48	O(n^1)	0.27	O(n^1)	0.57
	O(1)	1.49	O(n^1)	0.27	O(n^1)	0.82
	O(n^1)	46.57	O(n^1)	0.34	O(n^1)	0.79
	O(1)	1.44	O(n^1)	0.29	O(n^1)	0.49
	O(1)	1.52	O(n^1)	0.29	O(n^1)	0.51
	O(1)	1.42	O(n^1)	0.28	O(n^1)	0.53
	TIMEOUT	60	MAYBE	11.57	TIMEOUT	60
	TIMEOUT	60	MAYBE	51.39	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.49	TIMEOUT	60
	O(1)	1.58	O(n^1)	0.27	O(n^1)	0.65
	O(1)	1.45	O(n^1)	0.26	O(n^1)	0.58
	O(1)	1.46	O(n^1)	0.29	O(n^1)	0.65
	O(1)	1.46	O(n^1)	0.27	O(n^1)	0.89
	O(1)	1.49	O(n^1)	0.29	O(n^1)	0.64
	O(1)	1.56	O(n^1)	0.28	O(n^1)	0.66
	O(1)	1.42	O(n^1)	0.27	O(n^1)	0.62
	O(n^2)	1.71	O(n^1)	0.3	O(n^1)	0.46
	O(1)	1.47	O(n^1)	0.28	O(n^1)	0.63
	O(1)	1.47	O(n^1)	0.27	O(n^1)	0.84
	O(1)	1.47	O(n^1)	0.28	O(n^1)	0.53
	O(1)	1.41	O(n^1)	0.25	O(n^1)	0.52
	O(1)	1.58	O(n^1)	0.28	O(n^1)	0.57
	MAYBE	42.37	MAYBE	10.42	TIMEOUT	60
	O(1)	1.51	O(n^1)	0.29	O(n^1)	0.52
	O(1)	1.5	O(n^1)	0.3	O(n^1)	0.5
	O(n^1)	1.6	O(n^1)	0.3	O(n^1)	0.7
	O(1)	1.45	O(n^1)	0.31	O(n^1)	0.61
	O(1)	1.45	O(n^1)	0.31	O(n^1)	0.79
	O(n^1)	1.7	O(n^1)	0.31	O(n^1)	0.65
	O(1)	1.47	O(n^1)	0.28	O(n^1)	0.85
	O(1)	1.48	O(n^1)	0.3	O(n^1)	0.73
	TIMEOUT	60	MAYBE	10.47	TIMEOUT	60
	O(n^1)	46.74	O(n^1)	0.3	O(n^1)	0.69
	TIMEOUT	60	MAYBE	13.03	TIMEOUT	60
	TIMEOUT	60	MAYBE	13.01	TIMEOUT	60
	O(n^1)	46.73	O(n^1)	0.29	O(n^1)	0.95
	MAYBE	3.86	O(n^1)	0.3	O(n^1)	0.62
	TIMEOUT	60	MAYBE	10.22	TIMEOUT	60
	O(1)	1.59	O(n^1)	0.28	O(n^1)	0.49
	O(1)	1.47	O(n^1)	0.28	O(n^1)	0.96
	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60
	O(n^1)	47.52	O(n^1)	0.3	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.57	TIMEOUT	60
	O(1)	1.47	O(n^1)	0.3	O(n^1)	0.61
	O(n^1)	1.82	O(n^1)	0.32	O(n^1)	0.52
	O(n^1)	47.13	O(n^1)	0.31	O(n^1)	0.52
	O(n^1)	46.51	O(n^1)	0.29	O(n^1)	0.63
	O(1)	1.58	O(n^1)	0.3	O(n^1)	1.08
	O(1)	26.1	O(n^1)	0.29	O(n^1)	0.59
	O(1)	32.03	O(n^1)	0.27	O(n^1)	0.73
	O(n^1)	46.71	O(n^1)	0.32	O(n^1)	0.58
	O(1)	26.28	O(n^1)	0.29	O(n^1)	0.59
	O(1)	17.32	O(n^1)	0.27	O(n^1)	0.6
	O(n^1)	46.66	O(n^1)	0.29	O(n^1)	0.52
	O(n^1)	1.71	O(n^1)	0.27	O(n^1)	2.25
	O(n^1)	1.67	O(n^1)	0.3	TIMEOUT	60
	O(n^2)	8.89	O(n^1)	0.29	O(n^1)	4.43
	O(n^2)	1.67	O(n^1)	0.33	O(n^1)	3.96
	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.57	TIMEOUT	60
	O(n^1)	46.55	O(n^1)	0.3	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.62	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.49	TIMEOUT	60
	TIMEOUT	60	MAYBE	13.66	TIMEOUT	60
	O(1)	19.98	O(n^1)	0.29	O(n^1)	0.62
	TIMEOUT	60	MAYBE	10.48	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.43	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60
	O(n^1)	46.91	O(n^1)	0.29	O(n^1)	0.55
	TIMEOUT	60	MAYBE	16.11	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.6	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.55	TIMEOUT	60
	O(1)	1.48	O(n^1)	0.29	O(n^1)	0.72
	O(1)	1.5	O(n^1)	0.29	O(n^1)	0.75
	O(1)	27.89	O(n^1)	0.27	O(n^1)	0.86
	O(1)	1.42	O(n^1)	0.26	O(n^1)	0.71
	TIMEOUT	60	MAYBE	10.55	TIMEOUT	60
	TIMEOUT	60	MAYBE	17.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	12.82	TIMEOUT	60
	O(1)	32.46	O(n^1)	0.27	O(n^1)	0.54
	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60
	O(1)	33.99	O(n^1)	0.29	O(n^1)	0.83
	O(1)	1.48	O(n^1)	0.28	O(n^1)	0.66
	TIMEOUT	60	MAYBE	18.95	TIMEOUT	60
	O(1)	1.47	O(n^1)	0.3	O(n^1)	0.6
	O(n^1)	46.58	O(n^1)	0.28	O(n^1)	0.57
	TIMEOUT	60	MAYBE	27.71	TIMEOUT	60
	O(1)	1.52	O(n^1)	0.3	O(n^1)	0.5
	O(n^1)	46.48	O(n^1)	0.27	O(n^1)	0.62
	MAYBE	4.61	O(n^1)	0.37	O(n^1)	0.63
	O(1)	1.57	O(n^1)	0.31	O(n^1)	0.62
	O(1)	1.47	O(n^1)	0.29	O(n^1)	0.54
	O(1)	1.5	O(n^1)	0.31	O(n^1)	0.49
	O(1)	1.46	O(n^1)	0.28	O(n^1)	0.5
	O(1)	1.42	O(n^1)	0.28	O(n^1)	0.46
	O(1)	1.5	O(n^1)	0.27	O(n^1)	0.62
	TIMEOUT	60	MAYBE	19.2	TIMEOUT	60
	O(1)	1.52	O(n^1)	0.28	O(n^1)	0.79
	O(1)	1.47	O(n^1)	0.28	O(n^1)	0.79
	O(1)	1.57	O(n^1)	0.27	O(n^1)	0.22
	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.44	TIMEOUT	60
	O(1)	1.47	O(n^1)	0.27	O(n^1)	0.46
	O(1)	1.47	O(n^1)	0.29	O(n^1)	0.39
	TIMEOUT	60	MAYBE	42.39	TIMEOUT	60
	O(1)	1.58	O(n^1)	0.26	O(n^1)	0.51
	O(1)	18.92	O(n^1)	0.27	O(n^1)	0.59
	TIMEOUT	60	MAYBE	55.53	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.53	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.52	TIMEOUT	60
	O(1)	1.47	O(n^1)	0.27	O(n^1)	0.55
	O(1)	1.48	O(n^1)	0.28	O(n^1)	0.6
	O(1)	1.51	O(n^1)	0.29	O(n^1)	0.54
	O(1)	1.47	O(n^1)	0.28	O(n^1)	0.6
	TIMEOUT	60	MAYBE	13.94	TIMEOUT	60
	O(1)	28.38	O(n^1)	0.29	O(n^1)	0.6
	TIMEOUT	60	MAYBE	10.44	TIMEOUT	60
	O(n^1)	46.5	O(n^1)	0.3	O(n^1)	0.81
	MAYBE	5.51	O(n^1)	0.28	O(n^1)	0.3
	O(1)	1.55	O(n^1)	0.31	O(n^1)	0.93
	O(1)	1.52	O(n^1)	0.31	O(n^1)	0.3
	O(1)	1.47	O(n^1)	0.29	O(n^1)	0.33
	O(1)	1.54	O(n^1)	0.27	O(n^1)	0.34
	O(1)	1.46	O(n^1)	0.27	O(n^1)	0.34
	O(1)	1.48	O(n^1)	0.29	O(n^1)	0.31
	O(1)	1.5	O(n^1)	0.33	O(n^1)	0.57
	TIMEOUT	60	MAYBE	25.61	TIMEOUT	60
	TIMEOUT	60	MAYBE	21.32	TIMEOUT	60
	O(1)	1.54	O(n^1)	0.3	O(n^1)	0.33
	O(1)	1.47	O(n^1)	0.36	O(n^1)	0.49
	O(1)	1.46	O(n^1)	0.29	O(n^1)	0.44
	O(1)	1.48	O(n^1)	0.31	O(n^1)	0.33
	O(1)	44.62	O(n^1)	0.28	O(n^1)	0.42
	O(n^1)	46.79	O(n^1)	0.31	O(n^1)	0.33
	O(1)	45.54	O(n^1)	0.29	O(n^1)	0.37
	O(1)	1.59	O(n^1)	0.31	O(n^1)	0.49
	O(1)	25.99	O(n^1)	0.3	O(n^1)	0.35
	O(1)	1.59	O(n^1)	0.29	O(n^1)	0.51
	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60
	O(1)	16.23	O(n^1)	0.29	O(n^1)	0.43
	O(1)	1.49	O(n^1)	0.27	O(n^1)	0.51
	TIMEOUT	60	MAYBE	10.48	TIMEOUT	60
	O(1)	1.42	O(n^1)	0.29	O(n^1)	0.7
	TIMEOUT	60	MAYBE	12.12	TIMEOUT	60
	TIMEOUT	60	MAYBE	12.59	TIMEOUT	60
	TIMEOUT	60	MAYBE	14.35	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.57	TIMEOUT	60
	TIMEOUT	60	MAYBE	16.07	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.48	TIMEOUT	60
	O(1)	1.51	O(n^1)	0.32	O(n^1)	0.45
	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.3	TIMEOUT	60
	O(1)	1.58	O(n^1)	0.3	O(n^1)	0.54
	TIMEOUT	60	MAYBE	14.71	TIMEOUT	60
	O(1)	1.52	O(n^1)	0.3	O(n^1)	0.64
	O(1)	11.01	O(n^1)	0.26	O(n^1)	0.28
	O(n^1)	46.72	O(n^1)	0.29	O(n^1)	0.44
	O(1)	19.49	O(n^1)	0.27	O(n^1)	0.62
	O(1)	19.7	O(n^1)	0.3	O(n^1)	0.32
	O(n^1)	3.29	MAYBE	21.44	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.56	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.4	TIMEOUT	60
	O(n^1)	46.55	O(n^1)	0.3	O(n^1)	0.48
	O(1)	1.8	O(n^1)	0.28	O(n^1)	0.3
	TIMEOUT	60	MAYBE	55.42	TIMEOUT	60
	O(n^1)	46.56	O(n^1)	0.3	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.34	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.52	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.43	TIMEOUT	60
	O(1)	10.17	O(n^1)	0.3	O(n^1)	0.26
	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60
	O(n^1)	8.38	O(n^1)	0.26	O(n^1)	0.65
	O(n^1)	46.51	O(n^1)	0.27	O(n^1)	0.46
	O(1)	3.46	O(n^1)	0.3	O(n^1)	0.71
	TIMEOUT	60	MAYBE	55.59	TIMEOUT	60
	O(n^1)	46.62	O(n^1)	0.28	O(n^1)	0.41
	O(1)	1.46	O(n^1)	0.28	O(n^1)	0.48
	TIMEOUT	60	MAYBE	10.53	TIMEOUT	60
	O(n^1)	46.58	O(n^1)	0.31	O(n^1)	0.23
	O(n^1)	46.91	O(n^1)	0.3	O(n^1)	0.24
	TIMEOUT	60	MAYBE	10.99	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.58	TIMEOUT	60
	TIMEOUT	60	MAYBE	16.93	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.46	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.42	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.46	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.29	O(n^1)	0.65
	TIMEOUT	60	MAYBE	11.39	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.45	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.58	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.13	TIMEOUT	60
	TIMEOUT	60	MAYBE	13.05	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.55	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.5	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.32	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.41	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.42	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.48	TIMEOUT	60
	TIMEOUT	60	MAYBE	10.57	TIMEOUT	60
	TIMEOUT	60	MAYBE	11.9	TIMEOUT	60
	O(1)	1.55	O(n^1)	0.29	O(n^1)	0.66
	O(n^1)	1.66	MAYBE	10.46	TIMEOUT	60
	O(1)	1.58	O(n^1)	0.3	O(n^1)	0.85
	O(n^1)	1.6	MAYBE	10.44	TIMEOUT	60
	O(1)	1.55	O(n^1)	0.3	O(n^1)	0.67
	O(1)	1.47	O(n^1)	0.28	O(n^1)	0.52
	O(n^1)	1.7	O(n^1)	0.28	O(n^1)	0.6
	O(n^1)	1.76	O(n^1)	0.3	O(n^1)	0.63
	O(1)	1.49	O(n^1)	0.26	O(n^1)	0.57
	O(n^1)	1.61	MAYBE	10.49	TIMEOUT	60
	O(1)	1.63	O(n^1)	0.29	O(n^1)	0.58
	O(1)	1.56	O(n^1)	0.28	O(n^1)	0.62
	O(1)	1.6	O(n^1)	0.28	O(n^1)	0.92
	O(1)	1.48	O(n^1)	0.29	O(n^1)	0.63
	O(n^1)	1.61	O(n^1)	0.31	O(n^1)	0.62
	TIMEOUT	60	MAYBE	14.89	TIMEOUT	60
	O(1)	1.63	O(n^1)	0.29	O(n^1)	0.67
	O(1)	1.51	O(n^1)	0.26	O(n^1)	0.97
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(1)	1.47	O(n^1)	0.31	O(n^1)	0.62
	O(n^1)	46.61	O(n^1)	0.31	O(n^1)	2.16
	O(n^1)	1.79	O(n^1)	0.31	O(n^1)	0.59
	O(1)	1.56	O(n^1)	0.31	O(n^1)	0.84
	O(n^1)	47.05	O(n^1)	0.29	O(n^1)	5.4
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.44	TIMEOUT	60
	O(1)	1.53	O(n^1)	0.3	O(n^1)	1.34
	O(1)	1.5	O(n^1)	0.31	O(n^1)	0.63
	O(n^1)	1.67	O(n^1)	0.29	O(n^1)	0.5
	TIMEOUT	60	MAYBE	56.85	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.68	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.77	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.79	TIMEOUT	60
	O(n^2)	1.95	O(n^1)	0.31	O(n^1)	0.27
	TIMEOUT	60	MAYBE	55.6	TIMEOUT	60
	O(n^1)	2.41	O(n^1)	0.34	O(n^1)	0.46
	TIMEOUT	60	MAYBE	55.58	TIMEOUT	60
	O(n^1)	2.45	O(n^1)	0.35	O(n^1)	0.37
	O(n^1)	47.58	O(n^1)	0.35	O(n^1)	1.81
	O(n^3)	13.9	O(n^1)	0.31	O(n^1)	0.8
	O(n^1)	8.24	O(n^1)	0.31	O(n^1)	0.74
	O(n^1)	6.77	O(n^1)	0.33	O(n^1)	15.87
	TIMEOUT	60	MAYBE	59.47	TIMEOUT	60
	O(n^1)	1.86	O(n^1)	0.31	O(n^1)	0.09
	TIMEOUT	60	MAYBE	55.49	TIMEOUT	60
	TIMEOUT	60	MAYBE	57.07	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.19	TIMEOUT	60
	O(n^2)	2.47	O(n^1)	0.31	O(n^1)	1.26
	O(n^1)	3.07	O(n^1)	0.35	O(n^1)	14.7
	O(n^1)	6.89	O(n^1)	0.31	O(n^1)	3.45
	TIMEOUT	60	MAYBE	56.47	TIMEOUT	60
	O(n^1)	47.18	O(n^1)	0.31	O(n^1)	4.06
	O(n^3)	2.24	O(n^1)	0.4	O(n^1)	18.93
	O(1)	1.58	O(n^1)	0.37	O(n^1)	52.45
	O(n^2)	3.63	O(n^1)	0.33	O(n^1)	1.25
	TIMEOUT	60	MAYBE	46.15	TIMEOUT	60
	O(1)	27.38	O(n^1)	0.28	O(n^1)	0.48
	O(n^1)	1.66	O(n^1)	0.31	O(n^1)	1.65
	O(1)	1.47	O(n^1)	0.3	O(n^1)	2.44
	O(1)	1.48	O(n^1)	0.29	O(n^1)	2.21
	O(n^2)	1.7	O(n^1)	0.36	O(n^1)	3.16
	O(1)	15.36	O(n^1)	0.25	O(n^1)	0.4
	O(n^1)	46.69	O(n^1)	0.33	O(n^1)	1.42
	O(n^2)	5.82	O(n^1)	0.33	O(n^1)	2.61
	O(1)	1.49	O(n^1)	0.3	O(n^1)	2.17
	O(n^2)	2.36	O(n^1)	0.33	O(n^1)	6.41
	O(n^2)	30.45	O(n^1)	0.36	O(n^1)	5.9
	O(n^2)	10.22	O(n^1)	0.35	O(n^1)	3.34
	TIMEOUT	60	MAYBE	0.22	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.31	TIMEOUT	60
	TIMEOUT	60	MAYBE	57.92	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.58	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.51	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.35	TIMEOUT	60
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	55.52	TIMEOUT	60
	TIMEOUT	60	MAYBE	59.65	TIMEOUT	60
	TIMEOUT	60	MAYBE	56.1	TIMEOUT	60
	TIMEOUT	60	O(n^1)	0.3	O(n^1)	0.88
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	TIMEOUT	60	MAYBE	0.21	TIMEOUT	60
	O(n^1)	46.6	O(n^1)	0.37	O(n^1)	0.63
	TIMEOUT	60	MAYBE	55.44	TIMEOUT	60
	O(n^1)	1.63	O(n^1)	0.28	O(n^1)	0.76
	O(1)	27.39	O(n^1)	0.31	O(n^1)	0.74
	O(n^1)	46.84	O(n^1)	0.31	O(n^1)	0.73
	O(n^1)	46.63	O(n^1)	0.32	O(n^1)	1.9
	O(1)	14.6	O(n^1)	0.3	O(n^1)	0.42
	O(1)	14.06	O(n^1)	0.29	O(n^1)	0.39
	O(n^1)	46.58	O(n^1)	0.33	O(n^1)	3.8
	O(1)	1.47	O(n^1)	0.32	O(n^1)	3.97
	O(1)	1.71	O(n^1)	0.37	TIMEOUT	60
	O(1)	1.52	O(n^1)	0.31	O(n^1)	4.18
	TIMEOUT	60	MAYBE	56.7	TIMEOUT	60
	O(n^1)	2.78	O(n^1)	0.34	O(n^1)	3.96
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	48.71	TIMEOUT	60
	O(n^1)	46.98	O(n^1)	1.24	O(n^1)	7.91
	O(n^1)	46.73	O(n^1)	0.31	O(n^1)	1.13
(non-term.)	TIMEOUT	60	MAYBE	10.28	TIMEOUT	60
	O(n^2)	2.04	O(n^1)	0.29	O(n^1)	2.8
	TIMEOUT	60	MAYBE	56.77	TIMEOUT	60
	TIMEOUT	60	MAYBE	30.13	TIMEOUT	60
	O(n^1)	3.11	O(n^1)	0.32	O(n^1)	3.06