Benchmarks on Sergey/jfp/primtest.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 Serenity – AMD Opteron Processor 6376 @ 2.30GHz4 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 243472 6642 1 2439 1 Int 13 10.268 8.519 7.939 7.497 7.582 7.68  7.287 7.432 7.115 7.46  7.814 7.517 7.51  13 7.817 0.504
2 ParAAM-L-SA-state 2 243472 6642 1 2439 1 Int 13 13.455 14.301 14.184 14.081 14.472 14.231 14.482 14.287 14.504 14.336 14.309 14.316 14.282 13 14.249 0.161
3 ParAAM-L-SA-state 3 243472 6642 1 2439 1 Int 13 14.059 13.481 14.106 13.86  13.816 13.908 14.067 13.588 13.777 13.734 13.694 13.913 13.829 13 13.833 0.14 
4 ParAAM-L-SA-state 4 243472 6642 1 2439 1 Int 13 14.864 14.514 15.511 14.83  14.603 14.915 14.616 15.205 14.675 14.371 14.503 15.108 14.954 13 14.821 0.253
5 ParAAM-L-SA-state 5 243472 6642 1 2439 1 Int 13 15.714 15.09  15.054 14.653 14.573 15.437 15.804 14.733 15.013 14.996 14.958 14.691 15.363 13 15.083 0.307
6 ParAAM-L-SA-state 6 243472 6642 1 2439 1 Int 13 15.788 14.966 14.812 15.503 15.523 15.69  15.234 15.225 14.773 15.704 14.928 15.22  15.25  13 15.278 0.279
7 ParAAM-L-SA-state 7 243472 6642 1 2439 1 Int 13 15.911 15.948 15.298 15.1   15.685 14.711 15.401 15.081 15.401 16.173 15.918 15.146 15.63  13 15.493 0.355
8 ParAAM-L-SA-state 8 243472 6642 1 2439 1 Int 13 16.183 15.401 15.925 15.862 15.27  15.023 15.333 15.42  15.555 15.444 15.12  15.632 15.78  13 15.534 0.266
9 ParAAM-L-SA-state 9 243472 6642 1 2439 1 Int 13 15.726 15.418 15.949 15.395 15.363 15.288 15.722 15.214 15.361 15.203 15.677 15.042 14.706 13 15.39  0.238
10 ParAAM-L-SA-state 10 243472 6642 1 2439 1 Int 13 15.528 15.099 15.569 15.276 15.18  15.926 15.811 15.571 15.191 15.053 14.782 14.776 15.136 13 15.3   0.293
11 ParAAM-L-SA-state 12 243472 6642 1 2439 1 Int 13 15.624 15.62  15.005 14.712 15.419 15.193 15.703 15.762 14.44  15.387 14.831 14.663 15.438 13 15.215 0.376
12 ParAAM-L-SA-state 14 243472 6642 1 2439 1 Int 13 15.85  14.969 15.563 15.652 15.996 15.954 15.15  15.634 15.757 15.681 15.543 14.984 15.899 13 15.587 0.266
13 ParAAM-L-SA-state 16 243472 6642 1 2439 1 Int 13 15.818 14.981 14.743 14.362 15.07  15.503 15.213 15.793 15.402 14.976 15.185 15.346 15.619 13 15.232 0.322
14 ParAAM-L-SA-state 18 243472 6642 1 2439 1 Int 13 15.807 15.772 15.073 15.333 15.137 15.151 15.673 15.579 15.803 14.841 15.132 15.02  16.203 13 15.425 0.352
15 ParAAM-L-SA-state 20 243472 6642 1 2439 1 Int 13 15.622 16.296 15.186 15.052 15.742 15.369 15.195 15.263 15.793 15.672 15.459 15.72  15.988 13 15.566 0.288
16 ParAAM-L-SA-state 24 243472 6642 1 2439 1 Int 13 15.67  14.647 15.4   15.859 15.63  15.057 15.888 15.303 14.93  14.693 16.023 15.796 15.894 13 15.445 0.406
17 ParAAM-L-SA-state 28 243472 6642 1 2439 1 Int 13 15.663 15.406 14.852 16.062 15.863 15.522 16.081 15.803 15.328 14.477 16.042 15.91  15.673 13 15.591 0.365
18 ParAAM-L-SA-state 32 243472 6642 1 2439 1 Int 13 15.03  15.367 15.401 15.717 15.546 15.523 16.005 15.484 14.513 14.884 15.384 14.92  14.821 13 15.276 0.341
19 ParAAM-L-SA-state 40 243472 6642 1 2439 1 Int 13 16.001 15.89  15.417 15.622 15.551 15.264 14.87  16.001 15.631 14.509 16.082 14.523 15.371 13 15.441 0.414
20 ParAAM-L-SA-state 48 243472 6642 1 2439 1 Int 13 15.002 14.796 15.411 14.611 15.381 16.112 15.924 15.967 14.688 15.25  14.718 14.604 14.961 13 15.187 0.45 
21 ParAAM-L-SA-state 56 243472 6642 1 2439 1 Int 13 15.469 16.118 16.133 15.498 14.912 14.611 15.069 15.79  15.171 15.12  16.193 15.759 15.602 13 15.496 0.404
22 ParAAM-L-SA-state 64 243472 6642 1 2439 1 Int 13 16.143 15.61  15.664 15.231 15.412 15.072 15.455 14.823 15.631 15.303 15.282 15.198 14.648 13 15.344 0.285
23 ParAAM-L-SA-set 2 243472 6642 1 2439 1 Int 13 13.972 14.218 13.926 13.5   13.841 13.552 13.892 14.231 13.991 14.371 14.246 13.677 14.016 13 13.956 0.208
24 ParAAM-L-SA-set 3 243472 6642 1 2439 1 Int 13 13.933 13.244 13.119 13.062 13.576 13.511 13.474 13.603 13.634 13.348 13.048 13.492 13.668 13 13.439 0.212
25 ParAAM-L-SA-set 4 243472 6642 1 2439 1 Int 13 14.859 14.088 14.691 15.03  14.683 14.074 14.279 14.639 14.897 14.408 14.941 13.543 13.769 13 14.454 0.394
26 ParAAM-L-SA-set 5 243472 6642 1 2439 1 Int 13 14.233 15.12  14.946 13.477 14.751 15.036 14.078 13.976 13.806 13.997 14.95  13.928 13.903 13 14.323 0.49 
27 ParAAM-L-SA-set 6 243472 6642 1 2439 1 Int 13 14.82  13.691 15.395 14.888 14.483 14.202 13.952 15.173 14.768 14.67  14.199 13.858 13.929 13 14.464 0.454
28 ParAAM-L-SA-set 7 243472 6642 1 2439 1 Int 13 14.15  15.653 15.402 14.991 15.239 14.61  14.545 14.523 15.017 15.232 15.5   15.338 15.563 13 15.059 0.387
29 ParAAM-L-SA-set 8 243472 6642 1 2439 1 Int 13 14.94  14.709 14.599 15.263 15.028 14.227 15.343 15.042 14.693 14.492 14.485 15.018 14.644 13 14.806 0.276
30 ParAAM-L-SA-set 9 243472 6642 1 2439 1 Int 13 15.031 14.154 15.209 14.631 13.973 15.188 14.339 14.427 14.803 14.303 14.36  14.692 14.557 13 14.59  0.31 
31 ParAAM-L-SA-set 10 243472 6642 1 2439 1 Int 13 14.072 15.239 15.373 14.376 14.211 13.708 14.428 14.636 14.793 15.196 14.355 14.609 14.312 13 14.562 0.381
32 ParAAM-L-SA-set 12 243472 6642 1 2439 1 Int 13 14.998 14.215 14.793 14.749 14.982 15.06  14.668 14.607 14.906 15.339 15.178 14.01  15.106 13 14.816 0.285
33 ParAAM-L-SA-set 14 243472 6642 1 2439 1 Int 13 15.007 14.874 14.344 14.274 14.752 15.079 15.274 15.041 14.421 14.725 15.347 14.73  15.163 13 14.849 0.284
34 ParAAM-L-SA-set 16 243472 6642 1 2439 1 Int 13 15.031 14.381 14.953 15.068 15.149 15.497 15.42  14.541 14.485 14.675 14.944 15.377 14.988 13 14.962 0.276
35 ParAAM-L-SA-set 18 243472 6642 1 2439 1 Int 13 15.185 14.875 14.597 14.183 14.418 15.241 15.229 15.172 14.313 14.981 14.521 15.173 14.928 13 14.832 0.327
36 ParAAM-L-SA-set 20 243472 6642 1 2439 1 Int 13 15.363 14.084 14.797 15.646 14.997 15.464 15.165 15.182 14.007 14.562 14.978 15.347 14.459 13 14.927 0.419
37 ParAAM-L-SA-set 24 243472 6642 1 2439 1 Int 13 14.712 15.127 14.398 15.135 15.001 14.505 14.751 15.081 15.3   15.353 14.666 14.401 14.09  13 14.809 0.329
38 ParAAM-L-SA-set 28 243472 6642 1 2439 1 Int 13 14.703 13.782 14.249 14.284 14.81  14.699 13.67  14.358 14.902 15.172 14.886 14.54  14.191 13 14.48  0.361
39 ParAAM-L-SA-set 32 243472 6642 1 2439 1 Int 13 15.037 15.001 14.107 14.579 14.801 14.178 14.484 15.381 14.134 14.567 14.129 15.009 14.751 13 14.628 0.341
40 ParAAM-L-SA-set 40 243472 6642 1 2439 1 Int 13 15.186 14.515 15.117 15.539 15.258 14.181 14.266 14.363 14.603 14.626 14.215 14.521 15.062 13 14.727 0.389
41 ParAAM-L-SA-set 48 243472 6642 1 2439 1 Int 13 15.183 14.902 14.334 14.435 15.214 15.662 14.919 13.985 14.723 14.351 14.45  14.75  15.243 13 14.781 0.375
42 ParAAM-L-SA-set 56 243472 6642 1 2439 1 Int 13 15.053 14.991 15.46  15.382 14.828 15.119 14.813 13.967 15.21  14.831 14.445 14.679 14.751 13 14.887 0.291
43 ParAAM-L-SA-set 64 243472 6642 1 2439 1 Int 13 15.371 14.543 14.15  14.581 14.901 14.641 14.823 14.669 14.433 14.811 14.053 15.396 15.123 13 14.73  0.314
44 ParAAM-L-SA-part 2 243472 6642 1 2439 1 Int 13 11.196 10.171 10.068 10.278 8.51  9.27  10.42  10.417 9.249 9.106 8.736 10.097 8.635 13 9.704 0.726
45 ParAAM-L-SA-part 3 243472 6642 1 2439 1 Int 13 11.362 11.4   11.122 10.619 11.414 11.333 11.47  11.575 11.539 11.007 11.973 11.443 11.271 13 11.348 0.214
46 ParAAM-L-SA-part 4 243472 6642 1 2439 1 Int 13 10.212 10.248 10.123 9.884 9.952 9.74  10.413 9.965 10.048 9.957 9.971 10.2   9.868 13 10.045 0.15 
47 ParAAM-L-SA-part 5 243472 6642 1 2439 1 Int 13 9.849 9.26  9.452 9.349 9.882 9.479 9.252 9.761 9.581 9.564 9.699 9.719 9.85  13 9.592 0.186
48 ParAAM-L-SA-part 6 243472 6642 1 2439 1 Int 13 9.551 8.991 8.964 9.376 9.32  9.336 9.292 9.602 9.408 9.35  9.672 9.898 9.426 13 9.399 0.179
49 ParAAM-L-SA-part 7 243472 6642 1 2439 1 Int 13 9.49  9.845 9.284 8.867 8.988 9.159 9.258 9.167 9.017 9.261 9.36  9.1   9.368 13 9.243 0.179
50 ParAAM-L-SA-part 8 243472 6642 1 2439 1 Int 13 9.316 9.456 9.37  9.152 9.475 9.072 9.354 9.15  9.021 9.039 9.456 8.971 8.892 13 9.21  0.18 
51 ParAAM-L-SA-part 9 243472 6642 1 2439 1 Int 13 9.109 9.056 9.093 8.639 9.183 8.505 9.057 8.719 8.935 9.123 8.862 8.931 8.61  13 8.909 0.186
52 ParAAM-L-SA-part 10 243472 6642 1 2439 1 Int 13 9.15  8.382 8.889 8.889 8.792 8.751 8.54  8.702 8.916 8.773 8.946 8.802 8.769 13 8.792 0.129
53 ParAAM-L-SA-part 12 243472 6642 1 2439 1 Int 13 9.424 9.208 9.129 9.33  8.492 8.84  8.556 8.728 8.461 8.858 9.14  8.822 8.572 13 8.889 0.275
54 ParAAM-L-SA-part 14 243472 6642 1 2439 1 Int 13 8.584 8.992 8.607 9.045 8.527 8.677 8.27  8.981 8.352 8.511 8.894 9.125 8.402 13 8.69  0.244
55 ParAAM-L-SA-part 16 243472 6642 1 2439 1 Int 13 8.933 9.24  8.685 9.329 9.219 8.897 8.758 8.289 8.519 8.66  8.647 8.294 8.996 13 8.805 0.274
56 ParAAM-L-SA-part 18 243472 6642 1 2439 1 Int 13 8.69  8.853 8.941 8.67  8.541 8.603 8.962 8.962 8.933 8.88  8.315 8.76  8.709 13 8.755 0.154
57 ParAAM-L-SA-part 20 243472 6642 1 2439 1 Int 13 9.025 8.87  8.861 8.883 8.511 8.578 8.685 8.439 8.181 8.691 8.687 9.039 8.985 13 8.726 0.201
58 ParAAM-L-SA-part 24 243472 6642 1 2439 1 Int 13 8.529 8.384 9.06  8.736 9.07  8.409 8.825 8.249 8.672 9.091 8.672 8.856 8.707 13 8.712 0.21 
59 ParAAM-L-SA-part 28 243472 6642 1 2439 1 Int 13 8.814 8.594 8.699 8.483 8.637 8.719 8.684 8.482 8.637 8.65  8.97  9.291 8.688 13 8.719 0.141
60 ParAAM-L-SA-part 32 243472 6642 1 2439 1 Int 13 8.849 9.154 8.685 8.868 9.1   8.568 8.987 8.57  8.343 8.802 9.147 9.089 8.951 13 8.855 0.202
61 ParAAM-L-SA-part 40 243472 6642 1 2439 1 Int 13 8.771 8.57  8.631 8.416 8.393 8.801 9.147 8.671 8.618 8.755 8.48  8.576 8.973 13 8.677 0.163
62 ParAAM-L-SA-part 48 243472 6642 1 2439 1 Int 13 8.641 8.584 8.83  8.879 9.024 9.104 8.733 8.605 8.429 8.944 8.563 8.677 8.477 13 8.73  0.174
63 ParAAM-L-SA-part 56 243472 6642 1 2439 1 Int 13 8.64  8.998 8.701 8.453 8.699 8.484 8.743 8.721 9.131 8.742 8.816 8.806 8.468 13 8.723 0.138
64 ParAAM-L-SA-part 64 243472 6642 1 2439 1 Int 13 8.603 8.301 8.682 8.487 8.655 8.602 8.455 8.4   8.663 8.452 8.806 8.371 8.519 13 8.538 0.12 
65 ParAAM-C-S-state 2 243472 6642 1 2439 1 Int 13 38.984 29.802 29.652 29.497 28.921 30.435 30.395 31.66  30.961 36.023 31.979 29.447 29.462 13 31.325 2.054
66 ParAAM-C-S-state 3 243472 6642 1 2439 1 Int 13 38.587 35.308 37.911 42.73  33.951 36.254 35.35  38.062 34.279 36.48  41.319 38.882 39.368 13 37.576 2.128
67 ParAAM-C-S-state 4 243472 6642 1 2439 1 Int 13 40.834 34.629 39.542 36.838 35.548 34.183 38.691 37.349 37.841 37.162 36.913 34.459 33.323 13 36.716 1.76 
68 ParAAM-C-S-state 5 243472 6642 1 2439 1 Int 13 38.125 38.796 38.118 38.683 38.18  38.82  38.902 36.682 37.783 40.799 37.161 36.012 37.287 13 38.103 0.86 
69 ParAAM-C-S-state 6 243472 6642 1 2439 1 Int 13 41.759 37.223 39.463 39.044 41.151 41.432 38.95  35.722 38.33  37.579 42.112 38.471 37.885 13 39.163 1.554
70 ParAAM-C-S-state 7 243472 6642 1 2439 1 Int 13 37.672 40.199 39.484 37.621 37.94  41.151 40.08  38.533 35.423 38.021 37.924 35.965 39.423 13 38.418 1.286
71 ParAAM-C-S-state 8 243472 6642 1 2439 1 Int 13 39.536 40.069 41.552 37.612 37.684 39.662 38.014 38.921 38.539 39.952 38.631 36.434 37.081 13 38.745 1.111
72 ParAAM-C-S-state 9 243472 6642 1 2439 1 Int 13 38.095 41.484 38.43  37.928 35.429 36.601 35.829 40.405 40.169 36.767 38.184 36.562 34.001 13 37.683 1.679
73 ParAAM-C-S-state 10 243472 6642 1 2439 1 Int 13 39.147 36.992 39.762 39.067 38.786 36.683 38.856 37.309 36.261 36.987 35.13  39.83  38.32  13 37.933 1.267
74 ParAAM-C-S-state 12 243472 6642 1 2439 1 Int 13 39.942 36.37  37.939 38.558 38.172 35.778 37.282 38.422 38.408 37.778 35.38  38.411 37.319 13 37.674 0.96 
75 ParAAM-C-S-state 14 243472 6642 1 2439 1 Int 13 36.812 38.033 37.71  39.578 37.839 38.128 37.01  34.87  40.478 37.414 38.132 40.066 37.868 13 37.995 0.991
76 ParAAM-C-S-state 16 243472 6642 1 2439 1 Int 13 40.997 37.969 40.421 37.91  37.441 39.053 36.803 34.621 35.739 36.593 36.08  39.661 43.379 13 38.205 1.921
77 ParAAM-C-S-state 18 243472 6642 1 2439 1 Int 13 38.387 37.668 42.239 38.211 39.48  39.932 39.166 36.328 40.168 39.615 37.9   38.323 37.019 13 38.803 1.197
78 ParAAM-C-S-state 20 243472 6642 1 2439 1 Int 13 34.499 36.751 37.473 38.903 37.809 38.442 35.54  36.618 35.228 38.91  37.495 40.602 38.511 13 37.445 1.321
79 ParAAM-C-S-state 24 243472 6642 1 2439 1 Int 13 39.158 38.938 41.952 36.393 38.038 38.038 36.292 37.841 38.942 39.408 36.197 37.241 37.86  13 38.177 1.156
80 ParAAM-C-S-state 28 243472 6642 1 2439 1 Int 13 37.127 34.04  34.66  38.782 37.462 36.62  38.327 37.462 39.061 37.012 36.43  36.332 34.2   13 36.732 1.248
81 ParAAM-C-S-state 32 243472 6642 1 2439 1 Int 13 34.437 37.351 38.477 37.86  39.29  35.843 41.266 38.179 36.75  36.312 33.872 39.901 38.19  13 37.518 1.622
82 ParAAM-C-S-state 40 243472 6642 1 2439 1 Int 13 38.814 39.599 38.282 40.258 36.795 39.714 37.833 39.277 37.778 36.271 41.201 39.016 35.572 13 38.493 1.297
83 ParAAM-C-S-state 48 243472 6642 1 2439 1 Int 13 37.655 37.955 39.918 39.621 40.743 38.907 36.27  40.229 37.664 37.554 39.753 40.015 38.738 13 38.848 1.116
84 ParAAM-C-S-state 56 243472 6642 1 2439 1 Int 13 36.641 35.394 37.995 35.71  37.726 38.015 40.324 40.285 41.579 42.161 35.6   38.601 39.532 13 38.428 1.833
85 ParAAM-C-S-state 64 243472 6642 1 2439 1 Int 13 37.448 37.199 39.909 36.857 36.722 36.967 40.698 39.73  34.166 43.37  37.917 35.528 40.316 13 38.217 1.99 
86 ParAAM-C-S-set 2 243472 6642 1 2439 1 Int 13 16.71  16.459 16.71  16.582 16.73  15.692 16.418 16.445 17.708 17.002 16.195 17     15.921 13 16.582 0.364
87 ParAAM-C-S-set 3 243472 6642 1 2439 1 Int 13 11.561 11.291 11.392 11.965 11.759 12.397 12.255 12.382 11.834 11.429 10.862 11.045 10.927 13 11.623 0.439
88 ParAAM-C-S-set 4 243472 6642 1 2439 1 Int 13 10.599 10.222 10.749 10.309 10.171 11.004 10.212 12.708 10.823 10.377 11.104 11.934 10.96  13 10.859 0.525
89 ParAAM-C-S-set 5 243472 6642 1 2439 1 Int 13 10.406 10.888 10.872 12.29  12.959 11.858 11.69  12.054 11.949 10.129 11.699 12.335 12.822 13 11.688 0.686
90 ParAAM-C-S-set 6 243472 6642 1 2439 1 Int 13 12.855 11.557 13.489 10.801 12.695 11.381 12.92  11.429 13.964 10.798 10.101 14.665 11.911 13 12.197 1.139
91 ParAAM-C-S-set 7 243472 6642 1 2439 1 Int 13 13.002 11.551 16.006 12.374 13.208 11.111 11.422 12.216 13.523 11.874 11.747 14.336 12.952 13 12.717 1.034
92 ParAAM-C-S-set 8 243472 6642 1 2439 1 Int 13 15.381 14.121 13.692 13.792 13.351 14.73  12.854 15.289 14.961 14.04  13.488 14.125 14.111 13 14.149 0.579
93 ParAAM-C-S-set 9 243472 6642 1 2439 1 Int 13 14.853 14.546 15.134 13.812 13.961 14.26  14.591 14.472 14.991 14.633 15.634 14.067 13.711 13 14.513 0.43 
94 ParAAM-C-S-set 10 243472 6642 1 2439 1 Int 13 13.54  15.197 12.828 14.09  15.179 14.531 16.581 14.166 14.504 14.712 12.712 13.79  13.26  13 14.238 0.812
95 ParAAM-C-S-set 12 243472 6642 1 2439 1 Int 13 16.31  13.428 15.425 15.102 16.088 13.743 13.382 16.117 14.642 14.534 14.005 14.941 13.85  13 14.736 0.857
96 ParAAM-C-S-set 14 243472 6642 1 2439 1 Int 13 14.115 13.235 14.308 13.392 14.017 16.487 15.249 13.48  14.081 12.712 14.47  14.883 13.004 13 14.11  0.746
97 ParAAM-C-S-set 16 243472 6642 1 2439 1 Int 13 13.23  12.391 15.271 14.819 13.471 13.924 13.629 14.935 15.583 13.697 13.103 14.986 15.542 13 14.199 0.915
98 ParAAM-C-S-set 18 243472 6642 1 2439 1 Int 13 13.598 14.681 15.676 13.099 12.94  15.426 14.057 15.47  15.192 14.081 15.2   13.893 15.524 13 14.526 0.844
99 ParAAM-C-S-set 20 243472 6642 1 2439 1 Int 13 15.815 15.232 14.37  14.673 16.084 15.032 14.94  16.803 12.883 12.726 14.198 13.832 15.01  13 14.738 0.884
100 ParAAM-C-S-set 24 243472 6642 1 2439 1 Int 13 15.988 15.013 12.961 15.016 14.028 12.79  16.189 14.259 13.479 14.4   13.79  14.321 14.611 13 14.373 0.766
101 ParAAM-C-S-set 28 243472 6642 1 2439 1 Int 13 14.605 14.616 13.65  16.258 11.759 14.778 15.781 15.562 14.717 14.213 13.731 13.901 15.31  13 14.529 0.83 
102 ParAAM-C-S-set 32 243472 6642 1 2439 1 Int 13 14.079 15.536 14.978 15.5   14.314 15.454 12.98  14.562 13.989 12.93  15.222 13.006 13.856 13 14.339 0.803
103 ParAAM-C-S-set 40 243472 6642 1 2439 1 Int 13 16.05  15.268 13.825 14.203 13.519 13.789 14.809 14.931 12.378 13.437 14.118 13.823 15.189 13 14.257 0.763
104 ParAAM-C-S-set 48 243472 6642 1 2439 1 Int 13 15.568 11.8   17.334 15.336 14.724 14.561 13.84  14.125 13.778 13.567 16.1   13.22  14.422 13 14.49  1.028
105 ParAAM-C-S-set 56 243472 6642 1 2439 1 Int 13 13.799 15.106 14.202 13.941 13.452 14.198 13.597 14.387 11.802 14.579 13.193 14.292 11.244 13 13.676 0.784
106 ParAAM-C-S-set 64 243472 6642 1 2439 1 Int 13 14.14  13.553 14.43  13.259 15.42  11.339 12.668 13.483 13.775 13.439 11.911 15.079 14.684 13 13.629 0.885
107 ParAAM-C-S-part 2 243472 6642 1 2439 1 Int 13 8.623 9.44  8.741 8.171 8.611 8.317 8.23  7.713 8.2   8.791 8.62  8.609 7.775 13 8.449 0.352
108 ParAAM-C-S-part 3 243472 6642 1 2439 1 Int 13 5.868 5.488 5.002 5.01  4.659 5.677 5.574 5.67  5.412 5.214 5.22  4.198 4.721 13 5.209 0.377
109 ParAAM-C-S-part 4 243472 6642 1 2439 1 Int 13 3.792 3.514 3.21  3.211 3.469 3.399 3.47  3.038 3.513 2.899 3.129 3.708 3.789 13 3.396 0.229
110 ParAAM-C-S-part 5 243472 6642 1 2439 1 Int 13 3.394 3.268 2.962 2.581 3.53  3.039 2.891 3.238 3.095 3.101 2.648 2.604 2.575 13 2.994 0.262
111 ParAAM-C-S-part 6 243472 6642 1 2439 1 Int 13 2.893 2.702 2.654 2.372 2.677 2.312 2.879 2.691 2.54  2.558 2.21  2.596 2.713 13 2.6   0.155
112 ParAAM-C-S-part 7 243472 6642 1 2439 1 Int 13 2.472 2.102 2.236 2.221 2.152 1.85  2.219 2.289 2.323 2.33  2.574 2.429 2.05  13 2.25  0.141
113 ParAAM-C-S-part 8 243472 6642 1 2439 1 Int 13 2.264 2.141 2.149 2.325 1.901 1.917 2.098 1.852 1.921 1.98  2.115 2.133 1.984 13 2.06  0.124
114 ParAAM-C-S-part 9 243472 6642 1 2439 1 Int 13 2.161 1.918 1.871 1.91  1.808 1.937 1.791 1.941 1.996 2.111 2.032 1.735 1.952 13 1.936 0.089
115 ParAAM-C-S-part 10 243472 6642 1 2439 1 Int 13 1.966 1.98  1.669 2.035 1.882 1.891 1.791 1.75  1.758 1.867 1.89  1.853 1.77  13 1.854 0.082
116 ParAAM-C-S-part 12 243472 6642 1 2439 1 Int 13 1.768 1.787 1.785 1.703 1.711 1.75  1.781 1.642 1.636 1.679 1.55  1.566 1.838 13 1.707 0.072
117 ParAAM-C-S-part 14 243472 6642 1 2439 1 Int 13 1.772 1.711 1.659 1.63  1.7   1.529 1.632 1.591 1.476 1.607 1.613 1.539 1.684 13 1.626 0.062
118 ParAAM-C-S-part 16 243472 6642 1 2439 1 Int 13 1.719 1.649 1.49  1.5   1.599 1.668 1.522 1.694 1.605 1.672 1.474 1.533 1.517 13 1.588 0.076
119 ParAAM-C-S-part 18 243472 6642 1 2439 1 Int 13 1.732 1.555 1.522 1.588 1.591 1.588 1.547 1.549 1.613 1.498 1.681 1.558 1.601 13 1.586 0.044
120 ParAAM-C-S-part 20 243472 6642 1 2439 1 Int 13 1.512 1.519 1.58  1.519 1.566 1.722 1.491 1.59  1.611 1.531 1.51  1.62  1.46  13 1.556 0.054
121 ParAAM-C-S-part 24 243472 6642 1 2439 1 Int 13 1.732 1.732 1.621 1.792 1.625 1.622 1.778 1.641 1.521 1.65  1.752 1.638 1.519 13 1.663 0.072
122 ParAAM-C-S-part 28 243472 6642 1 2439 1 Int 13 1.85  1.904 1.66  1.621 1.697 1.618 1.677 1.718 1.794 1.809 1.78  1.711 1.692 13 1.733 0.072
123 ParAAM-C-S-part 32 243472 6642 1 2439 1 Int 13 1.901 1.825 1.852 2.11  1.793 1.747 1.792 1.841 1.968 1.993 1.758 1.81  1.862 13 1.865 0.078
124 ParAAM-C-S-part 40 243472 6642 1 2439 1 Int 13 1.95  2.012 2.089 1.952 1.981 2.088 2.093 2.013 2.272 2.08  2.16  2.011 2.054 13 2.058 0.067
125 ParAAM-C-S-part 48 243472 6642 1 2439 1 Int 13 2.431 2.386 2.126 2.102 2.293 2.268 2.019 2.159 2.12  2.302 2.071 1.998 2.24  13 2.194 0.117
126 ParAAM-C-S-part 56 243472 6642 1 2439 1 Int 13 2.362 2.589 1.993 2.135 2.112 2.505 2.17  2.02  2.21  2.141 2.429 2.383 2.216 13 2.251 0.156
127 ParAAM-C-S-part 64 243472 6642 1 2439 1 Int 13 2.832 2.405 2.571 2.541 2.3   2.383 2.435 2.248 2.363 2.489 2.438 2.262 2.393 13 2.435 0.107
128 ParAAM-C-state 1 243472 6642 1 2439 1 Int 13 5.85  5.351 4.852 5.331 4.894 5.118 5.051 5.351 4.56  4.821 5.19  5.042 4.48  13 5.069 0.274
129 ParAAM-C-state 2 243472 6642 1 2439 1 Int 13 3.4   3.811 2.829 3.45  3.602 3.469 3.838 3.048 2.858 3.102 3.413 3.738 3.619 13 3.398 0.27 
130 ParAAM-C-state 3 243472 6642 1 2439 1 Int 13 3.544 3.48  3.538 3.552 3.488 3.441 3.522 3.647 3.659 3.478 3.431 3.655 3.541 13 3.537 0.058
131 ParAAM-C-state 4 243472 6642 1 2439 1 Int 13 3.138 3.243 3.423 3.409 3.25  3.095 3.311 3.473 3.323 3.171 3.298 3.338 3.254 13 3.286 0.087
132 ParAAM-C-state 5 243472 6642 1 2439 1 Int 13 3.505 3.332 3.278 3.284 3.329 3.093 3.3   3.272 3.142 3.097 3.129 3.112 3.379 13 3.25  0.104
133 ParAAM-C-state 6 243472 6642 1 2439 1 Int 13 3.351 3.129 3.291 3.26  3.227 3.341 3.421 3.121 3.166 3.404 3.011 3.255 3.149 13 3.24  0.098
134 ParAAM-C-state 7 243472 6642 1 2439 1 Int 13 3.307 3.099 3.25  3.01  3.157 3.144 3.108 3.201 3.057 2.778 3.181 3.302 3.129 13 3.133 0.094
135 ParAAM-C-state 8 243472 6642 1 2439 1 Int 13 3.36  3.16  3.072 2.889 2.899 3.117 2.878 3.139 2.88  3.086 3.113 3.103 3.042 13 3.057 0.107
136 ParAAM-C-state 9 243472 6642 1 2439 1 Int 13 3.263 2.75  2.84  2.999 3.11  3.032 3.02  3.189 2.805 3.011 2.846 3.069 2.985 13 2.994 0.114
137 ParAAM-C-state 10 243472 6642 1 2439 1 Int 13 3.29  2.887 3.182 2.648 2.86  2.723 2.775 2.808 2.81  2.935 2.727 2.77  2.801 13 2.863 0.13 
138 ParAAM-C-state 12 243472 6642 1 2439 1 Int 13 2.965 2.852 2.905 2.906 2.693 2.86  2.597 2.808 2.75  2.804 2.821 2.729 2.78  13 2.805 0.074
139 ParAAM-C-state 14 243472 6642 1 2439 1 Int 13 2.986 2.831 2.783 2.658 2.643 2.522 2.829 2.641 2.674 2.689 2.643 2.792 2.596 13 2.714 0.1  
140 ParAAM-C-state 16 243472 6642 1 2439 1 Int 13 3.17  2.841 2.702 2.789 2.754 2.774 2.66  2.873 2.631 2.702 2.572 2.928 2.651 13 2.773 0.113
141 ParAAM-C-state 18 243472 6642 1 2439 1 Int 13 2.993 2.911 2.902 2.903 2.854 2.804 2.947 2.888 2.689 3.081 2.961 2.663 2.861 13 2.881 0.083
142 ParAAM-C-state 20 243472 6642 1 2439 1 Int 13 3.178 2.839 2.81  2.988 2.876 2.829 3.022 2.991 2.8   3.075 2.966 2.961 3.081 13 2.955 0.096
143 ParAAM-C-state 24 243472 6642 1 2439 1 Int 13 3.404 2.923 3.11  3.061 2.99  2.853 2.971 3.171 2.96  3.071 2.979 2.932 3.048 13 3.037 0.099
144 ParAAM-C-state 28 243472 6642 1 2439 1 Int 13 3.362 2.981 3.09  3.204 3.002 3.187 3.454 2.939 2.869 2.94  2.983 2.937 2.939 13 3.068 0.147
145 ParAAM-C-state 32 243472 6642 1 2439 1 Int 13 3.11  3.448 2.958 3.258 3.261 3.044 3.076 3.306 3.131 2.971 2.911 3.072 3.138 13 3.13  0.118
146 ParAAM-C-state 40 243472 6642 1 2439 1 Int 13 3.238 3.064 3.137 3.429 3.151 3.168 2.991 3.247 3.248 3.416 3.213 3.182 3.063 13 3.196 0.095
147 ParAAM-C-state 48 243472 6642 1 2439 1 Int 13 3.565 3.194 3.029 3.051 3.386 3.417 3.193 3.129 3.118 3.02  3.161 3.118 3.339 13 3.209 0.134
148 ParAAM-C-state 56 243472 6642 1 2439 1 Int 13 3.395 3.111 3.391 3.189 3.259 3.423 3.529 3.084 3.187 3.244 2.92  3.349 3.165 13 3.25  0.13 
149 ParAAM-C-state 64 243472 6642 1 2439 1 Int 13 3.572 3.287 3.019 3.202 3.03  3.071 3.466 3.332 3.251 3.09  3.353 3.09  3.028 13 3.215 0.15 
150 ParAAM-C-set 1 243472 6642 1 2439 1 Int 13 5.801 6.053 5.711 5.309 5.203 5.134 4.739 5.811 5.369 5.35  5.152 4.83  5.094 13 5.35  0.306
151 ParAAM-C-set 2 243472 6642 1 2439 1 Int 13 3.518 2.88  3.02  3.279 3.253 2.917 2.927 3.15  3.17  3.038 3.022 3.009 2.797 13 3.075 0.153
152 ParAAM-C-set 3 243472 6642 1 2439 1 Int 13 2.465 2.341 2.841 2.673 2.399 2.719 2.35  2.214 2.496 2.11  2.208 2.45  2.548 13 2.447 0.163
153 ParAAM-C-set 4 243472 6642 1 2439 1 Int 13 2.8   2.57  2.52  2.636 2.373 2.531 2.4   2.831 2.531 2.62  2.466 2.407 2.212 13 2.531 0.124
154 ParAAM-C-set 5 243472 6642 1 2439 1 Int 13 2.6   2.543 2.652 2.539 2.409 2.473 2.5   2.569 2.353 2.359 2.363 2.518 2.459 13 2.487 0.078
155 ParAAM-C-set 6 243472 6642 1 2439 1 Int 13 2.608 2.45  2.201 2.201 2.379 2.342 2.471 2.441 2.288 2.439 2.483 2.271 2.43  13 2.385 0.096
156 ParAAM-C-set 7 243472 6642 1 2439 1 Int 13 2.422 2.382 2.38  2.19  2.16  2.18  2.134 2.14  2.262 2.401 2.192 2.159 2.142 13 2.242 0.098
157 ParAAM-C-set 8 243472 6642 1 2439 1 Int 13 2.353 2.452 2.297 2.438 2.17  2.159 2.27  2.421 2.497 2.368 2.252 2.241 2.228 13 2.319 0.095
158 ParAAM-C-set 9 243472 6642 1 2439 1 Int 13 2.619 2.47  2.509 2.269 2.443 2.273 2.181 2.436 2.502 2.364 2.38  2.396 2.5   13 2.411 0.093
159 ParAAM-C-set 10 243472 6642 1 2439 1 Int 13 2.699 2.659 2.329 2.314 2.319 2.365 2.371 2.537 2.53  2.528 2.722 2.35  2.289 13 2.462 0.139
160 ParAAM-C-set 12 243472 6642 1 2439 1 Int 13 3.019 2.57  2.492 2.552 2.593 2.556 2.689 2.561 2.54  2.43  2.582 2.559 2.691 13 2.602 0.091
161 ParAAM-C-set 14 243472 6642 1 2439 1 Int 13 2.872 2.649 2.505 2.471 2.722 2.646 2.431 2.527 2.568 2.733 2.609 2.441 2.444 13 2.586 0.11 
162 ParAAM-C-set 16 243472 6642 1 2439 1 Int 13 2.933 2.49  2.759 2.633 2.585 2.838 2.5   2.732 2.514 2.798 2.561 2.802 2.61  13 2.673 0.126
163 ParAAM-C-set 18 243472 6642 1 2439 1 Int 13 2.778 3.171 2.69  2.49  2.529 2.668 2.63  2.827 2.492 2.652 2.878 2.62  2.794 13 2.709 0.139
164 ParAAM-C-set 20 243472 6642 1 2439 1 Int 13 2.758 2.852 2.639 2.602 2.571 2.619 2.961 2.569 2.682 2.621 2.609 2.879 2.66  13 2.694 0.104
165 ParAAM-C-set 24 243472 6642 1 2439 1 Int 13 3.07  2.765 3.098 2.683 2.745 2.615 2.963 2.703 3.08  2.752 2.812 2.592 2.804 13 2.822 0.142
166 ParAAM-C-set 28 243472 6642 1 2439 1 Int 13 3.139 2.939 2.978 2.732 2.797 2.9   2.772 2.788 3.095 2.734 2.741 2.63  3.115 13 2.874 0.142
167 ParAAM-C-set 32 243472 6642 1 2439 1 Int 13 3.049 3.14  2.762 3.023 2.796 2.826 2.91  2.742 2.866 2.9   2.75  2.71  2.948 13 2.879 0.108
168 ParAAM-C-set 40 243472 6642 1 2439 1 Int 13 3.169 2.968 2.899 2.915 3.06  2.849 2.853 3.042 2.809 2.849 2.849 3.131 2.865 13 2.943 0.101
169 ParAAM-C-set 48 243472 6642 1 2439 1 Int 13 3.285 2.791 2.931 2.971 2.848 2.931 2.978 2.932 2.904 2.841 2.962 3.051 2.959 13 2.953 0.075
170 ParAAM-C-set 56 243472 6642 1 2439 1 Int 13 2.902 3.312 3.032 2.859 2.721 2.983 2.901 2.832 2.74  2.912 3.095 2.821 2.758 13 2.913 0.118
171 ParAAM-C-set 64 243472 6642 1 2439 1 Int 13 2.853 2.922 3.191 3.018 3.142 2.83  2.959 3.281 2.852 2.863 2.878 3.182 2.718 13 2.976 0.144
172 ParAAM-C-part 1 243472 6642 1 2439 1 Int 13 7.8   8.739 8.438 8.012 7.689 8.25  7.709 8.099 7.93  8.069 7.759 7.912 7.718 13 8.01  0.238
173 ParAAM-C-part 2 243472 6642 1 2439 1 Int 13 4.279 4.905 4.353 4.51  3.791 3.811 4.302 3.899 4.711 4.393 4.462 4.291 4.691 13 4.338 0.255
174 ParAAM-C-part 3 243472 6642 1 2439 1 Int 13 2.971 3.254 3.156 3.059 2.98  3.13  3.202 3.669 3.318 3.243 3.028 2.97  2.992 13 3.152 0.143
175 ParAAM-C-part 4 243472 6642 1 2439 1 Int 13 2.48  2.532 2.331 2.868 2.8   2.43  2.999 2.403 2.392 2.292 2.839 2.566 2.692 13 2.586 0.195
176 ParAAM-C-part 5 243472 6642 1 2439 1 Int 13 2.339 1.868 2.396 2.315 2.402 2.078 2.472 2.321 2.034 2.1   2.319 2.191 2.37  13 2.247 0.148
177 ParAAM-C-part 6 243472 6642 1 2439 1 Int 13 1.959 1.922 1.941 1.957 1.789 1.909 2.034 2.094 2.04  1.961 1.763 2.019 2.058 13 1.957 0.071
178 ParAAM-C-part 7 243472 6642 1 2439 1 Int 13 1.83  1.81  1.803 1.691 2.153 1.66  2.012 2.062 1.788 1.911 1.791 1.7   1.822 13 1.849 0.114
179 ParAAM-C-part 8 243472 6642 1 2439 1 Int 13 1.586 1.721 1.71  1.654 1.9   1.827 1.608 1.625 1.611 1.802 1.614 2.009 1.707 13 1.721 0.101
180 ParAAM-C-part 9 243472 6642 1 2439 1 Int 13 1.75  1.702 1.629 1.701 1.58  1.637 1.529 1.604 1.604 1.468 1.557 1.609 1.496 13 1.605 0.061
181 ParAAM-C-part 10 243472 6642 1 2439 1 Int 13 1.627 1.59  1.552 1.48  1.498 1.623 1.733 1.616 1.501 1.599 1.622 1.722 1.522 13 1.591 0.062
182 ParAAM-C-part 12 243472 6642 1 2439 1 Int 13 1.522 1.501 1.422 1.407 1.481 1.479 1.441 1.319 1.575 1.582 1.468 1.49  1.447 13 1.472 0.05 
183 ParAAM-C-part 14 243472 6642 1 2439 1 Int 13 1.438 1.507 1.58  1.361 1.373 1.331 1.458 1.611 1.584 1.448 1.394 1.441 1.491 13 1.463 0.071
184 ParAAM-C-part 16 243472 6642 1 2439 1 Int 13 1.333 1.367 1.422 1.422 1.423 1.348 1.439 1.532 1.4   1.422 1.381 1.409 1.428 13 1.41  0.034
185 ParAAM-C-part 18 243472 6642 1 2439 1 Int 13 1.544 1.511 1.443 1.488 1.44  1.551 1.474 1.653 1.451 1.494 1.621 1.311 1.451 13 1.495 0.062
186 ParAAM-C-part 20 243472 6642 1 2439 1 Int 13 1.614 1.458 1.442 1.433 1.51  1.421 1.449 1.343 1.528 1.37  1.449 1.593 1.431 13 1.465 0.059
187 ParAAM-C-part 24 243472 6642 1 2439 1 Int 13 1.462 1.496 1.791 1.461 1.522 1.539 1.44  1.538 1.598 1.584 1.478 1.671 1.451 13 1.541 0.074
188 ParAAM-C-part 28 243472 6642 1 2439 1 Int 13 1.755 1.645 1.79  1.632 1.52  1.728 1.796 1.684 1.611 1.582 1.474 1.57  1.549 13 1.641 0.085
189 ParAAM-C-part 32 243472 6642 1 2439 1 Int 13 1.692 1.882 1.671 1.603 1.642 1.725 1.847 1.678 1.68  1.668 1.739 1.799 1.622 13 1.711 0.067
190 ParAAM-C-part 40 243472 6642 1 2439 1 Int 13 1.702 1.918 1.796 1.838 1.711 1.717 1.719 1.738 1.801 1.951 1.779 1.791 1.93  13 1.799 0.068
191 ParAAM-C-part 48 243472 6642 1 2439 1 Int 13 1.734 1.713 1.713 1.838 1.809 1.812 1.732 1.75  1.69  1.768 1.979 1.784 1.946 13 1.79  0.067
192 ParAAM-C-part 56 243472 6642 1 2439 1 Int 13 1.803 1.735 1.762 1.731 1.772 1.938 1.791 1.76  1.813 1.892 1.831 1.821 1.867 13 1.809 0.047
193 ParAAM-C-part 64 243472 6642 1 2439 1 Int 13 2.032 1.778 1.721 2.035 1.751 1.793 1.865 1.932 1.751 1.802 1.897 1.922 1.71  13 1.845 0.094