Tool	YES	MAYBE	TIMEOUT
AProVE	208 [4.01]	215 [4.57]	54
CASLOG	26 [9.11]	401 [9.86]	47
CiaoPP-o	25 [9.30]	433 [10.11]	15
CiaoPP-r	24 [10.01]	434 [10.91]	15

Example	AProVE		CASLOG		CiaoPP-o		CiaoPP-r
	O(1)	2.27	MAYBE	8.85	MAYBE	8.73	MAYBE	9.27
	MAYBE	2.67	MAYBE	9.05	MAYBE	9.0	MAYBE	9.84
	MAYBE	2.29	MAYBE	9.02	MAYBE	8.72	MAYBE	9.19
	O(1)	2.22	MAYBE	8.77	MAYBE	8.72	MAYBE	9.3
	MAYBE	2.56	MAYBE	8.8	MAYBE	8.68	MAYBE	9.12
	MAYBE	2.45	TIMEOUT	60	MAYBE	8.79	MAYBE	9.25
	O(1)	2.2	MAYBE	8.88	MAYBE	8.66	MAYBE	9.23
	MAYBE	2.43	MAYBE	8.83	MAYBE	8.71	MAYBE	9.14
	MAYBE	2.77	MAYBE	8.86	MAYBE	8.76	MAYBE	9.18
	O(n^2)	36.39	MAYBE	9.33	MAYBE	9.57	MAYBE	10.05
	O(n^2)	3.29	MAYBE	9.07	MAYBE	8.99	MAYBE	9.45
	O(n^1)	2.74	MAYBE	9.08	MAYBE	8.92	MAYBE	9.63
	O(n^2)	4.53	MAYBE	9.42	MAYBE	9.43	MAYBE	10.47
	O(n^1)	2.99	MAYBE	8.96	MAYBE	8.93	MAYBE	9.52
	O(1)	2.24	MAYBE	8.96	MAYBE	9.0	MAYBE	9.77
	O(n^1)	2.55	MAYBE	9.01	MAYBE	8.88	MAYBE	9.26
	O(1)	2.36	MAYBE	8.97	MAYBE	8.83	MAYBE	9.29
	O(1)	2.25	MAYBE	8.98	MAYBE	8.84	MAYBE	9.25
	O(n^1)	2.5	MAYBE	8.98	MAYBE	8.87	MAYBE	9.39
	MAYBE	2.84	MAYBE	8.93	MAYBE	8.75	MAYBE	9.12
	MAYBE	2.37	MAYBE	9.62	MAYBE	9.54	MAYBE	10.13
	MAYBE	3.08	MAYBE	8.91	MAYBE	8.96	MAYBE	9.35
	TIMEOUT	60	MAYBE	8.98	MAYBE	8.84	MAYBE	9.3
	O(n^2)	2.85	MAYBE	9.0	MAYBE	9.0	MAYBE	9.36
	O(1)	2.26	MAYBE	8.89	MAYBE	8.7	MAYBE	9.09
	O(n^1)	2.5	MAYBE	8.91	MAYBE	8.94	MAYBE	9.24
	MAYBE	2.46	MAYBE	8.88	MAYBE	8.56	MAYBE	9.09
	O(1)	2.15	MAYBE	9.39	O(1)	9.42	O(1)	10.68
	MAYBE	2.41	MAYBE	8.95	MAYBE	8.58	MAYBE	9.2
	O(n^1)	2.62	MAYBE	8.88	MAYBE	8.85	MAYBE	9.22
	TIMEOUT	60	MAYBE	8.93	MAYBE	8.72	MAYBE	9.36
	TIMEOUT	60	MAYBE	11.31	MAYBE	11.46	MAYBE	11.95
	O(n^2)	3.3	MAYBE	8.9	MAYBE	8.97	MAYBE	9.51
	O(n^2)	3.41	MAYBE	9.08	MAYBE	9.02	MAYBE	9.61
	MAYBE	2.83	MAYBE	8.72	MAYBE	8.64	MAYBE	9.07
	O(1)	2.21	MAYBE	8.91	MAYBE	8.71	MAYBE	9.43
	O(n^1)	2.48	MAYBE	8.98	MAYBE	8.72	MAYBE	9.28
	MAYBE	3.03	MAYBE	8.96	MAYBE	8.79	MAYBE	9.27
	O(n^1)	2.61	TIMEOUT	60	MAYBE	9.02	MAYBE	9.58
	O(n^1)	2.6	MAYBE	8.98	MAYBE	8.89	MAYBE	9.23
	MAYBE	3.25	MAYBE	8.89	MAYBE	8.72	MAYBE	9.19
	O(n^1)	2.64	TIMEOUT	60	MAYBE	9.14	MAYBE	9.55
	MAYBE	58.61	MAYBE	9.47	MAYBE	9.5	MAYBE	9.92
	MAYBE	2.44	MAYBE	9.89	MAYBE	10.03	MAYBE	10.52
	MAYBE	31.93	MAYBE	9.3	MAYBE	9.03	MAYBE	9.52
	MAYBE	29.67	TIMEOUT	60	MAYBE	9.38	MAYBE	9.72
	TIMEOUT	60	MAYBE	9.18	MAYBE	9.02	MAYBE	9.45
	TIMEOUT	60	MAYBE	9.57	MAYBE	9.79	MAYBE	10.32
	TIMEOUT	60	MAYBE	10.31	MAYBE	10.93	MAYBE	11.52
	TIMEOUT	60	TIMEOUT	60	MAYBE	9.83	MAYBE	10.19
	MAYBE	53.74	MAYBE	9.28	MAYBE	9.31	MAYBE	9.73
	MAYBE	2.64	MAYBE	9.43	MAYBE	9.36	MAYBE	9.88
	MAYBE	2.51	MAYBE	10.09	MAYBE	10.33	MAYBE	10.82
	O(n^1)	2.84	TIMEOUT	60	MAYBE	12.05	MAYBE	12.52
	O(n^1)	2.66	MAYBE	10.13	MAYBE	11.09	MAYBE	11.68
	O(1)	2.23	MAYBE	8.9	MAYBE	8.65	MAYBE	9.12
	MAYBE	2.46	MAYBE	8.87	MAYBE	8.7	MAYBE	9.1
	O(n^1)	3.15	TIMEOUT	60	MAYBE	9.56	MAYBE	9.97
	O(n^1)	2.99	MAYBE	9.22	MAYBE	9.27	MAYBE	10.0
	O(n^2)	3.93	TIMEOUT	60	MAYBE	9.21	MAYBE	9.67
	O(n^2)	5.1	TIMEOUT	60	MAYBE	9.42	MAYBE	9.99
	O(n^2)	4.1	MAYBE	9.28	MAYBE	9.13	MAYBE	10.05
	O(n^1)	2.49	MAYBE	9.11	MAYBE	8.93	MAYBE	9.45
	O(n^1)	2.6	TIMEOUT	60	MAYBE	9.13	MAYBE	9.61
	O(1)	2.26	MAYBE	9.08	MAYBE	8.85	MAYBE	9.2
	O(n^1)	2.72	MAYBE	8.92	MAYBE	8.79	MAYBE	9.31
	MAYBE	9.07	MAYBE	10.49	MAYBE	11.79	MAYBE	12.4
	O(1)	2.34	MAYBE	9.08	MAYBE	8.96	MAYBE	9.31
	O(1)	2.47	TIMEOUT	60	MAYBE	9.25	MAYBE	9.64
	O(n^1)	2.68	MAYBE	9.1	MAYBE	9.0	MAYBE	9.45
	O(n^1)	2.81	MAYBE	9.07	MAYBE	8.97	MAYBE	9.48
	O(1)	2.5	MAYBE	9.2	MAYBE	9.32	MAYBE	9.85
	O(1)	2.71	TIMEOUT	60	MAYBE	9.51	MAYBE	10.09
	MAYBE	2.95	MAYBE	9.59	MAYBE	9.66	MAYBE	10.03
	O(n^1)	2.57	TIMEOUT	60	MAYBE	8.98	MAYBE	9.43
	O(n^1)	2.48	MAYBE	9.03	MAYBE	9.04	MAYBE	9.65
	MAYBE	2.48	MAYBE	9.44	MAYBE	9.3	MAYBE	9.87
	O(n^2)	2.89	TIMEOUT	60	MAYBE	9.1	MAYBE	9.52
	O(1)	2.3	TIMEOUT	60	MAYBE	9.0	MAYBE	9.49
	O(n^1)	2.52	MAYBE	8.8	MAYBE	8.73	MAYBE	9.2
	O(1)	2.26	MAYBE	9.38	MAYBE	9.28	MAYBE	9.88
	O(1)	2.34	TIMEOUT	60	MAYBE	9.63	MAYBE	10.09
	O(n^1)	2.69	MAYBE	9.12	MAYBE	8.97	MAYBE	9.43
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(1)	2.25	TIMEOUT	60	MAYBE	8.95	MAYBE	9.45
	O(n^1)	2.46	MAYBE	8.99	MAYBE	8.75	MAYBE	9.3
	TIMEOUT	60	MAYBE	9.33	MAYBE	9.42	MAYBE	9.84
	O(n^1)	3.9	TIMEOUT	60	MAYBE	9.94	MAYBE	10.38
	O(n^1)	3.95	MAYBE	9.35	MAYBE	9.53	MAYBE	10.01
	O(n^2)	3.11	MAYBE	8.98	MAYBE	8.91	MAYBE	9.41
	O(n^2)	3.23	TIMEOUT	60	MAYBE	9.16	MAYBE	9.64
	MAYBE	3.12	MAYBE	8.95	MAYBE	8.87	MAYBE	9.38
	O(1)	2.22	MAYBE	8.86	MAYBE	8.75	MAYBE	9.21
	O(1)	2.27	MAYBE	8.84	MAYBE	8.71	MAYBE	9.2
	O(1)	2.3	MAYBE	8.84	MAYBE	8.62	MAYBE	9.11
	O(n^1)	3.37	MAYBE	9.18	MAYBE	9.36	MAYBE	9.69
	TIMEOUT	60	MAYBE	13.36	MAYBE	14.69	MAYBE	15.55
	TIMEOUT	60	MAYBE	9.88	MAYBE	9.78	MAYBE	10.26
	TIMEOUT	60	TIMEOUT	60	MAYBE	9.8	MAYBE	10.26
	O(n^1)	4.27	TIMEOUT	60	MAYBE	9.43	MAYBE	9.91
	O(n^1)	3.4	MAYBE	9.28	MAYBE	9.2	MAYBE	9.59
	O(n^1)	2.65	MAYBE	8.99	MAYBE	8.88	MAYBE	9.4
	O(n^2)	7.57	TIMEOUT	60	MAYBE	9.17	MAYBE	9.56
	MAYBE	3.21	MAYBE	9.42	MAYBE	9.68	MAYBE	10.08
	TIMEOUT	60	MAYBE	9.66	MAYBE	9.7	MAYBE	10.83
	MAYBE	18.03	MAYBE	9.71	MAYBE	9.52	MAYBE	10.0
	O(n^1)	2.94	TIMEOUT	60	MAYBE	9.06	MAYBE	9.47
	O(n^1)	2.85	MAYBE	8.96	MAYBE	8.86	MAYBE	9.42
	O(1)	2.24	TIMEOUT	60	MAYBE	8.97	MAYBE	9.36
	O(1)	2.28	MAYBE	8.72	MAYBE	8.64	MAYBE	9.13
	O(1)	2.24	TIMEOUT	60	MAYBE	8.88	MAYBE	9.22
	MAYBE	2.45	MAYBE	9.51	MAYBE	9.27	MAYBE	9.78
	MAYBE	2.32	MAYBE	10.22	MAYBE	10.34	MAYBE	11.3
	O(n^1)	2.51	MAYBE	8.86	MAYBE	8.71	MAYBE	9.11
	O(n^1)	2.57	MAYBE	8.81	MAYBE	8.86	MAYBE	9.17
	O(n^2)	23.24	MAYBE	10.44	MAYBE	11.51	MAYBE	12.12
	O(n^2)	48.39	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	MAYBE	3.52	MAYBE	10.42	MAYBE	10.86	MAYBE	11.36
	MAYBE	3.42	MAYBE	10.68	MAYBE	11.93	MAYBE	12.56
	MAYBE	3.49	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	2.63	MAYBE	8.95	MAYBE	8.84	MAYBE	9.29
	O(n^1)	2.61	MAYBE	8.96	MAYBE	8.91	MAYBE	9.18
	MAYBE	2.43	MAYBE	23.14	MAYBE	30.11	MAYBE	34.12
	MAYBE	3.53	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	TIMEOUT	60	MAYBE	9.19	MAYBE	9.18	MAYBE	10.03
	O(n^1)	2.99	MAYBE	9.34	MAYBE	9.3	MAYBE	9.95
	MAYBE	3.93	MAYBE	9.28	MAYBE	9.28	MAYBE	9.84
	O(n^1)	2.73	MAYBE	9.11	MAYBE	8.91	MAYBE	9.59
	O(n^1)	2.62	MAYBE	9.09	MAYBE	8.88	MAYBE	9.27
	O(n^1)	2.61	MAYBE	9.11	MAYBE	9.06	MAYBE	9.32
	MAYBE	2.3	MAYBE	9.0	MAYBE	8.97	MAYBE	9.49
	MAYBE	2.61	MAYBE	9.06	MAYBE	8.82	MAYBE	9.32
	TIMEOUT	60	MAYBE	9.12	MAYBE	9.02	MAYBE	9.71
	MAYBE	2.75	MAYBE	9.34	MAYBE	9.04	MAYBE	9.52
	MAYBE	3.3	MAYBE	9.43	MAYBE	10.12	MAYBE	10.58
	MAYBE	2.45	MAYBE	10.08	MAYBE	10.04	MAYBE	10.55
	MAYBE	2.42	MAYBE	10.15	MAYBE	10.71	MAYBE	11.18
	TIMEOUT	60	O(n^2)	9.08	O(n^2)	9.18	O(n^2)	10.09
	MAYBE	2.44	MAYBE	9.28	MAYBE	9.18	MAYBE	9.56
	O(n^2)	10.54	MAYBE	11.15	MAYBE	12.51	MAYBE	13.42
	O(n^2)	14.21	MAYBE	11.1	MAYBE	12.59	MAYBE	13.34
	MAYBE	2.58	MAYBE	10.59	MAYBE	10.8	MAYBE	11.33
	MAYBE	2.47	MAYBE	11.61	MAYBE	13.45	MAYBE	13.83
	MAYBE	2.7	MAYBE	11.54	MAYBE	13.68	MAYBE	14.29
	O(n^1)	2.89	O(n^1)	8.94	O(n^1)	8.96	O(n^1)	9.58
	O(n^1)	2.52	O(n^1)	8.99	O(n^1)	8.75	O(n^1)	9.24
	O(n^1)	2.45	MAYBE	8.85	MAYBE	8.75	MAYBE	9.1
	O(n^1)	2.56	O(n^1)	8.93	O(n^1)	8.72	O(n^1)	9.25
	O(n^1)	2.44	O(n^1)	8.95	O(n^1)	8.71	O(n^1)	9.06
	O(1)	2.36	MAYBE	8.87	MAYBE	8.73	MAYBE	9.21
	O(n^1)	2.83	MAYBE	9.02	MAYBE	9.02	MAYBE	9.4
	O(n^1)	2.96	MAYBE	9.14	MAYBE	9.04	MAYBE	9.52
	O(n^1)	2.82	O(n^1)	8.97	O(n^1)	9.04	O(n^1)	9.83
	MAYBE	2.5	MAYBE	8.96	MAYBE	8.68	MAYBE	9.16
	O(n^1)	2.54	O(n^1)	8.79	MAYBE	8.76	MAYBE	9.21
	MAYBE	3.46	MAYBE	10.73	MAYBE	10.7	MAYBE	11.21
	O(n^1)	2.59	MAYBE	8.84	MAYBE	8.77	MAYBE	9.21
	MAYBE	2.5	MAYBE	8.91	MAYBE	8.73	MAYBE	9.19
	O(n^2)	4.67	MAYBE	9.14	MAYBE	8.98	MAYBE	9.84
	O(n^2)	4.58	O(n^2)	9.54	O(n^2)	9.6	O(n^2)	10.36
	MAYBE	2.42	MAYBE	9.63	MAYBE	9.39	MAYBE	9.8
	O(n^1)	2.44	O(n^1)	8.87	O(n^1)	8.73	O(n^1)	9.17
	O(n^1)	3.33	MAYBE	9.28	MAYBE	9.45	MAYBE	9.98
	O(n^1)	3.23	MAYBE	9.27	MAYBE	9.22	MAYBE	9.95
	MAYBE	3.44	MAYBE	12.6	MAYBE	15.94	MAYBE	16.58
	MAYBE	2.31	MAYBE	9.01	MAYBE	8.95	MAYBE	9.65
	MAYBE	2.37	MAYBE	9.35	MAYBE	9.25	MAYBE	9.61
	MAYBE	2.4	MAYBE	9.2	MAYBE	8.98	MAYBE	9.56
	MAYBE	2.38	MAYBE	13.54	MAYBE	14.35	MAYBE	15.66
	MAYBE	2.26	MAYBE	10.64	MAYBE	11.08	MAYBE	12.13
	O(n^1)	2.61	MAYBE	8.91	MAYBE	8.88	MAYBE	9.24
	O(n^1)	2.58	MAYBE	8.94	MAYBE	8.88	MAYBE	9.43
	MAYBE	2.46	MAYBE	10.42	MAYBE	10.88	MAYBE	12.29
	MAYBE	2.93	MAYBE	10.17	MAYBE	9.84	MAYBE	10.35
	O(n^1)	3.11	MAYBE	9.2	MAYBE	9.36	MAYBE	10.05
	MAYBE	16.82	MAYBE	9.22	MAYBE	8.97	MAYBE	9.98
	MAYBE	3.15	MAYBE	9.08	MAYBE	9.19	MAYBE	9.91
	MAYBE	2.49	MAYBE	9.02	MAYBE	8.67	MAYBE	9.21
	O(n^1)	2.53	O(n^1)	8.87	MAYBE	8.77	MAYBE	9.2
	O(n^1)	2.57	MAYBE	9.08	MAYBE	8.76	MAYBE	9.21
	MAYBE	2.44	MAYBE	9.93	MAYBE	9.96	MAYBE	10.42
	MAYBE	2.5	MAYBE	9.85	MAYBE	9.72	MAYBE	10.26
	MAYBE	2.42	MAYBE	9.61	MAYBE	9.91	MAYBE	10.29
	MAYBE	4.76	MAYBE	9.07	MAYBE	8.77	MAYBE	9.32
	O(n^2)	3.24	MAYBE	8.89	MAYBE	8.88	MAYBE	9.34
	MAYBE	2.33	MAYBE	9.06	MAYBE	8.79	MAYBE	9.3
	MAYBE	2.31	MAYBE	8.92	MAYBE	8.93	MAYBE	9.35
	MAYBE	2.54	MAYBE	8.96	MAYBE	8.72	MAYBE	9.21
	O(n^1)	2.61	MAYBE	9.05	MAYBE	8.87	MAYBE	9.29
	O(n^1)	2.54	MAYBE	9.02	MAYBE	8.65	MAYBE	9.2
	O(n^1)	2.5	O(n^1)	8.88	O(n^1)	8.81	O(n^1)	9.24
	MAYBE	2.35	MAYBE	9.26	MAYBE	9.01	MAYBE	9.57
	O(n^1)	3.79	MAYBE	9.69	MAYBE	9.87	MAYBE	10.75
	O(n^1)	3.43	MAYBE	9.62	MAYBE	9.76	MAYBE	10.27
	TIMEOUT	60	MAYBE	9.66	MAYBE	9.79	MAYBE	11.24
	MAYBE	3.47	MAYBE	8.81	MAYBE	8.71	MAYBE	9.05
	TIMEOUT	60	O(n^1)	8.96	O(n^1)	8.79	O(n^1)	9.28
	O(n^1)	2.75	O(n^1)	8.87	O(n^1)	8.73	O(n^1)	9.15
	MAYBE	2.45	MAYBE	10.27	MAYBE	10.25	MAYBE	10.82
	MAYBE	2.33	MAYBE	10.16	MAYBE	10.3	MAYBE	11.28
	MAYBE	49.46	MAYBE	9.63	MAYBE	9.48	MAYBE	10.95
	TIMEOUT	60	MAYBE	9.74	MAYBE	9.53	MAYBE	10.84
	O(1)	2.38	MAYBE	9.07	MAYBE	9.01	MAYBE	9.87
	MAYBE	2.63	TIMEOUT	60	MAYBE	9.92	MAYBE	11.35
	TIMEOUT	60	MAYBE	9.73	MAYBE	9.86	MAYBE	11.35
	TIMEOUT	60	TIMEOUT	60	MAYBE	10.89	MAYBE	13.23
	TIMEOUT	60	MAYBE	10.97	MAYBE	11.42	MAYBE	13.76
	MAYBE	2.35	MAYBE	9.44	MAYBE	9.44	MAYBE	9.9
	MAYBE	2.68	MAYBE	9.83	MAYBE	9.57	MAYBE	10.16
	TIMEOUT	60	MAYBE	9.8	MAYBE	10.03	MAYBE	11.43
	MAYBE	2.71	MAYBE	14.62	MAYBE	24.93	MAYBE	23.3
	O(n^1)	2.77	MAYBE	9.22	MAYBE	9.27	MAYBE	9.86
	MAYBE	2.37	MAYBE	10.29	MAYBE	10.19	MAYBE	11.38
	O(n^1)	2.95	MAYBE	8.91	MAYBE	8.74	MAYBE	9.19
	MAYBE	39.69	MAYBE	9.33	MAYBE	9.33	MAYBE	9.77
	O(1)	2.28	MAYBE	8.94	MAYBE	8.78	MAYBE	9.58
	MAYBE	49.8	MAYBE	9.67	MAYBE	9.51	MAYBE	10.9
	TIMEOUT	60	MAYBE	9.61	MAYBE	9.48	MAYBE	10.84
	MAYBE	2.53	TIMEOUT	60	MAYBE	11.01	MAYBE	12.82
	TIMEOUT	60	MAYBE	9.09	MAYBE	8.92	MAYBE	9.31
	TIMEOUT	60	MAYBE	9.07	MAYBE	8.86	MAYBE	9.18
	TIMEOUT	60	MAYBE	9.16	MAYBE	9.16	MAYBE	9.53
	TIMEOUT	60	MAYBE	9.6	MAYBE	9.73	MAYBE	10.25
	MAYBE	2.42	MAYBE	9.2	MAYBE	9.01	MAYBE	9.4
	MAYBE	2.37	MAYBE	9.2	MAYBE	9.09	MAYBE	9.64
	MAYBE	3.82	MAYBE	10.08	MAYBE	10.84	MAYBE	11.63
	MAYBE	2.36	MAYBE	9.19	MAYBE	9.06	MAYBE	9.55
	MAYBE	2.38	MAYBE	9.88	MAYBE	9.85	MAYBE	10.99
	O(n^1)	3.16	MAYBE	9.94	MAYBE	10.26	MAYBE	10.94
	TIMEOUT	60	MAYBE	9.97	MAYBE	10.43	MAYBE	10.92
	TIMEOUT	60	MAYBE	9.66	MAYBE	9.8	MAYBE	11.16
	MAYBE	3.0	MAYBE	12.26	MAYBE	14.05	MAYBE	15.49
	O(n^1)	2.52	MAYBE	9.12	MAYBE	9.02	MAYBE	9.61
	TIMEOUT	60	MAYBE	9.08	MAYBE	9.18	MAYBE	9.95
	MAYBE	2.38	MAYBE	10.62	MAYBE	11.22	MAYBE	12.11
	TIMEOUT	60	MAYBE	10.18	MAYBE	10.56	MAYBE	11.27
	O(n^1)	2.86	MAYBE	9.11	MAYBE	8.75	MAYBE	9.2
	O(n^1)	2.58	MAYBE	9.08	MAYBE	9.05	MAYBE	9.65
	MAYBE	2.24	MAYBE	9.11	MAYBE	9.11	MAYBE	10.29
	TIMEOUT	60	MAYBE	9.54	MAYBE	9.82	MAYBE	11.16
	MAYBE	2.42	MAYBE	9.27	MAYBE	9.22	MAYBE	9.75
	MAYBE	3.92	MAYBE	8.85	MAYBE	8.74	MAYBE	9.18
	O(n^1)	2.51	MAYBE	8.85	MAYBE	8.73	MAYBE	9.12
	O(1)	2.2	MAYBE	8.76	MAYBE	8.71	MAYBE	9.08
	MAYBE	2.32	MAYBE	10.89	MAYBE	11.09	MAYBE	12.32
	TIMEOUT	60	MAYBE	9.05	MAYBE	9.01	MAYBE	9.66
	O(n^2)	3.31	MAYBE	9.34	MAYBE	9.32	MAYBE	10.08
	MAYBE	2.37	MAYBE	9.37	MAYBE	9.38	MAYBE	9.97
	TIMEOUT	60	MAYBE	9.69	MAYBE	10.08	MAYBE	11.55
	O(n^1)	2.57	MAYBE	8.99	MAYBE	8.94	MAYBE	10.16
	O(n^1)	2.67	MAYBE	9.03	MAYBE	8.86	MAYBE	9.38
	MAYBE	3.42	MAYBE	12.16	MAYBE	15.92	MAYBE	16.54
	MAYBE	2.3	ERROR	9.2	ERROR	9.1	ERROR	9.87
	O(n^1)	2.46	MAYBE	8.88	MAYBE	8.95	MAYBE	9.24
	MAYBE	2.39	MAYBE	13.29	MAYBE	14.41	MAYBE	16.12
	MAYBE	2.27	MAYBE	10.39	MAYBE	11.63	MAYBE	11.85
	O(n^1)	2.98	TIMEOUT	60	MAYBE	8.93	MAYBE	9.24
	O(n^1)	2.47	MAYBE	8.99	MAYBE	8.85	MAYBE	9.33
	O(n^1)	3.26	MAYBE	9.14	MAYBE	9.1	MAYBE	9.52
	MAYBE	18.18	MAYBE	17.0	MAYBE	19.13	MAYBE	21.74
	MAYBE	2.47	MAYBE	8.99	MAYBE	8.76	MAYBE	9.35
	MAYBE	2.67	MAYBE	9.98	MAYBE	10.43	MAYBE	12.32
	O(n^1)	32.65	MAYBE	9.43	MAYBE	9.41	MAYBE	10.72
	TIMEOUT	60	MAYBE	9.33	MAYBE	9.25	MAYBE	10.11
	O(n^2)	4.33	MAYBE	9.16	MAYBE	9.37	MAYBE	10.42
	TIMEOUT	60	MAYBE	9.57	MAYBE	9.84	MAYBE	10.69
	TIMEOUT	60	MAYBE	10.07	MAYBE	10.2	MAYBE	10.65
	MAYBE	2.66	MAYBE	10.24	MAYBE	10.52	MAYBE	12.04
	TIMEOUT	60	MAYBE	9.43	MAYBE	9.36	MAYBE	10.23
	O(1)	2.26	MAYBE	8.83	MAYBE	8.61	MAYBE	9.05
	MAYBE	3.61	MAYBE	8.93	MAYBE	8.96	MAYBE	9.33
	TIMEOUT	60	MAYBE	9.42	MAYBE	9.96	MAYBE	11.47
	MAYBE	26.84	MAYBE	13.41	MAYBE	14.42	MAYBE	16.23
	O(n^1)	2.59	MAYBE	8.87	MAYBE	8.83	MAYBE	9.34
	O(1)	2.38	MAYBE	8.89	MAYBE	8.86	MAYBE	9.36
	O(n^1)	2.46	O(n^1)	8.9	O(n^1)	8.69	O(n^1)	9.12
	O(n^1)	2.72	MAYBE	9.28	MAYBE	9.37	MAYBE	10.13
	O(n^1)	2.5	MAYBE	9.05	MAYBE	8.87	MAYBE	9.3
	O(n^1)	2.5	O(n^1)	9.12	O(n^1)	8.89	O(n^1)	9.24
	O(n^1)	2.55	O(n^1)	8.87	MAYBE	8.85	MAYBE	9.25
	MAYBE	2.8	MAYBE	12.3	MAYBE	13.61	MAYBE	14.35
	MAYBE	2.5	MAYBE	11.59	MAYBE	12.56	MAYBE	15.3
	MAYBE	2.39	MAYBE	9.64	MAYBE	9.49	MAYBE	9.77
	O(n^2)	37.57	O(n^2)	9.61	O(n^2)	9.51	O(n^2)	10.42
	O(n^1)	3.03	MAYBE	9.21	MAYBE	9.24	MAYBE	9.79
	O(n^2)	3.39	MAYBE	8.96	MAYBE	8.89	MAYBE	9.46
	MAYBE	2.32	MAYBE	9.46	MAYBE	9.42	MAYBE	10.46
	MAYBE	2.89	MAYBE	11.04	MAYBE	10.96	MAYBE	11.69
	MAYBE	2.53	MAYBE	11.03	MAYBE	11.84	MAYBE	13.29
	O(n^1)	2.49	MAYBE	8.94	MAYBE	8.72	MAYBE	9.3
	O(n^1)	2.57	MAYBE	8.91	MAYBE	8.81	MAYBE	9.23
	MAYBE	2.43	MAYBE	9.49	MAYBE	9.53	MAYBE	10.34
	MAYBE	2.52	MAYBE	9.5	MAYBE	9.44	MAYBE	10.1
	MAYBE	2.39	MAYBE	9.47	MAYBE	9.34	MAYBE	10.11
	MAYBE	2.29	MAYBE	8.93	MAYBE	9.04	MAYBE	9.41
	MAYBE	2.27	MAYBE	9.1	MAYBE	8.9	MAYBE	9.45
	O(n^1)	2.49	O(n^1)	8.82	O(n^1)	8.78	O(n^1)	9.19
	O(n^1)	2.46	O(n^1)	8.98	O(n^1)	8.72	O(n^1)	9.24
	MAYBE	2.28	MAYBE	9.13	MAYBE	9.2	MAYBE	9.63
	MAYBE	2.26	MAYBE	9.27	MAYBE	9.14	MAYBE	9.74
	O(n^1)	2.52	O(n^1)	8.92	O(n^1)	8.77	O(n^1)	9.22
	TIMEOUT	60	MAYBE	9.97	MAYBE	10.22	MAYBE	11.58
	MAYBE	2.33	MAYBE	8.98	MAYBE	9.07	MAYBE	9.85
	O(n^1)	2.55	O(n^1)	9.02	O(n^1)	8.84	O(n^1)	9.6
	O(n^1)	2.55	MAYBE	9.03	MAYBE	8.88	MAYBE	9.69
	O(n^1)	2.85	MAYBE	9.04	MAYBE	9.12	MAYBE	9.57
	O(n^1)	2.67	MAYBE	9.14	MAYBE	8.96	MAYBE	9.65
	MAYBE	2.35	MAYBE	10.14	MAYBE	10.31	MAYBE	11.27
	MAYBE	14.83	MAYBE	8.97	MAYBE	9.0	MAYBE	9.31
	MAYBE	2.37	MAYBE	10.22	MAYBE	10.05	MAYBE	11.13
	MAYBE	2.73	MAYBE	9.36	MAYBE	9.47	MAYBE	9.89
	MAYBE	29.9	MAYBE	9.43	MAYBE	9.68	MAYBE	10.5
	TIMEOUT	60	MAYBE	9.75	MAYBE	10.05	MAYBE	11.53
	MAYBE	2.49	MAYBE	11.69	MAYBE	12.53	MAYBE	15.18
	MAYBE	2.35	MAYBE	9.41	MAYBE	9.58	MAYBE	11.09
	MAYBE	2.35	MAYBE	9.52	MAYBE	9.33	MAYBE	10.46
	MAYBE	3.47	MAYBE	8.95	MAYBE	8.82	MAYBE	9.23
	MAYBE	2.47	MAYBE	10.79	MAYBE	11.05	MAYBE	12.63
	MAYBE	3.02	MAYBE	20.28	MAYBE	37.01	MAYBE	43.75
	O(n^1)	3.11	MAYBE	9.22	MAYBE	9.31	MAYBE	10.09
	O(n^2)	4.42	MAYBE	9.04	MAYBE	8.92	MAYBE	9.69
	O(n^2)	5.69	MAYBE	9.23	MAYBE	9.33	MAYBE	10.14
	O(n^1)	2.54	MAYBE	9.06	MAYBE	8.91	MAYBE	9.29
	O(n^2)	4.44	MAYBE	8.96	MAYBE	8.98	MAYBE	9.35
	O(n^2)	5.74	MAYBE	9.05	MAYBE	8.94	MAYBE	9.68
	TIMEOUT	60	MAYBE	15.32	MAYBE	20.13	MAYBE	20.94
	MAYBE	2.57	MAYBE	11.69	MAYBE	13.08	MAYBE	16.06
	MAYBE	2.45	MAYBE	8.93	MAYBE	8.66	MAYBE	9.18
	MAYBE	2.33	MAYBE	9.44	MAYBE	9.42	MAYBE	10.44
	MAYBE	2.38	MAYBE	9.67	MAYBE	9.86	MAYBE	11.73
	O(1)	2.27	MAYBE	8.82	MAYBE	8.8	MAYBE	9.21
	MAYBE	2.58	MAYBE	8.92	TIMEOUT	60	MAYBE	9.14
	O(1)	2.23	MAYBE	8.97	MAYBE	8.92	MAYBE	9.38
	MAYBE	3.22	MAYBE	9.0	MAYBE	8.83	MAYBE	9.36
	TIMEOUT	60	MAYBE	9.01	MAYBE	8.79	MAYBE	9.26
	O(n^1)	3.19	MAYBE	9.03	MAYBE	8.89	MAYBE	9.37
	TIMEOUT	60	MAYBE	9.94	MAYBE	10.22	MAYBE	11.54
	MAYBE	2.32	MAYBE	8.96	MAYBE	8.94	MAYBE	9.49
	MAYBE	3.6	MAYBE	15.08	MAYBE	18.86	MAYBE	20.77
	MAYBE	2.51	MAYBE	8.88	MAYBE	8.74	MAYBE	9.28
	MAYBE	2.49	MAYBE	8.98	MAYBE	8.64	MAYBE	9.26
	MAYBE	3.4	MAYBE	8.91	MAYBE	8.74	MAYBE	9.22
	MAYBE	4.68	MAYBE	25.59	MAYBE	23.41	MAYBE	29.47
	MAYBE	2.51	MAYBE	11.63	MAYBE	12.14	MAYBE	13.86
	TIMEOUT	60	MAYBE	9.05	MAYBE	8.96	MAYBE	9.58
	MAYBE	2.38	MAYBE	14.8	MAYBE	10.02	MAYBE	10.96
	MAYBE	2.4	MAYBE	15.07	MAYBE	10.54	MAYBE	11.67
	MAYBE	2.44	MAYBE	15.33	MAYBE	10.68	MAYBE	11.9
	MAYBE	2.5	MAYBE	11.41	MAYBE	12.5	MAYBE	14.8
	MAYBE	2.53	MAYBE	11.58	MAYBE	12.53	MAYBE	15.46
	MAYBE	2.68	MAYBE	12.55	MAYBE	13.61	MAYBE	15.12
	MAYBE	2.72	MAYBE	12.71	MAYBE	13.61	MAYBE	15.16
	O(n^1)	2.52	MAYBE	8.96	MAYBE	8.92	MAYBE	9.26
	MAYBE	5.93	MAYBE	12.82	MAYBE	14.84	MAYBE	16.34
	O(n^1)	2.56	MAYBE	8.94	MAYBE	8.86	MAYBE	9.31
	TIMEOUT	60	MAYBE	11.75	MAYBE	14.12	MAYBE	16.57
	MAYBE	4.51	MAYBE	12.19	MAYBE	14.63	MAYBE	15.44
	MAYBE	3.89	MAYBE	12.14	MAYBE	15.0	MAYBE	15.85
	TIMEOUT	60	MAYBE	11.82	MAYBE	14.31	MAYBE	16.62
	O(n^2)	4.54	MAYBE	9.27	MAYBE	9.42	MAYBE	10.14
	MAYBE	2.49	MAYBE	9.75	MAYBE	9.9	MAYBE	11.53
	O(1)	2.24	MAYBE	8.81	MAYBE	8.78	MAYBE	9.34
	MAYBE	2.42	MAYBE	8.83	MAYBE	8.58	MAYBE	9.07
	O(n^1)	2.49	MAYBE	8.79	O(n^1)	8.71	MAYBE	9.02
	TIMEOUT	60	MAYBE	10.04	MAYBE	10.28	MAYBE	10.96
	TIMEOUT	60	MAYBE	10.7	MAYBE	10.97	MAYBE	12.73
	TIMEOUT	60	MAYBE	9.67	MAYBE	9.64	MAYBE	10.78
	MAYBE	2.36	MAYBE	9.25	MAYBE	9.19	MAYBE	9.93
	O(n^1)	3.25	MAYBE	9.19	MAYBE	9.31	MAYBE	9.92
	MAYBE	2.42	MAYBE	9.5	MAYBE	9.64	MAYBE	11.15
	MAYBE	2.33	MAYBE	9.03	MAYBE	9.07	MAYBE	9.82
	MAYBE	2.52	TIMEOUT	60	MAYBE	11.17	MAYBE	12.78
	MAYBE	2.33	MAYBE	9.11	MAYBE	8.99	MAYBE	9.42
	O(n^2)	35.43	MAYBE	9.15	MAYBE	9.17	MAYBE	9.93
	O(1)	2.26	MAYBE	8.84	MAYBE	8.83	MAYBE	9.21
	MAYBE	2.37	MAYBE	9.17	MAYBE	9.03	MAYBE	9.52
	MAYBE	2.4	MAYBE	9.01	MAYBE	9.24	MAYBE	9.93
	O(1)	2.5	MAYBE	9.01	MAYBE	8.8	MAYBE	9.37
	MAYBE	3.14	MAYBE	10.33	MAYBE	11.02	MAYBE	12.31
	O(n^1)	2.54	MAYBE	8.99	MAYBE	8.72	MAYBE	9.29
	O(n^1)	2.52	O(n^1)	8.84	O(n^1)	8.74	O(n^1)	9.3
	O(n^1)	2.56	O(n^1)	8.96	O(n^1)	8.74	O(n^1)	9.31
	MAYBE	2.42	MAYBE	23.25	MAYBE	30.02	MAYBE	34.08
	O(n^1)	3.13	MAYBE	9.24	MAYBE	9.19	MAYBE	9.95
	O(n^1)	2.55	MAYBE	9.2	MAYBE	9.28	MAYBE	10.12
	MAYBE	2.44	MAYBE	10.2	MAYBE	10.23	MAYBE	11.28
	TIMEOUT	60	MAYBE	8.93	MAYBE	8.86	MAYBE	9.59
	TIMEOUT	60	MAYBE	9.15	MAYBE	8.94	MAYBE	9.68
	O(n^2)	5.14	MAYBE	9.3	MAYBE	9.6	MAYBE	10.49
	O(n^1)	3.23	MAYBE	9.02	MAYBE	9.0	MAYBE	9.53
	O(n^1)	2.62	MAYBE	8.82	MAYBE	8.71	MAYBE	9.07
	O(n^1)	4.93	MAYBE	9.8	MAYBE	10.17	MAYBE	10.53
	O(n^1)	2.53	O(n^1)	8.95	O(n^1)	8.75	O(n^1)	9.33
	MAYBE	2.44	MAYBE	10.68	MAYBE	10.93	MAYBE	11.43
	MAYBE	2.33	MAYBE	10.26	MAYBE	10.2	MAYBE	11.35
	O(n^1)	2.88	MAYBE	8.81	MAYBE	8.83	MAYBE	9.14
	O(n^1)	3.29	MAYBE	8.94	MAYBE	8.76	MAYBE	9.27
	MAYBE	2.73	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	5.6	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^2)	17.77	O(n^2)	9.19	O(n^2)	9.17	O(n^2)	10.18
	O(n^1)	2.48	MAYBE	8.86	MAYBE	8.8	MAYBE	9.23
	MAYBE	2.33	MAYBE	9.45	MAYBE	9.18	MAYBE	9.66
	MAYBE	2.29	MAYBE	9.02	MAYBE	9.1	MAYBE	9.82
	MAYBE	2.43	MAYBE	15.15	MAYBE	10.41	MAYBE	11.52
	O(n^2)	4.4	MAYBE	8.91	MAYBE	8.88	MAYBE	9.27
	O(n^2)	5.47	MAYBE	9.2	MAYBE	9.25	MAYBE	10.13
	O(n^2)	5.75	TIMEOUT	60	MAYBE	8.89	MAYBE	9.49
	MAYBE	7.72	MAYBE	9.06	MAYBE	8.85	MAYBE	9.39
	O(n^2)	4.05	MAYBE	9.0	MAYBE	9.0	MAYBE	9.54
	MAYBE	2.27	MAYBE	9.02	MAYBE	8.96	MAYBE	9.46
	MAYBE	2.27	MAYBE	8.91	MAYBE	8.94	MAYBE	9.32
	O(n^1)	5.66	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(n^1)	2.53	MAYBE	9.06	MAYBE	8.89	MAYBE	9.37
	O(1)	2.21	TIMEOUT	60	MAYBE	8.78	MAYBE	9.49
	MAYBE	2.93	TIMEOUT	60	MAYBE	8.74	MAYBE	9.63
	O(n^2)	3.44	MAYBE	9.24	MAYBE	9.14	MAYBE	9.6
	O(1)	2.26	MAYBE	13.3	MAYBE	20.63	MAYBE	23.08
	MAYBE	2.16	MAYBE	8.79	MAYBE	8.72	MAYBE	9.07
	MAYBE	2.16	MAYBE	8.83	MAYBE	8.7	MAYBE	9.07
	MAYBE	2.58	MAYBE	9.06	MAYBE	9.02	MAYBE	9.64
	O(1)	2.23	MAYBE	9.02	MAYBE	9.06	MAYBE	9.63
	O(1)	2.21	MAYBE	9.14	MAYBE	9.1	MAYBE	9.55
	MAYBE	2.14	MAYBE	8.76	MAYBE	8.74	MAYBE	9.02
	O(1)	2.29	MAYBE	9.87	MAYBE	10.7	MAYBE	11.3
	MAYBE	2.15	MAYBE	8.76	MAYBE	8.7	MAYBE	9.1
	MAYBE	2.17	MAYBE	8.83	MAYBE	8.66	MAYBE	9.16
	O(1)	2.22	MAYBE	8.79	MAYBE	8.75	MAYBE	9.15
	O(1)	2.18	MAYBE	9.02	MAYBE	8.85	MAYBE	9.51
	MAYBE	2.15	MAYBE	8.82	MAYBE	8.71	MAYBE	9.01
	MAYBE	2.47	MAYBE	8.98	MAYBE	8.93	MAYBE	9.5
	MAYBE	2.39	MAYBE	8.83	MAYBE	8.81	MAYBE	9.12
	O(1)	2.2	MAYBE	9.09	MAYBE	8.93	MAYBE	9.55
	MAYBE	2.21	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(1)	2.21	MAYBE	8.91	MAYBE	8.73	MAYBE	9.11
	O(1)	2.25	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	MAYBE	2.26	MAYBE	9.14	MAYBE	9.16	MAYBE	11.07
	MAYBE	2.23	MAYBE	9.18	MAYBE	9.31	MAYBE	10.75
	O(1)	2.12	MAYBE	8.83	MAYBE	8.63	MAYBE	9.04
	MAYBE	2.18	MAYBE	8.88	MAYBE	8.85	MAYBE	9.25
	O(1)	2.3	MAYBE	8.96	MAYBE	9.14	MAYBE	9.51
	MAYBE	2.45	MAYBE	12.84	MAYBE	13.69	MAYBE	14.28
	MAYBE	2.37	MAYBE	12.49	MAYBE	13.21	MAYBE	17.33
	MAYBE	2.24	MAYBE	9.17	MAYBE	9.09	MAYBE	9.51
	MAYBE	2.3	MAYBE	9.13	MAYBE	8.99	MAYBE	9.91
	MAYBE	2.24	MAYBE	9.59	MAYBE	9.64	MAYBE	11.09
	MAYBE	2.26	MAYBE	9.47	MAYBE	10.07	MAYBE	14.64
	MAYBE	2.29	MAYBE	9.2	MAYBE	9.52	MAYBE	15.58
	MAYBE	2.23	ERROR	10.44	ERROR	10.74	ERROR	12.4
	MAYBE	2.37	MAYBE	9.85	MAYBE	10.51	MAYBE	12.12
	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	MAYBE	2.36	MAYBE	9.91	MAYBE	10.54	MAYBE	12.05
	MAYBE	2.26	MAYBE	9.16	MAYBE	9.28	MAYBE	10.5
	O(n^1)	3.97	MAYBE	9.1	MAYBE	9.35	MAYBE	9.7
	MAYBE	3.51	MAYBE	11.43	MAYBE	13.74	TIMEOUT	60
	MAYBE	2.51	MAYBE	14.06	MAYBE	18.7	MAYBE	27.5
	MAYBE	3.24	MAYBE	9.29	MAYBE	9.55	MAYBE	9.95
	MAYBE	2.44	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(1)	2.31	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	O(1)	2.32	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	MAYBE	2.32	MAYBE	9.18	MAYBE	9.46	MAYBE	10.86
	O(1)	2.23	MAYBE	9.48	MAYBE	9.71	MAYBE	10.29
	O(1)	2.24	MAYBE	9.39	MAYBE	9.56	MAYBE	10.02
	MAYBE	2.24	MAYBE	9.71	MAYBE	9.99	MAYBE	11.68
	MAYBE	2.34	MAYBE	9.61	MAYBE	9.9	MAYBE	11.18
	MAYBE	2.37	MAYBE	20.85	ERROR	32.66	ERROR	40.47
	MAYBE	2.45	MAYBE	9.26	MAYBE	10.05	MAYBE	11.32
	MAYBE	3.38	MAYBE	25.12	MAYBE	55.97	MAYBE	57.45
	MAYBE	2.32	MAYBE	11.37	MAYBE	12.26	MAYBE	15.05
	O(1)	3.26	MAYBE	9.68	MAYBE	10.68	MAYBE	11.09
	MAYBE	2.3	ERROR	10.72	ERROR	11.03	ERROR	12.56
	O(1)	2.25	O(1)	12.08	O(1)	18.68	O(1)	21.26
	MAYBE	2.67	MAYBE	9.93	MAYBE	11.12	MAYBE	11.55
	MAYBE	3.02	TIMEOUT	60	TIMEOUT	60	TIMEOUT	60
	MAYBE	2.44	MAYBE	11.38	MAYBE	11.95	MAYBE	12.48
	MAYBE	2.26	MAYBE	8.91	MAYBE	8.88	MAYBE	9.82
	MAYBE	3.59	MAYBE	9.99	MAYBE	13.67	MAYBE	13.05
	MAYBE	2.73	MAYBE	9.42	MAYBE	10.1	MAYBE	10.56