(internal, 1s) | (internal, 1s) | (internal, 1s) | (internal, 1s) | (internal, 1s) | |||||||||||||||||||||
MKBtt | MKBtt | MKBtt | MKBtt | MKBtt | |||||||||||||||||||||
old | oldmax | sum | max | slothrop | |||||||||||||||||||||
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 | 6 | 4 | 0.03 | 33 | 6 | 4 | 0.02 | 50 | 6 | 4 | 0.02 | 50 | 6 | 4 | 0.02 | 50 | 6 | 4 | |||||
ASK93-2 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
ASK93_5 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
ASK93_6 | 10.03 | 53 | 1019 | 20 | 5.31 | 53 | 655 | 17 | 6.93 | 56 | 759 | 17 | 8.73 | 57 | 917 | 17 | 13.64 | 43 | 1067 | 21 | |||||
BD94_collapse | 0.03 | 99 | 14 | 10 | 0.03 | 99 | 14 | 10 | 0.03 | 99 | 14 | 10 | 0.03 | 99 | 14 | 10 | 0.03 | 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.03 | 33 | 8 | 5 | |||||
BD94_sqrt | 0.03 | 33 | 7 | 5 | 0.03 | 33 | 7 | 5 | 0.02 | 50 | 7 | 5 | 0.02 | 50 | 7 | 5 | 0.02 | 50 | 7 | 5 | |||||
BGK94_D08 | ∞ | 71.08 | 34 | 1695 | 105 | 303.74 | 21 | 3407 | 217 | 90.37 | 31 | 2460 | 134 | 591.88 | 8 | 3281 | 160 | ||||||||
BGK94_D10 | ∞ | 198.42 | 17 | 2433 | 171 | 39.78 | 34 | 1110 | 126 | 31.71 | 38 | 1364 | 102 | ∞ | |||||||||||
BGK94_D12 | 488.97 | 18 | 3838 | 215 | ∞ | 40.68 | 35 | 1097 | 124 | 33.51 | 39 | 1400 | 102 | 309.38 | 8 | 1628 | 141 | ||||||||
BGK94_D16 | 311.54 | 22 | 2670 | 164 | 65.91 | 35 | 1207 | 98 | 58.41 | 40 | 1247 | 128 | 46.41 | 37 | 1513 | 113 | 484.97 | 9 | 1923 | 158 | |||||
BGK94_M08 | 0.69 | 19 | 42 | 27 | 0.70 | 20 | 42 | 27 | 0.41 | 15 | 32 | 22 | ∞ | 1.49 | 22 | 64 | 38 | ||||||||
BGK94_M10 | ∞ | ∞ | 0.67 | 12 | 38 | 26 | ∞ | ∞ | |||||||||||||||||
BGK94_M12 | ∞ | ∞ | 1.03 | 11 | 44 | 30 | ∞ | ∞ | |||||||||||||||||
BGK94_M14 | ∞ | ∞ | 1.48 | 9 | 50 | 34 | ∞ | ∞ | |||||||||||||||||
BGK94_Z22W | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
BH96_fac8_theory | 0.09 | 22 | 32 | 7 | 0.09 | 22 | 34 | 7 | 0.11 | 18 | 32 | 7 | 0.10 | 20 | 34 | 7 | 0.10 | 20 | 34 | 7 | |||||
BOO027-1th | 0.03 | 33 | 6 | 6 | 0.03 | 99 | 6 | 6 | 0.03 | 99 | 6 | 6 | 0.03 | 99 | 6 | 6 | 0.03 | 33 | 6 | 6 | |||||
Chr89_A2 | ∞ | ∞ | 77.88 | 17 | 997 | 153 | 149.57 | 36 | 2344 | 150 | ∞ | ||||||||||||||
Chr89_A24 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
Chr89_A3 | 100.55 | 31 | 2101 | 118 | ∞ | ∞ | ∞ | ∞ | |||||||||||||||||
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 | 12 | 5 | 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 | 21.09 | 16 | 449 | 107 | 2.95 | 25 | 170 | 45 | 4.66 | 28 | 252 | 69 | 4.57 | 33 | 253 | 68 | 8.64 | 13 | 210 | 51 | |||||
GRP011-4th | 1.61 | 29 | 94 | 39 | 1.02 | 33 | 80 | 31 | 0.52 | 35 | 49 | 29 | 0.67 | 42 | 67 | 27 | 1.98 | 19 | 82 | 38 | |||||
GRP012-4th | 0.87 | 10 | 40 | 28 | 0.33 | 15 | 27 | 20 | 0.38 | 18 | 34 | 22 | 0.19 | 16 | 23 | 17 | 0.37 | 8 | 24 | 18 | |||||
GRP393-2th | 0.01 | 99 | 2 | 2 | 0.02 | 50 | 2 | 2 | 0.01 | 99 | 2 | 2 | 0.02 | 99 | 2 | 2 | 0.02 | 50 | 2 | 2 | |||||
GRP394-3th | 2.12 | 11 | 62 | 37 | 1.02 | 16 | 46 | 28 | 0.41 | 24 | 38 | 28 | 0.34 | 32 | 37 | 21 | 1.55 | 11 | 47 | 30 | |||||
GRP454-1th | 14.49 | 5 | 181 | 75 | ∞ | 87.35 | 26 | 1475 | 168 | 2.01 | 20 | 111 | 38 | 8.82 | 4 | 99 | 40 | ||||||||
GRP457-1th | 14.48 | 5 | 181 | 75 | ∞ | 86.37 | 26 | 1475 | 168 | 2.04 | 20 | 111 | 38 | 8.87 | 4 | 99 | 40 | ||||||||
GRP460-1th | 149.64 | 11 | 233 | 145 | 5.28 | 8 | 114 | 55 | 11.75 | 7 | 206 | 104 | 8.33 | 10 | 213 | 93 | 240.40 | 4 | 722 | 169 | |||||
GRP463-1th | 142.40 | 12 | 233 | 145 | 5.30 | 8 | 114 | 55 | 11.79 | 7 | 206 | 104 | 8.45 | 11 | 213 | 93 | 240.00 | 4 | 722 | 169 | |||||
GRP481-1th | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
GRP484-1th | ∞ | ∞ | 252.20 | 12 | 842 | 324 | ∞ | ∞ | |||||||||||||||||
GRP487-1th | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
GRP490-1th | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
GRP493-1th | ∞ | 78.75 | 9 | 470 | 187 | 249.62 | 21 | 737 | 230 | ∞ | 87.14 | 5 | 347 | 161 | |||||||||||
GRP496-1th | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
HR94_1 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
HR94_2 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
HWC004-1th | 0.13 | 38 | 28 | 11 | 0.13 | 38 | 28 | 11 | 0.15 | 33 | 28 | 11 | 0.14 | 36 | 28 | 11 | 0.13 | 38 | 28 | 11 | |||||
HWC004-2th | 0.02 | 99 | 12 | 7 | 0.04 | 99 | 12 | 7 | 0.02 | 99 | 12 | 7 | 0.02 | 99 | 12 | 7 | 0.03 | 99 | 12 | 7 | |||||
KK99_linear_assoc | 0.04 | 50 | 6 | 3 | 0.04 | 50 | 6 | 3 | 0.04 | 50 | 6 | 3 | 0.04 | 50 | 6 | 3 | 0.04 | 25 | 6 | 3 | |||||
Les83_fib | 0.24 | 50 | 38 | 10 | 0.27 | 52 | 40 | 10 | 0.25 | 52 | 38 | 10 | 0.26 | 50 | 40 | 10 | 0.27 | 48 | 40 | 10 | |||||
Les83_subset | 0.13 | 38 | 36 | 14 | 0.13 | 38 | 37 | 14 | 0.08 | 25 | 27 | 13 | 0.09 | 22 | 27 | 13 | 0.19 | 21 | 38 | 16 | |||||
LS06_CGE4 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
LS06_CGE5 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
LS94_G0 | 1.23 | 41 | 75 | 31 | 0.99 | 28 | 63 | 29 | 0.99 | 54 | 75 | 30 | 0.46 | 43 | 48 | 23 | 1.85 | 15 | 63 | 29 | |||||
LS94_G1 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
LS94_G2 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
LS94_G3 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
LS94_P1 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
OKW95_dt1_theory | 1.32 | 58 | 208 | 17 | 1.30 | 57 | 214 | 17 | 1.07 | 53 | 176 | 19 | 0.97 | 52 | 162 | 18 | 1.09 | 50 | 174 | 15 | |||||
Sim91_sims2 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
SK90_3.01 | 2.99 | 30 | 157 | 50 | 3.22 | 28 | 153 | 51 | 2.82 | 16 | 113 | 59 | 2.80 | 35 | 164 | 48 | 3.81 | 15 | 114 | 38 | |||||
SK90_3.02 | 0.04 | 50 | 7 | 4 | 0.04 | 50 | 7 | 4 | 0.04 | 50 | 7 | 4 | 0.04 | 50 | 7 | 4 | 0.05 | 40 | 7 | 4 | |||||
SK90_3.03 | ∞ | ∞ | 1.03 | 17 | 66 | 40 | 71.62 | 20 | 549 | 89 | 23.06 | 14 | 335 | 66 | |||||||||||
SK90_3.04 | 37.61 | 7 | 255 | 105 | 2.30 | 26 | 112 | 42 | 74.62 | 7 | 349 | 133 | 1.64 | 34 | 101 | 39 | 2.93 | 13 | 79 | 33 | |||||
SK90_3.05 | 18.68 | 25 | 347 | 90 | 23.81 | 31 | 428 | 110 | 2.35 | 23 | 113 | 43 | 6.71 | 39 | 299 | 69 | 44.50 | 7 | 374 | 82 | |||||
SK90_3.06 | ∞ | 53.97 | 17 | 593 | 163 | ∞ | 6.76 | 30 | 293 | 78 | 101.61 | 6 | 532 | 118 | |||||||||||
SK90_3.07 | ∞ | 108.28 | 9 | 763 | 137 | ∞ | 33.05 | 25 | 693 | 127 | 127.05 | 8 | 825 | 122 | |||||||||||
SK90_3.08 | 0.04 | 99 | 11 | 10 | 0.03 | 99 | 9 | 8 | 0.04 | 99 | 11 | 10 | 0.03 | 99 | 9 | 8 | 0.04 | 99 | 11 | 10 | |||||
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.02 | 99 | 8 | 9 | |||||
SK90_3.11 | 0.03 | 33 | 8 | 7 | 0.03 | 33 | 8 | 7 | 0.02 | 50 | 8 | 7 | 0.02 | 50 | 8 | 7 | 0.03 | 33 | 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.17 | 47 | 34 | 8 | 0.18 | 50 | 34 | 8 | 0.19 | 53 | 37 | 8 | 0.18 | 56 | 33 | 7 | 0.19 | 47 | 34 | 8 | |||||
SK90_3.14 | 0.16 | 38 | 35 | 10 | 0.15 | 40 | 38 | 10 | 0.17 | 41 | 35 | 10 | 0.15 | 47 | 38 | 10 | 0.19 | 32 | 38 | 10 | |||||
SK90_3.15 | 0.08 | 38 | 16 | 11 | 0.06 | 33 | 14 | 10 | 0.08 | 38 | 16 | 11 | 0.06 | 33 | 14 | 10 | 0.07 | 29 | 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.08 | 38 | 12 | 7 | 0.08 | 38 | 12 | 7 | 0.08 | 38 | 12 | 7 | 0.06 | 50 | 10 | 6 | 0.10 | 40 | 12 | 7 | |||||
SK90_3.18 | 0.17 | 35 | 30 | 10 | 0.17 | 35 | 30 | 10 | 0.25 | 36 | 38 | 12 | 0.24 | 38 | 38 | 12 | 0.37 | 32 | 44 | 13 | |||||
SK90_3.19 | 0.27 | 37 | 48 | 12 | 0.54 | 57 | 82 | 12 | 0.28 | 39 | 48 | 12 | 0.65 | 60 | 90 | 11 | 0.98 | 51 | 114 | 12 | |||||
SK90_3.20 | 0.34 | 44 | 80 | 13 | 0.33 | 45 | 87 | 13 | 0.50 | 54 | 103 | 13 | 0.44 | 52 | 96 | 13 | 0.46 | 37 | 87 | 13 | |||||
SK90_3.21 | 0.42 | 43 | 80 | 15 | 0.70 | 50 | 115 | 16 | 0.19 | 32 | 44 | 13 | 0.23 | 35 | 51 | 13 | 0.99 | 33 | 115 | 16 | |||||
SK90_3.22 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
SK90_3.23 | 0.25 | 28 | 43 | 17 | 0.32 | 34 | 49 | 19 | 0.32 | 28 | 51 | 21 | 0.39 | 36 | 63 | 20 | 0.44 | 30 | 57 | 22 | |||||
SK90_3.24 | 0.04 | 25 | 10 | 5 | 0.03 | 33 | 10 | 5 | 0.03 | 33 | 10 | 5 | 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.02 | 50 | 4 | 3 | 0.03 | 33 | 4 | 3 | |||||
SK90_3.26 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
SK90_3.27 | 56.79 | 44 | 209 | 58 | 178.45 | 44 | 350 | 86 | 59.13 | 38 | 246 | 68 | 69.95 | 71 | 185 | 46 | ∞ | ||||||||
SK90_3.28 | ∞ | ∞ | ∞ | ∞ | ∞ | ||||||||||||||||||||
SK90_3.29 | 3.52 | 47 | 434 | 20 | 4.48 | 46 | 544 | 18 | 2.19 | 43 | 312 | 18 | 3.64 | 47 | 492 | 14 | 6.46 | 34 | 590 | 18 | |||||
SK90_3.30 | 0.01 | 99 | 5 | 6 | 0.01 | 99 | 5 | 6 | 0.01 | 99 | 5 | 6 | 0.02 | 50 | 5 | 6 | 0.02 | 50 | 5 | 6 | |||||
SK90_3.31 | 0.01 | 99 | 5 | 4 | 0.01 | 99 | 4 | 4 | 0.01 | 99 | 5 | 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.02 | 50 | 8 | 6 | 0.02 | 50 | 8 | 6 | 0.02 | 50 | 8 | 6 | 0.03 | 33 | 8 | 6 | |||||
SL_ack | 0.04 | 25 | 10 | 5 | 0.05 | 20 | 10 | 5 | 0.04 | 25 | 8 | 4 | 0.04 | 25 | 8 | 4 | 0.04 | 25 | 10 | 5 | |||||
SL_CGE2 | 7.60 | 49 | 334 | 56 | 9.91 | 59 | 445 | 46 | 138.20 | 37 | 1488 | 157 | 8.98 | 61 | 427 | 44 | 15.83 | 35 | 439 | 46 | |||||
SL_CGE3 | ∞ | 121.31 | 79 | 3224 | 58 | ∞ | 189.63 | 81 | 4448 | 56 | 343.89 | 44 | 4374 | 66 | |||||||||||
SL_endo | 2.87 | 37 | 152 | 39 | 1.74 | 41 | 115 | 31 | 3.08 | 36 | 185 | 51 | 1.85 | 48 | 142 | 31 | 2.92 | 25 | 113 | 31 | |||||
SL_ep | 3.82 | 69 | 96 | 41 | 4.42 | 72 | 108 | 41 | 1.84 | 61 | 82 | 37 | 1.96 | 62 | 88 | 37 | 6.08 | 60 | 108 | 41 | |||||
SL_fgh | 0.01 | 99 | 3 | 4 | 0.01 | 99 | 3 | 6 | 0.01 | 99 | 3 | 4 | 0.01 | 99 | 3 | 6 | 0.01 | 99 | 3 | 6 | |||||
SL_group | 2.30 | 11 | 62 | 37 | 1.08 | 17 | 46 | 28 | 0.41 | 24 | 38 | 28 | 0.34 | 32 | 37 | 21 | 1.59 | 10 | 47 | 30 | |||||
SL_groupc | 0.18 | 33 | 27 | 14 | 0.20 | 40 | 29 | 14 | 0.17 | 35 | 26 | 15 | 0.16 | 44 | 27 | 13 | 0.29 | 24 | 29 | 14 | |||||
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 | 133.98 | 92 | 1040 | 87 | 116.57 | 93 | 1003 | 79 | 115.90 | 91 | 956 | 94 | 118.37 | 91 | 986 | 91 | ∞ | ||||||||
successes | 66 | 68 | 74 | 71 | 69 | ||||||||||||||||||||
total time | 22534.50 | 20871.88 | 17843.09 | 18909.36 | 21887.24 | ||||||||||||||||||||
∅ time/success | 23.25 | 15.76 | 22.20 | 12.81 | 38.95 | ||||||||||||||||||||
∅ terminationtime | 0.26 | 0.39 | 0.28 | 0.54 | 0.13 | ||||||||||||||||||||
∅ number processes | 24.20 | 32.12 | 23.31 | 30.44 | 24.82 | 43.19 | 30.75 | 30.04 | 28.41 | 32.96 |
(1) | total time in seconds |
(2) | percentage of time spent on termination |
(3) | number of termination calls |
(4) | number of iterations (orient steps) |