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

TypeSet lattice – Classical address – Default step – Sequential SeqAAMLS and parallel ParAAM-*-*-* – 13 repetitions (time in seconds, computed on Hydra – Intel Xeon Gold 6148 CPU @ 2.4GHz – 2 processors × 20 cores (but not necessary all used) – 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 698817 18162 1 4878 1 #f 13 ✓ 8.511 ✓ 7.548 ✓ 7.515 ✓ 7.524 ✓ 7.501 ✓ 7.523 ✓ 7.577 ✓ 7.564 ✓ 7.522 ✓ 7.511 ✓ 7.555 ✓ 7.855 ✓ 7.529 13 7.633 0.169 ✓
2 ParAAM-L-SA-state 2 698817 18162 1 4878 1 #f 13 ✓ 6.74  ✓ 7.166 ✓ 6.801 ✓ 6.731 ✓ 6.808 ✓ 6.828 ✓ 6.842 ✓ 6.779 ✓ 6.75  ✓ 6.744 ✓ 6.827 ✓ 6.955 ✓ 6.754 13 6.825 0.076 ✓
3 ParAAM-L-SA-state 3 698817 18162 1 4878 1 #f 13 ✓ 7.805 ✓ 7.851 ✓ 8.188 ✓ 8.052 ✓ 8.027 ✓ 7.995 ✓ 7.941 ✓ 7.965 ✓ 7.911 ✓ 8.068 ✓ 8.007 ✓ 7.881 ✓ 8.065 13 7.981 0.082 ✓
4 ParAAM-L-SA-state 4 698817 18162 1 4878 1 #f 13 ✓ 8.325 ✓ 8.419 ✓ 8.641 ✓ 8.396 ✓ 8.35  ✓ 8.525 ✓ 8.427 ✓ 8.299 ✓ 8.558 ✓ 8.12  ✓ 9.038 ✓ 8.417 ✓ 8.249 13 8.443 0.152 ✓
5 ParAAM-L-SA-state 5 698817 18162 1 4878 1 #f 13 ✓ 8.39  ✓ 8.356 ✓ 8.461 ✓ 8.39  ✓ 8.281 ✓ 8.38  ✓ 8.46  ✓ 8.397 ✓ 8.606 ✓ 8.537 ✓ 8.192 ✓ 8.318 ✓ 8.422 13 8.399 0.075 ✓
6 ParAAM-L-SA-state 6 698817 18162 1 4878 1 #f 13 ✓ 8.341 ✓ 8.514 ✓ 8.356 ✓ 8.306 ✓ 8.407 ✓ 9.23  ✓ 8.288 ✓ 8.376 ✓ 8.266 ✓ 8.196 ✓ 8.275 ✓ 8.266 ✓ 8.388 13 8.401 0.146 ✓
7 ParAAM-L-SA-state 7 698817 18162 1 4878 1 #f 13 ✓ 8.418 ✓ 9.166 ✓ 8.389 ✓ 8.375 ✓ 8.487 ✓ 8.317 ✓ 8.458 ✓ 8.444 ✓ 8.447 ✓ 8.394 ✓ 8.366 ✓ 8.52  ✓ 8.63  13 8.493 0.129 ✓
8 ParAAM-L-SA-state 8 698817 18162 1 4878 1 #f 13 ✓ 8.385 ✓ 8.277 ✓ 8.328 ✓ 8.306 ✓ 8.421 ✓ 8.501 ✓ 8.537 ✓ 8.404 ✓ 9.14  ✓ 8.526 ✓ 8.464 ✓ 8.445 ✓ 8.395 13 8.472 0.126 ✓
9 ParAAM-L-SA-state 9 698817 18162 1 4878 1 #f 13 ✓ 8.366 ✓ 8.506 ✓ 8.315 ✓ 8.35  ✓ 8.656 ✓ 8.431 ✓ 8.451 ✓ 9.47  ✓ 8.476 ✓ 8.492 ✓ 8.46  ✓ 8.428 ✓ 8.236 13 8.51  0.17  ✓
10 ParAAM-L-SA-state 10 698817 18162 1 4878 1 #f 13 ✓ 8.546 ✓ 8.427 ✓ 8.487 ✓ 8.335 ✓ 8.396 ✓ 8.477 ✓ 8.49  ✓ 8.46  ✓ 8.427 ✓ 8.648 ✓ 8.467 ✓ 8.47  ✓ 8.458 13 8.468 0.047 ✓
11 ParAAM-L-SA-state 12 698817 18162 1 4878 1 #f 13 ✓ 8.469 ✓ 8.518 ✓ 8.567 ✓ 8.977 ✓ 8.418 ✓ 8.336 ✓ 8.616 ✓ 8.41  ✓ 8.445 ✓ 8.539 ✓ 8.517 ✓ 8.476 ✓ 8.497 13 8.522 0.094 ✓
12 ParAAM-L-SA-state 14 698817 18162 1 4878 1 #f 13 ✓ 8.688 ✓ 8.375 ✓ 8.418 ✓ 8.414 ✓ 8.367 ✓ 8.276 ✓ 8.749 ✓ 8.316 ✓ 8.747 ✓ 8.335 ✓ 8.338 ✓ 8.561 ✓ 8.536 13 8.471 0.142 ✓
13 ParAAM-L-SA-state 16 698817 18162 1 4878 1 #f 13 ✓ 8.516 ✓ 8.377 ✓ 8.486 ✓ 8.565 ✓ 8.431 ✓ 8.361 ✓ 8.515 ✓ 8.287 ✓ 8.488 ✓ 8.368 ✓ 8.527 ✓ 8.3   ✓ 9.217 13 8.495 0.133 ✓
14 ParAAM-L-SA-state 18 698817 18162 1 4878 1 #f 13 ✓ 8.6   ✓ 8.238 ✓ 8.498 ✓ 8.48  ✓ 8.35  ✓ 8.415 ✓ 8.607 ✓ 8.606 ✓ 8.457 ✓ 8.487 ✓ 8.451 ✓ 8.468 ✓ 8.37  13 8.464 0.077 ✓
15 ParAAM-L-SA-state 20 698817 18162 1 4878 1 #f 13 ✓ 8.588 ✓ 8.417 ✓ 8.391 ✓ 8.546 ✓ 8.269 ✓ 8.547 ✓ 8.396 ✓ 8.538 ✓ 8.445 ✓ 8.381 ✓ 8.297 ✓ 8.457 ✓ 8.406 13 8.437 0.077 ✓
16 ParAAM-L-SA-set 2 698817 18162 1 4878 1 #f 13 ✓ 6.806 ✓ 6.771 ✓ 6.728 ✓ 6.778 ✓ 6.728 ✓ 6.72  ✓ 6.718 ✓ 6.721 ✓ 6.71  ✓ 6.686 ✓ 6.696 ✓ 6.718 ✓ 6.737 13 6.732 0.025 ✓
17 ParAAM-L-SA-set 3 698817 18162 1 4878 1 #f 13 ✓ 7.911 ✓ 7.914 ✓ 7.839 ✓ 7.835 ✓ 7.828 ✓ 7.976 ✓ 7.851 ✓ 7.937 ✓ 7.936 ✓ 8.127 ✓ 7.82  ✓ 7.936 ✓ 8.066 13 7.921 0.069 ✓
18 ParAAM-L-SA-set 4 698817 18162 1 4878 1 #f 13 ✓ 8.205 ✓ 8.188 ✓ 8.246 ✓ 8.211 ✓ 8.317 ✓ 8.112 ✓ 8.236 ✓ 7.997 ✓ 8.138 ✓ 8.048 ✓ 8.146 ✓ 8.166 ✓ 8.159 13 8.167 0.062 ✓
19 ParAAM-L-SA-set 5 698817 18162 1 4878 1 #f 13 ✓ 8.299 ✓ 8.07  ✓ 8.287 ✓ 8.261 ✓ 8.017 ✓ 7.994 ✓ 8.357 ✓ 8.336 ✓ 8.241 ✓ 8.18  ✓ 8.128 ✓ 8.178 ✓ 8.146 13 8.192 0.097 ✓
20 ParAAM-L-SA-set 6 698817 18162 1 4878 1 #f 13 ✓ 8.189 ✓ 8.188 ✓ 8.077 ✓ 8.045 ✓ 8.287 ✓ 8.115 ✓ 8.096 ✓ 8.23  ✓ 8.111 ✓ 8.66  ✓ 8.268 ✓ 8.226 ✓ 8.185 13 8.206 0.099 ✓
21 ParAAM-L-SA-set 7 698817 18162 1 4878 1 #f 13 ✓ 8.167 ✓ 8.086 ✓ 8.1   ✓ 8.193 ✓ 8.067 ✓ 8.111 ✓ 8.388 ✓ 8.297 ✓ 8.009 ✓ 8.366 ✓ 8.149 ✓ 8.204 ✓ 8.097 13 8.172 0.091 ✓
22 ParAAM-L-SA-set 8 698817 18162 1 4878 1 #f 13 ✓ 8.365 ✓ 8.276 ✓ 8.444 ✓ 8.197 ✓ 8.126 ✓ 8.201 ✓ 8.057 ✓ 8.321 ✓ 8.127 ✓ 8.351 ✓ 8.04  ✓ 8.139 ✓ 8.127 13 8.213 0.106 ✓
23 ParAAM-L-SA-set 9 698817 18162 1 4878 1 #f 13 ✓ 8.207 ✓ 8.108 ✓ 8.186 ✓ 8.226 ✓ 8.158 ✓ 8.267 ✓ 8.289 ✓ 8.247 ✓ 8.307 ✓ 8.388 ✓ 8.411 ✓ 8.198 ✓ 8.315 13 8.254 0.069 ✓
24 ParAAM-L-SA-set 10 698817 18162 1 4878 1 #f 13 ✓ 8.407 ✓ 8.324 ✓ 8.346 ✓ 8.176 ✓ 8.127 ✓ 8.118 ✓ 8.177 ✓ 8.301 ✓ 8.56  ✓ 8.067 ✓ 8.081 ✓ 8.12  ✓ 8.118 13 8.225 0.125 ✓
25 ParAAM-L-SA-set 12 698817 18162 1 4878 1 #f 13 ✓ 8.178 ✓ 8.089 ✓ 8.185 ✓ 8.294 ✓ 8.154 ✓ 8.178 ✓ 8.386 ✓ 8.222 ✓ 8.296 ✓ 8.197 ✓ 8.348 ✓ 8.127 ✓ 8.397 13 8.235 0.084 ✓
26 ParAAM-L-SA-set 14 698817 18162 1 4878 1 #f 13 ✓ 8.408 ✓ 8.296 ✓ 8.13  ✓ 8.226 ✓ 8.275 ✓ 8.157 ✓ 8.687 ✓ 8.488 ✓ 8.127 ✓ 8.359 ✓ 8.346 ✓ 8.33  ✓ 8.279 13 8.316 0.111 ✓
27 ParAAM-L-SA-set 16 698817 18162 1 4878 1 #f 13 ✓ 8.188 ✓ 8.348 ✓ 8.345 ✓ 8.44  ✓ 8.29  ✓ 8.311 ✓ 8.249 ✓ 8.157 ✓ 8.251 ✓ 8.267 ✓ 8.198 ✓ 8.299 ✓ 8.357 13 8.284 0.061 ✓
28 ParAAM-L-SA-set 18 698817 18162 1 4878 1 #f 13 ✓ 8.438 ✓ 8.261 ✓ 8.311 ✓ 8.318 ✓ 8.395 ✓ 8.176 ✓ 8.187 ✓ 8.094 ✓ 8.294 ✓ 8.346 ✓ 8.195 ✓ 8.34  ✓ 8.129 13 8.268 0.087 ✓
29 ParAAM-L-SA-set 20 698817 18162 1 4878 1 #f 13 ✓ 8.317 ✓ 8.299 ✓ 8.338 ✓ 8.27  ✓ 8.137 ✓ 8.308 ✓ 8.26  ✓ 8.159 ✓ 8.179 ✓ 8.426 ✓ 8.166 ✓ 8.186 ✓ 8.115 13 8.243 0.079 ✓
30 ParAAM-L-SA-part 2 698817 18162 1 4878 1 #f 13 ✓ 9.018 ✓ 8.327 ✓ 8.705 ✓ 8.679 ✓ 8.848 ✓ 8.391 ✓ 8.466 ✓ 8.395 ✓ 8.641 ✓ 8.454 ✓ 8.501 ✓ 8.294 ✓ 8.315 13 8.541 0.182 ✓
31 ParAAM-L-SA-part 3 698817 18162 1 4878 1 #f 13 ✓ 6.077 ✓ 6.109 ✓ 6.028 ✓ 5.921 ✓ 5.927 ✓ 6.049 ✓ 6.168 ✓ 6.037 ✓ 6.036 ✓ 6.066 ✓ 6.169 ✓ 6.026 ✓ 5.997 13 6.047 0.055 ✓
32 ParAAM-L-SA-part 4 698817 18162 1 4878 1 #f 13 ✓ 5.376 ✓ 5.318 ✓ 5.338 ✓ 5.329 ✓ 5.277 ✓ 5.329 ✓ 5.294 ✓ 5.329 ✓ 5.289 ✓ 5.217 ✓ 5.236 ✓ 5.256 ✓ 5.321 13 5.301 0.036 ✓
33 ParAAM-L-SA-part 5 698817 18162 1 4878 1 #f 13 ✓ 5.059 ✓ 4.966 ✓ 4.928 ✓ 4.995 ✓ 5.024 ✓ 5.009 ✓ 5.009 ✓ 4.947 ✓ 4.929 ✓ 5.001 ✓ 5.045 ✓ 5.031 ✓ 4.94  13 4.991 0.038 ✓
34 ParAAM-L-SA-part 6 698817 18162 1 4878 1 #f 13 ✓ 4.797 ✓ 4.815 ✓ 4.788 ✓ 4.796 ✓ 4.861 ✓ 4.856 ✓ 4.771 ✓ 4.778 ✓ 4.877 ✓ 4.926 ✓ 4.894 ✓ 4.768 ✓ 4.791 13 4.824 0.045 ✓
35 ParAAM-L-SA-part 7 698817 18162 1 4878 1 #f 13 ✓ 4.727 ✓ 4.687 ✓ 4.704 ✓ 4.7   ✓ 4.651 ✓ 4.635 ✓ 4.709 ✓ 4.679 ✓ 4.767 ✓ 4.696 ✓ 4.658 ✓ 4.686 ✓ 4.744 13 4.696 0.027 ✓
36 ParAAM-L-SA-part 8 698817 18162 1 4878 1 #f 13 ✓ 4.787 ✓ 4.715 ✓ 4.626 ✓ 4.685 ✓ 4.609 ✓ 4.607 ✓ 4.626 ✓ 4.628 ✓ 4.59  ✓ 4.628 ✓ 4.579 ✓ 4.628 ✓ 4.616 13 4.64  0.041 ✓
37 ParAAM-L-SA-part 9 698817 18162 1 4878 1 #f 13 ✓ 4.626 ✓ 4.587 ✓ 4.542 ✓ 4.596 ✓ 4.617 ✓ 4.584 ✓ 4.634 ✓ 4.576 ✓ 4.577 ✓ 4.605 ✓ 4.591 ✓ 4.585 ✓ 4.528 13 4.588 0.022 ✓
38 ParAAM-L-SA-part 10 698817 18162 1 4878 1 #f 13 ✓ 4.62  ✓ 4.537 ✓ 4.568 ✓ 4.521 ✓ 4.519 ✓ 4.614 ✓ 4.539 ✓ 4.586 ✓ 4.581 ✓ 4.568 ✓ 4.585 ✓ 4.545 ✓ 4.53  13 4.563 0.028 ✓
39 ParAAM-L-SA-part 12 698817 18162 1 4878 1 #f 13 ✓ 4.537 ✓ 4.44  ✓ 4.514 ✓ 4.508 ✓ 4.505 ✓ 4.51  ✓ 4.481 ✓ 4.476 ✓ 4.482 ✓ 4.525 ✓ 4.469 ✓ 4.466 ✓ 4.425 13 4.488 0.027 ✓
40 ParAAM-L-SA-part 14 698817 18162 1 4878 1 #f 13 ✓ 4.517 ✓ 4.449 ✓ 4.466 ✓ 4.467 ✓ 4.437 ✓ 4.427 ✓ 4.436 ✓ 4.408 ✓ 4.476 ✓ 4.527 ✓ 4.414 ✓ 4.466 ✓ 4.477 13 4.459 0.028 ✓
41 ParAAM-L-SA-part 16 698817 18162 1 4878 1 #f 13 ✓ 4.486 ✓ 4.445 ✓ 4.465 ✓ 4.468 ✓ 4.395 ✓ 4.485 ✓ 4.487 ✓ 4.366 ✓ 4.419 ✓ 4.396 ✓ 4.421 ✓ 4.446 ✓ 4.346 13 4.433 0.039 ✓
42 ParAAM-L-SA-part 18 698817 18162 1 4878 1 #f 13 ✓ 4.465 ✓ 4.486 ✓ 4.391 ✓ 4.419 ✓ 4.349 ✓ 4.437 ✓ 4.445 ✓ 4.449 ✓ 4.396 ✓ 4.396 ✓ 4.436 ✓ 4.387 ✓ 4.406 13 4.42  0.03  ✓
43 ParAAM-L-SA-part 20 698817 18162 1 4878 1 #f 13 ✓ 4.585 ✓ 4.386 ✓ 4.467 ✓ 4.397 ✓ 4.351 ✓ 4.367 ✓ 4.445 ✓ 4.396 ✓ 4.405 ✓ 4.388 ✓ 4.394 ✓ 4.368 ✓ 4.46  13 4.416 0.045 ✓
44 ParAAM-C-S-set 2 698817 18162 1 4878 1 #f 13 ✓ 8.076 ✓ 8.235 ✓ 8.207 ✓ 8.087 ✓ 7.908 ✓ 8.067 ✓ 8.127 ✓ 8.109 ✓ 7.915 ✓ 8.196 ✓ 8.003 ✓ 8.08  ✓ 7.875 13 8.068 0.088 ✓
45 ParAAM-C-S-set 3 698817 18162 1 4878 1 #f 13 ✓ 9.14  ✓ 9.057 ✓ 8.839 ✓ 8.947 ✓ 9.329 ✓ 9.356 ✓ 8.936 ✓ 9.264 ✓ 9.288 ✓ 9.487 ✓ 9.199 ✓ 8.759 ✓ 9.318 13 9.148 0.186 ✓
46 ParAAM-C-S-set 4 698817 18162 1 4878 1 #f 13 ✓ 10.689 ✓ 11.373 ✓ 11.367 ✓ 11.12  ✓ 11.037 ✓ 10.878 ✓ 11.371 ✓ 11.258 ✓ 10.966 ✓ 11.028 ✓ 10.985 ✓ 11.101 ✓ 11.214 13 11.107 0.164 ✓
47 ParAAM-C-S-set 5 698817 18162 1 4878 1 #f 13 ✓ 12.377 ✓ 12.879 ✓ 12.479 ✓ 12.078 ✓ 12.074 ✓ 12.447 ✓ 12.418 ✓ 12.148 ✓ 12.839 ✓ 11.934 ✓ 12.599 ✓ 12.749 ✓ 12.197 13 12.401 0.246 ✓
48 ParAAM-C-S-set 6 698817 18162 1 4878 1 #f 13 ✓ 13.394 ✓ 13.289 ✓ 13.684 ✓ 13.577 ✓ 13.659 ✓ 13.085 ✓ 13.159 ✓ 13.039 ✓ 13.274 ✓ 13.417 ✓ 13.646 ✓ 13.229 ✓ 13.256 13 13.362 0.185 ✓
49 ParAAM-C-S-set 7 698817 18162 1 4878 1 #f 13 ✓ 14.097 ✓ 14.124 ✓ 14.829 ✓ 13.981 ✓ 13.885 ✓ 14.334 ✓ 13.94  ✓ 14.553 ✓ 14.638 ✓ 14.127 ✓ 14.497 ✓ 14.097 ✓ 14.119 13 14.248 0.248 ✓
50 ParAAM-C-S-set 8 698817 18162 1 4878 1 #f 13 ✓ 14.714 ✓ 14.984 ✓ 15.669 ✓ 14.598 ✓ 15.487 ✓ 15.437 ✓ 14.581 ✓ 15.157 ✓ 14.517 ✓ 15.255 ✓ 14.861 ✓ 14.378 ✓ 15.124 13 14.982 0.345 ✓
51 ParAAM-C-S-set 9 698817 18162 1 4878 1 #f 13 ✓ 15.057 ✓ 15.007 ✓ 15.33  ✓ 14.79  ✓ 15.267 ✓ 14.965 ✓ 14.948 ✓ 15.406 ✓ 15.197 ✓ 14.84  ✓ 15.238 ✓ 15.345 ✓ 14.905 13 15.1   0.182 ✓
52 ParAAM-C-S-set 10 698817 18162 1 4878 1 #f 13 ✓ 15.199 ✓ 15.277 ✓ 15.037 ✓ 15.234 ✓ 14.85  ✓ 14.547 ✓ 15.405 ✓ 14.75  ✓ 14.915 ✓ 15.209 ✓ 15.265 ✓ 14.966 ✓ 15.316 13 15.075 0.213 ✓
53 ParAAM-C-S-set 12 698817 18162 1 4878 1 #f 13 ✓ 15.439 ✓ 15.451 ✓ 15.111 ✓ 14.963 ✓ 15.385 ✓ 15.127 ✓ 15.157 ✓ 15.508 ✓ 15.616 ✓ 15.219 ✓ 15.655 ✓ 15.297 ✓ 15.407 13 15.333 0.173 ✓
54 ParAAM-C-S-set 14 698817 18162 1 4878 1 #f 13 ✓ 15.908 ✓ 15.457 ✓ 15.967 ✓ 15.147 ✓ 15.747 ✓ 15.569 ✓ 15.228 ✓ 15.34  ✓ 15.339 ✓ 15.611 ✓ 15.465 ✓ 15.376 ✓ 15.779 13 15.533 0.213 ✓
55 ParAAM-C-S-set 16 698817 18162 1 4878 1 #f 13 ✓ 15.797 ✓ 15.846 ✓ 15.257 ✓ 15.437 ✓ 15.765 ✓ 15.931 ✓ 15.778 ✓ 15.687 ✓ 15.72  ✓ 15.336 ✓ 15.685 ✓ 15.476 ✓ 15.384 13 15.623 0.188 ✓
56 ParAAM-C-S-set 18 698817 18162 1 4878 1 #f 13 ✓ 16.515 ✓ 15.698 ✓ 16.367 ✓ 15.988 ✓ 16.266 ✓ 15.678 ✓ 16.937 ✓ 15.577 ✓ 16.008 ✓ 17.266 ✓ 17.028 ✓ 17.439 ✓ 17.625 13 16.492 0.594 ✓
57 ParAAM-C-S-set 20 698817 18162 1 4878 1 #f 13 ✓ 17.987 ✓ 17.428 ✓ 16.528 ✓ 17.57  ✓ 15.658 ✓ 17.579 ✓ 17.779 ✓ 17.387 ✓ 17.91  ✓ 16.95  ✓ 17.266 ✓ 17.823 ✓ 17.225 13 17.315 0.453 ✓
58 ParAAM-C-S-part 2 698817 18162 1 4878 1 #f 13 ✓ 9.16  ✓ 8.841 ✓ 8.571 ✓ 9.268 ✓ 9.189 ✓ 9.234 ✓ 9.356 ✓ 9.69  ✓ 9.317 ✓ 9.086 ✓ 8.839 ✓ 9.7   ✓ 9.495 13 9.211 0.243 ✓
59 ParAAM-C-S-part 3 698817 18162 1 4878 1 #f 13 ✓ 5.3   ✓ 4.769 ✓ 4.397 ✓ 5.447 ✓ 4.886 ✓ 4.45  ✓ 4.687 ✓ 4.266 ✓ 4.568 ✓ 5.059 ✓ 5.078 ✓ 4.687 ✓ 4.441 13 4.772 0.294 ✓
60 ParAAM-C-S-part 4 698817 18162 1 4878 1 #f 13 ✓ 3.073 ✓ 3.179 ✓ 3.158 ✓ 2.899 ✓ 3.046 ✓ 3.327 ✓ 2.966 ✓ 2.807 ✓ 3.255 ✓ 2.999 ✓ 3.096 ✓ 2.705 ✓ 2.904 13 3.032 0.14  ✓
61 ParAAM-C-S-part 5 698817 18162 1 4878 1 #f 13 ✓ 2.435 ✓ 2.307 ✓ 2.614 ✓ 1.961 ✓ 2.365 ✓ 2.501 ✓ 2.525 ✓ 2.559 ✓ 2.246 ✓ 2.188 ✓ 2.367 ✓ 2.148 ✓ 2.389 13 2.354 0.142 ✓
62 ParAAM-C-S-part 6 698817 18162 1 4878 1 #f 13 ✓ 2.076 ✓ 2.186 ✓ 2.097 ✓ 1.769 ✓ 2.138 ✓ 1.826 ✓ 1.725 ✓ 2.014 ✓ 2.129 ✓ 1.867 ✓ 1.768 ✓ 2.088 ✓ 1.668 13 1.95  0.166 ✓
63 ParAAM-C-S-part 7 698817 18162 1 4878 1 #f 13 ✓ 1.816 ✓ 1.775 ✓ 1.848 ✓ 1.727 ✓ 1.654 ✓ 1.628 ✓ 1.777 ✓ 1.796 ✓ 1.774 ✓ 1.799 ✓ 1.7   ✓ 1.689 ✓ 1.73  13 1.747 0.055 ✓
64 ParAAM-C-S-part 8 698817 18162 1 4878 1 #f 13 ✓ 1.417 ✓ 1.598 ✓ 1.636 ✓ 1.629 ✓ 1.628 ✓ 1.229 ✓ 1.676 ✓ 1.668 ✓ 1.679 ✓ 1.607 ✓ 1.671 ✓ 1.668 ✓ 1.637 13 1.596 0.084 ✓
65 ParAAM-C-S-part 9 698817 18162 1 4878 1 #f 13 ✓ 1.546 ✓ 1.587 ✓ 1.539 ✓ 1.53  ✓ 1.531 ✓ 1.375 ✓ 1.547 ✓ 1.431 ✓ 1.569 ✓ 1.507 ✓ 1.346 ✓ 1.548 ✓ 1.527 13 1.506 0.056 ✓
66 ParAAM-C-S-part 10 698817 18162 1 4878 1 #f 13 ✓ 1.558 ✓ 1.345 ✓ 1.467 ✓ 1.495 ✓ 1.499 ✓ 1.307 ✓ 1.499 ✓ 1.47  ✓ 1.507 ✓ 1.418 ✓ 1.496 ✓ 1.196 ✓ 1.208 13 1.42  0.097 ✓
67 ParAAM-C-S-part 12 698817 18162 1 4878 1 #f 13 ✓ 1.358 ✓ 0.988 ✓ 0.995 ✓ 1.005 ✓ 1.166 ✓ 1.406 ✓ 1.315 ✓ 1.404 ✓ 1.375 ✓ 1.469 ✓ 1.398 ✓ 1.003 ✓ 1.39  13 1.252 0.169 ✓
68 ParAAM-C-S-part 14 698817 18162 1 4878 1 #f 13 ✓ 1.326 ✓ 1.334 ✓ 1.249 ✓ 1.218 ✓ 1.338 ✓ 1.329 ✓ 1.371 ✓ 1.287 ✓ 1.354 ✓ 1.283 ✓ 1.339 ✓ 1.201 ✓ 1.338 13 1.305 0.044 ✓
69 ParAAM-C-S-part 16 698817 18162 1 4878 1 #f 13 ✓ 1.336 ✓ 1.291 ✓ 1.316 ✓ 1.189 ✓ 1.288 ✓ 1.336 ✓ 1.127 ✓ 1.188 ✓ 1.12  ✓ 1.297 ✓ 1.204 ✓ 1.3   ✓ 1.259 13 1.25  0.065 ✓
70 ParAAM-C-S-part 18 698817 18162 1 4878 1 #f 13 ✓ 1.343 ✓ 1.306 ✓ 1.298 ✓ 1.298 ✓ 1.289 ✓ 1.28  ✓ 1.271 ✓ 1.271 ✓ 1.289 ✓ 1.229 ✓ 1.313 ✓ 1.281 ✓ 1.258 13 1.287 0.02  ✓
71 ParAAM-C-S-part 20 698817 18162 1 4878 1 #f 13 ✓ 1.316 ✓ 1.334 ✓ 1.356 ✓ 1.336 ✓ 1.373 ✓ 1.336 ✓ 1.366 ✓ 1.347 ✓ 1.366 ✓ 1.369 ✓ 1.384 ✓ 1.386 ✓ 1.388 13 1.358 0.019 ✓
72 ParAAM-C-state 1 698817 18162 1 4878 1 #f 13 ✓ 4.27  ✓ 4.245 ✓ 4.11  ✓ 4.156 ✓ 4.088 ✓ 4.38  ✓ 4.073 ✓ 4.206 ✓ 4.366 ✓ 4.169 ✓ 4.065 ✓ 4.078 ✓ 4.147 13 4.181 0.086 ✓
73 ParAAM-C-state 2 698817 18162 1 4878 1 #f 13 ✓ 2.968 ✓ 2.789 ✓ 2.908 ✓ 2.726 ✓ 2.379 ✓ 2.439 ✓ 2.999 ✓ 2.788 ✓ 2.748 ✓ 2.968 ✓ 2.949 ✓ 2.688 ✓ 2.986 13 2.795 0.155 ✓
74 ParAAM-C-state 3 698817 18162 1 4878 1 #f 13 ✓ 1.918 ✓ 1.915 ✓ 2.438 ✓ 1.915 ✓ 2.635 ✓ 1.909 ✓ 2.524 ✓ 2.635 ✓ 2.678 ✓ 2.559 ✓ 2.638 ✓ 2.18  ✓ 2.649 13 2.353 0.297 ✓
75 ParAAM-C-state 4 698817 18162 1 4878 1 #f 13 ✓ 2.724 ✓ 2.798 ✓ 3.239 ✓ 3.076 ✓ 3.089 ✓ 2.366 ✓ 2.748 ✓ 2.948 ✓ 3.138 ✓ 3.028 ✓ 2.616 ✓ 2.778 ✓ 3.22  13 2.905 0.216 ✓
76 ParAAM-C-state 5 698817 18162 1 4878 1 #f 13 ✓ 3.1   ✓ 3.028 ✓ 3.096 ✓ 2.947 ✓ 2.756 ✓ 2.768 ✓ 3.06  ✓ 3.068 ✓ 2.447 ✓ 3.034 ✓ 2.626 ✓ 2.601 ✓ 2.687 13 2.863 0.199 ✓
77 ParAAM-C-state 6 698817 18162 1 4878 1 #f 13 ✓ 3.181 ✓ 2.549 ✓ 2.359 ✓ 2.849 ✓ 2.565 ✓ 2.951 ✓ 2.815 ✓ 2.599 ✓ 2.77  ✓ 2.939 ✓ 2.829 ✓ 2.639 ✓ 2.837 13 2.76  0.168 ✓
78 ParAAM-C-state 7 698817 18162 1 4878 1 #f 13 ✓ 2.344 ✓ 2.766 ✓ 2.828 ✓ 2.746 ✓ 2.558 ✓ 2.894 ✓ 2.451 ✓ 2.817 ✓ 2.988 ✓ 2.934 ✓ 2.098 ✓ 2.461 ✓ 2.75  13 2.664 0.217 ✓
79 ParAAM-C-state 8 698817 18162 1 4878 1 #f 13 ✓ 2.839 ✓ 2.455 ✓ 2.628 ✓ 2.749 ✓ 2.716 ✓ 2.429 ✓ 2.469 ✓ 2.613 ✓ 2.61  ✓ 2.115 ✓ 2.128 ✓ 2.028 ✓ 2.076 13 2.45  0.227 ✓
80 ParAAM-C-state 9 698817 18162 1 4878 1 #f 13 ✓ 1.908 ✓ 1.899 ✓ 1.837 ✓ 1.858 ✓ 1.888 ✓ 1.907 ✓ 1.904 ✓ 1.905 ✓ 1.811 ✓ 1.855 ✓ 1.994 ✓ 1.858 ✓ 1.849 13 1.883 0.035 ✓
81 ParAAM-C-state 10 698817 18162 1 4878 1 #f 13 ✓ 1.847 ✓ 1.769 ✓ 1.801 ✓ 1.819 ✓ 1.813 ✓ 1.789 ✓ 1.969 ✓ 1.841 ✓ 1.786 ✓ 1.788 ✓ 1.799 ✓ 1.815 ✓ 1.755 13 1.815 0.033 ✓
82 ParAAM-C-state 12 698817 18162 1 4878 1 #f 13 ✓ 1.781 ✓ 1.698 ✓ 1.768 ✓ 1.736 ✓ 1.713 ✓ 2.119 ✓ 1.785 ✓ 1.678 ✓ 1.788 ✓ 1.727 ✓ 1.68  ✓ 1.82  ✓ 2.135 13 1.802 0.103 ✓
83 ParAAM-C-state 14 698817 18162 1 4878 1 #f 13 ✓ 1.997 ✓ 2.397 ✓ 1.839 ✓ 1.785 ✓ 1.863 ✓ 1.849 ✓ 1.918 ✓ 2.079 ✓ 1.918 ✓ 2.259 ✓ 1.807 ✓ 1.915 ✓ 1.721 13 1.95  0.144 ✓
84 ParAAM-C-state 16 698817 18162 1 4878 1 #f 13 ✓ 1.827 ✓ 1.909 ✓ 1.927 ✓ 2.007 ✓ 1.91  ✓ 2.038 ✓ 1.935 ✓ 1.829 ✓ 1.82  ✓ 1.864 ✓ 1.917 ✓ 1.965 ✓ 1.887 13 1.91  0.05  ✓
85 ParAAM-C-state 18 698817 18162 1 4878 1 #f 13 ✓ 1.988 ✓ 1.79  ✓ 2.077 ✓ 1.941 ✓ 2.075 ✓ 1.887 ✓ 1.875 ✓ 2.217 ✓ 2.436 ✓ 2.548 ✓ 1.969 ✓ 1.948 ✓ 2.046 13 2.061 0.161 ✓
86 ParAAM-C-state 20 698817 18162 1 4878 1 #f 13 ✓ 1.939 ✓ 1.989 ✓ 2.071 ✓ 1.936 ✓ 1.79  ✓ 1.959 ✓ 2.488 ✓ 1.788 ✓ 1.887 ✓ 1.948 ✓ 2.447 ✓ 1.939 ✓ 2.283 13 2.036 0.176 ✓
87 ParAAM-C-set 1 698817 18162 1 4878 1 #f 13 ✓ 4.265 ✓ 4.409 ✓ 4.267 ✓ 4.275 ✓ 4.249 ✓ 4.25  ✓ 4.278 ✓ 4.289 ✓ 4.267 ✓ 4.282 ✓ 4.288 ✓ 4.278 ✓ 4.295 13 4.284 0.022 ✓
88 ParAAM-C-set 2 698817 18162 1 4878 1 #f 13 ✓ 2.498 ✓ 2.419 ✓ 2.417 ✓ 2.425 ✓ 2.448 ✓ 2.437 ✓ 2.417 ✓ 2.408 ✓ 2.429 ✓ 2.478 ✓ 2.427 ✓ 2.42  ✓ 2.404 13 2.433 0.02  ✓
89 ParAAM-C-set 3 698817 18162 1 4878 1 #f 13 ✓ 1.744 ✓ 1.675 ✓ 1.708 ✓ 1.68  ✓ 1.666 ✓ 1.72  ✓ 1.671 ✓ 1.687 ✓ 1.695 ✓ 1.675 ✓ 1.678 ✓ 1.718 ✓ 1.69  13 1.693 0.018 ✓
90 ParAAM-C-set 4 698817 18162 1 4878 1 #f 13 ✓ 1.38  ✓ 1.385 ✓ 1.375 ✓ 1.383 ✓ 1.394 ✓ 1.375 ✓ 1.38  ✓ 1.399 ✓ 1.378 ✓ 1.386 ✓ 1.368 ✓ 1.389 ✓ 1.409 13 1.385 0.008 ✓
91 ParAAM-C-set 5 698817 18162 1 4878 1 #f 13 ✓ 1.307 ✓ 1.287 ✓ 1.256 ✓ 1.265 ✓ 1.249 ✓ 1.257 ✓ 1.274 ✓ 1.268 ✓ 1.241 ✓ 1.248 ✓ 1.251 ✓ 1.245 ✓ 1.265 13 1.263 0.014 ✓
92 ParAAM-C-set 6 698817 18162 1 4878 1 #f 13 ✓ 1.298 ✓ 1.218 ✓ 1.217 ✓ 1.209 ✓ 1.217 ✓ 1.388 ✓ 1.216 ✓ 1.267 ✓ 1.206 ✓ 1.214 ✓ 1.209 ✓ 1.179 ✓ 1.208 13 1.234 0.038 ✓
93 ParAAM-C-set 7 698817 18162 1 4878 1 #f 13 ✓ 1.298 ✓ 1.258 ✓ 1.258 ✓ 1.268 ✓ 1.258 ✓ 1.259 ✓ 1.257 ✓ 1.248 ✓ 1.269 ✓ 1.298 ✓ 1.259 ✓ 1.236 ✓ 1.259 13 1.263 0.012 ✓
94 ParAAM-C-set 8 698817 18162 1 4878 1 #f 13 ✓ 1.425 ✓ 1.376 ✓ 1.346 ✓ 1.368 ✓ 1.371 ✓ 1.375 ✓ 1.387 ✓ 1.389 ✓ 1.236 ✓ 1.378 ✓ 1.377 ✓ 1.39  ✓ 1.38  13 1.369 0.024 ✓
95 ParAAM-C-set 9 698817 18162 1 4878 1 #f 13 ✓ 1.545 ✓ 1.508 ✓ 1.507 ✓ 1.499 ✓ 1.508 ✓ 1.497 ✓ 1.505 ✓ 1.523 ✓ 1.491 ✓ 1.461 ✓ 1.487 ✓ 1.527 ✓ 1.467 13 1.502 0.017 ✓
96 ParAAM-C-set 10 698817 18162 1 4878 1 #f 13 ✓ 1.617 ✓ 1.579 ✓ 1.575 ✓ 1.549 ✓ 1.596 ✓ 1.547 ✓ 1.591 ✓ 1.597 ✓ 1.56  ✓ 1.586 ✓ 1.587 ✓ 1.539 ✓ 1.517 13 1.572 0.023 ✓
97 ParAAM-C-set 12 698817 18162 1 4878 1 #f 13 ✓ 1.661 ✓ 1.546 ✓ 1.614 ✓ 1.626 ✓ 1.6   ✓ 1.517 ✓ 1.606 ✓ 1.629 ✓ 1.685 ✓ 1.519 ✓ 1.638 ✓ 1.576 ✓ 1.528 13 1.596 0.045 ✓
98 ParAAM-C-set 14 698817 18162 1 4878 1 #f 13 ✓ 1.618 ✓ 1.557 ✓ 1.571 ✓ 1.664 ✓ 1.974 ✓ 1.94  ✓ 1.589 ✓ 1.644 ✓ 1.609 ✓ 1.647 ✓ 1.637 ✓ 1.79  ✓ 1.998 13 1.711 0.132 ✓
99 ParAAM-C-set 16 698817 18162 1 4878 1 #f 13 ✓ 1.644 ✓ 2.046 ✓ 1.597 ✓ 1.597 ✓ 1.594 ✓ 1.556 ✓ 1.598 ✓ 1.539 ✓ 1.565 ✓ 1.549 ✓ 2.109 ✓ 1.619 ✓ 1.475 13 1.653 0.131 ✓
100 ParAAM-C-set 18 698817 18162 1 4878 1 #f 13 ✓ 1.65  ✓ 1.678 ✓ 1.517 ✓ 1.569 ✓ 1.574 ✓ 1.528 ✓ 1.605 ✓ 1.57  ✓ 2.119 ✓ 2.16  ✓ 2.148 ✓ 1.501 ✓ 1.514 13 1.703 0.203 ✓
101 ParAAM-C-set 20 698817 18162 1 4878 1 #f 13 ✓ 1.497 ✓ 1.47  ✓ 1.479 ✓ 2.141 ✓ 1.577 ✓ 1.507 ✓ 1.509 ✓ 2.166 ✓ 1.538 ✓ 1.461 ✓ 1.551 ✓ 1.457 ✓ 1.561 13 1.609 0.168 ✓
102 ParAAM-C-part 1 698817 18162 1 4878 1 #f 13 ✓ 7.58  ✓ 7.599 ✓ 7.53  ✓ 7.529 ✓ 7.579 ✓ 7.6   ✓ 7.584 ✓ 7.5   ✓ 7.577 ✓ 7.508 ✓ 7.508 ✓ 7.568 ✓ 7.547 13 7.554 0.032 ✓
103 ParAAM-C-part 2 698817 18162 1 4878 1 #f 13 ✓ 4.178 ✓ 4.169 ✓ 4.161 ✓ 4.117 ✓ 4.14  ✓ 4.169 ✓ 4.129 ✓ 4.158 ✓ 4.2   ✓ 4.109 ✓ 4.149 ✓ 4.166 ✓ 4.176 13 4.156 0.021 ✓
104 ParAAM-C-part 3 698817 18162 1 4878 1 #f 13 ✓ 2.751 ✓ 2.717 ✓ 2.725 ✓ 2.745 ✓ 2.601 ✓ 2.777 ✓ 2.649 ✓ 2.665 ✓ 2.624 ✓ 2.697 ✓ 2.714 ✓ 2.648 ✓ 2.651 13 2.69  0.046 ✓
105 ParAAM-C-part 4 698817 18162 1 4878 1 #f 13 ✓ 1.987 ✓ 1.977 ✓ 1.998 ✓ 2.127 ✓ 1.956 ✓ 1.968 ✓ 1.938 ✓ 1.93  ✓ 1.898 ✓ 1.869 ✓ 1.995 ✓ 2.091 ✓ 2.088 13 1.986 0.057 ✓
106 ParAAM-C-part 5 698817 18162 1 4878 1 #f 13 ✓ 1.602 ✓ 1.53  ✓ 1.607 ✓ 1.571 ✓ 1.596 ✓ 1.619 ✓ 1.633 ✓ 1.69  ✓ 1.598 ✓ 1.606 ✓ 1.611 ✓ 1.57  ✓ 1.555 13 1.599 0.027 ✓
107 ParAAM-C-part 6 698817 18162 1 4878 1 #f 13 ✓ 1.417 ✓ 1.387 ✓ 1.376 ✓ 1.371 ✓ 1.319 ✓ 1.397 ✓ 1.397 ✓ 1.421 ✓ 1.387 ✓ 1.361 ✓ 1.386 ✓ 1.379 ✓ 1.35  13 1.381 0.02  ✓
108 ParAAM-C-part 7 698817 18162 1 4878 1 #f 13 ✓ 1.23  ✓ 1.225 ✓ 1.249 ✓ 1.206 ✓ 1.235 ✓ 1.236 ✓ 1.239 ✓ 1.228 ✓ 1.189 ✓ 1.229 ✓ 1.239 ✓ 1.21  ✓ 1.197 13 1.224 0.014 ✓
109 ParAAM-C-part 8 698817 18162 1 4878 1 #f 13 ✓ 1.091 ✓ 1.108 ✓ 1.149 ✓ 1.095 ✓ 1.13  ✓ 1.139 ✓ 1.118 ✓ 1.139 ✓ 1.138 ✓ 1.099 ✓ 1.206 ✓ 1.114 ✓ 1.107 13 1.125 0.023 ✓
110 ParAAM-C-part 9 698817 18162 1 4878 1 #f 13 ✓ 1.046 ✓ 1.05  ✓ 1.017 ✓ 1.047 ✓ 1.089 ✓ 1.037 ✓ 1.047 ✓ 1.055 ✓ 1.004 ✓ 1.049 ✓ 1.023 ✓ 1.048 ✓ 1.093 13 1.047 0.016 ✓
111 ParAAM-C-part 10 698817 18162 1 4878 1 #f 13 ✓ 0.998 ✓ 0.969 ✓ 0.984 ✓ 0.978 ✓ 0.978 ✓ 0.965 ✓ 0.989 ✓ 0.998 ✓ 0.994 ✓ 0.989 ✓ 0.98  ✓ 0.957 ✓ 0.948 13 0.979 0.012 ✓
112 ParAAM-C-part 12 698817 18162 1 4878 1 #f 13 ✓ 0.918 ✓ 0.908 ✓ 0.927 ✓ 0.937 ✓ 0.958 ✓ 0.917 ✓ 0.897 ✓ 0.906 ✓ 0.901 ✓ 0.919 ✓ 0.917 ✓ 0.911 ✓ 0.879 13 0.915 0.013 ✓
113 ParAAM-C-part 14 698817 18162 1 4878 1 #f 13 ✓ 0.887 ✓ 0.855 ✓ 0.881 ✓ 0.883 ✓ 0.878 ✓ 0.887 ✓ 0.928 ✓ 0.866 ✓ 0.846 ✓ 0.867 ✓ 0.867 ✓ 0.858 ✓ 0.847 13 0.873 0.016 ✓
114 ParAAM-C-part 16 698817 18162 1 4878 1 #f 13 ✓ 0.987 ✓ 0.987 ✓ 0.965 ✓ 0.94  ✓ 0.958 ✓ 0.944 ✓ 0.936 ✓ 0.978 ✓ 0.968 ✓ 0.957 ✓ 0.931 ✓ 0.96  ✓ 0.951 13 0.959 0.014 ✓
115 ParAAM-C-part 18 698817 18162 1 4878 1 #f 13 ✓ 0.958 ✓ 0.927 ✓ 0.934 ✓ 0.958 ✓ 0.956 ✓ 0.973 ✓ 0.966 ✓ 0.953 ✓ 0.97  ✓ 0.976 ✓ 1.027 ✓ 0.948 ✓ 0.948 13 0.961 0.017 ✓
116 ParAAM-C-part 20 698817 18162 1 4878 1 #f 13 ✓ 0.945 ✓ 0.938 ✓ 0.956 ✓ 0.956 ✓ 0.926 ✓ 0.946 ✓ 0.959 ✓ 0.949 ✓ 0.959 ✓ 0.963 ✓ 0.967 ✓ 0.939 ✓ 0.936 13 0.949 0.01  ✓