Benchmarks on Sergey/kcfa/kcfa-worst-case-32.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 Bertha – Intel Xeon CPU E5-2637 v3 @ 3.50GHz – 2 processors × 4 cores × 2 by Hyper-Threading – 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 457324 0 0 1 1 {#f,#t} 13 ✓ 11.701 ✓ 11.049 ✓ 10.741 ✓ 10.346 ✓ 10.758 ✓ 10.589 ✓ 10.402 ✓ 10.685 ✓ 10.684 ✓ 10.305 ✓ 10.633 ✓ 10.318 ✓ 10.271 13 10.652 0.262 ✓
2 ParAAM-L-SA-state 2 457324 0 0 1 1 {#f,#t} 13 ✓ 20.13  ✓ 20.018 ✓ 19.766 ✓ 19.704 ✓ 19.962 ✓ 19.729 ✓ 19.968 ✓ 19.44  ✓ 19.894 ✓ 19.595 ✓ 20.039 ✓ 19.617 ✓ 19.941 13 19.831 0.175 ✓
3 ParAAM-L-SA-state 3 457324 0 0 1 1 {#f,#t} 13 ✓ 19.578 ✓ 19.783 ✓ 19.522 ✓ 19.666 ✓ 19.791 ✓ 19.822 ✓ 19.402 ✓ 19.596 ✓ 20.053 ✓ 19.96  ✓ 19.927 ✓ 19.897 ✓ 20.199 13 19.784 0.178 ✓
4 ParAAM-L-SA-state 4 457324 0 0 1 1 {#f,#t} 13 ✓ 20.108 ✓ 19.983 ✓ 20.023 ✓ 19.66  ✓ 19.681 ✓ 19.5   ✓ 19.731 ✓ 19.552 ✓ 19.73  ✓ 19.507 ✓ 19.677 ✓ 19.866 ✓ 19.772 13 19.753 0.152 ✓
5 ParAAM-L-SA-state 5 457324 0 0 1 1 {#f,#t} 13 ✓ 19.753 ✓ 19.611 ✓ 19.615 ✓ 19.399 ✓ 19.689 ✓ 19.852 ✓ 19.632 ✓ 19.82  ✓ 19.502 ✓ 19.648 ✓ 19.485 ✓ 19.371 ✓ 19.351 13 19.595 0.133 ✓
6 ParAAM-L-SA-state 6 457324 0 0 1 1 {#f,#t} 13 ✓ 19.69  ✓ 19.417 ✓ 19.264 ✓ 19.093 ✓ 19.323 ✓ 19.208 ✓ 19.349 ✓ 19.42  ✓ 19.684 ✓ 19.438 ✓ 19.578 ✓ 19.344 ✓ 19.112 13 19.378 0.147 ✓
7 ParAAM-L-SA-state 7 457324 0 0 1 1 {#f,#t} 13 ✓ 19.706 ✓ 19.524 ✓ 19.702 ✓ 19.647 ✓ 19.543 ✓ 19.691 ✓ 19.155 ✓ 19.394 ✓ 19.507 ✓ 19.589 ✓ 19.545 ✓ 19.613 ✓ 19.676 13 19.561 0.107 ✓
8 ParAAM-L-SA-state 8 457324 0 0 1 1 {#f,#t} 13 ✓ 19.935 ✓ 19.762 ✓ 19.657 ✓ 19.677 ✓ 19.628 ✓ 19.389 ✓ 19.399 ✓ 19.733 ✓ 19.635 ✓ 19.602 ✓ 19.623 ✓ 19.817 ✓ 19.881 13 19.672 0.119 ✓
9 ParAAM-L-SA-state 9 457324 0 0 1 1 {#f,#t} 13 ✓ 19.627 ✓ 19.474 ✓ 19.39  ✓ 19.381 ✓ 19.686 ✓ 19.471 ✓ 19.418 ✓ 19.561 ✓ 19.566 ✓ 19.997 ✓ 19.396 ✓ 19.411 ✓ 19.122 13 19.5   0.144 ✓
10 ParAAM-L-SA-state 10 457324 0 0 1 1 {#f,#t} 13 ✓ 19.24  ✓ 19.726 ✓ 19.561 ✓ 19.517 ✓ 19.527 ✓ 19.549 ✓ 19.57  ✓ 19.718 ✓ 19.715 ✓ 19.355 ✓ 19.579 ✓ 19.418 ✓ 19.237 13 19.516 0.126 ✓
11 ParAAM-L-SA-state 12 457324 0 0 1 1 {#f,#t} 13 ✓ 19.267 ✓ 19.71  ✓ 19.861 ✓ 19.482 ✓ 19.61  ✓ 19.746 ✓ 19.769 ✓ 19.353 ✓ 19.509 ✓ 19.196 ✓ 19.239 ✓ 19.015 ✓ 19.468 13 19.479 0.205 ✓
12 ParAAM-L-SA-state 14 457324 0 0 1 1 {#f,#t} 13 ✓ 19.566 ✓ 19.885 ✓ 19.406 ✓ 19.579 ✓ 19.677 ✓ 19.717 ✓ 19.573 ✓ 19.429 ✓ 19.395 ✓ 19.26  ✓ 19.684 ✓ 19.606 ✓ 19.799 13 19.583 0.134 ✓
13 ParAAM-L-SA-state 16 457324 0 0 1 1 {#f,#t} 13 ✓ 19.011 ✓ 19.664 ✓ 19.674 ✓ 18.784 ✓ 19.646 ✓ 19.608 ✓ 19.415 ✓ 19.086 ✓ 19.341 ✓ 19.401 ✓ 19.89  ✓ 19.804 ✓ 19.482 13 19.446 0.253 ✓
14 ParAAM-L-SA-state 24 457324 0 0 1 1 {#f,#t} 13 ✓ 19.293 ✓ 19.741 ✓ 19.526 ✓ 19.467 ✓ 19.396 ✓ 19.781 ✓ 19.265 ✓ 19.572 ✓ 19.624 ✓ 19.641 ✓ 19.564 ✓ 18.744 ✓ 19.415 13 19.464 0.186 ✓
15 ParAAM-L-SA-state 32 457324 0 0 1 1 {#f,#t} 13 ✓ 19.677 ✓ 19.514 ✓ 19.048 ✓ 19.68  ✓ 19.722 ✓ 19.754 ✓ 19.686 ✓ 19.391 ✓ 19.507 ✓ 19.77  ✓ 19.442 ✓ 19.539 ✓ 19.095 13 19.525 0.177 ✓
16 ParAAM-L-SA-set 2 457324 0 0 1 1 {#f,#t} 13 ✓ 19.496 ✓ 19.767 ✓ 19.702 ✓ 19.722 ✓ 19.342 ✓ 19.439 ✓ 19.416 ✓ 19.398 ✓ 19.441 ✓ 19.405 ✓ 19.57  ✓ 19.624 ✓ 19.16  13 19.499 0.137 ✓
17 ParAAM-L-SA-set 3 457324 0 0 1 1 {#f,#t} 13 ✓ 19.743 ✓ 19.882 ✓ 19.631 ✓ 19.769 ✓ 19.361 ✓ 19.547 ✓ 19.567 ✓ 19.752 ✓ 19.564 ✓ 19.922 ✓ 19.291 ✓ 19.479 ✓ 19.718 13 19.633 0.152 ✓
18 ParAAM-L-SA-set 4 457324 0 0 1 1 {#f,#t} 13 ✓ 19.773 ✓ 19.785 ✓ 19.628 ✓ 19.69  ✓ 19.695 ✓ 19.773 ✓ 19.651 ✓ 19.662 ✓ 19.757 ✓ 19.887 ✓ 19.742 ✓ 19.523 ✓ 19.714 13 19.714 0.067 ✓
19 ParAAM-L-SA-set 5 457324 0 0 1 1 {#f,#t} 13 ✓ 19.914 ✓ 19.793 ✓ 19.915 ✓ 19.883 ✓ 19.826 ✓ 19.992 ✓ 19.779 ✓ 19.788 ✓ 19.589 ✓ 19.55  ✓ 20.019 ✓ 19.987 ✓ 19.595 13 19.818 0.125 ✓
20 ParAAM-L-SA-set 6 457324 0 0 1 1 {#f,#t} 13 ✓ 19.766 ✓ 19.708 ✓ 19.914 ✓ 19.233 ✓ 19.623 ✓ 19.704 ✓ 19.749 ✓ 20.035 ✓ 19.735 ✓ 19.763 ✓ 19.807 ✓ 19.957 ✓ 20.07  13 19.774 0.14  ✓
21 ParAAM-L-SA-set 7 457324 0 0 1 1 {#f,#t} 13 ✓ 19.537 ✓ 19.64  ✓ 19.573 ✓ 20.029 ✓ 20.346 ✓ 20.006 ✓ 20.098 ✓ 19.882 ✓ 19.888 ✓ 19.641 ✓ 20.255 ✓ 20.377 ✓ 20.181 13 19.958 0.244 ✓
22 ParAAM-L-SA-set 8 457324 0 0 1 1 {#f,#t} 13 ✓ 19.988 ✓ 19.677 ✓ 19.509 ✓ 20.025 ✓ 20.008 ✓ 20.189 ✓ 19.957 ✓ 19.913 ✓ 19.852 ✓ 19.847 ✓ 19.718 ✓ 19.744 ✓ 19.936 13 19.874 0.138 ✓
23 ParAAM-L-SA-set 9 457324 0 0 1 1 {#f,#t} 13 ✓ 19.899 ✓ 19.705 ✓ 19.981 ✓ 19.534 ✓ 20.031 ✓ 19.773 ✓ 19.583 ✓ 19.589 ✓ 19.444 ✓ 20.197 ✓ 19.801 ✓ 19.967 ✓ 20.062 13 19.813 0.194 ✓
24 ParAAM-L-SA-set 10 457324 0 0 1 1 {#f,#t} 13 ✓ 20.016 ✓ 19.769 ✓ 19.751 ✓ 20.107 ✓ 19.679 ✓ 19.873 ✓ 19.869 ✓ 19.805 ✓ 19.947 ✓ 19.805 ✓ 19.877 ✓ 19.928 ✓ 19.833 13 19.866 0.085 ✓
25 ParAAM-L-SA-set 12 457324 0 0 1 1 {#f,#t} 13 ✓ 19.781 ✓ 19.736 ✓ 19.701 ✓ 19.773 ✓ 19.824 ✓ 19.6   ✓ 19.662 ✓ 19.918 ✓ 19.748 ✓ 19.65  ✓ 19.616 ✓ 19.906 ✓ 19.819 13 19.749 0.081 ✓
26 ParAAM-L-SA-set 14 457324 0 0 1 1 {#f,#t} 13 ✓ 20.123 ✓ 19.74  ✓ 19.803 ✓ 19.831 ✓ 19.817 ✓ 19.765 ✓ 19.658 ✓ 19.743 ✓ 19.682 ✓ 19.972 ✓ 19.505 ✓ 19.681 ✓ 19.964 13 19.791 0.117 ✓
27 ParAAM-L-SA-set 16 457324 0 0 1 1 {#f,#t} 13 ✓ 19.749 ✓ 19.858 ✓ 19.812 ✓ 19.877 ✓ 19.863 ✓ 19.642 ✓ 19.811 ✓ 19.647 ✓ 19.655 ✓ 19.719 ✓ 19.688 ✓ 19.903 ✓ 19.928 13 19.781 0.09  ✓
28 ParAAM-L-SA-set 24 457324 0 0 1 1 {#f,#t} 13 ✓ 20.036 ✓ 19.745 ✓ 19.731 ✓ 20.078 ✓ 19.982 ✓ 20.134 ✓ 19.959 ✓ 19.945 ✓ 19.923 ✓ 19.816 ✓ 20.063 ✓ 20.037 ✓ 19.883 13 19.949 0.1   ✓
29 ParAAM-L-SA-set 32 457324 0 0 1 1 {#f,#t} 13 ✓ 20.109 ✓ 19.607 ✓ 20.043 ✓ 19.625 ✓ 19.7   ✓ 20.045 ✓ 19.863 ✓ 19.848 ✓ 19.742 ✓ 19.882 ✓ 19.795 ✓ 19.977 ✓ 19.706 13 19.842 0.135 ✓
30 ParAAM-L-SA-part 2 457324 0 0 1 1 {#f,#t} 13 ✓ 15.444 ✓ 15.261 ✓ 15.552 ✓ 15.11  ✓ 14.988 ✓ 15.068 ✓ 15.303 ✓ 14.932 ✓ 14.89  ✓ 14.964 ✓ 14.389 ✓ 14.726 ✓ 14.601 13 15.018 0.251 ✓
31 ParAAM-L-SA-part 3 457324 0 0 1 1 {#f,#t} 13 ✓ 11.152 ✓ 10.761 ✓ 11.039 ✓ 11.161 ✓ 11.32  ✓ 10.98  ✓ 11.185 ✓ 11.292 ✓ 10.88  ✓ 11.222 ✓ 10.736 ✓ 10.931 ✓ 10.79  13 11.035 0.174 ✓
32 ParAAM-L-SA-part 4 457324 0 0 1 1 {#f,#t} 13 ✓ 9.743 ✓ 9.477 ✓ 9.419 ✓ 9.521 ✓ 9.582 ✓ 9.609 ✓ 9.459 ✓ 9.598 ✓ 9.498 ✓ 9.588 ✓ 9.483 ✓ 9.691 ✓ 9.587 13 9.558 0.076 ✓
33 ParAAM-L-SA-part 5 457324 0 0 1 1 {#f,#t} 13 ✓ 8.655 ✓ 8.538 ✓ 8.664 ✓ 8.625 ✓ 8.646 ✓ 8.793 ✓ 8.736 ✓ 8.799 ✓ 8.76  ✓ 8.8   ✓ 8.689 ✓ 8.767 ✓ 8.685 13 8.704 0.066 ✓
34 ParAAM-L-SA-part 6 457324 0 0 1 1 {#f,#t} 13 ✓ 7.952 ✓ 7.851 ✓ 7.817 ✓ 7.798 ✓ 7.825 ✓ 7.871 ✓ 7.797 ✓ 8.009 ✓ 7.825 ✓ 7.846 ✓ 7.766 ✓ 7.793 ✓ 7.794 13 7.842 0.049 ✓
35 ParAAM-L-SA-part 7 457324 0 0 1 1 {#f,#t} 13 ✓ 7.257 ✓ 7.193 ✓ 7.237 ✓ 7.262 ✓ 7.368 ✓ 7.383 ✓ 7.446 ✓ 7.34  ✓ 7.391 ✓ 7.229 ✓ 7.173 ✓ 7.222 ✓ 7.228 13 7.287 0.076 ✓
36 ParAAM-L-SA-part 8 457324 0 0 1 1 {#f,#t} 13 ✓ 6.942 ✓ 6.885 ✓ 6.921 ✓ 6.881 ✓ 6.991 ✓ 6.969 ✓ 6.924 ✓ 7.085 ✓ 6.905 ✓ 6.936 ✓ 6.956 ✓ 7.047 ✓ 6.905 13 6.95  0.046 ✓
37 ParAAM-L-SA-part 9 457324 0 0 1 1 {#f,#t} 13 ✓ 6.982 ✓ 6.95  ✓ 6.948 ✓ 6.872 ✓ 6.919 ✓ 6.929 ✓ 6.999 ✓ 7.136 ✓ 7.101 ✓ 6.875 ✓ 7.078 ✓ 7.009 ✓ 6.89  13 6.976 0.069 ✓
38 ParAAM-L-SA-part 10 457324 0 0 1 1 {#f,#t} 13 ✓ 7.409 ✓ 7.349 ✓ 7.413 ✓ 7.318 ✓ 7.446 ✓ 7.355 ✓ 7.271 ✓ 7.409 ✓ 7.329 ✓ 7.363 ✓ 7.338 ✓ 7.319 ✓ 7.314 13 7.356 0.04  ✓
39 ParAAM-L-SA-part 12 457324 0 0 1 1 {#f,#t} 13 ✓ 7.788 ✓ 7.608 ✓ 7.742 ✓ 7.714 ✓ 7.701 ✓ 7.666 ✓ 7.636 ✓ 7.665 ✓ 7.676 ✓ 7.573 ✓ 7.639 ✓ 7.631 ✓ 7.662 13 7.669 0.042 ✓
40 ParAAM-L-SA-part 14 457324 0 0 1 1 {#f,#t} 13 ✓ 7.817 ✓ 7.736 ✓ 7.817 ✓ 7.714 ✓ 7.872 ✓ 7.757 ✓ 7.762 ✓ 7.885 ✓ 7.786 ✓ 7.793 ✓ 7.737 ✓ 7.753 ✓ 7.697 13 7.779 0.046 ✓
41 ParAAM-L-SA-part 16 457324 0 0 1 1 {#f,#t} 13 ✓ 7.866 ✓ 7.893 ✓ 7.859 ✓ 7.801 ✓ 7.898 ✓ 7.788 ✓ 7.814 ✓ 7.896 ✓ 7.916 ✓ 7.775 ✓ 7.815 ✓ 7.817 ✓ 7.843 13 7.845 0.04  ✓
42 ParAAM-L-SA-part 24 457324 0 0 1 1 {#f,#t} 13 ✓ 8.294 ✓ 8.199 ✓ 8.152 ✓ 8.211 ✓ 8.079 ✓ 8.101 ✓ 8.116 ✓ 8.205 ✓ 8.271 ✓ 8.084 ✓ 8.211 ✓ 8.204 ✓ 8.236 13 8.182 0.058 ✓
43 ParAAM-L-SA-part 32 457324 0 0 1 1 {#f,#t} 13 ✓ 8.771 ✓ 8.616 ✓ 8.772 ✓ 8.53  ✓ 8.748 ✓ 8.619 ✓ 8.619 ✓ 8.619 ✓ 8.73  ✓ 8.552 ✓ 8.613 ✓ 8.649 ✓ 8.609 13 8.65  0.065 ✓
44 ParAAM-C-S-set 2 457324 0 0 1 1 {#f,#t} 13 ✓ 17.428 ✓ 17.014 ✓ 16.504 ✓ 16.755 ✓ 16.907 ✓ 16.913 ✓ 16.746 ✓ 16.509 ✓ 16.358 ✓ 16.676 ✓ 16.536 ✓ 16.487 ✓ 16.341 13 16.706 0.235 ✓
45 ParAAM-C-S-set 3 457324 0 0 1 1 {#f,#t} 13 ✓ 11.289 ✓ 11.02  ✓ 10.953 ✓ 11.124 ✓ 10.916 ✓ 11.04  ✓ 10.843 ✓ 10.958 ✓ 11.108 ✓ 11.007 ✓ 11.014 ✓ 10.935 ✓ 10.925 13 11.01  0.082 ✓
46 ParAAM-C-S-set 4 457324 0 0 1 1 {#f,#t} 13 ✓ 7.383 ✓ 7.364 ✓ 7.198 ✓ 7.263 ✓ 7.46  ✓ 7.452 ✓ 7.274 ✓ 7.279 ✓ 7.236 ✓ 7.319 ✓ 7.336 ✓ 7.299 ✓ 7.264 13 7.318 0.063 ✓
47 ParAAM-C-S-set 5 457324 0 0 1 1 {#f,#t} 13 ✓ 5.392 ✓ 5.359 ✓ 5.288 ✓ 5.364 ✓ 5.35  ✓ 5.458 ✓ 5.375 ✓ 5.466 ✓ 5.51  ✓ 5.37  ✓ 5.506 ✓ 5.473 ✓ 5.558 13 5.421 0.069 ✓
48 ParAAM-C-S-set 6 457324 0 0 1 1 {#f,#t} 13 ✓ 4.257 ✓ 4.197 ✓ 4.187 ✓ 4.231 ✓ 4.172 ✓ 4.189 ✓ 4.21  ✓ 4.24  ✓ 4.16  ✓ 4.215 ✓ 4.216 ✓ 4.182 ✓ 4.192 13 4.204 0.023 ✓
49 ParAAM-C-S-set 7 457324 0 0 1 1 {#f,#t} 13 ✓ 4.214 ✓ 4.011 ✓ 3.942 ✓ 4.235 ✓ 4.105 ✓ 4.297 ✓ 4.084 ✓ 4.124 ✓ 3.907 ✓ 4.005 ✓ 3.996 ✓ 3.938 ✓ 4.11  13 4.075 0.1   ✓
50 ParAAM-C-S-set 8 457324 0 0 1 1 {#f,#t} 13 ✓ 3.38  ✓ 3.39  ✓ 3.252 ✓ 3.314 ✓ 3.424 ✓ 3.264 ✓ 3.252 ✓ 3.562 ✓ 3.456 ✓ 3.503 ✓ 3.244 ✓ 3.557 ✓ 3.261 13 3.374 0.101 ✓
51 ParAAM-C-S-set 9 457324 0 0 1 1 {#f,#t} 13 ✓ 3.062 ✓ 3.132 ✓ 2.995 ✓ 3.055 ✓ 2.93  ✓ 3.151 ✓ 2.976 ✓ 3.029 ✓ 3.014 ✓ 3.05  ✓ 2.977 ✓ 3.164 ✓ 3.002 13 3.041 0.056 ✓
52 ParAAM-C-S-set 10 457324 0 0 1 1 {#f,#t} 13 ✓ 3.028 ✓ 2.994 ✓ 2.89  ✓ 2.927 ✓ 3.025 ✓ 2.917 ✓ 2.853 ✓ 2.963 ✓ 2.97  ✓ 2.965 ✓ 2.909 ✓ 2.955 ✓ 2.908 13 2.946 0.042 ✓
53 ParAAM-C-S-set 12 457324 0 0 1 1 {#f,#t} 13 ✓ 2.903 ✓ 2.84  ✓ 2.875 ✓ 2.834 ✓ 2.822 ✓ 2.845 ✓ 2.884 ✓ 2.899 ✓ 2.817 ✓ 2.827 ✓ 2.902 ✓ 2.874 ✓ 2.883 13 2.862 0.029 ✓
54 ParAAM-C-S-set 14 457324 0 0 1 1 {#f,#t} 13 ✓ 2.879 ✓ 2.906 ✓ 2.803 ✓ 2.812 ✓ 2.919 ✓ 2.826 ✓ 2.812 ✓ 2.825 ✓ 2.816 ✓ 2.802 ✓ 2.779 ✓ 2.79  ✓ 2.81  13 2.829 0.033 ✓
55 ParAAM-C-S-set 16 457324 0 0 1 1 {#f,#t} 13 ✓ 2.856 ✓ 2.823 ✓ 2.805 ✓ 2.807 ✓ 2.8   ✓ 2.932 ✓ 2.832 ✓ 2.75  ✓ 2.841 ✓ 2.819 ✓ 2.781 ✓ 2.807 ✓ 2.799 13 2.819 0.029 ✓
56 ParAAM-C-S-set 24 457324 0 0 1 1 {#f,#t} 13 ✓ 2.898 ✓ 2.813 ✓ 2.816 ✓ 2.842 ✓ 2.782 ✓ 2.812 ✓ 2.832 ✓ 2.854 ✓ 2.8   ✓ 2.87  ✓ 2.821 ✓ 2.854 ✓ 2.826 13 2.832 0.024 ✓
57 ParAAM-C-S-set 32 457324 0 0 1 1 {#f,#t} 13 ✓ 2.813 ✓ 2.835 ✓ 2.859 ✓ 2.853 ✓ 2.791 ✓ 2.862 ✓ 2.853 ✓ 2.829 ✓ 2.8   ✓ 2.89  ✓ 2.875 ✓ 2.819 ✓ 2.793 13 2.836 0.027 ✓
58 ParAAM-C-S-part 2 457324 0 0 1 1 {#f,#t} 13 ✓ 14.969 ✓ 15.384 ✓ 14.884 ✓ 14.749 ✓ 14.529 ✓ 15.087 ✓ 14.82  ✓ 14.397 ✓ 15.741 ✓ 15.199 ✓ 15.28  ✓ 14.913 ✓ 14.809 13 14.982 0.274 ✓
59 ParAAM-C-S-part 3 457324 0 0 1 1 {#f,#t} 13 ✓ 9.278 ✓ 9.132 ✓ 9.087 ✓ 9.051 ✓ 9.198 ✓ 9.212 ✓ 9.435 ✓ 9.062 ✓ 9.191 ✓ 9.163 ✓ 9.189 ✓ 9.069 ✓ 9.212 13 9.175 0.075 ✓
60 ParAAM-C-S-part 4 457324 0 0 1 1 {#f,#t} 13 ✓ 7.047 ✓ 6.91  ✓ 7.042 ✓ 7.062 ✓ 7.163 ✓ 6.883 ✓ 6.962 ✓ 6.873 ✓ 6.838 ✓ 7.037 ✓ 7.068 ✓ 7.017 ✓ 7.192 13 7.007 0.088 ✓
61 ParAAM-C-S-part 5 457324 0 0 1 1 {#f,#t} 13 ✓ 5.683 ✓ 5.618 ✓ 5.565 ✓ 5.601 ✓ 5.535 ✓ 5.582 ✓ 5.536 ✓ 5.626 ✓ 5.65  ✓ 5.678 ✓ 5.502 ✓ 5.769 ✓ 5.635 13 5.614 0.056 ✓
62 ParAAM-C-S-part 6 457324 0 0 1 1 {#f,#t} 13 ✓ 4.628 ✓ 4.523 ✓ 4.647 ✓ 4.557 ✓ 4.57  ✓ 4.509 ✓ 4.621 ✓ 4.555 ✓ 4.598 ✓ 4.535 ✓ 4.554 ✓ 4.622 ✓ 4.496 13 4.57  0.041 ✓
63 ParAAM-C-S-part 7 457324 0 0 1 1 {#f,#t} 13 ✓ 4.071 ✓ 4.003 ✓ 4.04  ✓ 4.334 ✓ 4.048 ✓ 4.051 ✓ 4.075 ✓ 4.028 ✓ 4.051 ✓ 4.142 ✓ 3.991 ✓ 4.096 ✓ 4.203 13 4.087 0.066 ✓
64 ParAAM-C-S-part 8 457324 0 0 1 1 {#f,#t} 13 ✓ 4.327 ✓ 4.166 ✓ 4.111 ✓ 4.197 ✓ 4.209 ✓ 4.153 ✓ 4.215 ✓ 4.325 ✓ 4.258 ✓ 4.364 ✓ 4.201 ✓ 4.182 ✓ 4.194 13 4.223 0.059 ✓
65 ParAAM-C-S-part 9 457324 0 0 1 1 {#f,#t} 13 ✓ 4.428 ✓ 4.515 ✓ 4.503 ✓ 4.489 ✓ 4.492 ✓ 4.4   ✓ 4.544 ✓ 4.312 ✓ 4.581 ✓ 4.46  ✓ 4.421 ✓ 4.548 ✓ 4.464 13 4.474 0.055 ✓
66 ParAAM-C-S-part 10 457324 0 0 1 1 {#f,#t} 13 ✓ 4.326 ✓ 4.549 ✓ 4.418 ✓ 4.326 ✓ 4.413 ✓ 4.653 ✓ 4.351 ✓ 4.335 ✓ 4.247 ✓ 4.305 ✓ 4.33  ✓ 4.321 ✓ 4.425 13 4.385 0.082 ✓
67 ParAAM-C-S-part 12 457324 0 0 1 1 {#f,#t} 13 ✓ 3.677 ✓ 3.59  ✓ 3.488 ✓ 3.503 ✓ 3.494 ✓ 3.72  ✓ 3.507 ✓ 3.564 ✓ 3.535 ✓ 3.607 ✓ 3.617 ✓ 3.342 ✓ 3.557 13 3.554 0.07  ✓
68 ParAAM-C-S-part 14 457324 0 0 1 1 {#f,#t} 13 ✓ 3.356 ✓ 3.365 ✓ 3.461 ✓ 3.394 ✓ 3.351 ✓ 3.429 ✓ 3.457 ✓ 3.413 ✓ 3.363 ✓ 3.539 ✓ 3.467 ✓ 3.354 ✓ 3.406 13 3.412 0.045 ✓
69 ParAAM-C-S-part 16 457324 0 0 1 1 {#f,#t} 13 ✓ 3.378 ✓ 3.319 ✓ 3.287 ✓ 3.377 ✓ 3.275 ✓ 3.313 ✓ 3.424 ✓ 3.244 ✓ 3.314 ✓ 3.413 ✓ 3.414 ✓ 3.357 ✓ 3.322 13 3.341 0.048 ✓
70 ParAAM-C-S-part 24 457324 0 0 1 1 {#f,#t} 13 ✓ 3.174 ✓ 2.989 ✓ 3.042 ✓ 3.126 ✓ 3.035 ✓ 3.088 ✓ 2.965 ✓ 3.085 ✓ 3.021 ✓ 3.142 ✓ 3.114 ✓ 3.038 ✓ 3.11  13 3.071 0.052 ✓
71 ParAAM-C-S-part 32 457324 0 0 1 1 {#f,#t} 13 ✓ 3.069 ✓ 2.986 ✓ 3.031 ✓ 2.96  ✓ 2.998 ✓ 3.025 ✓ 2.976 ✓ 3.008 ✓ 3.029 ✓ 3.002 ✓ 2.986 ✓ 2.92  ✓ 2.972 13 2.997 0.028 ✓
72 ParAAM-C-state 1 457324 0 0 1 1 {#f,#t} 13 ✓ 11.974 ✓ 11.965 ✓ 12.297 ✓ 11.883 ✓ 11.909 ✓ 11.956 ✓ 11.908 ✓ 12.306 ✓ 11.667 ✓ 12.324 ✓ 11.991 ✓ 12.02  ✓ 11.89  13 12.007 0.141 ✓
73 ParAAM-C-state 2 457324 0 0 1 1 {#f,#t} 13 ✓ 6.737 ✓ 6.549 ✓ 6.442 ✓ 6.348 ✓ 6.43  ✓ 6.422 ✓ 6.464 ✓ 6.439 ✓ 6.36  ✓ 6.374 ✓ 6.349 ✓ 6.369 ✓ 6.369 13 6.435 0.07  ✓
74 ParAAM-C-state 3 457324 0 0 1 1 {#f,#t} 13 ✓ 4.533 ✓ 4.501 ✓ 4.592 ✓ 4.5   ✓ 4.571 ✓ 4.498 ✓ 4.496 ✓ 4.442 ✓ 4.503 ✓ 4.505 ✓ 4.507 ✓ 4.483 ✓ 4.527 13 4.512 0.027 ✓
75 ParAAM-C-state 4 457324 0 0 1 1 {#f,#t} 13 ✓ 3.708 ✓ 3.576 ✓ 3.619 ✓ 3.59  ✓ 3.598 ✓ 3.602 ✓ 3.701 ✓ 3.731 ✓ 3.605 ✓ 3.591 ✓ 3.636 ✓ 3.594 ✓ 3.578 13 3.625 0.042 ✓
76 ParAAM-C-state 5 457324 0 0 1 1 {#f,#t} 13 ✓ 3.075 ✓ 3.011 ✓ 2.992 ✓ 3.004 ✓ 3.012 ✓ 2.988 ✓ 3.036 ✓ 2.997 ✓ 2.978 ✓ 3.01  ✓ 3.042 ✓ 3.001 ✓ 2.973 13 3.009 0.02  ✓
77 ParAAM-C-state 6 457324 0 0 1 1 {#f,#t} 13 ✓ 2.717 ✓ 2.663 ✓ 2.736 ✓ 2.66  ✓ 2.67  ✓ 2.655 ✓ 2.646 ✓ 2.669 ✓ 2.691 ✓ 2.659 ✓ 2.668 ✓ 2.628 ✓ 2.663 13 2.671 0.02  ✓
78 ParAAM-C-state 7 457324 0 0 1 1 {#f,#t} 13 ✓ 2.393 ✓ 2.411 ✓ 2.372 ✓ 2.431 ✓ 2.41  ✓ 2.427 ✓ 2.399 ✓ 2.39  ✓ 2.408 ✓ 2.396 ✓ 2.419 ✓ 2.382 ✓ 2.406 13 2.403 0.014 ✓
79 ParAAM-C-state 8 457324 0 0 1 1 {#f,#t} 13 ✓ 2.319 ✓ 2.312 ✓ 2.308 ✓ 2.353 ✓ 2.331 ✓ 2.315 ✓ 2.35  ✓ 2.354 ✓ 2.361 ✓ 2.323 ✓ 2.286 ✓ 2.309 ✓ 2.294 13 2.324 0.02  ✓
80 ParAAM-C-state 9 457324 0 0 1 1 {#f,#t} 13 ✓ 2.385 ✓ 2.379 ✓ 2.289 ✓ 2.339 ✓ 2.399 ✓ 2.339 ✓ 2.306 ✓ 2.35  ✓ 2.37  ✓ 2.343 ✓ 2.368 ✓ 2.365 ✓ 2.317 13 2.35  0.026 ✓
81 ParAAM-C-state 10 457324 0 0 1 1 {#f,#t} 13 ✓ 2.476 ✓ 2.405 ✓ 2.356 ✓ 2.399 ✓ 2.529 ✓ 2.414 ✓ 2.434 ✓ 2.418 ✓ 2.382 ✓ 2.424 ✓ 2.451 ✓ 2.483 ✓ 2.391 13 2.428 0.036 ✓
82 ParAAM-C-state 12 457324 0 0 1 1 {#f,#t} 13 ✓ 2.524 ✓ 2.464 ✓ 2.399 ✓ 2.481 ✓ 2.474 ✓ 2.479 ✓ 2.482 ✓ 2.473 ✓ 2.492 ✓ 2.418 ✓ 2.413 ✓ 2.481 ✓ 2.431 13 2.462 0.029 ✓
83 ParAAM-C-state 14 457324 0 0 1 1 {#f,#t} 13 ✓ 2.522 ✓ 2.439 ✓ 2.455 ✓ 2.536 ✓ 2.442 ✓ 2.476 ✓ 2.448 ✓ 2.502 ✓ 2.454 ✓ 2.446 ✓ 2.48  ✓ 2.476 ✓ 2.461 13 2.472 0.024 ✓
84 ParAAM-C-state 16 457324 0 0 1 1 {#f,#t} 13 ✓ 2.504 ✓ 2.495 ✓ 2.449 ✓ 2.474 ✓ 2.396 ✓ 2.455 ✓ 2.44  ✓ 2.481 ✓ 2.44  ✓ 2.504 ✓ 2.429 ✓ 2.41  ✓ 2.471 13 2.458 0.028 ✓
85 ParAAM-C-state 24 457324 0 0 1 1 {#f,#t} 13 ✓ 2.507 ✓ 2.462 ✓ 2.438 ✓ 2.398 ✓ 2.429 ✓ 2.518 ✓ 2.486 ✓ 2.469 ✓ 2.415 ✓ 2.491 ✓ 2.45  ✓ 2.434 ✓ 2.454 13 2.458 0.029 ✓
86 ParAAM-C-state 32 457324 0 0 1 1 {#f,#t} 13 ✓ 2.599 ✓ 2.523 ✓ 2.542 ✓ 2.524 ✓ 2.528 ✓ 2.502 ✓ 2.52  ✓ 2.522 ✓ 2.491 ✓ 2.448 ✓ 2.485 ✓ 2.519 ✓ 2.53  13 2.518 0.022 ✓
87 ParAAM-C-set 1 457324 0 0 1 1 {#f,#t} 13 ✓ 11.808 ✓ 11.923 ✓ 11.682 ✓ 11.77  ✓ 12.452 ✓ 11.78  ✓ 11.787 ✓ 12.116 ✓ 11.811 ✓ 11.859 ✓ 11.911 ✓ 11.523 ✓ 11.501 13 11.84  0.163 ✓
88 ParAAM-C-set 2 457324 0 0 1 1 {#f,#t} 13 ✓ 6.474 ✓ 6.373 ✓ 6.337 ✓ 6.33  ✓ 6.442 ✓ 6.29  ✓ 6.364 ✓ 6.466 ✓ 6.579 ✓ 6.609 ✓ 6.736 ✓ 6.375 ✓ 6.384 13 6.443 0.1   ✓
89 ParAAM-C-set 3 457324 0 0 1 1 {#f,#t} 13 ✓ 4.632 ✓ 4.526 ✓ 4.428 ✓ 4.481 ✓ 4.462 ✓ 4.444 ✓ 4.462 ✓ 4.425 ✓ 4.449 ✓ 4.477 ✓ 4.443 ✓ 4.488 ✓ 4.449 13 4.474 0.036 ✓
90 ParAAM-C-set 4 457324 0 0 1 1 {#f,#t} 13 ✓ 3.582 ✓ 3.55  ✓ 3.566 ✓ 3.666 ✓ 3.589 ✓ 3.548 ✓ 3.554 ✓ 3.55  ✓ 3.546 ✓ 3.539 ✓ 3.544 ✓ 3.554 ✓ 3.585 13 3.567 0.024 ✓
91 ParAAM-C-set 5 457324 0 0 1 1 {#f,#t} 13 ✓ 3.087 ✓ 3.075 ✓ 3.01  ✓ 3.063 ✓ 3     ✓ 2.957 ✓ 3.001 ✓ 3.082 ✓ 3.004 ✓ 3.006 ✓ 3.005 ✓ 3.106 ✓ 3.068 13 3.036 0.041 ✓
92 ParAAM-C-set 6 457324 0 0 1 1 {#f,#t} 13 ✓ 2.705 ✓ 2.644 ✓ 2.656 ✓ 2.649 ✓ 2.636 ✓ 2.647 ✓ 2.688 ✓ 2.626 ✓ 2.647 ✓ 2.655 ✓ 2.686 ✓ 2.649 ✓ 2.626 13 2.655 0.018 ✓
93 ParAAM-C-set 7 457324 0 0 1 1 {#f,#t} 13 ✓ 2.484 ✓ 2.423 ✓ 2.392 ✓ 2.391 ✓ 2.376 ✓ 2.387 ✓ 2.421 ✓ 2.386 ✓ 2.376 ✓ 2.384 ✓ 2.403 ✓ 2.391 ✓ 2.388 13 2.4   0.02  ✓
94 ParAAM-C-set 8 457324 0 0 1 1 {#f,#t} 13 ✓ 2.286 ✓ 2.306 ✓ 2.287 ✓ 2.338 ✓ 2.364 ✓ 2.288 ✓ 2.279 ✓ 2.26  ✓ 2.335 ✓ 2.264 ✓ 2.304 ✓ 2.334 ✓ 2.305 13 2.304 0.024 ✓
95 ParAAM-C-set 9 457324 0 0 1 1 {#f,#t} 13 ✓ 2.481 ✓ 2.441 ✓ 2.443 ✓ 2.395 ✓ 2.423 ✓ 2.417 ✓ 2.486 ✓ 2.449 ✓ 2.375 ✓ 2.419 ✓ 2.402 ✓ 2.475 ✓ 2.434 13 2.434 0.026 ✓
96 ParAAM-C-set 10 457324 0 0 1 1 {#f,#t} 13 ✓ 2.567 ✓ 2.54  ✓ 2.573 ✓ 2.523 ✓ 2.593 ✓ 2.511 ✓ 2.505 ✓ 2.55  ✓ 2.508 ✓ 2.558 ✓ 2.503 ✓ 2.482 ✓ 2.546 13 2.535 0.028 ✓
97 ParAAM-C-set 12 457324 0 0 1 1 {#f,#t} 13 ✓ 2.605 ✓ 2.496 ✓ 2.57  ✓ 2.536 ✓ 2.511 ✓ 2.521 ✓ 2.523 ✓ 2.497 ✓ 2.512 ✓ 2.545 ✓ 2.532 ✓ 2.5   ✓ 2.578 13 2.533 0.026 ✓
98 ParAAM-C-set 14 457324 0 0 1 1 {#f,#t} 13 ✓ 2.544 ✓ 2.503 ✓ 2.487 ✓ 2.548 ✓ 2.496 ✓ 2.517 ✓ 2.577 ✓ 2.568 ✓ 2.494 ✓ 2.57  ✓ 2.594 ✓ 2.569 ✓ 2.571 13 2.541 0.032 ✓
99 ParAAM-C-set 16 457324 0 0 1 1 {#f,#t} 13 ✓ 2.52  ✓ 2.503 ✓ 2.486 ✓ 2.522 ✓ 2.552 ✓ 2.54  ✓ 2.495 ✓ 2.595 ✓ 2.501 ✓ 2.501 ✓ 2.499 ✓ 2.515 ✓ 2.48  13 2.516 0.023 ✓
100 ParAAM-C-set 24 457324 0 0 1 1 {#f,#t} 13 ✓ 2.588 ✓ 2.472 ✓ 2.531 ✓ 2.511 ✓ 2.499 ✓ 2.466 ✓ 2.519 ✓ 2.459 ✓ 2.49  ✓ 2.504 ✓ 2.485 ✓ 2.528 ✓ 2.509 13 2.505 0.024 ✓
101 ParAAM-C-set 32 457324 0 0 1 1 {#f,#t} 13 ✓ 2.525 ✓ 2.517 ✓ 2.52  ✓ 2.501 ✓ 2.547 ✓ 2.551 ✓ 2.543 ✓ 2.569 ✓ 2.582 ✓ 2.502 ✓ 2.549 ✓ 2.543 ✓ 2.529 13 2.537 0.019 ✓
102 ParAAM-C-part 1 457324 0 0 1 1 {#f,#t} 13 ✓ 10.659 ✓ 10.67  ✓ 10.605 ✓ 10.44  ✓ 10.34  ✓ 10.455 ✓ 10.465 ✓ 10.443 ✓ 10.399 ✓ 10.76  ✓ 10.743 ✓ 10.655 ✓ 10.781 13 10.57  0.135 ✓
103 ParAAM-C-part 2 457324 0 0 1 1 {#f,#t} 13 ✓ 6.287 ✓ 6.093 ✓ 5.966 ✓ 6.069 ✓ 6.093 ✓ 6.049 ✓ 6.035 ✓ 6.044 ✓ 6.012 ✓ 5.988 ✓ 6.055 ✓ 6.054 ✓ 6.022 13 6.059 0.047 ✓
104 ParAAM-C-part 3 457324 0 0 1 1 {#f,#t} 13 ✓ 4.505 ✓ 4.633 ✓ 4.497 ✓ 4.469 ✓ 4.514 ✓ 4.462 ✓ 4.512 ✓ 4.484 ✓ 4.492 ✓ 4.488 ✓ 4.498 ✓ 4.499 ✓ 4.452 13 4.5   0.025 ✓
105 ParAAM-C-part 4 457324 0 0 1 1 {#f,#t} 13 ✓ 3.715 ✓ 3.628 ✓ 3.647 ✓ 3.771 ✓ 3.669 ✓ 3.579 ✓ 3.721 ✓ 3.704 ✓ 3.677 ✓ 3.665 ✓ 3.675 ✓ 3.622 ✓ 3.716 13 3.676 0.038 ✓
106 ParAAM-C-part 5 457324 0 0 1 1 {#f,#t} 13 ✓ 3.146 ✓ 3.114 ✓ 3.151 ✓ 3.096 ✓ 3.133 ✓ 3.134 ✓ 3.11  ✓ 3.19  ✓ 3.199 ✓ 3.152 ✓ 3.153 ✓ 3.123 ✓ 3.155 13 3.143 0.023 ✓
107 ParAAM-C-part 6 457324 0 0 1 1 {#f,#t} 13 ✓ 2.79  ✓ 2.826 ✓ 2.772 ✓ 2.787 ✓ 2.823 ✓ 2.801 ✓ 2.83  ✓ 2.786 ✓ 2.788 ✓ 2.805 ✓ 2.801 ✓ 2.751 ✓ 2.783 13 2.796 0.017 ✓
108 ParAAM-C-part 7 457324 0 0 1 1 {#f,#t} 13 ✓ 2.562 ✓ 2.479 ✓ 2.529 ✓ 2.518 ✓ 2.594 ✓ 2.537 ✓ 2.542 ✓ 2.546 ✓ 2.533 ✓ 2.543 ✓ 2.543 ✓ 2.516 ✓ 2.527 13 2.536 0.018 ✓
109 ParAAM-C-part 8 457324 0 0 1 1 {#f,#t} 13 ✓ 2.367 ✓ 2.33  ✓ 2.338 ✓ 2.305 ✓ 2.348 ✓ 2.315 ✓ 2.36  ✓ 2.352 ✓ 2.388 ✓ 2.361 ✓ 2.367 ✓ 2.317 ✓ 2.342 13 2.345 0.019 ✓
110 ParAAM-C-part 9 457324 0 0 1 1 {#f,#t} 13 ✓ 2.395 ✓ 2.39  ✓ 2.386 ✓ 2.402 ✓ 2.417 ✓ 2.427 ✓ 2.393 ✓ 2.355 ✓ 2.377 ✓ 2.389 ✓ 2.41  ✓ 2.375 ✓ 2.382 13 2.392 0.014 ✓
111 ParAAM-C-part 10 457324 0 0 1 1 {#f,#t} 13 ✓ 2.436 ✓ 2.368 ✓ 2.445 ✓ 2.38  ✓ 2.363 ✓ 2.389 ✓ 2.355 ✓ 2.433 ✓ 2.439 ✓ 2.406 ✓ 2.401 ✓ 2.366 ✓ 2.394 13 2.398 0.026 ✓
112 ParAAM-C-part 12 457324 0 0 1 1 {#f,#t} 13 ✓ 2.363 ✓ 2.304 ✓ 2.41  ✓ 2.327 ✓ 2.367 ✓ 2.37  ✓ 2.3   ✓ 2.337 ✓ 2.29  ✓ 2.315 ✓ 2.299 ✓ 2.314 ✓ 2.281 13 2.329 0.031 ✓
113 ParAAM-C-part 14 457324 0 0 1 1 {#f,#t} 13 ✓ 2.256 ✓ 2.237 ✓ 2.279 ✓ 2.258 ✓ 2.254 ✓ 2.259 ✓ 2.349 ✓ 2.325 ✓ 2.273 ✓ 2.285 ✓ 2.246 ✓ 2.312 ✓ 2.259 13 2.276 0.026 ✓
114 ParAAM-C-part 16 457324 0 0 1 1 {#f,#t} 13 ✓ 2.234 ✓ 2.225 ✓ 2.254 ✓ 2.182 ✓ 2.225 ✓ 2.254 ✓ 2.225 ✓ 2.225 ✓ 2.215 ✓ 2.252 ✓ 2.255 ✓ 2.236 ✓ 2.232 13 2.232 0.015 ✓
115 ParAAM-C-part 24 457324 0 0 1 1 {#f,#t} 13 ✓ 2.127 ✓ 2.126 ✓ 2.158 ✓ 2.109 ✓ 2.114 ✓ 2.132 ✓ 2.133 ✓ 2.152 ✓ 2.137 ✓ 2.134 ✓ 2.147 ✓ 2.127 ✓ 2.125 13 2.132 0.01  ✓
116 ParAAM-C-part 32 457324 0 0 1 1 {#f,#t} 13 ✓ 2.124 ✓ 2.073 ✓ 2.128 ✓ 2.09  ✓ 2.127 ✓ 2.114 ✓ 2.129 ✓ 2.103 ✓ 2.104 ✓ 2.152 ✓ 2.147 ✓ 2.119 ✓ 2.136 13 2.119 0.017 ✓