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 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 457324 0 0 1 1 {#f,#t} 13 ✓ 25.925 ✓ 24.128 ✓ 23.02  ✓ 22.71  ✓ 22.779 ✓ 24.56  ✓ 23.514 ✓ 23.939 ✓ 24.154 ✓ 24.385 ✓ 23.314 ✓ 23.678 ✓ 23.897 13 23.847 0.625 ✓
2 ParAAM-L-SA-state 2 457324 0 0 1 1 {#f,#t} 13 ✓ 52.223 ✓ 52.09  ✓ 52.187 ✓ 51.761 ✓ 51.409 ✓ 51.718 ✓ 51.616 ✓ 50.868 ✓ 50.497 ✓ 52.204 ✓ 51.981 ✓ 51.661 ✓ 51.567 13 51.675 0.375 ✓
3 ParAAM-L-SA-state 3 457324 0 0 1 1 {#f,#t} 13 ✓ 52.878 ✓ 52.279 ✓ 52.623 ✓ 52.029 ✓ 52.737 ✓ 52.477 ✓ 51.357 ✓ 52.138 ✓ 52.48  ✓ 52.3   ✓ 51.913 ✓ 52.514 ✓ 52.171 13 52.3   0.294 ✓
4 ParAAM-L-SA-state 4 457324 0 0 1 1 {#f,#t} 13 ✓ 52.324 ✓ 52.02  ✓ 52.437 ✓ 52.232 ✓ 52.588 ✓ 52.243 ✓ 51.654 ✓ 51.932 ✓ 52.13  ✓ 52.127 ✓ 52.669 ✓ 52.764 ✓ 52.468 13 52.276 0.245 ✓
5 ParAAM-L-SA-state 5 457324 0 0 1 1 {#f,#t} 13 ✓ 52.958 ✓ 52.677 ✓ 51.923 ✓ 52.029 ✓ 52.351 ✓ 52.038 ✓ 52.965 ✓ 52.665 ✓ 52.721 ✓ 52.169 ✓ 52.361 ✓ 52.429 ✓ 52.265 13 52.427 0.285 ✓
6 ParAAM-L-SA-state 6 457324 0 0 1 1 {#f,#t} 13 ✓ 52.388 ✓ 52.396 ✓ 51.981 ✓ 53.142 ✓ 52.488 ✓ 51.746 ✓ 51.252 ✓ 51.97  ✓ 51.598 ✓ 52.258 ✓ 51.919 ✓ 52.124 ✓ 51.643 13 52.07  0.366 ✓
7 ParAAM-L-SA-state 7 457324 0 0 1 1 {#f,#t} 13 ✓ 52.863 ✓ 52.25  ✓ 52.722 ✓ 52.493 ✓ 52.237 ✓ 52.387 ✓ 52.027 ✓ 52.928 ✓ 52.357 ✓ 53.148 ✓ 52.553 ✓ 51.321 ✓ 52.28  13 52.428 0.329 ✓
8 ParAAM-L-SA-state 8 457324 0 0 1 1 {#f,#t} 13 ✓ 52.281 ✓ 52.612 ✓ 52.728 ✓ 51.61  ✓ 52.5   ✓ 52.567 ✓ 52.243 ✓ 52.913 ✓ 52.501 ✓ 52.415 ✓ 52.208 ✓ 52.68  ✓ 52.281 13 52.426 0.234 ✓
9 ParAAM-L-SA-state 9 457324 0 0 1 1 {#f,#t} 13 ✓ 52.46  ✓ 52.5   ✓ 52.14  ✓ 51.725 ✓ 52.372 ✓ 52.504 ✓ 52.56  ✓ 52.592 ✓ 51.944 ✓ 52.433 ✓ 52.426 ✓ 51.495 ✓ 52.016 13 52.244 0.292 ✓
10 ParAAM-L-SA-state 10 457324 0 0 1 1 {#f,#t} 13 ✓ 52.428 ✓ 52.289 ✓ 52.207 ✓ 52.847 ✓ 52.86  ✓ 52.827 ✓ 53.111 ✓ 52.852 ✓ 52.23  ✓ 52.6   ✓ 53.051 ✓ 52.361 ✓ 52.006 13 52.59  0.311 ✓
11 ParAAM-L-SA-state 12 457324 0 0 1 1 {#f,#t} 13 ✓ 52.752 ✓ 53.015 ✓ 52.6   ✓ 52.636 ✓ 52.223 ✓ 51.663 ✓ 53.255 ✓ 52.666 ✓ 52.941 ✓ 51.91  ✓ 52.775 ✓ 52.478 ✓ 52.895 13 52.601 0.328 ✓
12 ParAAM-L-SA-state 14 457324 0 0 1 1 {#f,#t} 13 ✓ 52.853 ✓ 52.745 ✓ 52.979 ✓ 52.835 ✓ 53.089 ✓ 52.525 ✓ 52.373 ✓ 52.674 ✓ 53.015 ✓ 52.757 ✓ 53.389 ✓ 53.675 ✓ 53.099 13 52.924 0.262 ✓
13 ParAAM-L-SA-state 16 457324 0 0 1 1 {#f,#t} 13 ✓ 53.809 ✓ 52.434 ✓ 52.914 ✓ 53.281 ✓ 52.822 ✓ 52.548 ✓ 52.994 ✓ 51.996 ✓ 52.751 ✓ 52.114 ✓ 52.419 ✓ 52.344 ✓ 52.267 13 52.669 0.394 ✓
14 ParAAM-L-SA-state 18 457324 0 0 1 1 {#f,#t} 13 ✓ 52.946 ✓ 52.923 ✓ 52.411 ✓ 52.087 ✓ 52.279 ✓ 53.091 ✓ 52.973 ✓ 52.986 ✓ 52.868 ✓ 53.152 ✓ 53.012 ✓ 52.867 ✓ 53.028 13 52.817 0.258 ✓
15 ParAAM-L-SA-state 20 457324 0 0 1 1 {#f,#t} 13 ✓ 53.516 ✓ 52.667 ✓ 52.961 ✓ 53.374 ✓ 53.048 ✓ 53.122 ✓ 53.143 ✓ 53.668 ✓ 52.379 ✓ 51.902 ✓ 52.65  ✓ 52.605 ✓ 52.716 13 52.904 0.385 ✓
16 ParAAM-L-SA-state 24 457324 0 0 1 1 {#f,#t} 13 ✓ 53.096 ✓ 52.303 ✓ 52.66  ✓ 52.786 ✓ 53.458 ✓ 53.525 ✓ 53.094 ✓ 52.66  ✓ 52.577 ✓ 52.325 ✓ 53.471 ✓ 52.939 ✓ 53.578 13 52.959 0.379 ✓
17 ParAAM-L-SA-state 28 457324 0 0 1 1 {#f,#t} 13 ✓ 51.983 ✓ 52.942 ✓ 52.962 ✓ 52.43  ✓ 52.201 ✓ 52.887 ✓ 53.239 ✓ 53.192 ✓ 53.129 ✓ 52.676 ✓ 53.443 ✓ 53.37  ✓ 52.882 13 52.872 0.338 ✓
18 ParAAM-L-SA-state 32 457324 0 0 1 1 {#f,#t} 13 ✓ 53.44  ✓ 52.679 ✓ 53.107 ✓ 52.579 ✓ 53.187 ✓ 53.514 ✓ 52.569 ✓ 52.768 ✓ 53.127 ✓ 53.093 ✓ 52.812 ✓ 53.554 ✓ 52.376 13 52.985 0.327 ✓
19 ParAAM-L-SA-state 40 457324 0 0 1 1 {#f,#t} 13 ✓ 52.426 ✓ 53.133 ✓ 52.239 ✓ 52.54  ✓ 53.162 ✓ 52.284 ✓ 53.458 ✓ 52.801 ✓ 52.78  ✓ 52.994 ✓ 52.041 ✓ 52.946 ✓ 53.576 13 52.799 0.382 ✓
20 ParAAM-L-SA-state 48 457324 0 0 1 1 {#f,#t} 13 ✓ 53.869 ✓ 52.457 ✓ 52.603 ✓ 52.603 ✓ 53.056 ✓ 52.553 ✓ 53.148 ✓ 53.746 ✓ 53.381 ✓ 52.903 ✓ 53.634 ✓ 53.128 ✓ 53.381 13 53.112 0.384 ✓
21 ParAAM-L-SA-state 56 457324 0 0 1 1 {#f,#t} 13 ✓ 53.363 ✓ 52.994 ✓ 52.731 ✓ 52.735 ✓ 53.63  ✓ 53.399 ✓ 53.398 ✓ 53.018 ✓ 53.168 ✓ 52.329 ✓ 53.423 ✓ 52.37  ✓ 52.78  13 53.026 0.342 ✓
22 ParAAM-L-SA-state 64 457324 0 0 1 1 {#f,#t} 13 ✓ 52.604 ✓ 53.426 ✓ 52.65  ✓ 52.866 ✓ 52.533 ✓ 52.656 ✓ 51.707 ✓ 53.496 ✓ 52.296 ✓ 52.776 ✓ 52.532 ✓ 53.279 ✓ 52.082 13 52.685 0.372 ✓
23 ParAAM-L-SA-set 2 457324 0 0 1 1 {#f,#t} 13 ✓ 52.431 ✓ 51.573 ✓ 51.658 ✓ 51.023 ✓ 51.209 ✓ 51.168 ✓ 51.087 ✓ 50.991 ✓ 50.779 ✓ 50.123 ✓ 50.871 ✓ 51.41  ✓ 50.752 13 51.16  0.383 ✓
24 ParAAM-L-SA-set 3 457324 0 0 1 1 {#f,#t} 13 ✓ 53.251 ✓ 52.549 ✓ 52.805 ✓ 51.674 ✓ 51.784 ✓ 51.699 ✓ 52.554 ✓ 51.507 ✓ 51.533 ✓ 51.922 ✓ 52.725 ✓ 52.111 ✓ 51.174 13 52.099 0.523 ✓
25 ParAAM-L-SA-set 4 457324 0 0 1 1 {#f,#t} 13 ✓ 52.218 ✓ 52.368 ✓ 51.923 ✓ 52.251 ✓ 52.411 ✓ 51.42  ✓ 51.621 ✓ 51.83  ✓ 51.47  ✓ 51.936 ✓ 52.57  ✓ 51.595 ✓ 51.549 13 51.936 0.329 ✓
26 ParAAM-L-SA-set 5 457324 0 0 1 1 {#f,#t} 13 ✓ 52.531 ✓ 52.091 ✓ 51.197 ✓ 51.346 ✓ 51.785 ✓ 50.564 ✓ 51.54  ✓ 52.134 ✓ 51.538 ✓ 50.935 ✓ 52.245 ✓ 51.689 ✓ 52.281 13 51.683 0.458 ✓
27 ParAAM-L-SA-set 6 457324 0 0 1 1 {#f,#t} 13 ✓ 52.642 ✓ 51.358 ✓ 52.126 ✓ 51.664 ✓ 51.779 ✓ 51.114 ✓ 52.686 ✓ 51.893 ✓ 51.284 ✓ 52.059 ✓ 52.263 ✓ 51.763 ✓ 52.349 13 51.921 0.399 ✓
28 ParAAM-L-SA-set 7 457324 0 0 1 1 {#f,#t} 13 ✓ 52.938 ✓ 51.592 ✓ 52.175 ✓ 51.768 ✓ 52.03  ✓ 51.738 ✓ 51.971 ✓ 52.025 ✓ 52.071 ✓ 51.29  ✓ 51.572 ✓ 51.62  ✓ 51.247 13 51.849 0.326 ✓
29 ParAAM-L-SA-set 8 457324 0 0 1 1 {#f,#t} 13 ✓ 52.644 ✓ 51.379 ✓ 51.354 ✓ 51.784 ✓ 52.53  ✓ 52.473 ✓ 52.127 ✓ 52.436 ✓ 51.2   ✓ 52.066 ✓ 52.161 ✓ 52.654 ✓ 51.289 13 52.007 0.466 ✓
30 ParAAM-L-SA-set 9 457324 0 0 1 1 {#f,#t} 13 ✓ 53.175 ✓ 51.183 ✓ 51.99  ✓ 51.751 ✓ 51.808 ✓ 51.812 ✓ 52.278 ✓ 51.202 ✓ 51.21  ✓ 52.353 ✓ 52.463 ✓ 52.412 ✓ 52.604 13 52.019 0.488 ✓
31 ParAAM-L-SA-set 10 457324 0 0 1 1 {#f,#t} 13 ✓ 53.337 ✓ 50.962 ✓ 52.506 ✓ 51.99  ✓ 51.35  ✓ 51.384 ✓ 51.557 ✓ 51.748 ✓ 51.858 ✓ 51.18  ✓ 52.174 ✓ 52.328 ✓ 50.669 13 51.772 0.547 ✓
32 ParAAM-L-SA-set 12 457324 0 0 1 1 {#f,#t} 13 ✓ 52.514 ✓ 51.731 ✓ 51.371 ✓ 50.836 ✓ 52.353 ✓ 52.108 ✓ 51.568 ✓ 52.488 ✓ 51.163 ✓ 50.85  ✓ 51.048 ✓ 51.842 ✓ 51.969 13 51.68  0.499 ✓
33 ParAAM-L-SA-set 14 457324 0 0 1 1 {#f,#t} 13 ✓ 51.775 ✓ 51.662 ✓ 52.142 ✓ 51.732 ✓ 52     ✓ 52.126 ✓ 51.019 ✓ 51.404 ✓ 51.584 ✓ 52.493 ✓ 51.106 ✓ 52.512 ✓ 51.767 13 51.794 0.354 ✓
34 ParAAM-L-SA-set 16 457324 0 0 1 1 {#f,#t} 13 ✓ 52.943 ✓ 50.646 ✓ 51.271 ✓ 51.213 ✓ 51.563 ✓ 52.961 ✓ 50.968 ✓ 51.278 ✓ 51.635 ✓ 52.608 ✓ 52.229 ✓ 51.798 ✓ 51.879 13 51.768 0.586 ✓
35 ParAAM-L-SA-set 18 457324 0 0 1 1 {#f,#t} 13 ✓ 51.418 ✓ 51.907 ✓ 51.575 ✓ 51.879 ✓ 52.034 ✓ 52.301 ✓ 51.962 ✓ 52.386 ✓ 52.196 ✓ 51.36  ✓ 51.85  ✓ 51.575 ✓ 51.415 13 51.835 0.282 ✓
36 ParAAM-L-SA-set 20 457324 0 0 1 1 {#f,#t} 13 ✓ 51.315 ✓ 51.704 ✓ 52.175 ✓ 51.291 ✓ 51.438 ✓ 51.579 ✓ 52.48  ✓ 51.886 ✓ 51.865 ✓ 51.9   ✓ 52.247 ✓ 52.279 ✓ 51.785 13 51.842 0.298 ✓
37 ParAAM-L-SA-set 24 457324 0 0 1 1 {#f,#t} 13 ✓ 52.43  ✓ 52.628 ✓ 52.408 ✓ 52.505 ✓ 51.851 ✓ 51.219 ✓ 51.413 ✓ 51.825 ✓ 51.691 ✓ 51.368 ✓ 51.947 ✓ 51.702 ✓ 51.668 13 51.897 0.374 ✓
38 ParAAM-L-SA-set 28 457324 0 0 1 1 {#f,#t} 13 ✓ 51.773 ✓ 51.892 ✓ 51.96  ✓ 51.97  ✓ 51.713 ✓ 51.838 ✓ 52.291 ✓ 51.526 ✓ 52.123 ✓ 51.985 ✓ 51.784 ✓ 51.479 ✓ 51.535 13 51.836 0.186 ✓
39 ParAAM-L-SA-set 32 457324 0 0 1 1 {#f,#t} 13 ✓ 52.511 ✓ 51.185 ✓ 52.422 ✓ 52.327 ✓ 51.775 ✓ 52.174 ✓ 51.632 ✓ 52.935 ✓ 51.885 ✓ 51.703 ✓ 51.407 ✓ 51.886 ✓ 51.952 13 51.984 0.377 ✓
40 ParAAM-L-SA-set 40 457324 0 0 1 1 {#f,#t} 13 ✓ 52.555 ✓ 52.113 ✓ 51.478 ✓ 52.574 ✓ 52.696 ✓ 51.316 ✓ 51.364 ✓ 53.109 ✓ 51.837 ✓ 52.205 ✓ 52.459 ✓ 52.525 ✓ 51.929 13 52.166 0.455 ✓
41 ParAAM-L-SA-set 48 457324 0 0 1 1 {#f,#t} 13 ✓ 53.078 ✓ 52.27  ✓ 52.589 ✓ 52.182 ✓ 52.003 ✓ 51.964 ✓ 51.665 ✓ 51.545 ✓ 50.962 ✓ 52.755 ✓ 52.095 ✓ 51.915 ✓ 51.565 13 52.045 0.415 ✓
42 ParAAM-L-SA-set 56 457324 0 0 1 1 {#f,#t} 13 ✓ 52.28  ✓ 51.778 ✓ 52.859 ✓ 51.698 ✓ 51.674 ✓ 52.438 ✓ 51.763 ✓ 52.757 ✓ 52.155 ✓ 52.221 ✓ 52.311 ✓ 52.454 ✓ 51.745 13 52.164 0.334 ✓
43 ParAAM-L-SA-set 64 457324 0 0 1 1 {#f,#t} 13 ✓ 52.557 ✓ 52.325 ✓ 51.931 ✓ 52.403 ✓ 52.57  ✓ 52.321 ✓ 51.229 ✓ 52.584 ✓ 51.759 ✓ 51.835 ✓ 51.743 ✓ 52.196 ✓ 52.231 13 52.129 0.331 ✓
44 ParAAM-L-SA-part 2 457324 0 0 1 1 {#f,#t} 13 ✓ 54.096 ✓ 52.031 ✓ 51.418 ✓ 52.877 ✓ 53.517 ✓ 52.991 ✓ 53.094 ✓ 53.555 ✓ 53.551 ✓ 52.955 ✓ 51.589 ✓ 53.132 ✓ 52.678 13 52.883 0.588 ✓
45 ParAAM-L-SA-part 3 457324 0 0 1 1 {#f,#t} 13 ✓ 32.29  ✓ 32.487 ✓ 32.082 ✓ 31.907 ✓ 32.592 ✓ 33.33  ✓ 32.216 ✓ 32.338 ✓ 31.977 ✓ 32.514 ✓ 32.255 ✓ 31.677 ✓ 32.459 13 32.317 0.28  ✓
46 ParAAM-L-SA-part 4 457324 0 0 1 1 {#f,#t} 13 ✓ 25.38  ✓ 24.342 ✓ 24.979 ✓ 23.723 ✓ 24.646 ✓ 25.307 ✓ 25.34  ✓ 24.988 ✓ 24.545 ✓ 25.44  ✓ 25.808 ✓ 24.85  ✓ 25.493 13 24.988 0.437 ✓
47 ParAAM-L-SA-part 5 457324 0 0 1 1 {#f,#t} 13 ✓ 22.632 ✓ 22.436 ✓ 21.884 ✓ 21.813 ✓ 21.842 ✓ 22.528 ✓ 22.012 ✓ 21.912 ✓ 21.984 ✓ 20.888 ✓ 21.899 ✓ 21.406 ✓ 22.517 13 21.981 0.342 ✓
48 ParAAM-L-SA-part 6 457324 0 0 1 1 {#f,#t} 13 ✓ 20.253 ✓ 20.301 ✓ 20.743 ✓ 20.301 ✓ 20.273 ✓ 19.813 ✓ 20.253 ✓ 20.178 ✓ 20.149 ✓ 20.041 ✓ 19.98  ✓ 19.767 ✓ 20.648 13 20.208 0.203 ✓
49 ParAAM-L-SA-part 7 457324 0 0 1 1 {#f,#t} 13 ✓ 20.059 ✓ 19.568 ✓ 19.514 ✓ 19.172 ✓ 19.636 ✓ 19.764 ✓ 19.137 ✓ 19.179 ✓ 19.656 ✓ 19.227 ✓ 18.763 ✓ 18.952 ✓ 19.185 13 19.37  0.304 ✓
50 ParAAM-L-SA-part 8 457324 0 0 1 1 {#f,#t} 13 ✓ 19.776 ✓ 19.973 ✓ 19.454 ✓ 19.721 ✓ 19.141 ✓ 19.844 ✓ 19.4   ✓ 19.462 ✓ 19.417 ✓ 19.178 ✓ 18.82  ✓ 19.96  ✓ 19.363 13 19.501 0.273 ✓
51 ParAAM-L-SA-part 9 457324 0 0 1 1 {#f,#t} 13 ✓ 18.858 ✓ 18.977 ✓ 18.832 ✓ 19.401 ✓ 19.303 ✓ 18.529 ✓ 18.444 ✓ 19.792 ✓ 18.984 ✓ 19.744 ✓ 19.362 ✓ 19.169 ✓ 18.467 13 19.066 0.365 ✓
52 ParAAM-L-SA-part 10 457324 0 0 1 1 {#f,#t} 13 ✓ 18.383 ✓ 18.168 ✓ 18.834 ✓ 18.032 ✓ 18.738 ✓ 18.116 ✓ 18.371 ✓ 18.8   ✓ 18.278 ✓ 19.269 ✓ 18.278 ✓ 18.987 ✓ 19.08  13 18.564 0.357 ✓
53 ParAAM-L-SA-part 12 457324 0 0 1 1 {#f,#t} 13 ✓ 17.894 ✓ 17.684 ✓ 18.098 ✓ 18.295 ✓ 18.514 ✓ 18.365 ✓ 17.99  ✓ 18.177 ✓ 17.352 ✓ 18.685 ✓ 17.504 ✓ 17.444 ✓ 18.315 13 18.024 0.351 ✓
54 ParAAM-L-SA-part 14 457324 0 0 1 1 {#f,#t} 13 ✓ 19.039 ✓ 18.831 ✓ 17.872 ✓ 18.279 ✓ 18.423 ✓ 17.628 ✓ 18.565 ✓ 17.381 ✓ 18.367 ✓ 17.351 ✓ 17.972 ✓ 18.556 ✓ 17.606 13 18.144 0.47  ✓
55 ParAAM-L-SA-part 16 457324 0 0 1 1 {#f,#t} 13 ✓ 18.411 ✓ 18.653 ✓ 17.718 ✓ 19.411 ✓ 18.727 ✓ 18.552 ✓ 18.581 ✓ 17.873 ✓ 18.299 ✓ 18.201 ✓ 18.593 ✓ 19.192 ✓ 18.369 13 18.506 0.333 ✓
56 ParAAM-L-SA-part 18 457324 0 0 1 1 {#f,#t} 13 ✓ 18.743 ✓ 18.722 ✓ 19.418 ✓ 18.098 ✓ 18.82  ✓ 18.829 ✓ 18.772 ✓ 17.989 ✓ 18.457 ✓ 19.22  ✓ 18.014 ✓ 18.084 ✓ 18.989 13 18.627 0.384 ✓
57 ParAAM-L-SA-part 20 457324 0 0 1 1 {#f,#t} 13 ✓ 20.115 ✓ 19.124 ✓ 19.521 ✓ 19.113 ✓ 19.13  ✓ 18.734 ✓ 18.265 ✓ 18.79  ✓ 18.613 ✓ 18.308 ✓ 17.993 ✓ 18.937 ✓ 18.17  13 18.832 0.454 ✓
58 ParAAM-L-SA-part 24 457324 0 0 1 1 {#f,#t} 13 ✓ 20.247 ✓ 18.891 ✓ 19.537 ✓ 20.243 ✓ 20.012 ✓ 20.561 ✓ 20.045 ✓ 18.934 ✓ 19.223 ✓ 18.711 ✓ 20.07  ✓ 19.008 ✓ 19.668 13 19.627 0.532 ✓
59 ParAAM-L-SA-part 28 457324 0 0 1 1 {#f,#t} 13 ✓ 20.778 ✓ 20.479 ✓ 18.69  ✓ 20.205 ✓ 19.433 ✓ 19.215 ✓ 20.23  ✓ 20.706 ✓ 20.163 ✓ 20.497 ✓ 20.65  ✓ 20.738 ✓ 19.722 13 20.116 0.524 ✓
60 ParAAM-L-SA-part 32 457324 0 0 1 1 {#f,#t} 13 ✓ 22.671 ✓ 21.241 ✓ 20.799 ✓ 21.17  ✓ 21.067 ✓ 20.451 ✓ 20.801 ✓ 21.353 ✓ 21.737 ✓ 21.362 ✓ 21.053 ✓ 21.647 ✓ 21.779 13 21.318 0.406 ✓
61 ParAAM-L-SA-part 40 457324 0 0 1 1 {#f,#t} 13 ✓ 24.046 ✓ 23.029 ✓ 22.494 ✓ 21.858 ✓ 22.105 ✓ 22.569 ✓ 22.813 ✓ 22.134 ✓ 22.183 ✓ 21.873 ✓ 22.351 ✓ 23.359 ✓ 23.809 13 22.663 0.575 ✓
62 ParAAM-L-SA-part 48 457324 0 0 1 1 {#f,#t} 13 ✓ 24.621 ✓ 23.489 ✓ 23.344 ✓ 25.147 ✓ 23.686 ✓ 24.79  ✓ 24.735 ✓ 24.477 ✓ 25.294 ✓ 24.808 ✓ 24.989 ✓ 24.717 ✓ 25.02  13 24.547 0.491 ✓
63 ParAAM-L-SA-part 56 457324 0 0 1 1 {#f,#t} 13 ✓ 26.778 ✓ 26.465 ✓ 26.073 ✓ 26.323 ✓ 25.089 ✓ 25.934 ✓ 26.721 ✓ 26.714 ✓ 28.221 ✓ 26.303 ✓ 27.187 ✓ 26.365 ✓ 26.642 13 26.524 0.48  ✓
64 ParAAM-L-SA-part 64 457324 0 0 1 1 {#f,#t} 13 ✓ 29.661 ✓ 28.172 ✓ 29.195 ✓ 29.696 ✓ 29.28  ✓ 29.027 ✓ 29.136 ✓ 29.298 ✓ 27.857 ✓ 28.347 ✓ 27.432 ✓ 28.022 ✓ 29.19  13 28.793 0.636 ✓
65 ParAAM-C-S-set 2 457324 0 0 1 1 {#f,#t} 13 ✓ 64.705 ✓ 63.583 ✓ 61.423 ✓ 62.975 ✓ 62.645 ✓ 62.69  ✓ 64.101 ✓ 62.503 ✓ 63.53  ✓ 61.62  ✓ 62.156 ✓ 62.132 ✓ 63.07  13 62.856 0.743 ✓
66 ParAAM-C-S-set 3 457324 0 0 1 1 {#f,#t} 13 ✓ 34.683 ✓ 34.553 ✓ 34.57  ✓ 34.613 ✓ 34.201 ✓ 34.131 ✓ 34.481 ✓ 34.375 ✓ 33.975 ✓ 33.885 ✓ 34.307 ✓ 34.221 ✓ 33.999 13 34.307 0.22  ✓
67 ParAAM-C-S-set 4 457324 0 0 1 1 {#f,#t} 13 ✓ 24.417 ✓ 24.406 ✓ 24.486 ✓ 24.442 ✓ 24.016 ✓ 24.222 ✓ 24.519 ✓ 25.104 ✓ 24.201 ✓ 24.258 ✓ 24.053 ✓ 23.867 ✓ 24.36  13 24.335 0.214 ✓
68 ParAAM-C-S-set 5 457324 0 0 1 1 {#f,#t} 13 ✓ 19.773 ✓ 18.835 ✓ 19.287 ✓ 18.754 ✓ 18.625 ✓ 18.828 ✓ 19.27  ✓ 19.512 ✓ 18.858 ✓ 18.841 ✓ 19.154 ✓ 18.956 ✓ 19.087 13 19.06  0.265 ✓
69 ParAAM-C-S-set 6 457324 0 0 1 1 {#f,#t} 13 ✓ 16.411 ✓ 15.638 ✓ 16.237 ✓ 16.255 ✓ 16.089 ✓ 15.711 ✓ 16.504 ✓ 15.612 ✓ 15.443 ✓ 15.95  ✓ 15.428 ✓ 15.729 ✓ 16.003 13 15.924 0.305 ✓
70 ParAAM-C-S-set 7 457324 0 0 1 1 {#f,#t} 13 ✓ 14.09  ✓ 13.778 ✓ 14.392 ✓ 14.35  ✓ 13.766 ✓ 13.605 ✓ 13.871 ✓ 14.058 ✓ 14.576 ✓ 13.97  ✓ 13.713 ✓ 13.896 ✓ 13.504 13 13.967 0.251 ✓
71 ParAAM-C-S-set 8 457324 0 0 1 1 {#f,#t} 13 ✓ 12.597 ✓ 12.489 ✓ 12.319 ✓ 12.933 ✓ 12.094 ✓ 12.787 ✓ 12.801 ✓ 12.789 ✓ 12.171 ✓ 13.012 ✓ 12.845 ✓ 13.176 ✓ 12.505 13 12.655 0.27  ✓
72 ParAAM-C-S-set 9 457324 0 0 1 1 {#f,#t} 13 ✓ 11.832 ✓ 12.212 ✓ 11.81  ✓ 12.208 ✓ 11.918 ✓ 12.153 ✓ 12.189 ✓ 12.141 ✓ 11.361 ✓ 12.075 ✓ 11.87  ✓ 11.721 ✓ 11.954 13 11.957 0.19  ✓
73 ParAAM-C-S-set 10 457324 0 0 1 1 {#f,#t} 13 ✓ 11.65  ✓ 11.568 ✓ 11.435 ✓ 11.622 ✓ 11.594 ✓ 11.463 ✓ 10.849 ✓ 11.039 ✓ 10.829 ✓ 10.733 ✓ 10.852 ✓ 11.88  ✓ 11.61  13 11.317 0.351 ✓
74 ParAAM-C-S-set 12 457324 0 0 1 1 {#f,#t} 13 ✓ 10.81  ✓ 10.631 ✓ 10.275 ✓ 10.574 ✓ 10.771 ✓ 10.642 ✓ 10.184 ✓ 10.461 ✓ 10.479 ✓ 10.223 ✓ 10.271 ✓ 11.15  ✓ 10.507 13 10.537 0.209 ✓
75 ParAAM-C-S-set 14 457324 0 0 1 1 {#f,#t} 13 ✓ 11.135 ✓ 10.976 ✓ 9.891 ✓ 11.013 ✓ 10.636 ✓ 10.843 ✓ 10.362 ✓ 11.279 ✓ 10.24  ✓ 11.216 ✓ 10.763 ✓ 11.014 ✓ 10.294 13 10.743 0.353 ✓
76 ParAAM-C-S-set 16 457324 0 0 1 1 {#f,#t} 13 ✓ 10.997 ✓ 10.191 ✓ 10.953 ✓ 10.792 ✓ 9.843 ✓ 11.085 ✓ 11.534 ✓ 11.416 ✓ 11.238 ✓ 10.931 ✓ 11.07  ✓ 10.05  ✓ 10.19  13 10.792 0.445 ✓
77 ParAAM-C-S-set 18 457324 0 0 1 1 {#f,#t} 13 ✓ 11.213 ✓ 10.35  ✓ 10.18  ✓ 11.472 ✓ 11.122 ✓ 11.578 ✓ 11.485 ✓ 10.552 ✓ 11.447 ✓ 10.644 ✓ 11.401 ✓ 11.536 ✓ 10.896 13 11.067 0.417 ✓
78 ParAAM-C-S-set 20 457324 0 0 1 1 {#f,#t} 13 ✓ 10.633 ✓ 11.03  ✓ 10.256 ✓ 10.315 ✓ 10.411 ✓ 10.471 ✓ 10.534 ✓ 10.519 ✓ 10.48  ✓ 10.498 ✓ 10.54  ✓ 10.523 ✓ 10.815 13 10.54  0.132 ✓
79 ParAAM-C-S-set 24 457324 0 0 1 1 {#f,#t} 13 ✓ 11.495 ✓ 10.969 ✓ 10.613 ✓ 11.394 ✓ 11.56  ✓ 10.723 ✓ 11.61  ✓ 11.503 ✓ 10.627 ✓ 11.258 ✓ 11.391 ✓ 11.142 ✓ 10.493 13 11.137 0.348 ✓
80 ParAAM-C-S-set 28 457324 0 0 1 1 {#f,#t} 13 ✓ 10.44  ✓ 10.521 ✓ 10.594 ✓ 10.682 ✓ 11.011 ✓ 10.823 ✓ 10.632 ✓ 11.441 ✓ 10.746 ✓ 10.63  ✓ 10.945 ✓ 10.778 ✓ 10.862 13 10.777 0.184 ✓
81 ParAAM-C-S-set 32 457324 0 0 1 1 {#f,#t} 13 ✓ 12.184 ✓ 10.64  ✓ 10.576 ✓ 11.881 ✓ 11.408 ✓ 10.661 ✓ 11.439 ✓ 11.457 ✓ 10.769 ✓ 10.668 ✓ 11.62  ✓ 12.203 ✓ 11.667 13 11.321 0.506 ✓
82 ParAAM-C-S-set 40 457324 0 0 1 1 {#f,#t} 13 ✓ 10.533 ✓ 10.94  ✓ 11.769 ✓ 11.997 ✓ 10.823 ✓ 10.945 ✓ 10.788 ✓ 11.698 ✓ 11.781 ✓ 11.577 ✓ 10.854 ✓ 11.679 ✓ 11.248 13 11.279 0.435 ✓
83 ParAAM-C-S-set 48 457324 0 0 1 1 {#f,#t} 13 ✓ 11.66  ✓ 12.002 ✓ 11.886 ✓ 11.046 ✓ 11.464 ✓ 11.875 ✓ 11.67  ✓ 11.295 ✓ 11.195 ✓ 12.009 ✓ 11.047 ✓ 11.789 ✓ 12.062 13 11.615 0.312 ✓
84 ParAAM-C-S-set 56 457324 0 0 1 1 {#f,#t} 13 ✓ 12.402 ✓ 11.429 ✓ 11.884 ✓ 11.282 ✓ 11.905 ✓ 11.458 ✓ 11.698 ✓ 11.71  ✓ 12.35  ✓ 11.443 ✓ 10.647 ✓ 11.231 ✓ 10.859 13 11.561 0.397 ✓
85 ParAAM-C-S-set 64 457324 0 0 1 1 {#f,#t} 13 ✓ 12.078 ✓ 11.704 ✓ 11.614 ✓ 11.706 ✓ 10.472 ✓ 11.614 ✓ 10.51  ✓ 10.794 ✓ 10.881 ✓ 10.885 ✓ 10.816 ✓ 10.734 ✓ 10.706 13 11.116 0.482 ✓
86 ParAAM-C-S-part 2 457324 0 0 1 1 {#f,#t} 13 ✓ 51.575 ✓ 52.109 ✓ 52.272 ✓ 52.582 ✓ 50.822 ✓ 51.305 ✓ 52.56  ✓ 52.051 ✓ 53.001 ✓ 52.796 ✓ 52.173 ✓ 51.607 ✓ 52.384 13 52.095 0.479 ✓
87 ParAAM-C-S-part 3 457324 0 0 1 1 {#f,#t} 13 ✓ 30.128 ✓ 29.693 ✓ 30.801 ✓ 30.759 ✓ 31     ✓ 30.143 ✓ 30.994 ✓ 30.835 ✓ 30.314 ✓ 31.258 ✓ 30.228 ✓ 30.416 ✓ 30.348 13 30.532 0.378 ✓
88 ParAAM-C-S-part 4 457324 0 0 1 1 {#f,#t} 13 ✓ 24.093 ✓ 21.979 ✓ 23.223 ✓ 22.5   ✓ 22.424 ✓ 22.443 ✓ 22.761 ✓ 22.931 ✓ 23.183 ✓ 23.547 ✓ 23.39  ✓ 22.888 ✓ 23.591 13 22.996 0.469 ✓
89 ParAAM-C-S-part 5 457324 0 0 1 1 {#f,#t} 13 ✓ 19.697 ✓ 18.341 ✓ 18.541 ✓ 18.516 ✓ 18.473 ✓ 18.519 ✓ 18.508 ✓ 18.323 ✓ 18.646 ✓ 18.249 ✓ 18.662 ✓ 18.296 ✓ 18.675 13 18.573 0.214 ✓
90 ParAAM-C-S-part 6 457324 0 0 1 1 {#f,#t} 13 ✓ 16.085 ✓ 15.622 ✓ 16.331 ✓ 15.816 ✓ 15.424 ✓ 15.942 ✓ 15.394 ✓ 15.901 ✓ 15.623 ✓ 15.813 ✓ 15.669 ✓ 15.49  ✓ 15.476 13 15.737 0.225 ✓
91 ParAAM-C-S-part 7 457324 0 0 1 1 {#f,#t} 13 ✓ 14.482 ✓ 13.642 ✓ 13.947 ✓ 14.367 ✓ 14.312 ✓ 13.695 ✓ 14.022 ✓ 13.812 ✓ 13.252 ✓ 13.729 ✓ 13.888 ✓ 13.392 ✓ 13.532 13 13.852 0.294 ✓
92 ParAAM-C-S-part 8 457324 0 0 1 1 {#f,#t} 13 ✓ 12.377 ✓ 12.672 ✓ 12.419 ✓ 12.476 ✓ 11.983 ✓ 12.195 ✓ 12.242 ✓ 12.273 ✓ 12.203 ✓ 12.829 ✓ 12.985 ✓ 12.399 ✓ 12.414 13 12.42  0.197 ✓
93 ParAAM-C-S-part 9 457324 0 0 1 1 {#f,#t} 13 ✓ 11.466 ✓ 11.055 ✓ 11.915 ✓ 11.598 ✓ 11.684 ✓ 11.835 ✓ 11.306 ✓ 11.421 ✓ 11.61  ✓ 11.101 ✓ 11.216 ✓ 11.735 ✓ 11.798 13 11.518 0.238 ✓
94 ParAAM-C-S-part 10 457324 0 0 1 1 {#f,#t} 13 ✓ 10.879 ✓ 10.47  ✓ 11.061 ✓ 10.33  ✓ 10.343 ✓ 10.315 ✓ 10.529 ✓ 10.297 ✓ 10.122 ✓ 10.282 ✓ 10.899 ✓ 11.233 ✓ 10.374 13 10.549 0.289 ✓
95 ParAAM-C-S-part 12 457324 0 0 1 1 {#f,#t} 13 ✓ 9.626 ✓ 10.413 ✓ 9.472 ✓ 9.368 ✓ 9.536 ✓ 9.287 ✓ 9.663 ✓ 9.788 ✓ 9.894 ✓ 9.592 ✓ 9.82  ✓ 9.961 ✓ 10.143 13 9.736 0.247 ✓
96 ParAAM-C-S-part 14 457324 0 0 1 1 {#f,#t} 13 ✓ 9.828 ✓ 9.149 ✓ 9.363 ✓ 9.276 ✓ 9.157 ✓ 9.461 ✓ 9.311 ✓ 9.574 ✓ 9.327 ✓ 9.065 ✓ 9.222 ✓ 9.5   ✓ 9.343 13 9.352 0.149 ✓
97 ParAAM-C-S-part 16 457324 0 0 1 1 {#f,#t} 13 ✓ 9.587 ✓ 8.846 ✓ 8.674 ✓ 8.624 ✓ 8.77  ✓ 9.342 ✓ 9.481 ✓ 9.409 ✓ 8.482 ✓ 9.426 ✓ 8.908 ✓ 8.792 ✓ 9.23  13 9.044 0.34  ✓
98 ParAAM-C-S-part 18 457324 0 0 1 1 {#f,#t} 13 ✓ 9.608 ✓ 9.472 ✓ 9.136 ✓ 9.283 ✓ 9.325 ✓ 8.493 ✓ 8.761 ✓ 9.191 ✓ 9.074 ✓ 8.641 ✓ 8.748 ✓ 8.758 ✓ 8.662 13 9.012 0.309 ✓
99 ParAAM-C-S-part 20 457324 0 0 1 1 {#f,#t} 13 ✓ 8.934 ✓ 9.028 ✓ 8.989 ✓ 9.035 ✓ 9.666 ✓ 9.694 ✓ 8.825 ✓ 9.881 ✓ 9.54  ✓ 9.465 ✓ 9.549 ✓ 9.59  ✓ 9.909 13 9.393 0.331 ✓
100 ParAAM-C-S-part 24 457324 0 0 1 1 {#f,#t} 13 ✓ 10.689 ✓ 10.078 ✓ 10.241 ✓ 10.397 ✓ 9.262 ✓ 10.13  ✓ 10.111 ✓ 10.333 ✓ 9.875 ✓ 9.283 ✓ 10.221 ✓ 9.268 ✓ 10.189 13 10.006 0.359 ✓
101 ParAAM-C-S-part 28 457324 0 0 1 1 {#f,#t} 13 ✓ 10.935 ✓ 9.783 ✓ 10.598 ✓ 10.511 ✓ 9.869 ✓ 10.844 ✓ 10.622 ✓ 10.62  ✓ 10.055 ✓ 10.371 ✓ 11.149 ✓ 10.173 ✓ 10.084 13 10.432 0.347 ✓
102 ParAAM-C-S-part 32 457324 0 0 1 1 {#f,#t} 13 ✓ 11.609 ✓ 11.179 ✓ 11.359 ✓ 10.518 ✓ 11.635 ✓ 10.235 ✓ 11.411 ✓ 11.041 ✓ 10.647 ✓ 10.774 ✓ 10.599 ✓ 11.334 ✓ 10.198 13 10.965 0.433 ✓
103 ParAAM-C-S-part 40 457324 0 0 1 1 {#f,#t} 13 ✓ 11.819 ✓ 11.666 ✓ 11.926 ✓ 12.229 ✓ 11.583 ✓ 11.32  ✓ 11.914 ✓ 11.164 ✓ 11.927 ✓ 12.144 ✓ 11.712 ✓ 11.914 ✓ 11.763 13 11.776 0.222 ✓
104 ParAAM-C-S-part 48 457324 0 0 1 1 {#f,#t} 13 ✓ 12.706 ✓ 14.026 ✓ 13.022 ✓ 13.1   ✓ 12.808 ✓ 13.556 ✓ 12.791 ✓ 13.113 ✓ 12.773 ✓ 13.026 ✓ 12.75  ✓ 12.076 ✓ 12.379 13 12.933 0.346 ✓
105 ParAAM-C-S-part 56 457324 0 0 1 1 {#f,#t} 13 ✓ 13.801 ✓ 13.292 ✓ 13.899 ✓ 13.469 ✓ 13.447 ✓ 12.904 ✓ 13.103 ✓ 13.128 ✓ 13.281 ✓ 13.061 ✓ 12.76  ✓ 13.187 ✓ 13.083 13 13.263 0.248 ✓
106 ParAAM-C-S-part 64 457324 0 0 1 1 {#f,#t} 13 ✓ 14.096 ✓ 14.31  ✓ 13.254 ✓ 13.4   ✓ 13.689 ✓ 13.774 ✓ 13.184 ✓ 13.442 ✓ 13.5   ✓ 13.648 ✓ 13.879 ✓ 13.6   ✓ 14.155 13 13.687 0.274 ✓
107 ParAAM-C-state 1 457324 0 0 1 1 {#f,#t} 13 ✓ 25.876 ✓ 25.557 ✓ 25.242 ✓ 25.08  ✓ 24.81  ✓ 24.534 ✓ 24.725 ✓ 25.156 ✓ 24.596 ✓ 24.584 ✓ 24.491 ✓ 24.337 ✓ 24.776 13 24.905 0.367 ✓
108 ParAAM-C-state 2 457324 0 0 1 1 {#f,#t} 13 ✓ 14.012 ✓ 14.7   ✓ 14.807 ✓ 13.555 ✓ 13.453 ✓ 14.055 ✓ 13.944 ✓ 13.462 ✓ 13.269 ✓ 13.413 ✓ 13.311 ✓ 13.993 ✓ 13.992 13 13.844 0.4   ✓
109 ParAAM-C-state 3 457324 0 0 1 1 {#f,#t} 13 ✓ 10.496 ✓ 11.135 ✓ 10.52  ✓ 10.465 ✓ 11.305 ✓ 9.865 ✓ 9.931 ✓ 10.531 ✓ 10.617 ✓ 10.858 ✓ 10.27  ✓ 10.437 ✓ 11.192 13 10.586 0.335 ✓
110 ParAAM-C-state 4 457324 0 0 1 1 {#f,#t} 13 ✓ 10.566 ✓ 10.439 ✓ 10.373 ✓ 10.479 ✓ 10.667 ✓ 9.107 ✓ 9.606 ✓ 10.124 ✓ 9.499 ✓ 9.315 ✓ 9.77  ✓ 9.479 ✓ 10.193 13 9.971 0.469 ✓
111 ParAAM-C-state 5 457324 0 0 1 1 {#f,#t} 13 ✓ 9.274 ✓ 9.106 ✓ 9.808 ✓ 9.734 ✓ 9.25  ✓ 9.077 ✓ 9.92  ✓ 9.434 ✓ 9.186 ✓ 8.756 ✓ 9.429 ✓ 9.255 ✓ 9.178 13 9.339 0.251 ✓
112 ParAAM-C-state 6 457324 0 0 1 1 {#f,#t} 13 ✓ 8.527 ✓ 9.152 ✓ 8.924 ✓ 8.571 ✓ 8.485 ✓ 8.226 ✓ 8.519 ✓ 9.114 ✓ 8.248 ✓ 8.951 ✓ 8.453 ✓ 8.776 ✓ 9.011 13 8.689 0.276 ✓
113 ParAAM-C-state 7 457324 0 0 1 1 {#f,#t} 13 ✓ 8.858 ✓ 8.126 ✓ 8.223 ✓ 8.475 ✓ 8.019 ✓ 8.194 ✓ 8.248 ✓ 8.35  ✓ 8.244 ✓ 8.181 ✓ 8.174 ✓ 7.818 ✓ 8.196 13 8.239 0.151 ✓
114 ParAAM-C-state 8 457324 0 0 1 1 {#f,#t} 13 ✓ 8.363 ✓ 7.467 ✓ 8.092 ✓ 7.691 ✓ 8.086 ✓ 7.655 ✓ 8.04  ✓ 7.768 ✓ 7.816 ✓ 7.948 ✓ 8.14  ✓ 8.03  ✓ 7.671 13 7.905 0.21  ✓
115 ParAAM-C-state 9 457324 0 0 1 1 {#f,#t} 13 ✓ 7.357 ✓ 7.378 ✓ 7.074 ✓ 7.819 ✓ 7.154 ✓ 7.407 ✓ 7.316 ✓ 7.067 ✓ 7.57  ✓ 7.559 ✓ 7.573 ✓ 7.286 ✓ 7.408 13 7.382 0.16  ✓
116 ParAAM-C-state 10 457324 0 0 1 1 {#f,#t} 13 ✓ 7.16  ✓ 6.755 ✓ 7.313 ✓ 6.722 ✓ 7.315 ✓ 7.09  ✓ 7.323 ✓ 7.358 ✓ 6.759 ✓ 6.96  ✓ 6.656 ✓ 6.875 ✓ 6.978 13 7.02  0.221 ✓
117 ParAAM-C-state 12 457324 0 0 1 1 {#f,#t} 13 ✓ 6.477 ✓ 6.677 ✓ 6.635 ✓ 6.662 ✓ 6.362 ✓ 6.295 ✓ 6.177 ✓ 6.142 ✓ 6.561 ✓ 6.229 ✓ 6.311 ✓ 6.161 ✓ 6.147 13 6.372 0.177 ✓
118 ParAAM-C-state 14 457324 0 0 1 1 {#f,#t} 13 ✓ 6.687 ✓ 5.832 ✓ 5.977 ✓ 5.791 ✓ 6.32  ✓ 6.046 ✓ 6.145 ✓ 5.831 ✓ 6.34  ✓ 5.822 ✓ 5.966 ✓ 6.398 ✓ 5.893 13 6.081 0.229 ✓
119 ParAAM-C-state 16 457324 0 0 1 1 {#f,#t} 13 ✓ 6.386 ✓ 5.778 ✓ 5.726 ✓ 5.721 ✓ 6.089 ✓ 6.321 ✓ 6.219 ✓ 6.298 ✓ 6.24  ✓ 5.976 ✓ 5.8   ✓ 6.215 ✓ 6.163 13 6.072 0.209 ✓
120 ParAAM-C-state 18 457324 0 0 1 1 {#f,#t} 13 ✓ 6.581 ✓ 5.938 ✓ 6.206 ✓ 5.762 ✓ 5.841 ✓ 5.704 ✓ 6.185 ✓ 5.745 ✓ 5.802 ✓ 5.879 ✓ 6.157 ✓ 6.279 ✓ 6.286 13 6.028 0.235 ✓
121 ParAAM-C-state 20 457324 0 0 1 1 {#f,#t} 13 ✓ 6.976 ✓ 6.304 ✓ 5.867 ✓ 6.329 ✓ 5.932 ✓ 6.399 ✓ 6.328 ✓ 6.065 ✓ 6.117 ✓ 6.503 ✓ 5.921 ✓ 5.837 ✓ 6.254 13 6.218 0.241 ✓
122 ParAAM-C-state 24 457324 0 0 1 1 {#f,#t} 13 ✓ 7.567 ✓ 7.391 ✓ 6.799 ✓ 7.6   ✓ 7.102 ✓ 7.232 ✓ 7.646 ✓ 7.453 ✓ 7.287 ✓ 7.609 ✓ 7.09  ✓ 7.31  ✓ 6.451 13 7.272 0.259 ✓
123 ParAAM-C-state 28 457324 0 0 1 1 {#f,#t} 13 ✓ 7.774 ✓ 8.473 ✓ 7.896 ✓ 8.291 ✓ 7.199 ✓ 8.583 ✓ 8.353 ✓ 8.192 ✓ 7.883 ✓ 8.557 ✓ 8.141 ✓ 8.274 ✓ 8.465 13 8.16  0.293 ✓
124 ParAAM-C-state 32 457324 0 0 1 1 {#f,#t} 13 ✓ 9.14  ✓ 8.827 ✓ 9.449 ✓ 9.099 ✓ 8.603 ✓ 8.016 ✓ 8.573 ✓ 9.004 ✓ 8.067 ✓ 8.96  ✓ 8.272 ✓ 8.815 ✓ 8.226 13 8.696 0.372 ✓
125 ParAAM-C-state 40 457324 0 0 1 1 {#f,#t} 13 ✓ 10.03  ✓ 9.111 ✓ 9.657 ✓ 9.629 ✓ 9.346 ✓ 9.798 ✓ 9.355 ✓ 9.607 ✓ 9.859 ✓ 9.429 ✓ 9.132 ✓ 9.167 ✓ 9.144 13 9.482 0.26  ✓
126 ParAAM-C-state 48 457324 0 0 1 1 {#f,#t} 13 ✓ 10.264 ✓ 9.882 ✓ 10.065 ✓ 10.03  ✓ 9.875 ✓ 10.342 ✓ 10.226 ✓ 9.816 ✓ 9.927 ✓ 9.419 ✓ 9.367 ✓ 9.463 ✓ 9.496 13 9.859 0.267 ✓
127 ParAAM-C-state 56 457324 0 0 1 1 {#f,#t} 13 ✓ 10.411 ✓ 9.645 ✓ 10.038 ✓ 9.9   ✓ 9.79  ✓ 10.313 ✓ 10.414 ✓ 10.401 ✓ 10.11  ✓ 10.161 ✓ 9.803 ✓ 10.339 ✓ 10.569 13 10.146 0.244 ✓
128 ParAAM-C-state 64 457324 0 0 1 1 {#f,#t} 13 ✓ 11.077 ✓ 10.727 ✓ 10.338 ✓ 10.939 ✓ 10.484 ✓ 9.887 ✓ 10.463 ✓ 10.214 ✓ 10.471 ✓ 10.191 ✓ 10.357 ✓ 10.135 ✓ 9.926 13 10.401 0.27  ✓
129 ParAAM-C-set 1 457324 0 0 1 1 {#f,#t} 13 ✓ 26.516 ✓ 24.064 ✓ 24.551 ✓ 24.512 ✓ 24.908 ✓ 24.001 ✓ 24.194 ✓ 24.901 ✓ 24.613 ✓ 24.689 ✓ 24.713 ✓ 24.842 ✓ 24.2   13 24.669 0.392 ✓
130 ParAAM-C-set 2 457324 0 0 1 1 {#f,#t} 13 ✓ 14.467 ✓ 13.865 ✓ 12.956 ✓ 14.048 ✓ 14.596 ✓ 14.541 ✓ 13.816 ✓ 13.309 ✓ 14.928 ✓ 14.144 ✓ 13.648 ✓ 14.505 ✓ 13.544 13 14.028 0.466 ✓
131 ParAAM-C-set 3 457324 0 0 1 1 {#f,#t} 13 ✓ 10.21  ✓ 10.475 ✓ 10.237 ✓ 11.032 ✓ 10.607 ✓ 10.2   ✓ 9.939 ✓ 9.568 ✓ 9.89  ✓ 10.05  ✓ 9.876 ✓ 9.512 ✓ 9.365 13 10.074 0.357 ✓
132 ParAAM-C-set 4 457324 0 0 1 1 {#f,#t} 13 ✓ 8.42  ✓ 9.721 ✓ 7.479 ✓ 9.159 ✓ 8.687 ✓ 7.768 ✓ 8.239 ✓ 8.827 ✓ 8.152 ✓ 9.694 ✓ 9.558 ✓ 9.328 ✓ 9.556 13 8.814 0.637 ✓
133 ParAAM-C-set 5 457324 0 0 1 1 {#f,#t} 13 ✓ 7.211 ✓ 8.399 ✓ 8.065 ✓ 8.121 ✓ 9.093 ✓ 8.337 ✓ 8.619 ✓ 8.794 ✓ 8.498 ✓ 7.854 ✓ 8.122 ✓ 6.857 ✓ 7.12  13 8.084 0.51  ✓
134 ParAAM-C-set 6 457324 0 0 1 1 {#f,#t} 13 ✓ 8.169 ✓ 7.708 ✓ 7.967 ✓ 7.76  ✓ 7.559 ✓ 7.733 ✓ 7.764 ✓ 7.39  ✓ 7.198 ✓ 7.56  ✓ 7.018 ✓ 7.08  ✓ 7.489 13 7.569 0.26  ✓
135 ParAAM-C-set 7 457324 0 0 1 1 {#f,#t} 13 ✓ 7.52  ✓ 7.502 ✓ 7.251 ✓ 7.093 ✓ 7.508 ✓ 7.568 ✓ 7.172 ✓ 7.408 ✓ 7.121 ✓ 7.519 ✓ 7.591 ✓ 7.215 ✓ 6.712 13 7.321 0.21  ✓
136 ParAAM-C-set 8 457324 0 0 1 1 {#f,#t} 13 ✓ 7.505 ✓ 7.053 ✓ 6.994 ✓ 7.215 ✓ 7.305 ✓ 6.691 ✓ 7.284 ✓ 7.112 ✓ 7.188 ✓ 7.223 ✓ 6.849 ✓ 7.161 ✓ 7.345 13 7.148 0.16  ✓
137 ParAAM-C-set 9 457324 0 0 1 1 {#f,#t} 13 ✓ 7.381 ✓ 6.833 ✓ 7.382 ✓ 7.062 ✓ 6.666 ✓ 6.864 ✓ 6.742 ✓ 6.821 ✓ 7.035 ✓ 6.841 ✓ 7.355 ✓ 7.076 ✓ 7.126 13 7.014 0.203 ✓
138 ParAAM-C-set 10 457324 0 0 1 1 {#f,#t} 13 ✓ 6.84  ✓ 6.812 ✓ 7.095 ✓ 6.918 ✓ 7.296 ✓ 7.136 ✓ 7.13  ✓ 7.121 ✓ 7.145 ✓ 6.993 ✓ 7.034 ✓ 6.662 ✓ 7.202 13 7.03  0.142 ✓
139 ParAAM-C-set 12 457324 0 0 1 1 {#f,#t} 13 ✓ 6.863 ✓ 6.775 ✓ 6.515 ✓ 6.687 ✓ 6.254 ✓ 6.602 ✓ 6.546 ✓ 6.281 ✓ 6.222 ✓ 6.249 ✓ 6.74  ✓ 6.097 ✓ 6.849 13 6.514 0.226 ✓
140 ParAAM-C-set 14 457324 0 0 1 1 {#f,#t} 13 ✓ 6.674 ✓ 5.921 ✓ 6.143 ✓ 5.968 ✓ 6.301 ✓ 5.878 ✓ 6.354 ✓ 5.835 ✓ 6.114 ✓ 6.155 ✓ 6.044 ✓ 6.284 ✓ 5.95  13 6.125 0.179 ✓
141 ParAAM-C-set 16 457324 0 0 1 1 {#f,#t} 13 ✓ 6.249 ✓ 6.429 ✓ 6.023 ✓ 6.24  ✓ 6.106 ✓ 5.645 ✓ 5.809 ✓ 6.25  ✓ 5.642 ✓ 5.905 ✓ 6.051 ✓ 5.819 ✓ 6.156 13 6.025 0.201 ✓
142 ParAAM-C-set 18 457324 0 0 1 1 {#f,#t} 13 ✓ 6.143 ✓ 5.918 ✓ 6.126 ✓ 5.849 ✓ 5.802 ✓ 5.937 ✓ 5.976 ✓ 5.767 ✓ 5.714 ✓ 6.114 ✓ 5.915 ✓ 5.976 ✓ 5.929 13 5.936 0.101 ✓
143 ParAAM-C-set 20 457324 0 0 1 1 {#f,#t} 13 ✓ 6.378 ✓ 6.448 ✓ 6.07  ✓ 6.534 ✓ 6.081 ✓ 6.144 ✓ 6.083 ✓ 6.659 ✓ 6.055 ✓ 6.46  ✓ 5.972 ✓ 5.792 ✓ 5.912 13 6.199 0.228 ✓
144 ParAAM-C-set 24 457324 0 0 1 1 {#f,#t} 13 ✓ 6.898 ✓ 6.423 ✓ 6.581 ✓ 6.764 ✓ 6.351 ✓ 6.409 ✓ 6.492 ✓ 6.6   ✓ 7.297 ✓ 7.06  ✓ 6.812 ✓ 6.903 ✓ 6.584 13 6.706 0.231 ✓
145 ParAAM-C-set 28 457324 0 0 1 1 {#f,#t} 13 ✓ 7.503 ✓ 7.204 ✓ 7.132 ✓ 7.391 ✓ 7.137 ✓ 7.447 ✓ 7.175 ✓ 7.658 ✓ 6.872 ✓ 7.494 ✓ 7.749 ✓ 6.931 ✓ 7.766 13 7.343 0.247 ✓
146 ParAAM-C-set 32 457324 0 0 1 1 {#f,#t} 13 ✓ 7.897 ✓ 7.789 ✓ 7.503 ✓ 7.894 ✓ 7.709 ✓ 7.803 ✓ 8.471 ✓ 8.041 ✓ 7.979 ✓ 8.362 ✓ 7.605 ✓ 7.925 ✓ 7.792 13 7.905 0.192 ✓
147 ParAAM-C-set 40 457324 0 0 1 1 {#f,#t} 13 ✓ 9.185 ✓ 8.353 ✓ 8.594 ✓ 8.659 ✓ 8.426 ✓ 8.6   ✓ 8.878 ✓ 8.705 ✓ 8.703 ✓ 9.142 ✓ 8.681 ✓ 8.849 ✓ 8.98  13 8.75  0.197 ✓
148 ParAAM-C-set 48 457324 0 0 1 1 {#f,#t} 13 ✓ 9.357 ✓ 9.243 ✓ 9.129 ✓ 8.494 ✓ 9.11  ✓ 8.587 ✓ 8.984 ✓ 8.918 ✓ 9.501 ✓ 9.38  ✓ 9.126 ✓ 9.046 ✓ 8.724 13 9.046 0.234 ✓
149 ParAAM-C-set 56 457324 0 0 1 1 {#f,#t} 13 ✓ 9.375 ✓ 9.008 ✓ 9.291 ✓ 9.394 ✓ 9.316 ✓ 9.594 ✓ 9.651 ✓ 9.083 ✓ 10.012 ✓ 8.711 ✓ 8.754 ✓ 9.016 ✓ 9.26  13 9.266 0.272 ✓
150 ParAAM-C-set 64 457324 0 0 1 1 {#f,#t} 13 ✓ 10.472 ✓ 9.247 ✓ 9.828 ✓ 9.713 ✓ 9.639 ✓ 9.784 ✓ 9.614 ✓ 10.319 ✓ 9.432 ✓ 9.179 ✓ 9.227 ✓ 10.264 ✓ 9.516 13 9.71  0.326 ✓
151 ParAAM-C-part 1 457324 0 0 1 1 {#f,#t} 13 ✓ 25.802 ✓ 23.546 ✓ 24.322 ✓ 23.769 ✓ 23.751 ✓ 24.144 ✓ 24.04  ✓ 24.316 ✓ 24.222 ✓ 23.819 ✓ 23.806 ✓ 23.754 ✓ 24.086 13 24.106 0.35  ✓
152 ParAAM-C-part 2 457324 0 0 1 1 {#f,#t} 13 ✓ 17.687 ✓ 16.849 ✓ 15.905 ✓ 15.157 ✓ 15.359 ✓ 15.663 ✓ 14.756 ✓ 16.19  ✓ 16.976 ✓ 15.114 ✓ 16.23  ✓ 15.353 ✓ 15.347 13 15.891 0.691 ✓
153 ParAAM-C-part 3 457324 0 0 1 1 {#f,#t} 13 ✓ 16.035 ✓ 16.573 ✓ 16.072 ✓ 17.017 ✓ 16.234 ✓ 15.547 ✓ 15.385 ✓ 17.396 ✓ 15.282 ✓ 15.243 ✓ 16.959 ✓ 16.078 ✓ 17.5   13 16.255 0.641 ✓
154 ParAAM-C-part 4 457324 0 0 1 1 {#f,#t} 13 ✓ 15.037 ✓ 14.787 ✓ 14.034 ✓ 15.146 ✓ 14.776 ✓ 15.13  ✓ 15.408 ✓ 15.186 ✓ 14.438 ✓ 14.604 ✓ 15.397 ✓ 15.53  ✓ 14.291 13 14.905 0.385 ✓
155 ParAAM-C-part 5 457324 0 0 1 1 {#f,#t} 13 ✓ 12.693 ✓ 12.417 ✓ 12.545 ✓ 11.661 ✓ 12.812 ✓ 12.023 ✓ 12.621 ✓ 12.61  ✓ 12.617 ✓ 12.563 ✓ 12.746 ✓ 12.585 ✓ 12.325 13 12.478 0.229 ✓
156 ParAAM-C-part 6 457324 0 0 1 1 {#f,#t} 13 ✓ 11.28  ✓ 10.863 ✓ 11.25  ✓ 11.032 ✓ 10.734 ✓ 11.483 ✓ 11.056 ✓ 10.748 ✓ 10.83  ✓ 10.841 ✓ 10.788 ✓ 10.853 ✓ 11.163 13 10.994 0.2   ✓
157 ParAAM-C-part 7 457324 0 0 1 1 {#f,#t} 13 ✓ 9.848 ✓ 9.912 ✓ 9.782 ✓ 9.784 ✓ 9.717 ✓ 9.541 ✓ 9.446 ✓ 9.682 ✓ 9.738 ✓ 10.357 ✓ 10.149 ✓ 9.757 ✓ 9.746 13 9.805 0.161 ✓
158 ParAAM-C-part 8 457324 0 0 1 1 {#f,#t} 13 ✓ 9.237 ✓ 8.597 ✓ 8.79  ✓ 8.591 ✓ 9.168 ✓ 9.992 ✓ 9.311 ✓ 8.938 ✓ 9.341 ✓ 8.8   ✓ 8.746 ✓ 8.577 ✓ 8.882 13 8.998 0.317 ✓
159 ParAAM-C-part 9 457324 0 0 1 1 {#f,#t} 13 ✓ 8.372 ✓ 8.022 ✓ 8.604 ✓ 8.024 ✓ 8.09  ✓ 8.212 ✓ 7.794 ✓ 8.648 ✓ 8.047 ✓ 8.633 ✓ 8.159 ✓ 8.043 ✓ 7.917 13 8.197 0.228 ✓
160 ParAAM-C-part 10 457324 0 0 1 1 {#f,#t} 13 ✓ 8.249 ✓ 8.056 ✓ 7.815 ✓ 7.341 ✓ 7.977 ✓ 7.514 ✓ 8.139 ✓ 7.48  ✓ 7.882 ✓ 7.822 ✓ 7.595 ✓ 7.53  ✓ 8.234 13 7.818 0.251 ✓
161 ParAAM-C-part 12 457324 0 0 1 1 {#f,#t} 13 ✓ 7.189 ✓ 7.435 ✓ 7.274 ✓ 7.16  ✓ 7.106 ✓ 6.8   ✓ 7.142 ✓ 7.311 ✓ 7.236 ✓ 6.646 ✓ 7.323 ✓ 6.766 ✓ 6.699 13 7.084 0.219 ✓
162 ParAAM-C-part 14 457324 0 0 1 1 {#f,#t} 13 ✓ 6.663 ✓ 6.248 ✓ 6.795 ✓ 6.774 ✓ 6.672 ✓ 6.539 ✓ 6.536 ✓ 6.306 ✓ 6.493 ✓ 6.151 ✓ 6.325 ✓ 6.611 ✓ 6.366 13 6.498 0.169 ✓
163 ParAAM-C-part 16 457324 0 0 1 1 {#f,#t} 13 ✓ 6.278 ✓ 6.451 ✓ 5.979 ✓ 6.027 ✓ 6.22  ✓ 5.945 ✓ 6.241 ✓ 6.044 ✓ 5.956 ✓ 5.826 ✓ 5.786 ✓ 5.881 ✓ 6.585 13 6.094 0.201 ✓
164 ParAAM-C-part 18 457324 0 0 1 1 {#f,#t} 13 ✓ 5.976 ✓ 6.129 ✓ 5.866 ✓ 5.601 ✓ 5.92  ✓ 5.508 ✓ 5.643 ✓ 5.982 ✓ 6.024 ✓ 5.936 ✓ 5.877 ✓ 5.915 ✓ 5.747 13 5.856 0.142 ✓
165 ParAAM-C-part 20 457324 0 0 1 1 {#f,#t} 13 ✓ 5.91  ✓ 5.856 ✓ 5.894 ✓ 5.992 ✓ 5.914 ✓ 5.971 ✓ 5.724 ✓ 5.399 ✓ 5.436 ✓ 5.831 ✓ 5.432 ✓ 5.676 ✓ 5.607 13 5.742 0.181 ✓
166 ParAAM-C-part 24 457324 0 0 1 1 {#f,#t} 13 ✓ 5.422 ✓ 6.009 ✓ 5.78  ✓ 5.714 ✓ 5.797 ✓ 5.503 ✓ 5.746 ✓ 5.493 ✓ 5.497 ✓ 5.617 ✓ 5.426 ✓ 5.568 ✓ 5.446 13 5.617 0.148 ✓
167 ParAAM-C-part 28 457324 0 0 1 1 {#f,#t} 13 ✓ 5.944 ✓ 6.083 ✓ 6.106 ✓ 5.805 ✓ 5.774 ✓ 5.611 ✓ 5.677 ✓ 5.609 ✓ 5.673 ✓ 5.486 ✓ 5.802 ✓ 5.555 ✓ 6.213 13 5.795 0.182 ✓
168 ParAAM-C-part 32 457324 0 0 1 1 {#f,#t} 13 ✓ 6.115 ✓ 6.18  ✓ 6.142 ✓ 6.07  ✓ 5.906 ✓ 5.926 ✓ 5.907 ✓ 5.539 ✓ 6.076 ✓ 5.857 ✓ 5.882 ✓ 6.337 ✓ 6.324 13 6.02  0.17  ✓
169 ParAAM-C-part 40 457324 0 0 1 1 {#f,#t} 13 ✓ 7.136 ✓ 6.504 ✓ 6.553 ✓ 6.341 ✓ 6.53  ✓ 6.393 ✓ 6.206 ✓ 6.193 ✓ 6.692 ✓ 6.701 ✓ 6.632 ✓ 6.571 ✓ 6.463 13 6.532 0.168 ✓
170 ParAAM-C-part 48 457324 0 0 1 1 {#f,#t} 13 ✓ 6.752 ✓ 6.814 ✓ 7.136 ✓ 7.684 ✓ 7.097 ✓ 6.675 ✓ 6.848 ✓ 6.74  ✓ 6.883 ✓ 6.988 ✓ 6.714 ✓ 6.847 ✓ 6.869 13 6.927 0.184 ✓
171 ParAAM-C-part 56 457324 0 0 1 1 {#f,#t} 13 ✓ 7.466 ✓ 7.174 ✓ 6.998 ✓ 7.327 ✓ 7.109 ✓ 7.161 ✓ 7.154 ✓ 7.176 ✓ 7.675 ✓ 7.27  ✓ 7.351 ✓ 7.253 ✓ 7.296 13 7.262 0.125 ✓
172 ParAAM-C-part 64 457324 0 0 1 1 {#f,#t} 13 ✓ 7.348 ✓ 7.355 ✓ 7.291 ✓ 7.518 ✓ 7.249 ✓ 7.515 ✓ 7.71  ✓ 7.407 ✓ 7.432 ✓ 7.628 ✓ 7.557 ✓ 7.357 ✓ 7.443 13 7.447 0.107 ✓