Benchmarks on Sergey/kcfa/kcfa-worst-case-40.scm of differents structure for the worklist (Scala-Par-AM 01.00.02)

TypeSet lattice – Classical address – Default step – Sequential SeqAAMLS and parallel ParAAM-*-*-* without ParAAMCSState – 13 repetitions (time in seconds, computed on Serenity – AMD Opteron Processor 6376 @ 2.30GHz – 4 processors × 16 cores – Java GraalVM 19.1.1)
  Machine p # states # error states # error values # final states # final values Final values # ? Time 1 ? Time 2 ? Time 3 ? Time 4 ? Time 5 ? Time 6 ? Time 7 ? Time 8 ? Time 9 ? Time 10 ? Time 11 ? Time 12 ? Time 13 # finished Average time Standard error Correct? Error 1 Error 2 Error 3 Error 4 Error 5 Error 6 Error 7 Error 8 Error 9 Error 10 Error 11 Error 12 Error 13
1 SeqAAMLS 1 1084654 0 0 1 1 {#f,#t} 13 ✓ 67.572 ✓ 63.458 ✓ 65.226 ✓ 65.02  ✓ 66.022 ✓ 64.272 ✓ 61.008 ✓ 65.327 ✓ 64.762 ✓ 62.719 ✓ 61.418 ✓ 64.273 ✓ 64.278 13 64.258 1.297 ✓
2 ParAAM-L-SA-state 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 141.762 ✓ 139.237 ✓ 140.36  ✓ 140.434 ✓ 139.401 ✓ 138.851 ✓ 139.249 ✓ 138.929 ✓ 140.92  ✓ 140.338 ✓ 139.712 ✓ 140.036 ✓ 139.762 13 139.922 0.664 ✓
3 ParAAM-L-SA-state 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 140.838 ✓ 141.192 ✓ 140.287 ✓ 140.492 ✓ 140.457 ✓ 141.044 ✓ 142.639 ✓ 142.511 ✓ 141.703 ✓ 141.988 ✓ 142.444 ✓ 142.732 ✓ 142.114 13 141.572 0.788 ✓
4 ParAAM-L-SA-state 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.398 ✓ 141.9   ✓ 142.115 ✓ 143.784 ✓ 142.277 ✓ 142.442 ✓ 142.764 ✓ 142.08  ✓ 142.141 ✓ 144.402 ✓ 143.744 ✓ 142.189 ✓ 142.043 13 142.714 0.696 ✓
5 ParAAM-L-SA-state 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.69  ✓ 141.772 ✓ 143.234 ✓ 142.153 ✓ 143.806 ✓ 142.297 ✓ 143.819 ✓ 143.182 ✓ 141.931 ✓ 143.632 ✓ 144.349 ✓ 142.495 ✓ 144.171 13 143.118 0.76  ✓
6 ParAAM-L-SA-state 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 142.048 ✓ 143.432 ✓ 142.629 ✓ 142.28  ✓ 142.401 ✓ 140.802 ✓ 143.035 ✓ 142.539 ✓ 143.45  ✓ 142.343 ✓ 141.742 ✓ 143.188 ✓ 142.283 13 142.475 0.527 ✓
7 ParAAM-L-SA-state 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.233 ✓ 142.218 ✓ 142.425 ✓ 141.858 ✓ 142.05  ✓ 141.299 ✓ 142.886 ✓ 142.913 ✓ 142.322 ✓ 143.795 ✓ 142.042 ✓ 142.907 ✓ 144.009 13 142.612 0.626 ✓
8 ParAAM-L-SA-state 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.636 ✓ 141.285 ✓ 141.734 ✓ 143.532 ✓ 141.724 ✓ 143.498 ✓ 143.752 ✓ 143.264 ✓ 142.841 ✓ 142.484 ✓ 142.256 ✓ 142.03  ✓ 143.012 13 142.696 0.717 ✓
9 ParAAM-L-SA-state 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.335 ✓ 142.539 ✓ 142.612 ✓ 142.685 ✓ 144.228 ✓ 143.282 ✓ 142.878 ✓ 143.087 ✓ 142.652 ✓ 144.239 ✓ 144.125 ✓ 142.713 ✓ 142.715 13 143.161 0.524 ✓
10 ParAAM-L-SA-state 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 142.991 ✓ 143.031 ✓ 143.453 ✓ 142.992 ✓ 142.683 ✓ 141.851 ✓ 142.781 ✓ 141.941 ✓ 143.204 ✓ 142.634 ✓ 142.546 ✓ 142.635 ✓ 142.089 13 142.679 0.366 ✓
11 ParAAM-L-SA-state 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.956 ✓ 142.336 ✓ 143.25  ✓ 143.485 ✓ 143.033 ✓ 141.535 ✓ 144.277 ✓ 142.097 ✓ 142.668 ✓ 143.888 ✓ 142.622 ✓ 143.004 ✓ 141.968 13 142.932 0.672 ✓
12 ParAAM-L-SA-state 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.236 ✓ 144.075 ✓ 143.748 ✓ 143.479 ✓ 143.858 ✓ 142.843 ✓ 143.246 ✓ 145.456 ✓ 142.352 ✓ 144.106 ✓ 142.513 ✓ 142.559 ✓ 141.336 13 143.37  0.826 ✓
13 ParAAM-L-SA-state 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 142.592 ✓ 142.633 ✓ 142.827 ✓ 143.35  ✓ 142.875 ✓ 140.629 ✓ 141.279 ✓ 143.732 ✓ 143.992 ✓ 145.21  ✓ 143.937 ✓ 142.798 ✓ 142.787 13 142.972 0.824 ✓
14 ParAAM-L-SA-state 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.846 ✓ 143.64  ✓ 143.437 ✓ 144.24  ✓ 144.554 ✓ 143.851 ✓ 142.819 ✓ 143.848 ✓ 143.506 ✓ 142.499 ✓ 143.288 ✓ 143.879 ✓ 143.98  13 143.645 0.413 ✓
15 ParAAM-L-SA-state 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 145.151 ✓ 144.586 ✓ 143.276 ✓ 144.126 ✓ 144.634 ✓ 143.45  ✓ 143.662 ✓ 142.591 ✓ 143.532 ✓ 143.482 ✓ 143.866 ✓ 144.479 ✓ 143.14  13 143.844 0.581 ✓
16 ParAAM-L-SA-state 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.339 ✓ 144.356 ✓ 143.385 ✓ 143.505 ✓ 142.849 ✓ 143.229 ✓ 144.522 ✓ 144.716 ✓ 144.616 ✓ 144.324 ✓ 142.995 ✓ 145.018 ✓ 142.089 13 143.842 0.769 ✓
17 ParAAM-L-SA-state 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 145.178 ✓ 144.845 ✓ 143.697 ✓ 143.851 ✓ 143.67  ✓ 142.252 ✓ 142.618 ✓ 142.544 ✓ 143.832 ✓ 143.969 ✓ 142.937 ✓ 143.975 ✓ 144.125 13 143.653 0.656 ✓
18 ParAAM-L-SA-state 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.687 ✓ 144.398 ✓ 143.346 ✓ 145.192 ✓ 144.148 ✓ 144.304 ✓ 143.502 ✓ 144.258 ✓ 142.695 ✓ 144.725 ✓ 143.351 ✓ 143.074 ✓ 144.029 13 143.978 0.603 ✓
19 ParAAM-L-SA-state 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.603 ✓ 143.627 ✓ 143.312 ✓ 143.221 ✓ 143.926 ✓ 144.556 ✓ 143.391 ✓ 144.666 ✓ 145.071 ✓ 143.414 ✓ 144.634 ✓ 140.946 ✓ 143.403 13 143.752 0.761 ✓
20 ParAAM-L-SA-state 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 142.266 ✓ 144.087 ✓ 143.281 ✓ 144.515 ✓ 143.942 ✓ 143.035 ✓ 143.521 ✓ 143.133 ✓ 143.05  ✓ 143.469 ✓ 142.954 ✓ 145.226 ✓ 142.712 13 143.476 0.601 ✓
21 ParAAM-L-SA-state 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.655 ✓ 142.655 ✓ 143.906 ✓ 144.516 ✓ 143.144 ✓ 142.977 ✓ 145.116 ✓ 144.389 ✓ 144.471 ✓ 143.219 ✓ 144.564 ✓ 144.583 ✓ 144.263 13 144.035 0.658 ✓
22 ParAAM-L-SA-state 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.876 ✓ 144.662 ✓ 143.908 ✓ 143.749 ✓ 143.458 ✓ 145.176 ✓ 144.813 ✓ 142.924 ✓ 142.448 ✓ 143.079 ✓ 145.405 ✓ 146.039 ✓ 143.801 13 144.103 0.859 ✓
23 ParAAM-L-SA-set 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 140.33  ✓ 142.911 ✓ 142.97  ✓ 141.249 ✓ 141.199 ✓ 142.301 ✓ 140.668 ✓ 142.217 ✓ 142.063 ✓ 143.162 ✓ 140.553 ✓ 140.496 ✓ 141.573 13 141.669 0.863 ✓
24 ParAAM-L-SA-set 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.594 ✓ 142.832 ✓ 144.741 ✓ 145     ✓ 144.137 ✓ 145.484 ✓ 143.581 ✓ 144.439 ✓ 145.016 ✓ 145.103 ✓ 144.351 ✓ 144.07  ✓ 145.314 13 144.513 0.564 ✓
25 ParAAM-L-SA-set 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.808 ✓ 143.938 ✓ 142.842 ✓ 144.815 ✓ 142.149 ✓ 142.03  ✓ 144.042 ✓ 143.935 ✓ 144.69  ✓ 144.767 ✓ 143.261 ✓ 144.394 ✓ 143.008 13 143.668 0.777 ✓
26 ParAAM-L-SA-set 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.177 ✓ 143.078 ✓ 144.057 ✓ 143.762 ✓ 143.653 ✓ 144.208 ✓ 143.397 ✓ 143.344 ✓ 143.209 ✓ 143.913 ✓ 144.288 ✓ 143.519 ✓ 141.911 13 143.578 0.463 ✓
27 ParAAM-L-SA-set 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.912 ✓ 143.128 ✓ 144.458 ✓ 143     ✓ 144.096 ✓ 143.125 ✓ 144.115 ✓ 144.12  ✓ 144.748 ✓ 143.485 ✓ 143.182 ✓ 143.91  ✓ 143.798 13 143.775 0.455 ✓
28 ParAAM-L-SA-set 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.279 ✓ 142.805 ✓ 143.893 ✓ 144.293 ✓ 142.305 ✓ 143.613 ✓ 143.805 ✓ 142.786 ✓ 142.973 ✓ 142.378 ✓ 143.813 ✓ 142.675 ✓ 144.886 13 143.423 0.711 ✓
29 ParAAM-L-SA-set 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.413 ✓ 144.678 ✓ 144.213 ✓ 143.696 ✓ 142.844 ✓ 142.73  ✓ 144.032 ✓ 148.383 ✓ 144.79  ✓ 144.756 ✓ 142.194 ✓ 143.231 ✓ 143.357 13 144.101 1.019 ✓
30 ParAAM-L-SA-set 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 145.026 ✓ 142.494 ✓ 143.148 ✓ 144.194 ✓ 143.882 ✓ 144.255 ✓ 141.85  ✓ 143.254 ✓ 142.184 ✓ 142.627 ✓ 143.48  ✓ 143.819 ✓ 145.836 13 143.542 0.886 ✓
31 ParAAM-L-SA-set 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.394 ✓ 141.955 ✓ 142.985 ✓ 143.592 ✓ 146.831 ✓ 143.921 ✓ 144.266 ✓ 141.477 ✓ 145.523 ✓ 143.597 ✓ 144.386 ✓ 144.46  ✓ 144.524 13 143.993 0.99  ✓
32 ParAAM-L-SA-set 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.381 ✓ 143.401 ✓ 142.489 ✓ 142.805 ✓ 143.8   ✓ 144.139 ✓ 144.066 ✓ 143.56  ✓ 142.925 ✓ 142.49  ✓ 141.706 ✓ 143.689 ✓ 142.617 13 143.236 0.674 ✓
33 ParAAM-L-SA-set 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.343 ✓ 143.809 ✓ 142.235 ✓ 142.343 ✓ 142.86  ✓ 142.726 ✓ 143.804 ✓ 145.094 ✓ 142.865 ✓ 142.536 ✓ 141.272 ✓ 143.585 ✓ 143.3   13 143.059 0.704 ✓
34 ParAAM-L-SA-set 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.535 ✓ 142.601 ✓ 143.488 ✓ 143.607 ✓ 143.569 ✓ 143.481 ✓ 143.624 ✓ 143.936 ✓ 141.656 ✓ 143.421 ✓ 144.089 ✓ 144.059 ✓ 144.076 13 143.549 0.477 ✓
35 ParAAM-L-SA-set 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.61  ✓ 144.282 ✓ 145.689 ✓ 144.033 ✓ 143.727 ✓ 143.837 ✓ 143.651 ✓ 144.179 ✓ 141.917 ✓ 143.962 ✓ 143.697 ✓ 144.044 ✓ 143.216 13 143.834 0.49  ✓
36 ParAAM-L-SA-set 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.334 ✓ 143.104 ✓ 144.319 ✓ 144.723 ✓ 144.241 ✓ 143.286 ✓ 144.395 ✓ 143.56  ✓ 142.858 ✓ 145.579 ✓ 143.371 ✓ 142.533 ✓ 142.966 13 143.713 0.722 ✓
37 ParAAM-L-SA-set 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.825 ✓ 143.992 ✓ 144.1   ✓ 143.784 ✓ 143.069 ✓ 143.876 ✓ 142.979 ✓ 142.775 ✓ 143.654 ✓ 142.382 ✓ 144.724 ✓ 144.164 ✓ 142.717 13 143.618 0.642 ✓
38 ParAAM-L-SA-set 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.042 ✓ 143.058 ✓ 143.142 ✓ 143.884 ✓ 142.993 ✓ 143.189 ✓ 144.027 ✓ 144.001 ✓ 144.716 ✓ 144.383 ✓ 142.669 ✓ 142.887 ✓ 142.431 13 143.494 0.629 ✓
39 ParAAM-L-SA-set 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 142.89  ✓ 142.818 ✓ 140.339 ✓ 142.402 ✓ 141.664 ✓ 141.669 ✓ 144.263 ✓ 144.745 ✓ 144.347 ✓ 143.701 ✓ 143.303 ✓ 143.627 ✓ 144.366 13 143.087 1.037 ✓
40 ParAAM-L-SA-set 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.254 ✓ 143.492 ✓ 143.305 ✓ 144.827 ✓ 143.373 ✓ 144.346 ✓ 143.741 ✓ 142.58  ✓ 143.118 ✓ 143.501 ✓ 143.018 ✓ 142.959 ✓ 143.05  13 143.505 0.484 ✓
41 ParAAM-L-SA-set 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.959 ✓ 143.505 ✓ 143.574 ✓ 143.724 ✓ 144.069 ✓ 145.56  ✓ 145.37  ✓ 143.953 ✓ 142.436 ✓ 144.848 ✓ 143.106 ✓ 142.108 ✓ 143.493 13 143.823 0.741 ✓
42 ParAAM-L-SA-set 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 144.637 ✓ 144.414 ✓ 145.801 ✓ 144.495 ✓ 142.426 ✓ 144.231 ✓ 143.691 ✓ 145.374 ✓ 144.68  ✓ 143.777 ✓ 142.959 ✓ 144.032 ✓ 142.451 13 144.074 0.786 ✓
43 ParAAM-L-SA-set 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 143.599 ✓ 143.827 ✓ 144.408 ✓ 143.348 ✓ 144.687 ✓ 141.059 ✓ 143.434 ✓ 142.447 ✓ 143.505 ✓ 142.73  ✓ 144.488 ✓ 144.591 ✓ 142.089 13 143.401 0.82  ✓
44 ParAAM-L-SA-part 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 135.733 ✓ 131.538 ✓ 131.05  ✓ 132.339 ✓ 129.452 ✓ 133.057 ✓ 130.954 ✓ 134.471 ✓ 132.678 ✓ 131.602 ✓ 134.241 ✓ 133.184 ✓ 129.424 13 132.286 1.492 ✓
45 ParAAM-L-SA-part 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 83.94  ✓ 83.926 ✓ 83.707 ✓ 83.485 ✓ 83.339 ✓ 84.377 ✓ 84.052 ✓ 83.726 ✓ 81.874 ✓ 83.944 ✓ 83.058 ✓ 83.129 ✓ 83.309 13 83.528 0.458 ✓
46 ParAAM-L-SA-part 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 64.324 ✓ 63.464 ✓ 62.463 ✓ 63.708 ✓ 65.232 ✓ 63.45  ✓ 63.134 ✓ 62.931 ✓ 64.002 ✓ 62.353 ✓ 63.878 ✓ 64.507 ✓ 63.204 13 63.589 0.634 ✓
47 ParAAM-L-SA-part 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 54.077 ✓ 54.49  ✓ 54.53  ✓ 54.381 ✓ 52.711 ✓ 53.403 ✓ 52.874 ✓ 54.96  ✓ 52.515 ✓ 52.847 ✓ 54.306 ✓ 54.635 ✓ 52.558 13 53.714 0.828 ✓
48 ParAAM-L-SA-part 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 48.847 ✓ 48.881 ✓ 47.933 ✓ 48.873 ✓ 48.412 ✓ 48.958 ✓ 48.885 ✓ 48.158 ✓ 48.952 ✓ 49.228 ✓ 49.908 ✓ 47.665 ✓ 48.13  13 48.679 0.477 ✓
49 ParAAM-L-SA-part 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 46.113 ✓ 44.891 ✓ 44.843 ✓ 44.94  ✓ 45.654 ✓ 46.707 ✓ 46.349 ✓ 46.061 ✓ 45.143 ✓ 45.298 ✓ 45.677 ✓ 46.548 ✓ 46.854 13 45.775 0.612 ✓
50 ParAAM-L-SA-part 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 44.867 ✓ 44.187 ✓ 43.81  ✓ 44.553 ✓ 44.181 ✓ 43.904 ✓ 44.235 ✓ 45.379 ✓ 44.776 ✓ 45.08  ✓ 44.922 ✓ 44.903 ✓ 43.994 13 44.523 0.434 ✓
51 ParAAM-L-SA-part 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 44.118 ✓ 44.07  ✓ 43.765 ✓ 43.041 ✓ 43.685 ✓ 43.604 ✓ 44.882 ✓ 44.383 ✓ 43.947 ✓ 44.357 ✓ 43.801 ✓ 43.737 ✓ 44.024 13 43.955 0.324 ✓
52 ParAAM-L-SA-part 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 44.265 ✓ 44.435 ✓ 44.191 ✓ 44.214 ✓ 43.966 ✓ 43.59  ✓ 42.975 ✓ 42.824 ✓ 43.92  ✓ 44.537 ✓ 43.624 ✓ 44.205 ✓ 43.796 13 43.888 0.405 ✓
53 ParAAM-L-SA-part 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 43.447 ✓ 43.689 ✓ 42.061 ✓ 42.7   ✓ 43.786 ✓ 42.88  ✓ 41.838 ✓ 42.794 ✓ 42.368 ✓ 42.249 ✓ 42.519 ✓ 42.793 ✓ 42.89  13 42.77  0.444 ✓
54 ParAAM-L-SA-part 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 42.267 ✓ 41.336 ✓ 42.843 ✓ 41.839 ✓ 42.227 ✓ 41.029 ✓ 40.476 ✓ 41.998 ✓ 41.642 ✓ 42.165 ✓ 41.703 ✓ 42.349 ✓ 41.923 13 41.83  0.456 ✓
55 ParAAM-L-SA-part 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 43.259 ✓ 43.188 ✓ 41.881 ✓ 43.024 ✓ 42.081 ✓ 42.157 ✓ 41.487 ✓ 41.714 ✓ 42.753 ✓ 41.881 ✓ 40.959 ✓ 42.726 ✓ 41.876 13 42.23  0.585 ✓
56 ParAAM-L-SA-part 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 41.61  ✓ 43.698 ✓ 42.316 ✓ 42.312 ✓ 41.57  ✓ 42.13  ✓ 42.184 ✓ 41.507 ✓ 42.766 ✓ 42.05  ✓ 43.358 ✓ 43.016 ✓ 42.55  13 42.39  0.529 ✓
57 ParAAM-L-SA-part 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 42.044 ✓ 42.984 ✓ 41.604 ✓ 42.545 ✓ 42.244 ✓ 43.12  ✓ 43.018 ✓ 42.189 ✓ 42.276 ✓ 41.648 ✓ 42.981 ✓ 42.517 ✓ 40.895 13 42.313 0.506 ✓
58 ParAAM-L-SA-part 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 44.959 ✓ 43.493 ✓ 45.025 ✓ 44.583 ✓ 43.408 ✓ 45.147 ✓ 44.491 ✓ 44.726 ✓ 44.409 ✓ 43.956 ✓ 43.729 ✓ 43.989 ✓ 43.851 13 44.29  0.51  ✓
59 ParAAM-L-SA-part 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 46.149 ✓ 44.666 ✓ 44.812 ✓ 43.873 ✓ 45.502 ✓ 46.206 ✓ 45.466 ✓ 45.331 ✓ 44.625 ✓ 45.268 ✓ 44.494 ✓ 42.992 ✓ 45.303 13 44.976 0.676 ✓
60 ParAAM-L-SA-part 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 46.874 ✓ 46.897 ✓ 46.494 ✓ 46.974 ✓ 44.106 ✓ 45.562 ✓ 46.035 ✓ 45.336 ✓ 45.088 ✓ 44.406 ✓ 45.266 ✓ 45.263 ✓ 45.192 13 45.653 0.77  ✓
61 ParAAM-L-SA-part 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 50.59  ✓ 47.911 ✓ 48.705 ✓ 47.28  ✓ 47.544 ✓ 45.814 ✓ 49.43  ✓ 47.056 ✓ 47.903 ✓ 47.836 ✓ 49.465 ✓ 48.91  ✓ 49.292 13 48.287 1.026 ✓
62 ParAAM-L-SA-part 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 51.323 ✓ 49.437 ✓ 51.441 ✓ 53.219 ✓ 51.753 ✓ 51     ✓ 52.127 ✓ 52.715 ✓ 51.649 ✓ 51.768 ✓ 50.781 ✓ 51.958 ✓ 52.623 13 51.676 0.681 ✓
63 ParAAM-L-SA-part 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 55.613 ✓ 52.894 ✓ 53.868 ✓ 54.114 ✓ 53.572 ✓ 53.638 ✓ 53.588 ✓ 54.14  ✓ 54.001 ✓ 53.407 ✓ 53.62  ✓ 54.406 ✓ 54.107 13 53.921 0.44  ✓
64 ParAAM-L-SA-part 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 58.108 ✓ 55.745 ✓ 57.699 ✓ 58.197 ✓ 55.924 ✓ 58.551 ✓ 57.303 ✓ 56.147 ✓ 56.363 ✓ 56.784 ✓ 56.409 ✓ 60.843 ✓ 57.656 13 57.364 1.057 ✓
65 ParAAM-C-S-set 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 161.115 ✓ 160.585 ✓ 164.88  ✓ 167.827 ✓ 163.814 ✓ 164.018 ✓ 166.409 ✓ 151.426 ✓ 159.891 ✓ 160.548 ✓ 157.949 ✓ 162.585 ✓ 162.782 13 161.833 2.998 ✓
66 ParAAM-C-S-set 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 90.412 ✓ 91.774 ✓ 90.331 ✓ 89.553 ✓ 90.292 ✓ 90.14  ✓ 90.405 ✓ 89.581 ✓ 92.473 ✓ 91.35  ✓ 90.879 ✓ 91.396 ✓ 91.694 13 90.791 0.742 ✓
67 ParAAM-C-S-set 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 64.425 ✓ 64.414 ✓ 64.956 ✓ 64.708 ✓ 65.285 ✓ 64.878 ✓ 65.239 ✓ 65.433 ✓ 65.182 ✓ 64.922 ✓ 64.869 ✓ 64.089 ✓ 64.387 13 64.83  0.327 ✓
68 ParAAM-C-S-set 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 52.417 ✓ 51.582 ✓ 50.866 ✓ 50.113 ✓ 51.335 ✓ 51.014 ✓ 51.264 ✓ 50.837 ✓ 50.891 ✓ 51.641 ✓ 50.793 ✓ 50.657 ✓ 50.865 13 51.098 0.423 ✓
69 ParAAM-C-S-set 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 42.412 ✓ 42.475 ✓ 42.118 ✓ 42.73  ✓ 42.404 ✓ 42.091 ✓ 41.795 ✓ 42.256 ✓ 42.163 ✓ 42.361 ✓ 42.13  ✓ 41.673 ✓ 41.843 13 42.189 0.232 ✓
70 ParAAM-C-S-set 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 36.872 ✓ 36.668 ✓ 37.01  ✓ 36.923 ✓ 36.914 ✓ 36.757 ✓ 36.657 ✓ 36.658 ✓ 36.194 ✓ 37.539 ✓ 37.344 ✓ 37.633 ✓ 37.551 13 36.979 0.336 ✓
71 ParAAM-C-S-set 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 33.356 ✓ 32.717 ✓ 33.33  ✓ 33.048 ✓ 32.491 ✓ 33.318 ✓ 32.883 ✓ 33.69  ✓ 33.782 ✓ 33.234 ✓ 32.86  ✓ 33.248 ✓ 33.314 13 33.175 0.288 ✓
72 ParAAM-C-S-set 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 31.687 ✓ 30.508 ✓ 31.292 ✓ 30.678 ✓ 29.776 ✓ 30.494 ✓ 31.096 ✓ 30.635 ✓ 30.781 ✓ 31.601 ✓ 31.61  ✓ 30.887 ✓ 30.69  13 30.903 0.427 ✓
73 ParAAM-C-S-set 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 30.142 ✓ 28.846 ✓ 28.823 ✓ 28.936 ✓ 28.559 ✓ 29.309 ✓ 29.284 ✓ 28.926 ✓ 28.569 ✓ 28.629 ✓ 29.155 ✓ 28.76  ✓ 28.85  13 28.984 0.301 ✓
74 ParAAM-C-S-set 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 27.564 ✓ 27.171 ✓ 26.854 ✓ 27.082 ✓ 26.107 ✓ 27.507 ✓ 25.92  ✓ 26.676 ✓ 26.908 ✓ 27.162 ✓ 26.245 ✓ 26.609 ✓ 26.845 13 26.819 0.391 ✓
75 ParAAM-C-S-set 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 26.357 ✓ 26.959 ✓ 26.725 ✓ 27.407 ✓ 26.72  ✓ 27.099 ✓ 26.384 ✓ 27.629 ✓ 26.616 ✓ 26.764 ✓ 27.221 ✓ 26.588 ✓ 26.042 13 26.808 0.35  ✓
76 ParAAM-C-S-set 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 26.181 ✓ 26.934 ✓ 26.743 ✓ 26.78  ✓ 27.224 ✓ 26.484 ✓ 26.523 ✓ 27.809 ✓ 27.682 ✓ 28.005 ✓ 26.155 ✓ 26.482 ✓ 26.112 13 26.855 0.52  ✓
77 ParAAM-C-S-set 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.708 ✓ 27.611 ✓ 27.753 ✓ 28.163 ✓ 26.646 ✓ 27.783 ✓ 26.96  ✓ 26.625 ✓ 26.479 ✓ 27.154 ✓ 27.706 ✓ 28.926 ✓ 28.225 13 27.595 0.633 ✓
78 ParAAM-C-S-set 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.547 ✓ 26.989 ✓ 28.788 ✓ 27.353 ✓ 26.698 ✓ 28.362 ✓ 28.534 ✓ 27.619 ✓ 26.794 ✓ 26.976 ✓ 28.109 ✓ 27.488 ✓ 27.407 13 27.667 0.617 ✓
79 ParAAM-C-S-set 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.367 ✓ 27.215 ✓ 28.278 ✓ 28.577 ✓ 28.496 ✓ 28.079 ✓ 28.883 ✓ 28.326 ✓ 27.907 ✓ 28.51  ✓ 28.475 ✓ 27.102 ✓ 28.106 13 28.178 0.382 ✓
80 ParAAM-C-S-set 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.567 ✓ 27.69  ✓ 29.084 ✓ 28.709 ✓ 28.441 ✓ 28.418 ✓ 28.389 ✓ 27.894 ✓ 28.469 ✓ 27.786 ✓ 29.329 ✓ 27.797 ✓ 28.152 13 28.364 0.384 ✓
81 ParAAM-C-S-set 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.536 ✓ 28.795 ✓ 28.85  ✓ 28.592 ✓ 28.717 ✓ 29.766 ✓ 28.468 ✓ 28.397 ✓ 28.152 ✓ 27.633 ✓ 28.567 ✓ 28.632 ✓ 27.853 13 28.535 0.334 ✓
82 ParAAM-C-S-set 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 29.897 ✓ 28.673 ✓ 29.059 ✓ 28.563 ✓ 28.594 ✓ 29.336 ✓ 28.532 ✓ 28.627 ✓ 28.434 ✓ 28.836 ✓ 28.966 ✓ 29.407 ✓ 28.228 13 28.858 0.365 ✓
83 ParAAM-C-S-set 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 29.374 ✓ 28.766 ✓ 29.058 ✓ 28.251 ✓ 27.991 ✓ 28.5   ✓ 28.605 ✓ 28.695 ✓ 28.558 ✓ 28.128 ✓ 29.241 ✓ 29.473 ✓ 28.974 13 28.739 0.377 ✓
84 ParAAM-C-S-set 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.895 ✓ 29.265 ✓ 27.985 ✓ 30.213 ✓ 28.164 ✓ 28.96  ✓ 29.038 ✓ 28.645 ✓ 28.067 ✓ 28.559 ✓ 29.417 ✓ 29.327 ✓ 28.786 13 28.871 0.465 ✓
85 ParAAM-C-S-set 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.078 ✓ 29.377 ✓ 28.519 ✓ 29.098 ✓ 29.595 ✓ 28.91  ✓ 28.023 ✓ 29.08  ✓ 28.513 ✓ 28.324 ✓ 28.726 ✓ 28.953 ✓ 29.324 13 28.809 0.411 ✓
86 ParAAM-C-S-part 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 134.918 ✓ 133.982 ✓ 132.619 ✓ 131.99  ✓ 129.783 ✓ 130.534 ✓ 131.336 ✓ 131.589 ✓ 128.317 ✓ 131.84  ✓ 129.828 ✓ 131.431 ✓ 133.842 13 131.693 1.39  ✓
87 ParAAM-C-S-part 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 81.856 ✓ 79.362 ✓ 78.579 ✓ 80.132 ✓ 80.011 ✓ 78.642 ✓ 80.946 ✓ 81.412 ✓ 78.833 ✓ 80.568 ✓ 81.507 ✓ 79.824 ✓ 80.751 13 80.186 0.911 ✓
88 ParAAM-C-S-part 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 58.515 ✓ 59.441 ✓ 58.938 ✓ 60.016 ✓ 59.388 ✓ 59.39  ✓ 59.808 ✓ 58.67  ✓ 59.1   ✓ 59.027 ✓ 60.251 ✓ 58.605 ✓ 59.413 13 59.274 0.429 ✓
89 ParAAM-C-S-part 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 48.499 ✓ 48.757 ✓ 48.254 ✓ 47.141 ✓ 47.434 ✓ 47.825 ✓ 47.83  ✓ 49.414 ✓ 47.432 ✓ 49.22  ✓ 48.777 ✓ 48.527 ✓ 48.217 13 48.256 0.563 ✓
90 ParAAM-C-S-part 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 42.209 ✓ 41.08  ✓ 40.693 ✓ 41.673 ✓ 40.456 ✓ 41.027 ✓ 40.531 ✓ 40.556 ✓ 42.201 ✓ 41.167 ✓ 40.858 ✓ 40.097 ✓ 40.532 13 41.006 0.511 ✓
91 ParAAM-C-S-part 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 35.855 ✓ 35.049 ✓ 36.63  ✓ 35.459 ✓ 35.976 ✓ 35.139 ✓ 36.126 ✓ 35.399 ✓ 35.959 ✓ 35.16  ✓ 35.312 ✓ 35.162 ✓ 35.644 13 35.605 0.393 ✓
92 ParAAM-C-S-part 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 31.765 ✓ 31.872 ✓ 31.447 ✓ 31.58  ✓ 31.456 ✓ 32.164 ✓ 31.922 ✓ 31.615 ✓ 31.681 ✓ 31.198 ✓ 31.725 ✓ 32.371 ✓ 31.605 13 31.723 0.228 ✓
93 ParAAM-C-S-part 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 29.644 ✓ 28.247 ✓ 28.266 ✓ 28.626 ✓ 28.842 ✓ 28.315 ✓ 28.35  ✓ 28.976 ✓ 29.107 ✓ 29.019 ✓ 29.217 ✓ 28.571 ✓ 28.045 13 28.71  0.392 ✓
94 ParAAM-C-S-part 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 26.581 ✓ 26.271 ✓ 25.812 ✓ 26.202 ✓ 26.394 ✓ 26.43  ✓ 27.212 ✓ 26.94  ✓ 26.883 ✓ 26.886 ✓ 26.414 ✓ 26.829 ✓ 26.233 13 26.545 0.317 ✓
95 ParAAM-C-S-part 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 24.383 ✓ 23.397 ✓ 23.277 ✓ 23.89  ✓ 23.052 ✓ 23.429 ✓ 23.673 ✓ 23.289 ✓ 22.95  ✓ 24.384 ✓ 23.983 ✓ 24.075 ✓ 24.019 13 23.677 0.411 ✓
96 ParAAM-C-S-part 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 23.001 ✓ 22.776 ✓ 22.762 ✓ 22.67  ✓ 22.936 ✓ 22.54  ✓ 22.12  ✓ 21.716 ✓ 22.412 ✓ 21.707 ✓ 21.942 ✓ 22.436 ✓ 22.57  13 22.43  0.346 ✓
97 ParAAM-C-S-part 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 22.021 ✓ 21.531 ✓ 20.983 ✓ 20.97  ✓ 21.426 ✓ 20.837 ✓ 21.296 ✓ 21.134 ✓ 20.692 ✓ 21.445 ✓ 20.518 ✓ 20.955 ✓ 20.888 13 21.13  0.318 ✓
98 ParAAM-C-S-part 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 20.886 ✓ 20.602 ✓ 20.28  ✓ 20.624 ✓ 20.145 ✓ 20.721 ✓ 20.617 ✓ 20.804 ✓ 21.045 ✓ 20.181 ✓ 20.221 ✓ 20.523 ✓ 20.694 13 20.565 0.227 ✓
99 ParAAM-C-S-part 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.043 ✓ 21.621 ✓ 21.298 ✓ 21.22  ✓ 21.191 ✓ 20.283 ✓ 20.66  ✓ 20.634 ✓ 21.131 ✓ 19.769 ✓ 20.639 ✓ 21.637 ✓ 20.86  13 20.922 0.413 ✓
100 ParAAM-C-S-part 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 22.811 ✓ 22.584 ✓ 22.582 ✓ 22.251 ✓ 22.941 ✓ 21.312 ✓ 21.862 ✓ 21.192 ✓ 22.252 ✓ 21.576 ✓ 21.38  ✓ 21.718 ✓ 22.005 13 22.036 0.493 ✓
101 ParAAM-C-S-part 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 24.668 ✓ 23.9   ✓ 23.698 ✓ 23.752 ✓ 23.188 ✓ 23.474 ✓ 23.826 ✓ 23.543 ✓ 23.915 ✓ 24.152 ✓ 24.324 ✓ 23.927 ✓ 23.969 13 23.872 0.269 ✓
102 ParAAM-C-S-part 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 25.825 ✓ 26.449 ✓ 25.733 ✓ 25.285 ✓ 25.545 ✓ 25.598 ✓ 26.69  ✓ 25.734 ✓ 25.169 ✓ 25.534 ✓ 25.107 ✓ 24.869 ✓ 25.797 13 25.641 0.366 ✓
103 ParAAM-C-S-part 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 27.188 ✓ 28.274 ✓ 29.347 ✓ 27.19  ✓ 28.588 ✓ 27.512 ✓ 27.643 ✓ 28.092 ✓ 28.508 ✓ 28.341 ✓ 28.867 ✓ 28.227 ✓ 28.398 13 28.167 0.494 ✓
104 ParAAM-C-S-part 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 30.472 ✓ 30.428 ✓ 30.002 ✓ 31.018 ✓ 30.513 ✓ 29.435 ✓ 30.398 ✓ 30.681 ✓ 30.924 ✓ 29.654 ✓ 30.401 ✓ 29.285 ✓ 28.347 13 30.12  0.596 ✓
105 ParAAM-C-S-part 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 31.628 ✓ 30.165 ✓ 30.94  ✓ 31.514 ✓ 31.45  ✓ 32.444 ✓ 31.45  ✓ 32.789 ✓ 32.377 ✓ 32.455 ✓ 31.553 ✓ 31.361 ✓ 31.814 13 31.688 0.529 ✓
106 ParAAM-C-S-part 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 32.446 ✓ 33.87  ✓ 33.213 ✓ 31.959 ✓ 31.726 ✓ 32.884 ✓ 32.603 ✓ 32.835 ✓ 33.611 ✓ 33.692 ✓ 32.653 ✓ 33.109 ✓ 33.589 13 32.938 0.532 ✓
107 ParAAM-C-state 1 1084654 0 0 1 1 {#f,#t} 13 ✓ 69.225 ✓ 65.046 ✓ 65.157 ✓ 64.639 ✓ 66.55  ✓ 65.133 ✓ 65.847 ✓ 64.92  ✓ 67.772 ✓ 67.285 ✓ 65.535 ✓ 65.647 ✓ 66.248 13 66.077 1.03  ✓
108 ParAAM-C-state 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 38.896 ✓ 37.771 ✓ 37.973 ✓ 38.548 ✓ 37.765 ✓ 37.937 ✓ 38.278 ✓ 37.359 ✓ 36.701 ✓ 35.957 ✓ 37.972 ✓ 37.129 ✓ 37.431 13 37.671 0.581 ✓
109 ParAAM-C-state 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.841 ✓ 28.188 ✓ 27.964 ✓ 27.382 ✓ 28.392 ✓ 28.104 ✓ 27.654 ✓ 29.479 ✓ 29.84  ✓ 30.303 ✓ 29.205 ✓ 29.902 ✓ 29.108 13 28.797 0.784 ✓
110 ParAAM-C-state 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 26.027 ✓ 28.534 ✓ 25.337 ✓ 25.938 ✓ 27.467 ✓ 25.196 ✓ 27.294 ✓ 27.118 ✓ 26.52  ✓ 25.762 ✓ 24.133 ✓ 26.607 ✓ 27.55  13 26.422 0.944 ✓
111 ParAAM-C-state 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 24.464 ✓ 23.84  ✓ 22.888 ✓ 23.935 ✓ 23.119 ✓ 22.382 ✓ 23.008 ✓ 23.247 ✓ 22.788 ✓ 22.163 ✓ 22.797 ✓ 23.746 ✓ 22.637 13 23.155 0.532 ✓
112 ParAAM-C-state 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 23.108 ✓ 21.659 ✓ 22.814 ✓ 22.864 ✓ 22.307 ✓ 22.244 ✓ 22.258 ✓ 21.449 ✓ 22.151 ✓ 22.623 ✓ 22.853 ✓ 22.142 ✓ 21.824 13 22.331 0.402 ✓
113 ParAAM-C-state 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.264 ✓ 21.578 ✓ 20.667 ✓ 21.537 ✓ 21.067 ✓ 21.267 ✓ 21.079 ✓ 21.201 ✓ 20.727 ✓ 20.687 ✓ 20.984 ✓ 21.056 ✓ 20.6   13 21.055 0.248 ✓
114 ParAAM-C-state 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.128 ✓ 20.456 ✓ 20.162 ✓ 19.564 ✓ 20.204 ✓ 20.211 ✓ 20.338 ✓ 20.25  ✓ 20.384 ✓ 20.617 ✓ 20.101 ✓ 20.003 ✓ 20.323 13 20.288 0.234 ✓
115 ParAAM-C-state 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 19.83  ✓ 19.395 ✓ 19.366 ✓ 18.495 ✓ 19.113 ✓ 18.77  ✓ 18.618 ✓ 18.576 ✓ 18.646 ✓ 19.168 ✓ 18.132 ✓ 18.385 ✓ 19.133 13 18.894 0.406 ✓
116 ParAAM-C-state 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 18.664 ✓ 18.581 ✓ 18.197 ✓ 18.058 ✓ 17.52  ✓ 17.789 ✓ 17.6   ✓ 17.949 ✓ 18.769 ✓ 17.902 ✓ 17.659 ✓ 18.063 ✓ 17.621 13 18.029 0.332 ✓
117 ParAAM-C-state 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 16.406 ✓ 16.089 ✓ 16.034 ✓ 15.858 ✓ 16.069 ✓ 15.973 ✓ 16.537 ✓ 16.102 ✓ 15.9   ✓ 16.022 ✓ 16.861 ✓ 16.497 ✓ 16.082 13 16.187 0.239 ✓
118 ParAAM-C-state 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.93  ✓ 14.873 ✓ 15.544 ✓ 15.267 ✓ 15.079 ✓ 15.165 ✓ 15.047 ✓ 15.382 ✓ 15.33  ✓ 14.91  ✓ 15.105 ✓ 14.777 ✓ 14.738 13 15.165 0.25  ✓
119 ParAAM-C-state 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 14.914 ✓ 14.886 ✓ 14.529 ✓ 14.633 ✓ 14.844 ✓ 15.108 ✓ 15.03  ✓ 14.476 ✓ 14.673 ✓ 14.615 ✓ 14.22  ✓ 14.873 ✓ 14.52  13 14.717 0.208 ✓
120 ParAAM-C-state 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 14.473 ✓ 13.97  ✓ 14.043 ✓ 14.224 ✓ 14.447 ✓ 14.353 ✓ 14.228 ✓ 14.33  ✓ 14.43  ✓ 14.967 ✓ 14.481 ✓ 14.472 ✓ 14.205 13 14.356 0.175 ✓
121 ParAAM-C-state 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 14.544 ✓ 14.277 ✓ 15.275 ✓ 13.808 ✓ 14.488 ✓ 18.602 ✓ 15.456 ✓ 14.293 ✓ 14.067 ✓ 15.048 ✓ 14.763 ✓ 14.392 ✓ 14.412 13 14.879 0.749 ✓
122 ParAAM-C-state 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 17.484 ✓ 15.665 ✓ 15.74  ✓ 15.721 ✓ 16.1   ✓ 16.171 ✓ 16.017 ✓ 16.339 ✓ 15.628 ✓ 15.693 ✓ 16.233 ✓ 15.53  ✓ 16.143 13 16.036 0.347 ✓
123 ParAAM-C-state 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 17.858 ✓ 18.105 ✓ 18.104 ✓ 18.657 ✓ 17.911 ✓ 18.163 ✓ 18.253 ✓ 17.53  ✓ 17.659 ✓ 18.005 ✓ 17.85  ✓ 17.972 ✓ 17.714 13 17.983 0.214 ✓
124 ParAAM-C-state 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 19.534 ✓ 19.547 ✓ 20.034 ✓ 19.806 ✓ 19.874 ✓ 19.792 ✓ 19.488 ✓ 20.179 ✓ 20.149 ✓ 19.653 ✓ 19.908 ✓ 19.767 ✓ 20.024 13 19.827 0.185 ✓
125 ParAAM-C-state 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 22.799 ✓ 21.433 ✓ 21.204 ✓ 21.914 ✓ 21.975 ✓ 22.576 ✓ 22.125 ✓ 22.324 ✓ 22.036 ✓ 21.531 ✓ 22.272 ✓ 22.149 ✓ 20.882 13 21.94  0.421 ✓
126 ParAAM-C-state 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 24.581 ✓ 24.117 ✓ 23.711 ✓ 24.362 ✓ 26.659 ✓ 25.296 ✓ 25.004 ✓ 31.385 ✓ 23.666 ✓ 23.539 ✓ 22.997 ✓ 23.307 ✓ 23.895 13 24.809 1.401 ✓
127 ParAAM-C-state 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 23.98  ✓ 24.137 ✓ 23.771 ✓ 24.27  ✓ 24.628 ✓ 24.206 ✓ 23.917 ✓ 23.321 ✓ 22.56  ✓ 23.617 ✓ 23.524 ✓ 24.411 ✓ 23.743 13 23.853 0.397 ✓
128 ParAAM-C-state 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 24.137 ✓ 24.221 ✓ 24.454 ✓ 24.535 ✓ 24.626 ✓ 24.232 ✓ 24.376 ✓ 24.109 ✓ 24.629 ✓ 23.852 ✓ 24.591 ✓ 24.93  ✓ 24.91  13 24.431 0.255 ✓
129 ParAAM-C-set 1 1084654 0 0 1 1 {#f,#t} 13 ✓ 68.203 ✓ 66.843 ✓ 66.076 ✓ 66.79  ✓ 68.097 ✓ 67.354 ✓ 65.411 ✓ 67.825 ✓ 66.649 ✓ 65.725 ✓ 67.03  ✓ 67.516 ✓ 66.337 13 66.912 0.7   ✓
130 ParAAM-C-set 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 37.593 ✓ 37.587 ✓ 38.043 ✓ 38.187 ✓ 38.682 ✓ 37.877 ✓ 37.46  ✓ 37.913 ✓ 37.84  ✓ 36.277 ✓ 37.353 ✓ 37.259 ✓ 36.455 13 37.579 0.475 ✓
131 ParAAM-C-set 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 28.197 ✓ 28.026 ✓ 27.637 ✓ 27.688 ✓ 26.949 ✓ 27.764 ✓ 28.521 ✓ 27.165 ✓ 28.165 ✓ 26.573 ✓ 27.677 ✓ 28.266 ✓ 28.878 13 27.808 0.493 ✓
132 ParAAM-C-set 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 23.694 ✓ 23.443 ✓ 22.673 ✓ 22.135 ✓ 22.692 ✓ 23.266 ✓ 22.417 ✓ 21.789 ✓ 23.87  ✓ 23.472 ✓ 22.943 ✓ 23.238 ✓ 23.039 13 22.975 0.492 ✓
133 ParAAM-C-set 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.453 ✓ 20.939 ✓ 20.444 ✓ 21.73  ✓ 20.032 ✓ 20.531 ✓ 20.99  ✓ 20.63  ✓ 21.104 ✓ 20.239 ✓ 20.276 ✓ 21.117 ✓ 21.378 13 20.836 0.44  ✓
134 ParAAM-C-set 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 20.121 ✓ 20.943 ✓ 19.645 ✓ 19.604 ✓ 20.356 ✓ 19.675 ✓ 19.531 ✓ 19.597 ✓ 19.671 ✓ 19.62  ✓ 20.405 ✓ 19.196 ✓ 18.311 13 19.744 0.438 ✓
135 ParAAM-C-set 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 19.137 ✓ 18.145 ✓ 18.204 ✓ 19.11  ✓ 18.575 ✓ 18.038 ✓ 19.547 ✓ 18.568 ✓ 19.053 ✓ 18.264 ✓ 18.974 ✓ 18.508 ✓ 18.069 13 18.63  0.411 ✓
136 ParAAM-C-set 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 18.023 ✓ 18.491 ✓ 18.274 ✓ 17.945 ✓ 17.815 ✓ 18.095 ✓ 18.375 ✓ 18.337 ✓ 18.454 ✓ 17.771 ✓ 18.075 ✓ 17.856 ✓ 18.226 13 18.134 0.209 ✓
137 ParAAM-C-set 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 17.931 ✓ 17.735 ✓ 17.088 ✓ 17.472 ✓ 17.438 ✓ 18.153 ✓ 18.024 ✓ 17.58  ✓ 17.808 ✓ 17.293 ✓ 16.62  ✓ 17.493 ✓ 18.41  13 17.619 0.361 ✓
138 ParAAM-C-set 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 17.688 ✓ 16.821 ✓ 17.016 ✓ 17.755 ✓ 18.378 ✓ 17.427 ✓ 17.823 ✓ 17.387 ✓ 16.904 ✓ 16.743 ✓ 16.957 ✓ 17.266 ✓ 17.299 13 17.343 0.369 ✓
139 ParAAM-C-set 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 17.263 ✓ 16.616 ✓ 16.639 ✓ 16.706 ✓ 16.239 ✓ 16.649 ✓ 16.176 ✓ 15.86  ✓ 15.945 ✓ 16.275 ✓ 16.101 ✓ 16.41  ✓ 16.086 13 16.382 0.306 ✓
140 ParAAM-C-set 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.91  ✓ 15.148 ✓ 15.254 ✓ 15.518 ✓ 15.347 ✓ 15.623 ✓ 15.7   ✓ 15.388 ✓ 15.608 ✓ 14.981 ✓ 14.831 ✓ 15.827 ✓ 15.078 13 15.401 0.274 ✓
141 ParAAM-C-set 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 14.821 ✓ 14.855 ✓ 14.582 ✓ 14.566 ✓ 15.249 ✓ 14.877 ✓ 14.595 ✓ 14.418 ✓ 14.785 ✓ 15.157 ✓ 14.494 ✓ 14.715 ✓ 14.902 13 14.77  0.193 ✓
142 ParAAM-C-set 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.45  ✓ 15.065 ✓ 14.367 ✓ 14.218 ✓ 14.4   ✓ 15.128 ✓ 15.013 ✓ 14.726 ✓ 14.82  ✓ 14.947 ✓ 14.429 ✓ 14.775 ✓ 15.533 13 14.836 0.326 ✓
143 ParAAM-C-set 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.004 ✓ 15.18  ✓ 14.932 ✓ 15.024 ✓ 14.853 ✓ 14.874 ✓ 15.047 ✓ 14.508 ✓ 14.332 ✓ 15.162 ✓ 14.47  ✓ 14.645 ✓ 14.639 13 14.821 0.232 ✓
144 ParAAM-C-set 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.989 ✓ 15.522 ✓ 15.227 ✓ 14.577 ✓ 15.734 ✓ 15.499 ✓ 14.844 ✓ 14.961 ✓ 15.526 ✓ 14.704 ✓ 14.723 ✓ 15.302 ✓ 15.617 13 15.248 0.377 ✓
145 ParAAM-C-set 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 17.284 ✓ 17.106 ✓ 17.099 ✓ 16.759 ✓ 16.485 ✓ 16.923 ✓ 17.7   ✓ 16.874 ✓ 17.318 ✓ 16.632 ✓ 16.066 ✓ 16.202 ✓ 17.048 13 16.884 0.352 ✓
146 ParAAM-C-set 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 18.544 ✓ 17.332 ✓ 18.173 ✓ 18.326 ✓ 18.528 ✓ 18.247 ✓ 18.037 ✓ 18.535 ✓ 18.38  ✓ 18.182 ✓ 18.44  ✓ 18.262 ✓ 18.789 13 18.29  0.232 ✓
147 ParAAM-C-set 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 20.652 ✓ 19.854 ✓ 20.536 ✓ 19.786 ✓ 20.197 ✓ 20.056 ✓ 19.379 ✓ 20.083 ✓ 19.682 ✓ 19.815 ✓ 20.313 ✓ 20.689 ✓ 19.299 13 20.026 0.36  ✓
148 ParAAM-C-set 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.362 ✓ 20.989 ✓ 21.083 ✓ 20.627 ✓ 21.328 ✓ 20.932 ✓ 20.791 ✓ 20.914 ✓ 21.129 ✓ 21.436 ✓ 20.899 ✓ 20.707 ✓ 20.49  13 20.976 0.226 ✓
149 ParAAM-C-set 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.854 ✓ 21.009 ✓ 20.816 ✓ 21.131 ✓ 20.972 ✓ 20.832 ✓ 21.413 ✓ 22.311 ✓ 21.301 ✓ 21.034 ✓ 21.476 ✓ 21.426 ✓ 20.625 13 21.246 0.354 ✓
150 ParAAM-C-set 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.661 ✓ 22.66  ✓ 21.368 ✓ 21.403 ✓ 22.706 ✓ 21.888 ✓ 22.773 ✓ 22.03  ✓ 21.77  ✓ 22.444 ✓ 22.228 ✓ 22.214 ✓ 22.268 13 22.109 0.389 ✓
151 ParAAM-C-part 1 1084654 0 0 1 1 {#f,#t} 13 ✓ 65.873 ✓ 64.627 ✓ 66.211 ✓ 64.023 ✓ 63.474 ✓ 63.496 ✓ 64.662 ✓ 65.058 ✓ 64.829 ✓ 65.426 ✓ 64.713 ✓ 64.84  ✓ 64.376 13 64.739 0.585 ✓
152 ParAAM-C-part 2 1084654 0 0 1 1 {#f,#t} 13 ✓ 41.387 ✓ 40.373 ✓ 50.306 ✓ 42.611 ✓ 45.919 ✓ 45.925 ✓ 45.671 ✓ 43.224 ✓ 41.83  ✓ 43.483 ✓ 46.364 ✓ 45.667 ✓ 43.089 13 44.296 2.165 ✓
153 ParAAM-C-part 3 1084654 0 0 1 1 {#f,#t} 13 ✓ 41.702 ✓ 41.039 ✓ 41.956 ✓ 44.301 ✓ 41.425 ✓ 42.851 ✓ 41.738 ✓ 43.29  ✓ 46.134 ✓ 44.313 ✓ 42.906 ✓ 44.36  ✓ 44.658 13 43.129 1.274 ✓
154 ParAAM-C-part 4 1084654 0 0 1 1 {#f,#t} 13 ✓ 38.883 ✓ 37.484 ✓ 39.629 ✓ 38.461 ✓ 38.759 ✓ 37.971 ✓ 38.194 ✓ 38.954 ✓ 38.394 ✓ 38.357 ✓ 39.779 ✓ 38.378 ✓ 39.356 13 38.661 0.522 ✓
155 ParAAM-C-part 5 1084654 0 0 1 1 {#f,#t} 13 ✓ 32.292 ✓ 33.937 ✓ 33.611 ✓ 33.243 ✓ 33.109 ✓ 33.197 ✓ 32.79  ✓ 33.168 ✓ 31.564 ✓ 32.875 ✓ 33.496 ✓ 33.882 ✓ 32.568 13 33.056 0.491 ✓
156 ParAAM-C-part 6 1084654 0 0 1 1 {#f,#t} 13 ✓ 29.991 ✓ 29.738 ✓ 30.258 ✓ 29.18  ✓ 29.455 ✓ 29.329 ✓ 29.726 ✓ 29.986 ✓ 29.981 ✓ 30.17  ✓ 30.494 ✓ 29.567 ✓ 29.452 13 29.794 0.325 ✓
157 ParAAM-C-part 7 1084654 0 0 1 1 {#f,#t} 13 ✓ 26.41  ✓ 26.394 ✓ 26.474 ✓ 26.225 ✓ 26.352 ✓ 26.218 ✓ 26.209 ✓ 27.239 ✓ 26.275 ✓ 26.608 ✓ 26.498 ✓ 25.969 ✓ 26.912 13 26.445 0.232 ✓
158 ParAAM-C-part 8 1084654 0 0 1 1 {#f,#t} 13 ✓ 24.57  ✓ 24.816 ✓ 23.648 ✓ 24.484 ✓ 24.987 ✓ 24.864 ✓ 24.591 ✓ 24.427 ✓ 24.359 ✓ 24.404 ✓ 23.945 ✓ 24.163 ✓ 23.973 13 24.402 0.296 ✓
159 ParAAM-C-part 9 1084654 0 0 1 1 {#f,#t} 13 ✓ 21.898 ✓ 22.295 ✓ 22.03  ✓ 21.623 ✓ 22.075 ✓ 21.784 ✓ 22.273 ✓ 21.763 ✓ 21.698 ✓ 22.303 ✓ 21.626 ✓ 22.279 ✓ 22.316 13 21.997 0.245 ✓
160 ParAAM-C-part 10 1084654 0 0 1 1 {#f,#t} 13 ✓ 20.702 ✓ 20.204 ✓ 20.13  ✓ 20.202 ✓ 20.723 ✓ 20.829 ✓ 20.417 ✓ 20.621 ✓ 20.88  ✓ 20.278 ✓ 20.402 ✓ 20.755 ✓ 20.581 13 20.517 0.226 ✓
161 ParAAM-C-part 12 1084654 0 0 1 1 {#f,#t} 13 ✓ 18.613 ✓ 17.928 ✓ 17.673 ✓ 18.304 ✓ 18.84  ✓ 18.625 ✓ 18.147 ✓ 18.498 ✓ 17.904 ✓ 18.227 ✓ 17.925 ✓ 18.848 ✓ 18.433 13 18.305 0.312 ✓
162 ParAAM-C-part 14 1084654 0 0 1 1 {#f,#t} 13 ✓ 16.823 ✓ 16.214 ✓ 16.934 ✓ 16.591 ✓ 16.988 ✓ 16.12  ✓ 16.606 ✓ 17.01  ✓ 17.238 ✓ 16.715 ✓ 16.584 ✓ 17.141 ✓ 16.802 13 16.751 0.258 ✓
163 ParAAM-C-part 16 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.88  ✓ 15.35  ✓ 15.82  ✓ 15.074 ✓ 15.273 ✓ 15.098 ✓ 15.544 ✓ 15.745 ✓ 15.698 ✓ 15.514 ✓ 15.386 ✓ 15.096 ✓ 15.207 13 15.437 0.243 ✓
164 ParAAM-C-part 18 1084654 0 0 1 1 {#f,#t} 13 ✓ 14.997 ✓ 14.238 ✓ 14.254 ✓ 14.371 ✓ 14.316 ✓ 14.18  ✓ 14.274 ✓ 14.473 ✓ 14.898 ✓ 14.866 ✓ 14.984 ✓ 14.751 ✓ 14.477 13 14.545 0.273 ✓
165 ParAAM-C-part 20 1084654 0 0 1 1 {#f,#t} 13 ✓ 14.591 ✓ 13.749 ✓ 13.932 ✓ 14.036 ✓ 14.428 ✓ 13.731 ✓ 14.197 ✓ 14.314 ✓ 13.677 ✓ 14.156 ✓ 14.108 ✓ 14.02  ✓ 14.151 13 14.084 0.209 ✓
166 ParAAM-C-part 24 1084654 0 0 1 1 {#f,#t} 13 ✓ 13.67  ✓ 13.488 ✓ 13.928 ✓ 13.689 ✓ 14.149 ✓ 13.977 ✓ 13.599 ✓ 13.589 ✓ 13.371 ✓ 13.235 ✓ 13.14  ✓ 13.879 ✓ 13.326 13 13.618 0.243 ✓
167 ParAAM-C-part 28 1084654 0 0 1 1 {#f,#t} 13 ✓ 14.008 ✓ 14.168 ✓ 13.657 ✓ 14.521 ✓ 14.235 ✓ 13.751 ✓ 14.485 ✓ 13.382 ✓ 13.327 ✓ 13.58  ✓ 13.786 ✓ 13.83  ✓ 13.213 13 13.842 0.34  ✓
168 ParAAM-C-part 32 1084654 0 0 1 1 {#f,#t} 13 ✓ 13.375 ✓ 13.731 ✓ 14.425 ✓ 13.711 ✓ 14.276 ✓ 14.336 ✓ 14.312 ✓ 14.535 ✓ 13.35  ✓ 13.923 ✓ 13.983 ✓ 13.611 ✓ 13.59  13 13.935 0.347 ✓
169 ParAAM-C-part 40 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.609 ✓ 14.24  ✓ 14.236 ✓ 14.408 ✓ 14.645 ✓ 14.842 ✓ 14.418 ✓ 14.586 ✓ 14.7   ✓ 15.014 ✓ 15.394 ✓ 14.723 ✓ 14.394 13 14.708 0.314 ✓
170 ParAAM-C-part 48 1084654 0 0 1 1 {#f,#t} 13 ✓ 15.764 ✓ 16.235 ✓ 15.444 ✓ 14.915 ✓ 15.2   ✓ 15.894 ✓ 14.975 ✓ 15.483 ✓ 16.015 ✓ 15.317 ✓ 15.633 ✓ 15.791 ✓ 15.925 13 15.584 0.334 ✓
171 ParAAM-C-part 56 1084654 0 0 1 1 {#f,#t} 13 ✓ 16.448 ✓ 15.871 ✓ 16.015 ✓ 15.674 ✓ 16.699 ✓ 16.322 ✓ 16.971 ✓ 15.933 ✓ 16.239 ✓ 15.886 ✓ 15.827 ✓ 16.931 ✓ 16.146 13 16.228 0.345 ✓
172 ParAAM-C-part 64 1084654 0 0 1 1 {#f,#t} 13 ✓ 16.244 ✓ 17.3   ✓ 16.703 ✓ 16.299 ✓ 16.455 ✓ 16.462 ✓ 17.028 ✓ 16.929 ✓ 16.732 ✓ 17.188 ✓ 16.575 ✓ 16.862 ✓ 17.239 13 16.771 0.296 ✓