(internal, 1s)					(internal, 1s)					(internal, 1s)					(internal, 1s)					(internal, 1s)
	MKBtt					MKBtt					MKBtt					MKBtt					MKBtt
	rename					none					rename+					perm					perm+
system	(1)	(2)	(3)	(4)		(1)	(2)	(3)	(4)		(1)	(2)	(3)	(4)		(1)	(2)	(3)	(4)		(1)	(2)	(3)	(4)
AD93_Z22	∞					∞					∞					∞					∞
ASK93-1	0.02	50	4	3		0.02	50	4	3		0.02	50	4	3		0.02	50	4	3		0.02	50	4	3
ASK93-2	∞					∞					∞					∞					∞
ASK93_5	∞					∞					∞					∞					∞
ASK93_6	7.20	55	815	16		7.21	55	815	16		9.81	40	815	16		7.08	55	815	16		8.41	48	815	16
BD94_collapse	0.03	99	14	10		0.13	99	14	10		0.04	99	9	8		0.03	99	14	10		0.05	99	14	10
BD94_peano	0.02	50	8	5		0.02	50	8	5		0.03	33	8	5		0.03	33	8	5		0.02	50	8	5
BD94_sqrt	0.02	50	7	5		0.03	33	7	5		0.03	33	7	5		0.02	50	7	5		0.03	33	7	5
BGK94_D08	∞					∞					∞					∞					∞
BGK94_D10	32.12	36	1242	108		32.84	37	1242	108		36.13	32	1242	108		33.35	38	1242	108		36.35	33	1242	108
BGK94_D12	32.11	39	1272	108		31.68	39	1272	108		35.45	34	1272	108		31.72	38	1272	108		35.10	34	1272	108
BGK94_D16	48.91	35	1338	116		50.11	36	1338	116		53.75	32	1338	116		49.25	36	1338	116		54.35	32	1338	116
BGK94_M08	∞					∞					∞					∞					∞
BGK94_M10	∞					∞					∞					∞					∞
BGK94_M12	∞					∞					∞					∞					∞
BGK94_M14	∞					∞					∞					∞					∞
BGK94_Z22W	∞					∞					∞					∞					∞
BH96_fac8_theory	0.10	20	34	7		0.10	20	34	7		0.12	17	34	7		0.17	12	34	7		0.13	15	34	7
BOO027-1th	0.03	33	6	6		0.03	99	6	6		0.03	33	6	6		0.03	33	6	6		0.03	33	6	6
Chr89_A2	123.93	35	2149	146		122.22	35	2149	146		119.47	25	1550	146		122.50	35	2149	146		146.64	32	2149	146
Chr89_A24	∞					∞					∞					∞					∞
Chr89_A3	∞					∞					∞					∞					∞
COL053-1th	0.01	99	2	2		0.01	99	2	2		0.01	99	2	2		0.01	99	2	2		0.01	99	2	2
COL056-1th	0.04	25	10	4		0.04	25	10	4		0.04	25	10	4		0.03	33	10	4		0.04	25	10	4
COL060-1th	0.02	50	4	3		0.02	50	4	3		0.02	50	4	3		0.02	50	4	3		0.02	50	4	3
COL085-1th	0.01	99	2	2		0.01	99	2	2		0.01	99	2	2		0.01	99	2	2		0.01	99	2	2
GRP010-4th	3.20	32	210	57		3.29	34	210	57		3.49	31	210	57		3.28	33	210	57		3.49	31	210	57
GRP011-4th	0.66	41	67	27		1.12	53	127	26		0.71	41	67	27		1.07	51	127	26		1.12	48	127	26
GRP012-4th	0.20	15	23	17		0.20	15	23	17		0.20	15	23	17		0.13	23	17	14		0.14	21	17	14
GRP393-2th	0.02	50	2	2		0.01	99	2	2		0.02	50	2	2		0.01	99	2	2		0.01	99	2	2
GRP394-3th	0.36	33	37	21		0.37	32	37	21		0.37	30	37	21		0.34	32	37	21		0.36	33	37	21
GRP454-1th	1.99	20	109	38		1.98	19	109	38		2.15	18	109	38		2.00	21	109	38		2.15	18	109	38
GRP457-1th	2.03	20	109	38		2.01	19	109	38		2.20	18	109	38		2.04	20	109	38		2.19	19	109	38
GRP460-1th	11.21	9	194	91		11.44	12	194	91		12.22	10	194	91		12.01	12	194	91		12.68	8	194	91
GRP463-1th	7.14	9	194	91		7.17	10	194	91		7.83	9	194	91		7.25	10	194	91		7.83	9	194	91
GRP481-1th	∞					∞					∞					∞					∞
GRP484-1th	∞					∞					∞					∞					∞
GRP487-1th	∞					∞					∞					∞					∞
GRP490-1th	∞					∞					∞					∞					∞
GRP493-1th	20.91	12	379	141		20.76	12	379	141		22.65	11	379	141		20.88	12	379	141		22.56	11	379	141
GRP496-1th	∞					∞					∞					∞					∞
HR94_1	∞					∞					∞					∞					∞
HR94_2	∞					∞					∞					∞					∞
HWC004-1th	0.14	36	28	11		0.14	36	28	11		0.15	33	28	11		0.15	33	28	11		0.14	36	28	11
HWC004-2th	0.02	99	12	7		0.03	33	12	7		0.02	99	12	7		0.02	99	12	7		0.03	33	12	7
KK99_linear_assoc	0.04	50	6	3		0.04	50	6	3		0.04	50	6	3		0.03	33	4	3		0.03	33	4	3
Les83_fib	0.25	52	40	10		0.25	52	40	10		0.25	52	40	10		0.26	50	40	10		0.27	52	40	10
Les83_subset	0.09	22	27	13		0.09	22	27	13		0.10	30	27	13		0.09	22	27	13		0.10	20	27	13
LS06_CGE4	∞					∞					∞					∞					∞
LS06_CGE5	∞					∞					∞					∞					∞
LS94_G0	0.47	43	48	23		0.45	40	48	23		0.50	40	48	23		0.30	40	32	20		0.30	43	32	20
LS94_G1	∞					∞					∞					∞					∞
LS94_G2	∞					∞					∞					∞					∞
LS94_G3	∞					∞					∞					∞					∞
LS94_P1	∞					∞					∞					∞					∞
OKW95_dt1_theory	0.69	48	122	17		0.70	50	122	17		0.74	45	122	17		0.70	50	122	17		0.70	44	122	17
Sim91_sims2	∞					∞					∞					∞					∞
SK90_3.01	2.05	36	129	42		1.98	35	129	42		2.11	33	129	42		1.99	36	129	42		2.11	33	129	42
SK90_3.02	0.24	67	7	4		0.24	79	7	4		0.28	46	7	4		0.05	20	7	4		0.50	58	7	4
SK90_3.03	0.64	23	52	28		0.65	25	52	28		0.69	23	52	28		0.65	25	52	28		0.68	24	52	28
SK90_3.04	1.64	35	97	38		1.65	36	97	38		1.69	34	97	38		1.67	36	97	38		1.69	36	97	38
SK90_3.05	18.08	37	291	70		19.49	33	291	70		20.20	34	291	70		19.50	36	291	70		21.28	33	291	70
SK90_3.06	4.76	30	265	65		4.77	31	265	65		5.15	28	265	65		4.71	31	265	65		5.08	29	265	65
SK90_3.07	24.57	30	587	109		24.60	30	587	109		26.56	27	587	109		24.76	30	587	109		26.64	28	587	109
SK90_3.08	0.24	99	9	8		0.09	99	9	8		0.03	99	9	8		0.15	99	9	8		0.14	99	9	8
SK90_3.09	∞					∞					∞					∞					∞
SK90_3.10	0.01	99	8	9		0.01	99	8	9		0.01	99	8	9		0.01	99	8	9		0.01	99	8	9
SK90_3.11	0.02	50	8	7		0.03	33	8	7		0.02	50	8	7		0.03	33	8	7		0.02	50	8	7
SK90_3.12	0.01	99	0	10		0.01	99	0	10		0.01	99	0	10		0.01	99	0	10		0.01	99	0	10
SK90_3.13	0.19	53	33	7		0.20	55	33	7		0.20	50	33	7		0.19	58	33	7		0.19	47	33	7
SK90_3.14	0.16	38	38	10		0.16	38	38	10		0.17	35	38	10		0.16	38	38	10		0.16	38	38	10
SK90_3.15	0.07	29	14	10		0.06	33	14	10		0.07	29	14	10		0.07	29	14	10		0.06	33	14	10
SK90_3.16	0.01	99	5	6		0.01	99	5	6		0.01	99	5	6		0.01	99	5	6		0.01	99	5	6
SK90_3.17	0.83	51	12	7		0.69	62	12	7		0.72	46	12	7		0.89	55	12	7		0.79	49	12	7
SK90_3.18	0.27	33	38	12		0.27	33	38	12		0.26	35	38	12		0.25	36	38	12		0.27	33	38	12
SK90_3.19	0.71	61	98	12		0.72	60	98	12		0.76	59	98	12		0.73	62	98	12		0.75	61	98	12
SK90_3.20	0.56	54	110	13		0.55	56	110	13		0.63	51	110	13		0.54	56	110	13		0.56	45	110	13
SK90_3.21	0.23	35	51	13		0.23	35	51	13		0.23	35	51	13		0.23	35	51	13		0.25	36	51	13
SK90_3.22	∞					∞					∞					∞					∞
SK90_3.23	0.40	33	59	22		0.41	34	59	22		0.43	33	59	22		0.41	34	59	22		0.43	33	59	22
SK90_3.24	0.04	25	10	5		0.04	25	10	5		0.02	50	6	4		0.04	25	10	5		0.04	25	10	5
SK90_3.25	0.03	33	4	3		0.03	33	4	3		0.03	33	4	3		0.03	33	4	3		0.03	33	4	3
SK90_3.26	∞					∞					∞					∞					∞
SK90_3.27	88.95	65	221	54		86.99	65	221	54		87.03	65	221	54		87.81	65	221	54		89.11	64	221	54
SK90_3.28	∞					∞					∞					∞					∞
SK90_3.29	9.06	24	286	11		7.55	21	286	11		6.68	16	246	11		8.44	25	286	11		7.96	22	286	11
SK90_3.30	0.02	50	5	6		0.02	50	5	6		0.02	50	5	6		0.03	33	5	6		0.02	50	5	6
SK90_3.31	0.01	99	4	4		0.01	99	4	4		0.01	99	4	4		0.01	99	4	4		0.01	99	4	4
SK90_3.32	0.01	99	4	5		0.01	99	4	5		0.01	99	4	5		0.01	99	4	5		0.01	99	4	5
SK90_3.33	0.02	50	8	6		0.04	25	8	6		0.03	33	8	6		0.03	33	8	6		0.03	33	8	6
SL_ack	0.04	25	8	4		0.04	25	8	4		0.04	25	8	4		0.04	25	8	4		0.04	25	8	4
SL_CGE2	8.99	61	419	43		8.64	61	419	43		4.91	56	224	40		9.28	62	419	43		9.49	58	419	43
SL_CGE3	193.09	81	4588	56		192.97	81	4588	56		34.26	73	848	48		192.76	81	4588	56		208.41	74	4588	56
SL_endo	2.47	41	142	31		2.48	41	142	31		2.48	39	142	31		2.40	45	142	31		2.26	45	142	31
SL_ep	2.09	60	88	37		2.12	58	88	37		2.16	57	88	37		2.15	60	88	37		2.13	59	88	37
SL_fgh	0.01	99	3	6		0.01	99	3	6		0.01	99	3	6		0.01	99	3	6		0.01	99	3	6
SL_group	0.35	31	37	21		0.35	34	37	21		0.38	32	37	21		0.35	34	37	21		0.37	32	37	21
SL_groupc	0.15	47	25	12		0.15	40	25	12		0.15	47	25	12		0.15	40	25	12		0.15	40	25	12
SL_hard	0.01	99	3	3		0.01	99	3	3		0.01	99	3	3		0.01	99	3	3		0.01	99	3	3
SL_nlp-2b	∞					∞					∞					∞					∞
SWV262-2th	0.03	33	7	4		0.03	33	7	4		0.03	33	7	4		0.03	33	7	4		0.03	33	7	4
WS06prred	120.91	91	986	91		121.36	91	986	91		126.98	87	986	91		120.34	91	986	91		123.98	89	986	91
successes	71					71					71					71					71
total time	18775.93					18774.16					18634.06					18775.74					18841.02
∅ time/success	10.93					10.90					8.93					10.93					11.85
∅ terminationtime	0.58					0.58					0.47					0.58					0.53
∅ number processes	25.14				28.76	25.23				28.75	21.07				28.56	25.07				28.66	25.07				28.66

Explanation:

(1)	total time in seconds
(2)	percentage of time spent on termination
(3)	number of termination calls
(4)	number of iterations (orient steps)