Benchmarks on AlgoDat1/qsort.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 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.494 ✓ 21.662 ✓ 21.795 ✓ 21.951 ✓ 21.735 ✓ 21.726 ✓ 21.726 ✓ 21.882 ✓ 21.93  ✓ 21.894 ✓ 21.825 ✓ 21.997 ✓ 21.679 13 21.869 0.144 ✓
2 ParAAM-L-SA-state 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 19.599 ✓ 19.369 ✓ 19.917 ✓ 19.675 ✓ 19.671 ✓ 19.741 ✓ 19.373 ✓ 19.388 ✓ 19.142 ✓ 19.369 ✓ 19.283 ✓ 19.364 ✓ 19.319 13 19.478 0.187 ✓
3 ParAAM-L-SA-state 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 21.615 ✓ 21.608 ✓ 21.869 ✓ 21.469 ✓ 21.769 ✓ 21.967 ✓ 22.019 ✓ 21.831 ✓ 21.55  ✓ 21.895 ✓ 22.081 ✓ 21.625 ✓ 22.016 13 21.793 0.173 ✓
4 ParAAM-L-SA-state 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.835 ✓ 22.797 ✓ 22.708 ✓ 22.673 ✓ 22.754 ✓ 22.868 ✓ 22.961 ✓ 22.912 ✓ 22.691 ✓ 22.816 ✓ 22.975 ✓ 23.464 ✓ 23.042 13 22.884 0.143 ✓
5 ParAAM-L-SA-state 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.191 ✓ 23.034 ✓ 22.907 ✓ 22.746 ✓ 22.967 ✓ 23.097 ✓ 23.111 ✓ 23.198 ✓ 22.914 ✓ 23.279 ✓ 23.056 ✓ 23.129 ✓ 23.206 13 23.064 0.117 ✓
6 ParAAM-L-SA-state 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.316 ✓ 23.307 ✓ 23.16  ✓ 23.19  ✓ 23.421 ✓ 24.187 ✓ 23.374 ✓ 23.255 ✓ 23.189 ✓ 23.35  ✓ 23.284 ✓ 23.05  ✓ 23.424 13 23.347 0.157 ✓
7 ParAAM-L-SA-state 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.076 ✓ 23.316 ✓ 23.314 ✓ 23.969 ✓ 23.011 ✓ 23.374 ✓ 22.935 ✓ 23.301 ✓ 23.106 ✓ 23.355 ✓ 23.086 ✓ 23.21  ✓ 22.894 13 23.227 0.195 ✓
8 ParAAM-L-SA-state 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.593 ✓ 23.398 ✓ 23.128 ✓ 23.288 ✓ 23.894 ✓ 23.127 ✓ 23.059 ✓ 23.15  ✓ 23.064 ✓ 23.167 ✓ 23.988 ✓ 23.284 ✓ 23.071 13 23.324 0.243 ✓
9 ParAAM-L-SA-state 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.327 ✓ 23.223 ✓ 23.598 ✓ 23.137 ✓ 23.087 ✓ 23.817 ✓ 23.037 ✓ 23.597 ✓ 23.519 ✓ 23.324 ✓ 23.164 ✓ 24.064 ✓ 23.529 13 23.417 0.249 ✓
10 ParAAM-L-SA-state 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.364 ✓ 23.439 ✓ 23.494 ✓ 23.205 ✓ 23.246 ✓ 23.136 ✓ 23.45  ✓ 23.355 ✓ 23.139 ✓ 23.425 ✓ 23.301 ✓ 23.112 ✓ 23.155 13 23.294 0.119 ✓
11 ParAAM-L-SA-state 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.357 ✓ 23.281 ✓ 23.314 ✓ 23.468 ✓ 23.369 ✓ 23.339 ✓ 23.137 ✓ 23.58  ✓ 23.207 ✓ 23.348 ✓ 23.324 ✓ 23.259 ✓ 24.026 13 23.385 0.141 ✓
12 ParAAM-L-SA-state 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.236 ✓ 23.025 ✓ 23.047 ✓ 23.139 ✓ 23.266 ✓ 23.228 ✓ 23.131 ✓ 23.484 ✓ 24.005 ✓ 23.82  ✓ 23.3   ✓ 23.12  ✓ 23.04  13 23.296 0.22  ✓
13 ParAAM-L-SA-state 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 24.057 ✓ 23.045 ✓ 23.311 ✓ 23.293 ✓ 23.22  ✓ 23.523 ✓ 23.267 ✓ 23.626 ✓ 23.174 ✓ 23.186 ✓ 23.062 ✓ 23.33  ✓ 23.166 13 23.328 0.189 ✓
14 ParAAM-L-SA-state 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 24.099 ✓ 23.184 ✓ 23.305 ✓ 23.16  ✓ 23.201 ✓ 23.315 ✓ 23.235 ✓ 23.157 ✓ 23.349 ✓ 23.28  ✓ 23.306 ✓ 23.527 ✓ 23.029 13 23.319 0.157 ✓
15 ParAAM-L-SA-state 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.291 ✓ 23.207 ✓ 23.333 ✓ 23.496 ✓ 23.155 ✓ 23.698 ✓ 23.03  ✓ 23.277 ✓ 23.234 ✓ 23.099 ✓ 23.421 ✓ 23.244 ✓ 23.185 13 23.282 0.127 ✓
16 ParAAM-L-SA-set 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 19.274 ✓ 19.184 ✓ 19.226 ✓ 19.167 ✓ 19.12  ✓ 19.364 ✓ 19.176 ✓ 19.221 ✓ 19.107 ✓ 19.221 ✓ 19.306 ✓ 19.156 ✓ 19.52  13 19.234 0.081 ✓
17 ParAAM-L-SA-set 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 21.721 ✓ 21.528 ✓ 21.308 ✓ 21.954 ✓ 21.427 ✓ 21.445 ✓ 21.466 ✓ 21.554 ✓ 21.666 ✓ 21.874 ✓ 21.669 ✓ 21.637 ✓ 21.591 13 21.603 0.139 ✓
18 ParAAM-L-SA-set 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.498 ✓ 22.379 ✓ 22.309 ✓ 23.288 ✓ 22.338 ✓ 22.426 ✓ 22.489 ✓ 22.477 ✓ 22.889 ✓ 22.358 ✓ 22.404 ✓ 22.656 ✓ 22.695 13 22.554 0.202 ✓
19 ParAAM-L-SA-set 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.934 ✓ 22.647 ✓ 23.196 ✓ 22.701 ✓ 22.48  ✓ 22.805 ✓ 22.91  ✓ 22.747 ✓ 22.657 ✓ 22.897 ✓ 22.695 ✓ 22.476 ✓ 22.496 13 22.742 0.16  ✓
20 ParAAM-L-SA-set 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.954 ✓ 23.008 ✓ 23.319 ✓ 22.867 ✓ 22.768 ✓ 22.755 ✓ 22.646 ✓ 22.603 ✓ 22.718 ✓ 22.528 ✓ 22.675 ✓ 22.615 ✓ 22.734 13 22.784 0.156 ✓
21 ParAAM-L-SA-set 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.475 ✓ 22.729 ✓ 22.68  ✓ 23.356 ✓ 22.545 ✓ 22.725 ✓ 22.865 ✓ 22.756 ✓ 22.528 ✓ 22.669 ✓ 22.591 ✓ 22.7   ✓ 22.356 13 22.767 0.214 ✓
22 ParAAM-L-SA-set 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.548 ✓ 22.704 ✓ 22.571 ✓ 22.628 ✓ 22.665 ✓ 22.818 ✓ 22.668 ✓ 22.796 ✓ 22.667 ✓ 22.499 ✓ 22.606 ✓ 22.791 ✓ 22.871 13 22.679 0.09  ✓
23 ParAAM-L-SA-set 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.584 ✓ 23.221 ✓ 22.455 ✓ 22.724 ✓ 22.728 ✓ 22.566 ✓ 22.568 ✓ 22.925 ✓ 22.806 ✓ 22.595 ✓ 22.695 ✓ 22.654 ✓ 22.866 13 22.722 0.144 ✓
24 ParAAM-L-SA-set 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.8   ✓ 22.476 ✓ 23.114 ✓ 22.665 ✓ 22.714 ✓ 23.367 ✓ 23.01  ✓ 22.704 ✓ 22.888 ✓ 22.915 ✓ 22.855 ✓ 22.79  ✓ 22.981 13 22.868 0.165 ✓
25 ParAAM-L-SA-set 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.775 ✓ 22.896 ✓ 22.835 ✓ 22.819 ✓ 22.816 ✓ 22.781 ✓ 22.344 ✓ 23.396 ✓ 22.744 ✓ 23.005 ✓ 22.651 ✓ 22.529 ✓ 23.024 13 22.817 0.166 ✓
26 ParAAM-L-SA-set 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 23.436 ✓ 22.939 ✓ 22.514 ✓ 22.636 ✓ 22.756 ✓ 22.955 ✓ 23.285 ✓ 22.524 ✓ 22.76  ✓ 22.776 ✓ 22.838 ✓ 22.986 ✓ 22.697 13 22.854 0.205 ✓
27 ParAAM-L-SA-set 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.977 ✓ 22.834 ✓ 22.805 ✓ 22.826 ✓ 22.836 ✓ 22.615 ✓ 22.687 ✓ 22.768 ✓ 22.699 ✓ 22.603 ✓ 22.905 ✓ 22.789 ✓ 22.619 13 22.766 0.094 ✓
28 ParAAM-L-SA-set 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.981 ✓ 22.65  ✓ 22.731 ✓ 22.651 ✓ 23.009 ✓ 23.491 ✓ 22.627 ✓ 22.746 ✓ 22.9   ✓ 22.548 ✓ 22.735 ✓ 22.635 ✓ 22.871 13 22.814 0.182 ✓
29 ParAAM-L-SA-set 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.724 ✓ 22.637 ✓ 22.481 ✓ 22.841 ✓ 22.845 ✓ 22.787 ✓ 22.995 ✓ 22.834 ✓ 23.015 ✓ 23.047 ✓ 23.105 ✓ 23.055 ✓ 22.967 13 22.872 0.147 ✓
30 ParAAM-L-SA-part 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 24.896 ✓ 24.547 ✓ 24.951 ✓ 25.276 ✓ 24.917 ✓ 25.284 ✓ 24.788 ✓ 24.656 ✓ 24.786 ✓ 24.808 ✓ 25.126 ✓ 24.84  ✓ 24.837 13 24.901 0.162 ✓
31 ParAAM-L-SA-part 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 17.498 ✓ 17.174 ✓ 17.386 ✓ 17.528 ✓ 17.425 ✓ 17.585 ✓ 17.587 ✓ 17.526 ✓ 17.455 ✓ 17.517 ✓ 17.512 ✓ 17.564 ✓ 17.595 13 17.489 0.079 ✓
32 ParAAM-L-SA-part 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 15.205 ✓ 15.435 ✓ 15.364 ✓ 15.235 ✓ 15.064 ✓ 15.31  ✓ 15.178 ✓ 15.428 ✓ 15.146 ✓ 15.335 ✓ 15.364 ✓ 15.29  ✓ 15.077 13 15.264 0.104 ✓
33 ParAAM-L-SA-part 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 13.996 ✓ 14.134 ✓ 14.298 ✓ 14.064 ✓ 14.188 ✓ 14.105 ✓ 13.985 ✓ 14.12  ✓ 14.029 ✓ 13.824 ✓ 14.176 ✓ 14.034 ✓ 14.195 13 14.088 0.092 ✓
34 ParAAM-L-SA-part 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 13.377 ✓ 13.068 ✓ 13.696 ✓ 13.489 ✓ 13.495 ✓ 13.606 ✓ 13.336 ✓ 13.619 ✓ 13.589 ✓ 13.601 ✓ 13.655 ✓ 13.196 ✓ 13.498 13 13.479 0.144 ✓
35 ParAAM-L-SA-part 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 13.085 ✓ 12.844 ✓ 13.057 ✓ 13.066 ✓ 12.906 ✓ 13.076 ✓ 12.739 ✓ 13.13  ✓ 13.111 ✓ 13.056 ✓ 13.056 ✓ 13.085 ✓ 12.997 13 13.016 0.089 ✓
36 ParAAM-L-SA-part 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 12.885 ✓ 12.855 ✓ 12.66  ✓ 12.947 ✓ 12.727 ✓ 13.024 ✓ 12.8   ✓ 12.739 ✓ 12.74  ✓ 12.637 ✓ 12.874 ✓ 13.018 ✓ 12.638 13 12.811 0.113 ✓
37 ParAAM-L-SA-part 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 12.55  ✓ 12.505 ✓ 12.654 ✓ 12.435 ✓ 12.598 ✓ 12.486 ✓ 12.624 ✓ 12.496 ✓ 12.488 ✓ 12.543 ✓ 12.556 ✓ 12.514 ✓ 12.428 13 12.529 0.054 ✓
38 ParAAM-L-SA-part 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 12.464 ✓ 12.255 ✓ 12.347 ✓ 12.459 ✓ 12.15  ✓ 12.437 ✓ 12.397 ✓ 12.625 ✓ 12.34  ✓ 12.375 ✓ 12.026 ✓ 12.427 ✓ 12.35  13 12.358 0.104 ✓
39 ParAAM-L-SA-part 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 12.051 ✓ 11.914 ✓ 12.171 ✓ 12.188 ✓ 11.965 ✓ 12.109 ✓ 11.964 ✓ 12.249 ✓ 12.085 ✓ 12.094 ✓ 12.207 ✓ 12.157 ✓ 12.121 13 12.098 0.079 ✓
40 ParAAM-L-SA-part 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 12.085 ✓ 11.975 ✓ 11.835 ✓ 12.111 ✓ 11.864 ✓ 11.885 ✓ 12.016 ✓ 11.935 ✓ 11.801 ✓ 11.866 ✓ 12.026 ✓ 11.906 ✓ 11.996 13 11.946 0.082 ✓
41 ParAAM-L-SA-part 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 11.836 ✓ 11.887 ✓ 11.866 ✓ 11.646 ✓ 12.005 ✓ 11.84  ✓ 11.926 ✓ 11.808 ✓ 12.027 ✓ 11.814 ✓ 12.056 ✓ 11.878 ✓ 11.716 13 11.87  0.086 ✓
42 ParAAM-L-SA-part 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 11.767 ✓ 11.698 ✓ 11.735 ✓ 11.685 ✓ 11.816 ✓ 11.57  ✓ 11.75  ✓ 11.708 ✓ 11.707 ✓ 11.735 ✓ 11.756 ✓ 11.747 ✓ 11.716 13 11.722 0.038 ✓
43 ParAAM-L-SA-part 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 11.681 ✓ 11.686 ✓ 11.67  ✓ 11.656 ✓ 11.744 ✓ 11.746 ✓ 11.495 ✓ 11.66  ✓ 11.69  ✓ 11.665 ✓ 11.874 ✓ 11.711 ✓ 11.507 13 11.676 0.062 ✓
44 ParAAM-C-S-set 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 28.055 ✓ 27.689 ✓ 29.024 ✓ 27.453 ✓ 27.548 ✓ 27.767 ✓ 27.578 ✓ 27.203 ✓ 27.804 ✓ 27.479 ✓ 27.704 ✓ 27.978 ✓ 28.986 13 27.867 0.396 ✓
45 ParAAM-C-S-set 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 42.58  ✓ 40.185 ✓ 37.539 ✓ 39.976 ✓ 43.415 ✓ 39.305 ✓ 39.155 ✓ 38.271 ✓ 42.738 ✓ 37.427 ✓ 41.635 ✓ 41.556 ✓ 42.304 13 40.468 1.757 ✓
46 ParAAM-C-S-set 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 53.196 ✓ 55.384 ✓ 52.29  ✓ 55.125 ✓ 51.366 ✓ 49.696 ✓ 53.486 ✓ 51.41  ✓ 49.215 ✓ 54.646 ✓ 54.993 ✓ 53.421 ✓ 53.875 13 52.931 1.643 ✓
47 ParAAM-C-S-set 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 61.957 ✓ 59.404 ✓ 58.669 ✓ 58.8   ✓ 61.775 ✓ 58.287 ✓ 60.356 ✓ 57.989 ✓ 58.648 ✓ 60.516 ✓ 57.769 ✓ 58.256 ✓ 57.956 13 59.26  1.186 ✓
48 ParAAM-C-S-set 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 64.607 ✓ 64.647 ✓ 66.956 ✓ 62.927 ✓ 67.175 ✓ 64.394 ✓ 64.076 ✓ 63.778 ✓ 65.16  ✓ 61.404 ✓ 65.329 ✓ 64.205 ✓ 63.841 13 64.5   1.058 ✓
49 ParAAM-C-S-set 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 69.819 ✓ 67.196 ✓ 68.626 ✓ 69.45  ✓ 69.946 ✓ 69.744 ✓ 68.23  ✓ 68.017 ✓ 67.447 ✓ 66.08  ✓ 66.478 ✓ 66.077 ✓ 67.336 13 68.034 1.171 ✓
50 ParAAM-C-S-set 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 70.976 ✓ 71.389 ✓ 68.217 ✓ 70.626 ✓ 69.266 ✓ 67.757 ✓ 69.994 ✓ 68.434 ✓ 68.887 ✓ 68.578 ✓ 68.375 ✓ 70.478 ✓ 71.329 13 69.562 1.142 ✓
51 ParAAM-C-S-set 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 70.325 ✓ 70.268 ✓ 69.884 ✓ 70.585 ✓ 73.309 ✓ 70.58  ✓ 70.948 ✓ 72.925 ✓ 70.979 ✓ 70.03  ✓ 70.621 ✓ 70.495 ✓ 71.087 13 70.926 0.711 ✓
52 ParAAM-C-S-set 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 70.757 ✓ 71.775 ✓ 71.446 ✓ 70.346 ✓ 72.334 ✓ 71.439 ✓ 70.635 ✓ 73.106 ✓ 70.888 ✓ 68.889 ✓ 69.699 ✓ 70.757 ✓ 69.818 13 70.915 0.85  ✓
53 ParAAM-C-S-set 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 72.958 ✓ 74     ✓ 71.496 ✓ 72.385 ✓ 71.855 ✓ 71.377 ✓ 72.419 ✓ 71.85  ✓ 73.82  ✓ 72.316 ✓ 73.31  ✓ 72.114 ✓ 72.365 13 72.482 0.64  ✓
54 ParAAM-C-S-set 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 72.547 ✓ 73.747 ✓ 72.455 ✓ 73.531 ✓ 74.17  ✓ 74.505 ✓ 72.878 ✓ 73.345 ✓ 74.097 ✓ 73.72  ✓ 74.336 ✓ 74.068 ✓ 71.457 13 73.451 0.703 ✓
55 ParAAM-C-S-set 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 73.118 ✓ 72.976 ✓ 74.568 ✓ 72.547 ✓ 74.075 ✓ 75.188 ✓ 74.117 ✓ 72.887 ✓ 74.186 ✓ 74.436 ✓ 74.395 ✓ 74.433 ✓ 74.377 13 73.946 0.655 ✓
56 ParAAM-C-S-set 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 75.236 ✓ 72.846 ✓ 74.701 ✓ 72.847 ✓ 74.961 ✓ 74.448 ✓ 74.575 ✓ 74.916 ✓ 72.874 ✓ 75.128 ✓ 76.034 ✓ 75.208 ✓ 73.918 13 74.438 0.81  ✓
57 ParAAM-C-S-set 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 74     ✓ 76.631 ✓ 75.924 ✓ 73.725 ✓ 75.088 ✓ 73.907 ✓ 74.98  ✓ 75.068 ✓ 76.196 ✓ 74.016 ✓ 73.585 ✓ 79.084 ✓ 75.394 13 75.2   1.112 ✓
58 ParAAM-C-S-part 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 25.448 ✓ 25.411 ✓ 25.405 ✓ 25.204 ✓ 25.203 ✓ 25.364 ✓ 25.48  ✓ 25.136 ✓ 25.146 ✓ 25.418 ✓ 25.368 ✓ 25.427 ✓ 25.315 13 25.333 0.101 ✓
59 ParAAM-C-S-part 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 12.964 ✓ 13.299 ✓ 12.996 ✓ 13.696 ✓ 13.454 ✓ 12.946 ✓ 13.536 ✓ 12.886 ✓ 13.378 ✓ 13.299 ✓ 12.95  ✓ 13.301 ✓ 13.146 13 13.219 0.22  ✓
60 ParAAM-C-S-part 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 8.96  ✓ 9.216 ✓ 9.157 ✓ 9.178 ✓ 9.44  ✓ 8.846 ✓ 9.32  ✓ 9.404 ✓ 8.966 ✓ 9.331 ✓ 8.956 ✓ 9.365 ✓ 9.343 13 9.191 0.167 ✓
61 ParAAM-C-S-part 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 6.967 ✓ 7.056 ✓ 6.814 ✓ 6.69  ✓ 7.112 ✓ 6.979 ✓ 7.025 ✓ 7.056 ✓ 6.749 ✓ 7.019 ✓ 7.185 ✓ 7.005 ✓ 6.864 13 6.963 0.113 ✓
62 ParAAM-C-S-part 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.618 ✓ 5.715 ✓ 5.734 ✓ 5.835 ✓ 5.867 ✓ 5.617 ✓ 5.724 ✓ 5.629 ✓ 5.587 ✓ 5.848 ✓ 5.626 ✓ 5.667 ✓ 5.747 13 5.709 0.078 ✓
63 ParAAM-C-S-part 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 4.957 ✓ 4.979 ✓ 4.886 ✓ 5.087 ✓ 4.826 ✓ 4.964 ✓ 5.15  ✓ 4.885 ✓ 5.007 ✓ 4.919 ✓ 5.025 ✓ 4.816 ✓ 4.835 13 4.949 0.081 ✓
64 ParAAM-C-S-part 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 4.387 ✓ 4.348 ✓ 4.286 ✓ 4.291 ✓ 4.258 ✓ 4.407 ✓ 4.345 ✓ 4.327 ✓ 4.336 ✓ 4.389 ✓ 4.256 ✓ 4.358 ✓ 4.365 13 4.335 0.039 ✓
65 ParAAM-C-S-part 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 3.897 ✓ 3.791 ✓ 3.965 ✓ 3.858 ✓ 3.936 ✓ 3.889 ✓ 3.954 ✓ 3.906 ✓ 3.885 ✓ 3.838 ✓ 4.004 ✓ 3.845 ✓ 3.886 13 3.896 0.044 ✓
66 ParAAM-C-S-part 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 3.654 ✓ 3.569 ✓ 3.629 ✓ 3.635 ✓ 3.589 ✓ 3.666 ✓ 3.537 ✓ 3.418 ✓ 3.507 ✓ 3.518 ✓ 3.557 ✓ 3.489 ✓ 3.565 13 3.564 0.055 ✓
67 ParAAM-C-S-part 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 3.296 ✓ 3.125 ✓ 3.159 ✓ 3.11  ✓ 3.17  ✓ 3.085 ✓ 3.175 ✓ 3.184 ✓ 3.15  ✓ 3.109 ✓ 3.161 ✓ 3.197 ✓ 3.12  13 3.157 0.037 ✓
68 ParAAM-C-S-part 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.986 ✓ 2.788 ✓ 2.824 ✓ 2.877 ✓ 2.897 ✓ 2.869 ✓ 2.893 ✓ 2.936 ✓ 2.994 ✓ 2.901 ✓ 2.898 ✓ 2.851 ✓ 2.914 13 2.894 0.041 ✓
69 ParAAM-C-S-part 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.774 ✓ 2.745 ✓ 2.718 ✓ 2.741 ✓ 2.675 ✓ 2.684 ✓ 2.675 ✓ 2.781 ✓ 2.655 ✓ 2.716 ✓ 2.718 ✓ 2.677 ✓ 2.734 13 2.715 0.032 ✓
70 ParAAM-C-S-part 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.625 ✓ 2.575 ✓ 2.557 ✓ 2.587 ✓ 2.679 ✓ 2.644 ✓ 2.585 ✓ 2.606 ✓ 2.608 ✓ 2.547 ✓ 2.565 ✓ 2.557 ✓ 2.596 13 2.595 0.029 ✓
71 ParAAM-C-S-part 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.596 ✓ 2.515 ✓ 2.559 ✓ 2.485 ✓ 2.495 ✓ 2.766 ✓ 2.515 ✓ 2.609 ✓ 2.648 ✓ 2.987 ✓ 2.586 ✓ 2.58  ✓ 2.664 13 2.616 0.093 ✓
72 ParAAM-C-state 1 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 17.678 ✓ 17.445 ✓ 17.268 ✓ 17.524 ✓ 17.407 ✓ 17.386 ✓ 17.398 ✓ 17.526 ✓ 17.525 ✓ 17.457 ✓ 17.346 ✓ 17.579 ✓ 17.426 13 17.459 0.083 ✓
73 ParAAM-C-state 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 10.037 ✓ 9.821 ✓ 9.929 ✓ 9.807 ✓ 9.847 ✓ 9.92  ✓ 9.829 ✓ 9.815 ✓ 9.785 ✓ 9.818 ✓ 9.999 ✓ 9.777 ✓ 9.866 13 9.866 0.065 ✓
74 ParAAM-C-state 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 7.808 ✓ 7.92  ✓ 7.734 ✓ 7.745 ✓ 7.826 ✓ 7.71  ✓ 7.758 ✓ 7.764 ✓ 7.701 ✓ 7.916 ✓ 7.777 ✓ 7.86  ✓ 7.996 13 7.809 0.073 ✓
75 ParAAM-C-state 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 8.956 ✓ 8.211 ✓ 9.045 ✓ 9.067 ✓ 8.795 ✓ 9.145 ✓ 8.956 ✓ 8.201 ✓ 8.864 ✓ 9.128 ✓ 8.699 ✓ 8.868 ✓ 8.824 13 8.828 0.217 ✓
76 ParAAM-C-state 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 9.121 ✓ 8.605 ✓ 8.678 ✓ 9.026 ✓ 8.818 ✓ 8.465 ✓ 8.706 ✓ 8.677 ✓ 9.075 ✓ 8.435 ✓ 8.879 ✓ 8.488 ✓ 8.495 13 8.728 0.196 ✓
77 ParAAM-C-state 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 7.875 ✓ 7.745 ✓ 8.046 ✓ 8.357 ✓ 8.275 ✓ 8.128 ✓ 8.224 ✓ 8.087 ✓ 8.136 ✓ 8.046 ✓ 8.218 ✓ 7.977 ✓ 8.095 13 8.093 0.12  ✓
78 ParAAM-C-state 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 7.585 ✓ 7.614 ✓ 7.617 ✓ 7.868 ✓ 7.594 ✓ 7.52  ✓ 7.315 ✓ 7.227 ✓ 7.451 ✓ 7.176 ✓ 7.486 ✓ 7.464 ✓ 7.935 13 7.527 0.162 ✓
79 ParAAM-C-state 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 7.107 ✓ 6.598 ✓ 7.2   ✓ 7.285 ✓ 7.035 ✓ 7.105 ✓ 6.975 ✓ 7.277 ✓ 6.758 ✓ 6.607 ✓ 6.724 ✓ 6.669 ✓ 7.129 13 6.959 0.221 ✓
80 ParAAM-C-state 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 6.815 ✓ 6.805 ✓ 6.447 ✓ 6.785 ✓ 6.61  ✓ 6.101 ✓ 6.606 ✓ 6.625 ✓ 6.676 ✓ 6.497 ✓ 6.475 ✓ 6.618 ✓ 6.287 13 6.565 0.157 ✓
81 ParAAM-C-state 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 6.435 ✓ 5.845 ✓ 6.336 ✓ 6.19  ✓ 5.86  ✓ 6.486 ✓ 6.216 ✓ 6.365 ✓ 5.958 ✓ 6.376 ✓ 6.245 ✓ 5.925 ✓ 6.194 13 6.187 0.178 ✓
82 ParAAM-C-state 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.725 ✓ 5.544 ✓ 5.836 ✓ 5.857 ✓ 5.759 ✓ 5.846 ✓ 5.57  ✓ 5.711 ✓ 5.807 ✓ 5.675 ✓ 5.585 ✓ 5.681 ✓ 5.777 13 5.721 0.086 ✓
83 ParAAM-C-state 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.538 ✓ 5.366 ✓ 5.43  ✓ 5.385 ✓ 5.514 ✓ 5.351 ✓ 5.4   ✓ 5.351 ✓ 5.357 ✓ 5.446 ✓ 5.557 ✓ 5.199 ✓ 5.428 13 5.409 0.07  ✓
84 ParAAM-C-state 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.338 ✓ 5.275 ✓ 5.236 ✓ 5.308 ✓ 5.225 ✓ 5.24  ✓ 5.285 ✓ 5.147 ✓ 5.207 ✓ 5.258 ✓ 5.21  ✓ 5.237 ✓ 5.267 13 5.249 0.037 ✓
85 ParAAM-C-state 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.254 ✓ 5.114 ✓ 5.094 ✓ 5.117 ✓ 5.274 ✓ 5.26  ✓ 5.105 ✓ 4.898 ✓ 5.269 ✓ 5.149 ✓ 5.24  ✓ 5.186 ✓ 5.095 13 5.158 0.082 ✓
86 ParAAM-C-state 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.306 ✓ 5.151 ✓ 5.228 ✓ 5.105 ✓ 5.129 ✓ 5.189 ✓ 5.208 ✓ 5.227 ✓ 5.151 ✓ 5.175 ✓ 5.255 ✓ 5.195 ✓ 4.996 13 5.178 0.056 ✓
87 ParAAM-C-set 1 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 15.309 ✓ 14.938 ✓ 14.765 ✓ 15.016 ✓ 14.935 ✓ 15.048 ✓ 14.945 ✓ 15.048 ✓ 14.858 ✓ 15.048 ✓ 15.045 ✓ 15.026 ✓ 15.047 13 15.002 0.088 ✓
88 ParAAM-C-set 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 8.586 ✓ 8.598 ✓ 8.533 ✓ 8.587 ✓ 8.517 ✓ 8.564 ✓ 8.485 ✓ 8.635 ✓ 8.589 ✓ 8.577 ✓ 8.525 ✓ 8.647 ✓ 8.595 13 8.572 0.036 ✓
89 ParAAM-C-set 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 6.401 ✓ 6.396 ✓ 6.376 ✓ 6.4   ✓ 6.366 ✓ 6.345 ✓ 6.425 ✓ 6.326 ✓ 6.439 ✓ 6.355 ✓ 6.376 ✓ 6.435 ✓ 6.454 13 6.392 0.032 ✓
90 ParAAM-C-set 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.464 ✓ 5.394 ✓ 5.328 ✓ 5.438 ✓ 5.341 ✓ 5.278 ✓ 5.337 ✓ 5.344 ✓ 5.385 ✓ 5.27  ✓ 5.297 ✓ 5.408 ✓ 5.325 13 5.355 0.049 ✓
91 ParAAM-C-set 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 4.869 ✓ 4.774 ✓ 4.816 ✓ 4.809 ✓ 4.757 ✓ 4.756 ✓ 4.787 ✓ 4.786 ✓ 4.877 ✓ 4.881 ✓ 4.796 ✓ 4.866 ✓ 4.804 13 4.814 0.037 ✓
92 ParAAM-C-set 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 4.746 ✓ 4.73  ✓ 4.729 ✓ 4.726 ✓ 4.667 ✓ 4.765 ✓ 4.804 ✓ 4.645 ✓ 4.681 ✓ 4.714 ✓ 4.686 ✓ 4.755 ✓ 4.778 13 4.725 0.036 ✓
93 ParAAM-C-set 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.055 ✓ 5.279 ✓ 5.237 ✓ 5.114 ✓ 5.184 ✓ 5.07  ✓ 5.129 ✓ 5.046 ✓ 5.064 ✓ 5.061 ✓ 5.03  ✓ 5.061 ✓ 5.057 13 5.107 0.063 ✓
94 ParAAM-C-set 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.817 ✓ 5.815 ✓ 5.986 ✓ 5.83  ✓ 6.03  ✓ 5.885 ✓ 5.895 ✓ 5.877 ✓ 5.969 ✓ 5.896 ✓ 5.835 ✓ 5.99  ✓ 5.887 13 5.901 0.057 ✓
95 ParAAM-C-set 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 6.977 ✓ 6.774 ✓ 6.851 ✓ 6.964 ✓ 6.738 ✓ 6.776 ✓ 6.815 ✓ 6.818 ✓ 6.919 ✓ 6.851 ✓ 6.997 ✓ 7.124 ✓ 6.959 13 6.89  0.093 ✓
96 ParAAM-C-set 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 7.978 ✓ 7.86  ✓ 7.896 ✓ 7.756 ✓ 7.805 ✓ 7.905 ✓ 7.769 ✓ 7.631 ✓ 7.888 ✓ 7.675 ✓ 7.79  ✓ 7.739 ✓ 7.856 13 7.811 0.079 ✓
97 ParAAM-C-set 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 8.704 ✓ 8.695 ✓ 8.818 ✓ 8.836 ✓ 8.62  ✓ 8.766 ✓ 8.668 ✓ 8.739 ✓ 8.729 ✓ 8.705 ✓ 8.76  ✓ 8.74  ✓ 8.555 13 8.718 0.056 ✓
98 ParAAM-C-set 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 8.787 ✓ 8.475 ✓ 8.545 ✓ 8.548 ✓ 8.757 ✓ 8.625 ✓ 8.606 ✓ 8.68  ✓ 8.516 ✓ 8.586 ✓ 8.525 ✓ 8.739 ✓ 8.708 13 8.623 0.086 ✓
99 ParAAM-C-set 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 8.165 ✓ 8.065 ✓ 7.975 ✓ 7.805 ✓ 7.996 ✓ 8.066 ✓ 8.115 ✓ 8.019 ✓ 8.008 ✓ 8.075 ✓ 8.089 ✓ 8.131 ✓ 8.046 13 8.043 0.063 ✓
100 ParAAM-C-set 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 7.513 ✓ 7.515 ✓ 7.296 ✓ 7.465 ✓ 7.346 ✓ 7.336 ✓ 7.289 ✓ 7.435 ✓ 7.436 ✓ 7.276 ✓ 7.438 ✓ 7.611 ✓ 7.563 13 7.424 0.089 ✓
101 ParAAM-C-set 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 6.954 ✓ 7.074 ✓ 6.805 ✓ 7.001 ✓ 7.014 ✓ 6.766 ✓ 6.695 ✓ 7.026 ✓ 6.717 ✓ 7.058 ✓ 6.889 ✓ 7.035 ✓ 6.981 13 6.924 0.115 ✓
102 ParAAM-C-part 1 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 22.285 ✓ 22.065 ✓ 22.079 ✓ 22.016 ✓ 21.896 ✓ 21.929 ✓ 22.264 ✓ 22.07  ✓ 22.131 ✓ 21.855 ✓ 21.956 ✓ 22.2   ✓ 21.998 13 22.057 0.107 ✓
103 ParAAM-C-part 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 11.821 ✓ 11.784 ✓ 11.815 ✓ 11.76  ✓ 11.906 ✓ 11.866 ✓ 11.928 ✓ 11.784 ✓ 11.936 ✓ 11.92  ✓ 11.905 ✓ 12.135 ✓ 11.826 13 11.876 0.073 ✓
104 ParAAM-C-part 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 8.545 ✓ 8.541 ✓ 8.518 ✓ 8.534 ✓ 8.537 ✓ 8.556 ✓ 8.499 ✓ 8.537 ✓ 8.536 ✓ 8.516 ✓ 8.547 ✓ 8.528 ✓ 8.498 13 8.53  0.014 ✓
105 ParAAM-C-part 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 6.686 ✓ 6.636 ✓ 6.731 ✓ 6.664 ✓ 6.659 ✓ 6.624 ✓ 6.616 ✓ 6.466 ✓ 6.636 ✓ 6.67  ✓ 6.698 ✓ 6.624 ✓ 6.628 13 6.641 0.04  ✓
106 ParAAM-C-part 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 5.468 ✓ 5.445 ✓ 5.496 ✓ 5.415 ✓ 5.526 ✓ 5.489 ✓ 5.387 ✓ 5.526 ✓ 5.411 ✓ 5.456 ✓ 5.487 ✓ 5.396 ✓ 5.406 13 5.455 0.041 ✓
107 ParAAM-C-part 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 4.748 ✓ 4.658 ✓ 4.704 ✓ 4.715 ✓ 4.727 ✓ 4.771 ✓ 4.757 ✓ 4.723 ✓ 4.645 ✓ 4.734 ✓ 4.755 ✓ 4.739 ✓ 4.757 13 4.726 0.028 ✓
108 ParAAM-C-part 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 4.249 ✓ 4.199 ✓ 4.274 ✓ 4.221 ✓ 4.114 ✓ 4.266 ✓ 4.124 ✓ 4.208 ✓ 4.281 ✓ 4.226 ✓ 4.195 ✓ 4.058 ✓ 4.219 13 4.203 0.05  ✓
109 ParAAM-C-part 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 3.729 ✓ 3.789 ✓ 3.624 ✓ 3.745 ✓ 3.698 ✓ 3.831 ✓ 3.796 ✓ 3.85  ✓ 3.736 ✓ 3.835 ✓ 3.781 ✓ 3.708 ✓ 3.79  13 3.762 0.052 ✓
110 ParAAM-C-part 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 3.446 ✓ 3.344 ✓ 3.485 ✓ 3.456 ✓ 3.441 ✓ 3.435 ✓ 3.396 ✓ 3.435 ✓ 3.446 ✓ 3.489 ✓ 3.434 ✓ 3.387 ✓ 3.443 13 3.434 0.027 ✓
111 ParAAM-C-part 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 3.135 ✓ 3.176 ✓ 3.236 ✓ 3.196 ✓ 3.19  ✓ 3.178 ✓ 3.165 ✓ 3.175 ✓ 3.196 ✓ 3.189 ✓ 3.199 ✓ 3.098 ✓ 3.144 13 3.175 0.024 ✓
112 ParAAM-C-part 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.887 ✓ 2.847 ✓ 2.794 ✓ 2.8   ✓ 2.888 ✓ 2.836 ✓ 2.837 ✓ 2.839 ✓ 2.89  ✓ 2.836 ✓ 2.81  ✓ 2.868 ✓ 2.777 13 2.839 0.028 ✓
113 ParAAM-C-part 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.65  ✓ 2.586 ✓ 2.62  ✓ 2.64  ✓ 2.674 ✓ 2.614 ✓ 2.669 ✓ 2.647 ✓ 2.655 ✓ 2.679 ✓ 2.661 ✓ 2.585 ✓ 2.62  13 2.639 0.026 ✓
114 ParAAM-C-part 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.614 ✓ 2.535 ✓ 2.508 ✓ 2.565 ✓ 2.555 ✓ 2.54  ✓ 2.474 ✓ 2.578 ✓ 2.524 ✓ 2.505 ✓ 2.527 ✓ 2.546 ✓ 2.499 13 2.536 0.028 ✓
115 ParAAM-C-part 18 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.487 ✓ 2.445 ✓ 2.48  ✓ 2.477 ✓ 2.424 ✓ 2.446 ✓ 2.477 ✓ 2.45  ✓ 2.464 ✓ 2.457 ✓ 2.479 ✓ 2.456 ✓ 2.486 13 2.464 0.016 ✓
116 ParAAM-C-part 20 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 ✓ 2.454 ✓ 2.46  ✓ 2.388 ✓ 2.397 ✓ 2.44  ✓ 2.387 ✓ 2.426 ✓ 2.416 ✓ 2.411 ✓ 2.425 ✓ 2.446 ✓ 2.484 ✓ 2.429 13 2.428 0.022 ✓