Resumed benchmarks on OPi/linear_10000.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 (3 firsts skipped) – Manually corrected one repetition of SeqAAMLS that causes StackOverflowError (see final report for explanations) (time in seconds, computed on Bertha – Intel Xeon CPU E5-2637 v3 @ 3.50GHz – 2 processors × 4 cores × 2 by Hyper-Threading – Java GraalVM 19.1.1)
  Machine p β # initial chain # states # error states # error values # final states # final values Final values # words # ! # # states /s Ideal time Average time Time error Time min Time max Ideal abstract speedup Chain abstract speedup Abstract speedup ideal weighted Abstract speedup chain weighted Average speedup Speedup error Speedup min Speedup max Ideal abstract efficiency Chain abstract efficiency Average efficiency Efficiency error Efficiency min Efficiency max Minimal abstract overhead Chain abstract overhead Average overhead Overhead error Overhead min Overhead max
1 SeqAAMLS 1 1     30001 30001 0 0 1 1 Int 20000 0 10 9220.441 3.254 3.254 0.132 3.099 3.499 1     1     1.001 1.001 1.001 0.04  0.93  1.05  1     1     1     0     1     1     0     0     0     0     0     0    
2 ParAAM-L-SA-state 2 1     30001 30001 0 0 1 1 Int 20000 0 10 4205.638 1.627 7.134 0.265 6.669 7.409 2     1     0.456 0.913 0.456 0.017 0.439 0.488 1     0.5   0.228 0     0.228 0.228 0     3.254 11.013 0     11.013 11.013
3 ParAAM-L-SA-state 3 1     30001 30001 0 0 1 1 Int 20000 0 10 4167.334 1.085 7.199 0.106 7.018 7.352 3     1     0.452 1.356 0.452 0.007 0.443 0.464 1     0.333 0.151 0     0.151 0.151 0     6.507 18.344 0     18.344 18.344
4 ParAAM-L-SA-state 4 1     30001 30001 0 0 1 1 Int 20000 0 10 4160.742 0.813 7.21  0.154 6.802 7.353 4     1     0.451 1.805 0.451 0.01  0.443 0.478 1     0.25  0.113 0     0.113 0.113 0     9.761 25.588 0     25.588 25.588
5 ParAAM-L-SA-state 5 1     30001 30001 0 0 1 1 Int 20000 0 10 4293.138 0.651 6.988 0.296 6.605 7.559 4.999 1     0.466 2.33  0.466 0.019 0.43  0.493 1     0.2   0.093 0     0.093 0.093 0     13.015 31.687 0     31.687 31.687
6 ParAAM-L-SA-state 6 1     30001 30001 0 0 1 1 Int 20000 0 10 4254.395 0.542 7.052 0.256 6.566 7.389 5.999 1     0.462 2.77  0.462 0.017 0.44  0.496 1     0.167 0.077 0     0.077 0.077 0.001 16.269 39.057 0     39.057 39.057
7 ParAAM-L-SA-state 7 1     30001 30001 0 0 1 1 Int 20000 0 10 4249.589 0.465 7.06  0.297 6.545 7.44  6.999 1     0.461 3.229 0.461 0.02  0.437 0.497 1     0.143 0.066 0     0.066 0.066 0.001 19.522 46.164 0     46.164 46.164
8 ParAAM-L-SA-state 8 1     30001 30001 0 0 1 1 Int 20000 0 10 4157.944 0.407 7.215 0.154 6.853 7.425 7.998 1     0.451 3.608 0.451 0.01  0.438 0.475 1     0.125 0.056 0     0.056 0.056 0.001 22.776 54.469 0     54.469 54.469
9 ParAAM-L-SA-state 9 1     30001 30001 0 0 1 1 Int 20000 0 10 4152.643 0.362 7.225 0.238 6.793 7.524 8.998 1     0.451 4.056 0.451 0.015 0.432 0.479 1     0.111 0.05  0     0.05  0.05  0.001 26.03  61.767 0     61.767 61.767
10 ParAAM-L-SA-state 10 1     30001 30001 0 0 1 1 Int 20000 0 10 4085.409 0.325 7.343 0.108 7.172 7.508 9.997 1     0.443 4.431 0.443 0.007 0.433 0.454 1     0.1   0.044 0     0.044 0.044 0.001 29.284 70.181 0     70.181 70.181
11 ParAAM-L-SA-state 12 1     30001 30001 0 0 1 1 Int 20000 0 10 4129.908 0.271 7.264 0.108 7.148 7.446 11.996 1     0.448 5.375 0.448 0.007 0.437 0.455 1     0.083 0.037 0     0.037 0.037 0.001 35.791 83.918 0     83.918 83.918
12 ParAAM-L-SA-state 14 1     30001 30001 0 0 1 1 Int 20000 0 10 4259.285 0.232 7.044 0.22  6.778 7.345 13.994 1     0.462 6.47  0.462 0.014 0.443 0.48  1     0.071 0.033 0     0.033 0.033 0.001 42.299 95.358 0     95.358 95.358
13 ParAAM-L-SA-state 16 1     30001 30001 0 0 1 1 Int 20000 0 10 4105.447 0.203 7.308 0.142 7.053 7.525 15.992 1     0.446 7.125 0.445 0.009 0.432 0.461 1     0.062 0.028 0     0.028 0.028 0.002 48.806 113.668 0     113.668 113.668
14 ParAAM-L-SA-state 24 1     30001 30001 0 0 1 1 Int 20000 0 10 4186.043 0.136 7.167 0.332 6.452 7.625 23.982 1     0.455 10.908 0.454 0.022 0.427 0.504 0.999 0.042 0.019 0     0.019 0.019 0.002 74.836 168.752 0     168.752 168.752
15 ParAAM-L-SA-state 32 1     30001 30001 0 0 1 1 Int 20000 0 10 4225.836 0.102 7.099 0.361 6.565 7.621 31.967 1     0.459 14.685 0.459 0.023 0.427 0.496 0.999 0.031 0.014 0     0.014 0.014 0.003 100.866 223.928 0     223.928 223.928
16 ParAAM-L-SA-set 2 1     30001 30001 0 0 1 1 Int 20000 0 10 4264.044 1.627 7.036 0.226 6.472 7.312 2     1     0.463 0.925 0.463 0.016 0.445 0.503 1     0.5   0.231 0     0.231 0.231 0     3.254 10.818 0     10.818 10.818
17 ParAAM-L-SA-set 3 1     30001 30001 0 0 1 1 Int 20000 0 10 4314.401 1.085 6.954 0.21  6.584 7.228 3     1     0.468 1.404 0.468 0.014 0.45  0.494 1     0.333 0.156 0     0.156 0.156 0     6.507 17.607 0     17.607 17.607
18 ParAAM-L-SA-set 4 1     30001 30001 0 0 1 1 Int 20000 0 10 4276.409 0.813 7.015 0.148 6.669 7.157 4     1     0.464 1.856 0.464 0.01  0.455 0.488 1     0.25  0.116 0     0.116 0.116 0     9.761 24.808 0     24.808 24.808
19 ParAAM-L-SA-set 5 1     30001 30001 0 0 1 1 Int 20000 0 10 4296.76  0.651 6.982 0.268 6.402 7.317 4.999 1     0.466 2.332 0.466 0.019 0.445 0.508 1     0.2   0.093 0     0.093 0.093 0     13.015 31.657 0     31.657 31.657
20 ParAAM-L-SA-set 6 1     30001 30001 0 0 1 1 Int 20000 0 10 4254.525 0.542 7.052 0.196 6.522 7.257 5.999 1     0.462 2.77  0.462 0.014 0.448 0.499 1     0.167 0.077 0     0.077 0.077 0.001 16.269 39.056 0     39.056 39.056
21 ParAAM-L-SA-set 7 1     30001 30001 0 0 1 1 Int 20000 0 10 4325.132 0.465 6.936 0.248 6.605 7.348 6.999 1     0.469 3.286 0.469 0.017 0.443 0.493 1     0.143 0.067 0     0.067 0.067 0.001 19.522 45.301 0     45.301 45.301
22 ParAAM-L-SA-set 8 1     30001 30001 0 0 1 1 Int 20000 0 10 4497.884 0.407 6.67  0.351 6.268 7.308 7.998 1     0.489 3.908 0.488 0.025 0.445 0.519 1     0.125 0.061 0     0.061 0.061 0.001 22.776 50.106 0     50.106 50.106
23 ParAAM-L-SA-set 9 1     30001 30001 0 0 1 1 Int 20000 0 10 4426.532 0.362 6.778 0.309 6.359 7.35  8.998 1     0.481 4.325 0.481 0.022 0.443 0.512 1     0.111 0.053 0     0.053 0.053 0.001 26.03  57.744 0     57.744 57.744
24 ParAAM-L-SA-set 10 1     30001 30001 0 0 1 1 Int 20000 0 10 4483.485 0.325 6.691 0.273 6.403 7.38  9.997 1     0.487 4.866 0.487 0.019 0.441 0.508 1     0.1   0.049 0     0.049 0.049 0.001 29.284 63.661 0     63.661 63.661
25 ParAAM-L-SA-set 12 1     30001 30001 0 0 1 1 Int 20000 0 10 4369.151 0.271 6.867 0.291 6.521 7.337 11.996 1     0.474 5.691 0.474 0.02  0.443 0.499 1     0.083 0.039 0     0.039 0.039 0.001 35.791 79.145 0     79.145 79.145
26 ParAAM-L-SA-set 14 1     30001 30001 0 0 1 1 Int 20000 0 10 4460.299 0.232 6.726 0.195 6.513 7.136 13.994 1     0.484 6.775 0.484 0.014 0.456 0.5   1     0.071 0.035 0     0.035 0.035 0.001 42.299 90.913 0     90.913 90.913
27 ParAAM-L-SA-set 16 1     30001 30001 0 0 1 1 Int 20000 0 10 4343.723 0.203 6.907 0.227 6.435 7.264 15.992 1     0.472 7.542 0.471 0.016 0.448 0.506 1     0.062 0.029 0     0.029 0.029 0.002 48.806 107.254 0     107.254 107.254
28 ParAAM-L-SA-set 24 1     30001 30001 0 0 1 1 Int 20000 0 10 4259.208 0.136 7.044 0.285 6.672 7.557 23.982 1     0.463 11.095 0.462 0.018 0.431 0.488 0.999 0.042 0.019 0     0.019 0.019 0.002 74.836 165.797 0     165.797 165.797
29 ParAAM-L-SA-set 32 1     30001 30001 0 0 1 1 Int 20000 0 10 4312.406 0.102 6.957 0.308 6.521 7.4   31.967 1     0.469 14.981 0.468 0.021 0.44  0.499 0.999 0.031 0.015 0     0.015 0.015 0.003 100.866 219.367 0     219.367 219.367
30 ParAAM-L-SA-part 2 1     30001 30001 0 0 1 1 Int 20000 0 10 4383.654 1.627 6.844 0.261 6.42  7.375 2     1     0.476 0.952 0.476 0.018 0.441 0.507 1     0.5   0.238 0     0.238 0.238 0     3.254 10.434 0     10.434 10.434
31 ParAAM-L-SA-part 3 1     30001 30001 0 0 1 1 Int 20000 0 10 4585.498 1.085 6.543 0.109 6.333 6.686 3     1     0.497 1.492 0.497 0.008 0.487 0.514 1     0.333 0.166 0     0.166 0.166 0     6.507 16.374 0     16.374 16.374
32 ParAAM-L-SA-part 4 1     30001 30001 0 0 1 1 Int 20000 0 10 4541.736 0.813 6.606 0.124 6.365 6.805 4     1     0.493 1.971 0.493 0.009 0.478 0.511 1     0.25  0.123 0     0.123 0.123 0     9.761 23.169 0     23.169 23.169
33 ParAAM-L-SA-part 5 1     30001 30001 0 0 1 1 Int 20000 0 10 4496.463 0.651 6.672 0.147 6.428 6.901 4.999 1     0.488 2.439 0.488 0.011 0.471 0.506 1     0.2   0.098 0     0.098 0.098 0     13.015 30.107 0     30.107 30.107
34 ParAAM-L-SA-part 6 1     30001 30001 0 0 1 1 Int 20000 0 10 4358.636 0.542 6.883 0.281 6.57  7.325 5.999 1     0.473 2.839 0.473 0.019 0.444 0.495 1     0.167 0.079 0     0.079 0.079 0.001 16.269 38.045 0     38.045 38.045
35 ParAAM-L-SA-part 7 1     30001 30001 0 0 1 1 Int 20000 0 10 4460.956 0.465 6.725 0.216 6.498 7.239 6.999 1     0.484 3.388 0.484 0.015 0.449 0.501 1     0.143 0.069 0     0.069 0.069 0.001 19.522 43.823 0     43.823 43.823
36 ParAAM-L-SA-part 8 1     30001 30001 0 0 1 1 Int 20000 0 10 4407.81  0.407 6.806 0.265 6.365 7.423 7.998 1     0.479 3.827 0.478 0.018 0.438 0.511 1     0.125 0.06  0     0.06  0.06  0.001 22.776 51.197 0     51.197 51.197
37 ParAAM-L-SA-part 9 1     30001 30001 0 0 1 1 Int 20000 0 10 4492.693 0.362 6.678 0.185 6.424 7.148 8.998 1     0.488 4.387 0.487 0.013 0.455 0.507 1     0.111 0.054 0     0.054 0.054 0.001 26.03  56.846 0     56.846 56.846
38 ParAAM-L-SA-part 10 1     30001 30001 0 0 1 1 Int 20000 0 10 4484.635 0.325 6.69  0.256 6.353 7.16  9.997 1     0.487 4.867 0.487 0.018 0.454 0.512 1     0.1   0.049 0     0.049 0.049 0.001 29.284 63.644 0     63.644 63.644
39 ParAAM-L-SA-part 12 1     30001 30001 0 0 1 1 Int 20000 0 10 4439.26  0.271 6.758 0.254 6.333 7.296 11.996 1     0.482 5.782 0.482 0.018 0.446 0.514 1     0.083 0.04  0     0.04  0.04  0.001 35.791 77.844 0     77.844 77.844
40 ParAAM-L-SA-part 14 1     30001 30001 0 0 1 1 Int 20000 0 10 4529.148 0.232 6.624 0.109 6.483 6.885 13.994 1     0.491 6.878 0.491 0.008 0.473 0.502 1     0.071 0.035 0     0.035 0.035 0.001 42.299 89.482 0     89.482 89.482
41 ParAAM-L-SA-part 16 1     30001 30001 0 0 1 1 Int 20000 0 10 4443.757 0.203 6.751 0.09  6.594 6.901 15.992 1     0.482 7.712 0.482 0.006 0.471 0.493 1     0.062 0.03  0     0.03  0.03  0.002 48.806 104.767 0     104.767 104.767
42 ParAAM-L-SA-part 24 1     30001 30001 0 0 1 1 Int 20000 0 10 4474.198 0.136 6.705 0.125 6.485 6.921 23.982 1     0.486 11.648 0.485 0.009 0.47  0.502 0.999 0.042 0.02  0     0.02  0.02  0.002 74.836 157.674 0     157.674 157.674
43 ParAAM-L-SA-part 32 1     30001 30001 0 0 1 1 Int 20000 0 10 4407.3   0.102 6.807 0.166 6.519 7.037 31.967 1     0.479 15.3   0.478 0.012 0.462 0.499 0.999 0.031 0.015 0     0.015 0.015 0.003 100.866 214.574 0     214.574 214.574
44 ParAAM-C-S-state 2 1     30001 30001 0 0 1 1 Int 20000 0 10 7039.728 1.627 4.262 0.072 4.167 4.403 2     1     0.764 1.527 0.764 0.013 0.739 0.781 1     0.5   0.382 0     0.382 0.382 0     3.254 5.27  0     5.27  5.27 
45 ParAAM-C-S-state 3 1     30001 30001 0 0 1 1 Int 20000 0 10 6957.023 1.085 4.312 0.128 4.111 4.551 3     1     0.755 2.265 0.755 0.022 0.715 0.792 1     0.333 0.252 0     0.252 0.252 0     6.507 9.683 0     9.683 9.683
46 ParAAM-C-S-state 4 1     30001 30001 0 0 1 1 Int 20000 0 10 6952.687 0.813 4.315 0.103 4.174 4.508 4     1     0.754 3.017 0.754 0.018 0.722 0.78  1     0.25  0.189 0     0.189 0.189 0     9.761 14.006 0     14.006 14.006
47 ParAAM-C-S-state 5 1     30001 30001 0 0 1 1 Int 20000 0 10 6969.644 0.651 4.305 0.107 4.077 4.423 4.999 1     0.756 3.781 0.756 0.019 0.736 0.798 1     0.2   0.151 0     0.151 0.151 0     13.015 18.269 0     18.269 18.269
48 ParAAM-C-S-state 6 1     30001 30001 0 0 1 1 Int 20000 0 10 6998.305 0.542 4.287 0.086 4.184 4.469 5.999 1     0.759 4.555 0.759 0.015 0.728 0.778 1     0.167 0.126 0     0.126 0.126 0.001 16.269 22.468 0     22.468 22.468
49 ParAAM-C-S-state 7 1     30001 30001 0 0 1 1 Int 20000 0 10 7005.53  0.465 4.282 0.1   4.13  4.463 6.999 1     0.76  5.32  0.76  0.018 0.729 0.788 1     0.143 0.109 0     0.109 0.109 0.001 19.522 26.724 0     26.724 26.724
50 ParAAM-C-S-state 8 1     30001 30001 0 0 1 1 Int 20000 0 10 7081.251 0.407 4.237 0.097 4.026 4.372 7.998 1     0.768 6.146 0.768 0.018 0.744 0.808 1     0.125 0.096 0     0.096 0.096 0.001 22.776 30.64  0     30.64  30.64 
51 ParAAM-C-S-state 9 1     30001 30001 0 0 1 1 Int 20000 0 10 6991.455 0.362 4.291 0.106 4.106 4.48  8.998 1     0.759 6.826 0.758 0.019 0.726 0.792 1     0.111 0.084 0     0.084 0.084 0.001 26.03  35.366 0     35.366 35.366
52 ParAAM-C-S-state 10 1     30001 30001 0 0 1 1 Int 20000 0 10 6957.304 0.325 4.312 0.091 4.175 4.488 9.997 1     0.755 7.547 0.755 0.016 0.725 0.779 1     0.1   0.075 0     0.075 0.075 0.001 29.284 39.868 0     39.868 39.868
53 ParAAM-C-S-state 12 1     30001 30001 0 0 1 1 Int 20000 0 10 7077.64  0.271 4.239 0.08  4.137 4.415 11.996 1     0.768 9.213 0.768 0.014 0.737 0.786 1     0.083 0.064 0     0.064 0.064 0.001 35.791 47.612 0     47.612 47.612
54 ParAAM-C-S-state 14 1     30001 30001 0 0 1 1 Int 20000 0 10 6882.689 0.232 4.359 0.094 4.232 4.508 13.994 1     0.747 10.453 0.747 0.016 0.722 0.769 1     0.071 0.053 0     0.053 0.053 0.001 42.299 57.771 0     57.771 57.771
55 ParAAM-C-S-state 16 1     30001 30001 0 0 1 1 Int 20000 0 10 6872.665 0.203 4.365 0.096 4.252 4.552 15.992 1     0.746 11.929 0.746 0.016 0.715 0.765 1     0.062 0.047 0     0.047 0.047 0.002 48.806 66.59  0     66.59  66.59 
56 ParAAM-C-S-state 24 1     30001 30001 0 0 1 1 Int 20000 0 10 6911.754 0.136 4.341 0.103 4.186 4.53  23.982 1     0.75  17.996 0.75  0.018 0.718 0.777 0.999 0.042 0.031 0     0.031 0.031 0.002 74.836 100.92  0     100.92  100.92 
57 ParAAM-C-S-state 32 1     30001 30001 0 0 1 1 Int 20000 0 10 6977.467 0.102 4.3   0.07  4.211 4.403 31.967 1     0.758 24.219 0.757 0.012 0.739 0.773 0.999 0.031 0.024 0     0.024 0.024 0.003 100.866 134.337 0     134.337 134.337
58 ParAAM-C-S-set 2 1     30001 30001 0 0 1 1 Int 20000 0 10 7032.132 1.627 4.266 0.087 4.162 4.455 2     1     0.763 1.526 0.763 0.015 0.73  0.782 1     0.5   0.381 0     0.381 0.381 0     3.254 5.279 0     5.279 5.279
59 ParAAM-C-S-set 3 1     30001 30001 0 0 1 1 Int 20000 0 10 6990.472 1.085 4.292 0.086 4.087 4.436 3     1     0.758 2.275 0.758 0.015 0.733 0.796 1     0.333 0.253 0     0.253 0.253 0     6.507 9.621 0     9.621 9.621
60 ParAAM-C-S-set 4 1     30001 30001 0 0 1 1 Int 20000 0 10 6987.795 0.813 4.293 0.105 4.131 4.504 4     1     0.758 3.032 0.758 0.018 0.722 0.788 1     0.25  0.189 0     0.189 0.189 0     9.761 13.92  0     13.92  13.92 
61 ParAAM-C-S-set 5 1     30001 30001 0 0 1 1 Int 20000 0 10 7002.587 0.651 4.284 0.06  4.172 4.395 4.999 1     0.76  3.798 0.76  0.011 0.74  0.78  1     0.2   0.152 0     0.152 0.152 0     13.015 18.168 0     18.168 18.168
62 ParAAM-C-S-set 6 1     30001 30001 0 0 1 1 Int 20000 0 10 7057.923 0.542 4.251 0.084 4.152 4.419 5.999 1     0.766 4.594 0.766 0.015 0.736 0.784 1     0.167 0.128 0     0.128 0.128 0.001 16.269 22.25  0     22.25  22.25 
63 ParAAM-C-S-set 7 1     30001 30001 0 0 1 1 Int 20000 0 10 6987.763 0.465 4.293 0.078 4.147 4.431 6.999 1     0.758 5.306 0.758 0.014 0.734 0.785 1     0.143 0.108 0     0.108 0.108 0.001 19.522 26.8   0     26.8   26.8  
64 ParAAM-C-S-set 8 1     30001 30001 0 0 1 1 Int 20000 0 10 7055.149 0.407 4.252 0.103 4.113 4.468 7.998 1     0.766 6.123 0.765 0.018 0.728 0.791 1     0.125 0.096 0     0.096 0.096 0.001 22.776 30.765 0     30.765 30.765
65 ParAAM-C-S-set 9 1     30001 30001 0 0 1 1 Int 20000 0 10 6966.037 0.362 4.307 0.074 4.202 4.438 8.998 1     0.756 6.801 0.756 0.013 0.733 0.774 1     0.111 0.084 0     0.084 0.084 0.001 26.03  35.507 0     35.507 35.507
66 ParAAM-C-S-set 10 1     30001 30001 0 0 1 1 Int 20000 0 10 7057.527 0.325 4.251 0.1   4.096 4.445 9.997 1     0.766 7.656 0.766 0.018 0.732 0.794 1     0.1   0.077 0     0.077 0.077 0.001 29.284 39.255 0     39.255 39.255
67 ParAAM-C-S-set 12 1     30001 30001 0 0 1 1 Int 20000 0 10 6887.15  0.271 4.356 0.178 4.109 4.794 11.996 1     0.748 8.971 0.748 0.029 0.679 0.792 1     0.083 0.062 0     0.062 0.062 0.001 35.791 49.019 0     49.019 49.019
68 ParAAM-C-S-set 14 1     30001 30001 0 0 1 1 Int 20000 0 10 7026.379 0.232 4.27  0.059 4.18  4.372 13.994 1     0.762 10.67  0.762 0.01  0.744 0.778 1     0.071 0.054 0     0.054 0.054 0.001 42.299 56.523 0     56.523 56.523
69 ParAAM-C-S-set 16 1     30001 30001 0 0 1 1 Int 20000 0 10 7025.556 0.203 4.27  0.059 4.119 4.36  15.992 1     0.762 12.192 0.762 0.011 0.746 0.79  1     0.062 0.048 0     0.048 0.048 0.002 48.806 65.071 0     65.071 65.071
70 ParAAM-C-S-set 24 1     30001 30001 0 0 1 1 Int 20000 0 10 6905.18  0.136 4.345 0.116 4.189 4.581 23.982 1     0.75  17.98  0.749 0.02  0.71  0.777 0.999 0.042 0.031 0     0.031 0.031 0.002 74.836 101.019 0     101.019 101.019
71 ParAAM-C-S-set 32 1     30001 30001 0 0 1 1 Int 20000 0 10 6972.353 0.102 4.303 0.095 4.196 4.521 31.967 1     0.757 24.204 0.756 0.016 0.72  0.775 0.999 0.031 0.024 0     0.024 0.024 0.003 100.866 134.437 0     134.437 134.437
72 ParAAM-C-S-part 2 1     30001 30001 0 0 1 1 Int 20000 0 10 7043.978 1.627 4.259 0.116 4.054 4.414 2     1     0.764 1.528 0.764 0.021 0.737 0.803 1     0.5   0.382 0     0.382 0.382 0     3.254 5.264 0     5.264 5.264
73 ParAAM-C-S-part 3 1     30001 30001 0 0 1 1 Int 20000 0 10 7020.935 1.085 4.273 0.062 4.167 4.372 3     1     0.762 2.285 0.762 0.011 0.744 0.781 1     0.333 0.254 0     0.254 0.254 0     6.507 9.565 0     9.565 9.565
74 ParAAM-C-S-part 4 1     30001 30001 0 0 1 1 Int 20000 0 10 6936.125 0.813 4.325 0.118 4.232 4.582 4     1     0.753 3.01  0.753 0.02  0.71  0.769 1     0.25  0.188 0     0.188 0.188 0     9.761 14.048 0     14.048 14.048
75 ParAAM-C-S-part 5 1     30001 30001 0 0 1 1 Int 20000 0 10 6977.081 0.651 4.3   0.09  4.177 4.514 4.999 1     0.757 3.784 0.757 0.016 0.721 0.779 1     0.2   0.151 0     0.151 0.151 0     13.015 18.246 0     18.246 18.246
76 ParAAM-C-S-part 6 1     30001 30001 0 0 1 1 Int 20000 0 10 7031.998 0.542 4.266 0.063 4.177 4.394 5.999 1     0.763 4.576 0.763 0.011 0.741 0.779 1     0.167 0.127 0     0.127 0.127 0.001 16.269 22.344 0     22.344 22.344
77 ParAAM-C-S-part 7 1     30001 30001 0 0 1 1 Int 20000 0 10 6971.213 0.465 4.304 0.109 4.129 4.565 6.999 1     0.756 5.294 0.756 0.019 0.713 0.788 1     0.143 0.108 0     0.108 0.108 0.001 19.522 26.871 0     26.871 26.871
78 ParAAM-C-S-part 8 1     30001 30001 0 0 1 1 Int 20000 0 10 6995.011 0.407 4.289 0.099 4.105 4.425 7.998 1     0.759 6.071 0.759 0.018 0.735 0.793 1     0.125 0.095 0     0.095 0.095 0.001 22.776 31.058 0     31.058 31.058
79 ParAAM-C-S-part 9 1     30001 30001 0 0 1 1 Int 20000 0 10 6935.653 0.362 4.326 0.119 4.082 4.466 8.998 1     0.753 6.772 0.752 0.021 0.728 0.797 1     0.111 0.084 0     0.084 0.084 0.001 26.03  35.677 0     35.677 35.677
80 ParAAM-C-S-part 10 1     30001 30001 0 0 1 1 Int 20000 0 10 6936.891 0.325 4.325 0.207 4.173 4.912 9.997 1     0.753 7.531 0.753 0.033 0.662 0.78  1     0.1   0.075 0     0.075 0.075 0.001 29.284 39.995 0     39.995 39.995
81 ParAAM-C-S-part 12 1     30001 30001 0 0 1 1 Int 20000 0 10 6825.894 0.271 4.395 0.189 4.135 4.767 11.996 1     0.741 8.892 0.741 0.031 0.683 0.787 1     0.083 0.062 0     0.062 0.062 0.001 35.791 49.488 0     49.488 49.488
82 ParAAM-C-S-part 14 1     30001 30001 0 0 1 1 Int 20000 0 10 6997.022 0.232 4.288 0.114 4.067 4.423 13.994 1     0.759 10.628 0.759 0.021 0.736 0.8   1     0.071 0.054 0     0.054 0.054 0.001 42.299 56.774 0     56.774 56.774
83 ParAAM-C-S-part 16 1     30001 30001 0 0 1 1 Int 20000 0 10 6934.901 0.203 4.326 0.064 4.195 4.409 15.992 1     0.753 12.035 0.752 0.011 0.738 0.776 1     0.062 0.047 0     0.047 0.047 0.002 48.806 65.964 0     65.964 65.964
84 ParAAM-C-S-part 24 1     30001 30001 0 0 1 1 Int 20000 0 10 6909.147 0.136 4.342 0.113 4.115 4.494 23.982 1     0.75  17.99  0.75  0.02  0.724 0.791 0.999 0.042 0.031 0     0.031 0.031 0.002 74.836 100.959 0     100.959 100.959
85 ParAAM-C-S-part 32 1     30001 30001 0 0 1 1 Int 20000 0 10 6827.687 0.102 4.394 0.062 4.3   4.507 31.967 1     0.741 23.698 0.741 0.011 0.722 0.757 0.999 0.031 0.023 0     0.023 0.023 0.003 100.866 137.355 0     137.355 137.355
86 ParAAM-C-state 1 1     30001 30001 0 0 1 1 Int 20000 0 10 9007.634 3.254 3.331 0.131 3.167 3.587 1     1     0.978 0.978 0.978 0.037 0.907 1.027 1     1     0.977 0     0.977 0.977 0     0     0.077 0     0.077 0.077
87 ParAAM-C-state 2 1     30001 30001 0 0 1 1 Int 20000 0 10 8233.375 1.627 3.644 0.12  3.514 3.973 2     1     0.893 1.787 0.893 0.028 0.819 0.926 1     0.5   0.446 0     0.446 0.446 0     3.254 4.034 0     4.034 4.034
88 ParAAM-C-state 3 1     30001 30001 0 0 1 1 Int 20000 0 10 8161.41  1.085 3.676 0.137 3.493 3.897 3     1     0.886 2.657 0.886 0.032 0.835 0.932 1     0.333 0.295 0     0.295 0.295 0     6.507 7.774 0     7.774 7.774
89 ParAAM-C-state 4 1     30001 30001 0 0 1 1 Int 20000 0 10 8120.701 0.813 3.694 0.171 3.46  4.042 4     1     0.882 3.527 0.882 0.04  0.805 0.94  1     0.25  0.22  0     0.22  0.22  0     9.761 11.524 0     11.524 11.524
90 ParAAM-C-state 5 1     30001 30001 0 0 1 1 Int 20000 0 10 8292.329 0.651 3.618 0.144 3.439 3.952 4.999 1     0.9   4.5   0.9   0.035 0.823 0.946 1     0.2   0.18  0     0.18  0.18  0     13.015 14.836 0     14.836 14.836
91 ParAAM-C-state 6 1     30001 30001 0 0 1 1 Int 20000 0 10 8204.323 0.542 3.657 0.126 3.46  3.958 5.999 1     0.89  5.342 0.89  0.03  0.822 0.94  1     0.167 0.148 0     0.148 0.148 0.001 16.269 18.687 0     18.687 18.687
92 ParAAM-C-state 7 1     30001 30001 0 0 1 1 Int 20000 0 10 8246.767 0.465 3.638 0.099 3.532 3.874 6.999 1     0.895 6.263 0.895 0.024 0.84  0.921 1     0.143 0.128 0     0.128 0.128 0.001 19.522 22.212 0     22.212 22.212
93 ParAAM-C-state 8 1     30001 30001 0 0 1 1 Int 20000 0 10 8237.791 0.407 3.642 0.173 3.502 4.118 7.998 1     0.895 7.155 0.894 0.039 0.79  0.929 1     0.125 0.112 0     0.112 0.112 0.001 22.776 25.881 0     25.881 25.881
94 ParAAM-C-state 9 1     30001 30001 0 0 1 1 Int 20000 0 10 8240.635 0.362 3.641 0.091 3.533 3.865 8.998 1     0.894 8.046 0.894 0.022 0.842 0.921 1     0.111 0.099 0     0.099 0.099 0.001 26.03  29.512 0     29.512 29.512
95 ParAAM-C-state 10 1     30001 30001 0 0 1 1 Int 20000 0 10 8149.623 0.325 3.681 0.145 3.519 4.027 9.997 1     0.885 8.845 0.885 0.033 0.808 0.925 1     0.1   0.088 0     0.088 0.088 0.001 29.284 33.559 0     33.559 33.559
96 ParAAM-C-state 12 1     30001 30001 0 0 1 1 Int 20000 0 10 8013.086 0.271 3.744 0.182 3.482 4.138 11.996 1     0.87  10.441 0.87  0.041 0.786 0.935 1     0.083 0.072 0     0.072 0.072 0.001 35.791 41.674 0     41.674 41.674
97 ParAAM-C-state 14 1     30001 30001 0 0 1 1 Int 20000 0 10 8037.857 0.232 3.732 0.093 3.563 3.877 13.994 1     0.872 12.208 0.872 0.022 0.839 0.913 1     0.071 0.062 0     0.062 0.062 0.001 42.299 49.001 0     49.001 49.001
98 ParAAM-C-state 16 1     30001 30001 0 0 1 1 Int 20000 0 10 8193.968 0.203 3.661 0.098 3.525 3.888 15.992 1     0.889 14.224 0.889 0.023 0.837 0.923 1     0.062 0.056 0     0.056 0.056 0.002 48.806 55.328 0     55.328 55.328
99 ParAAM-C-state 24 1     30001 30001 0 0 1 1 Int 20000 0 10 8053.739 0.136 3.725 0.1   3.6   3.953 23.982 1     0.874 20.971 0.874 0.023 0.823 0.904 0.999 0.042 0.036 0     0.036 0.036 0.002 74.836 86.149 0     86.149 86.149
100 ParAAM-C-state 32 1     30001 30001 0 0 1 1 Int 20000 0 10 8060.606 0.102 3.722 0.138 3.519 4.05  31.967 1     0.876 27.994 0.875 0.031 0.803 0.925 0.999 0.031 0.027 0     0.027 0.027 0.003 100.866 115.848 0     115.848 115.848
101 ParAAM-C-set 1 1     30001 30001 0 0 1 1 Int 20000 0 10 8833.583 3.254 3.396 0.192 3.183 3.715 1     1     0.96  0.96  0.96  0.054 0.876 1.022 1     1     0.958 0     0.958 0.958 0     0     0.142 0     0.142 0.142
102 ParAAM-C-set 2 1     30001 30001 0 0 1 1 Int 20000 0 10 8291.853 1.627 3.618 0.134 3.354 3.893 2     1     0.9   1.8   0.9   0.033 0.836 0.97  1     0.5   0.45  0     0.45  0.45  0     3.254 3.983 0     3.983 3.983
103 ParAAM-C-set 3 1     30001 30001 0 0 1 1 Int 20000 0 10 8343.834 1.085 3.596 0.143 3.422 3.916 3     1     0.906 2.717 0.906 0.035 0.831 0.951 1     0.333 0.302 0     0.302 0.302 0     6.507 7.533 0     7.533 7.533
104 ParAAM-C-set 4 1     30001 30001 0 0 1 1 Int 20000 0 10 8383.425 0.813 3.579 0.052 3.514 3.66  4     1     0.909 3.637 0.909 0.013 0.889 0.926 1     0.25  0.227 0     0.227 0.227 0     9.761 11.061 0     11.061 11.061
105 ParAAM-C-set 5 1     30001 30001 0 0 1 1 Int 20000 0 10 8048.454 0.651 3.728 0.173 3.492 3.967 4.999 1     0.874 4.369 0.874 0.041 0.82  0.932 1     0.2   0.175 0     0.175 0.175 0     13.015 15.384 0     15.384 15.384
106 ParAAM-C-set 6 1     30001 30001 0 0 1 1 Int 20000 0 10 8268.024 0.542 3.629 0.126 3.466 3.937 5.999 1     0.897 5.383 0.897 0.03  0.826 0.939 1     0.167 0.149 0     0.149 0.149 0.001 16.269 18.518 0     18.518 18.518
107 ParAAM-C-set 7 1     30001 30001 0 0 1 1 Int 20000 0 10 8173.614 0.465 3.67  0.127 3.499 3.878 6.999 1     0.887 6.209 0.887 0.03  0.839 0.93  1     0.143 0.127 0     0.127 0.127 0.001 19.522 22.44  0     22.44  22.44 
108 ParAAM-C-set 8 1     30001 30001 0 0 1 1 Int 20000 0 10 8312.521 0.407 3.609 0.1   3.392 3.725 7.998 1     0.902 7.215 0.902 0.026 0.873 0.959 1     0.125 0.113 0     0.113 0.113 0.001 22.776 25.619 0     25.619 25.619
109 ParAAM-C-set 9 1     30001 30001 0 0 1 1 Int 20000 0 10 8048.087 0.362 3.728 0.15  3.448 3.956 8.998 1     0.874 7.862 0.874 0.036 0.822 0.944 1     0.111 0.097 0     0.097 0.097 0.001 26.03  30.296 0     30.296 30.296
110 ParAAM-C-set 10 1     30001 30001 0 0 1 1 Int 20000 0 10 8165.905 0.325 3.674 0.125 3.448 3.846 9.997 1     0.886 8.861 0.886 0.031 0.846 0.944 1     0.1   0.089 0     0.089 0.089 0.001 29.284 33.486 0     33.486 33.486
111 ParAAM-C-set 12 1     30001 30001 0 0 1 1 Int 20000 0 10 8281.424 0.271 3.623 0.085 3.5   3.766 11.996 1     0.899 10.781 0.898 0.021 0.864 0.93  1     0.083 0.075 0     0.075 0.075 0.001 35.791 40.218 0     40.218 40.218
112 ParAAM-C-set 14 1     30001 30001 0 0 1 1 Int 20000 0 10 8010.308 0.232 3.745 0.132 3.563 4.041 13.994 1     0.87  12.17  0.869 0.03  0.805 0.913 1     0.071 0.062 0     0.062 0.062 0.001 42.299 49.18  0     49.18  49.18 
113 ParAAM-C-set 16 1     30001 30001 0 0 1 1 Int 20000 0 10 8108.887 0.203 3.7   0.128 3.509 3.958 15.992 1     0.88  14.079 0.88  0.03  0.822 0.927 1     0.062 0.055 0     0.055 0.055 0.002 48.806 55.943 0     55.943 55.943
114 ParAAM-C-set 24 1     30001 30001 0 0 1 1 Int 20000 0 10 8236.901 0.136 3.642 0.083 3.511 3.753 23.982 1     0.894 21.446 0.894 0.02  0.867 0.927 0.999 0.042 0.037 0     0.037 0.037 0.002 74.836 84.161 0     84.161 84.161
115 ParAAM-C-set 32 1     30001 30001 0 0 1 1 Int 20000 0 10 8133.737 0.102 3.688 0.171 3.43  4.017 31.967 1     0.884 28.259 0.883 0.041 0.81  0.949 0.999 0.031 0.028 0     0.028 0.028 0.003 100.866 114.777 0     114.777 114.777
116 ParAAM-C-part 1 1     30001 30001 0 0 1 1 Int 20000 0 10 9172.036 3.254 3.271 0.034 3.223 3.331 1     1     0.995 0.995 0.995 0.01  0.977 1.009 1     1     0.995 0     0.995 0.995 0     0     0.017 0     0.017 0.017
117 ParAAM-C-part 2 1     30001 30001 0 0 1 1 Int 20000 0 10 9067.162 1.627 3.309 0.104 3.169 3.562 2     1     0.984 1.968 0.984 0.03  0.914 1.027 1     0.5   0.492 0     0.492 0.492 0     3.254 3.364 0     3.364 3.364
118 ParAAM-C-part 3 1     30001 30001 0 0 1 1 Int 20000 0 10 8985.128 1.085 3.339 0.146 3.147 3.704 3     1     0.975 2.926 0.975 0.041 0.878 1.034 1     0.333 0.325 0     0.325 0.325 0     6.507 6.763 0     6.763 6.763
119 ParAAM-C-part 4 1     30001 30001 0 0 1 1 Int 20000 0 10 9185.765 0.813 3.266 0.044 3.173 3.312 4     1     0.996 3.985 0.996 0.013 0.982 1.026 1     0.25  0.249 0     0.249 0.249 0     9.761 9.81  0     9.81  9.81 
120 ParAAM-C-part 5 1     30001 30001 0 0 1 1 Int 20000 0 10 9143.46  0.651 3.281 0.088 3.204 3.529 4.999 1     0.992 4.96  0.992 0.025 0.922 1.016 1     0.2   0.198 0     0.198 0.198 0     13.015 13.152 0     13.152 13.152
121 ParAAM-C-part 6 1     30001 30001 0 0 1 1 Int 20000 0 10 9194.012 0.542 3.263 0.115 3.13  3.568 5.999 1     0.998 5.986 0.998 0.033 0.912 1.04  1     0.167 0.166 0     0.166 0.166 0.001 16.269 16.325 0     16.325 16.325
122 ParAAM-C-part 7 1     30001 30001 0 0 1 1 Int 20000 0 10 9192.106 0.465 3.264 0.051 3.171 3.341 6.999 1     0.997 6.979 0.997 0.015 0.974 1.026 1     0.143 0.142 0     0.142 0.142 0.001 19.522 19.593 0     19.593 19.593
123 ParAAM-C-part 8 1     30001 30001 0 0 1 1 Int 20000 0 10 8824.366 0.407 3.4   0.16  3.184 3.621 7.998 1     0.958 7.665 0.958 0.045 0.899 1.022 1     0.125 0.12  0     0.12  0.12  0.001 22.776 23.945 0     23.945 23.945
124 ParAAM-C-part 9 1     30001 30001 0 0 1 1 Int 20000 0 10 8993.677 0.362 3.336 0.122 3.184 3.574 8.998 1     0.976 8.784 0.976 0.035 0.91  1.022 1     0.111 0.108 0     0.108 0.108 0.001 26.03  26.768 0     26.768 26.768
125 ParAAM-C-part 10 1     30001 30001 0 0 1 1 Int 20000 0 10 8880.75  0.325 3.378 0.16  3.217 3.734 9.997 1     0.964 9.642 0.964 0.044 0.871 1.011 1     0.1   0.096 0     0.096 0.096 0.001 29.284 30.528 0     30.528 30.528
126 ParAAM-C-part 12 1     30001 30001 0 0 1 1 Int 20000 0 10 9017.868 0.271 3.327 0.071 3.233 3.481 11.996 1     0.979 11.739 0.978 0.02  0.935 1.006 1     0.083 0.082 0     0.082 0.082 0.001 35.791 36.668 0     36.668 36.668
127 ParAAM-C-part 14 1     30001 30001 0 0 1 1 Int 20000 0 10 8690.432 0.232 3.452 0.158 3.237 3.643 13.994 1     0.944 13.209 0.944 0.044 0.893 1.005 1     0.071 0.067 0     0.067 0.067 0.001 42.299 45.077 0     45.077 45.077
128 ParAAM-C-part 16 1     30001 30001 0 0 1 1 Int 20000 0 10 8995.958 0.203 3.335 0.077 3.225 3.49  15.992 1     0.976 15.615 0.976 0.022 0.932 1.009 1     0.062 0.061 0     0.061 0.061 0.002 48.806 50.105 0     50.105 50.105
129 ParAAM-C-part 24 1     30001 30001 0 0 1 1 Int 20000 0 10 8699.51  0.136 3.449 0.115 3.3   3.66  23.982 1     0.945 22.657 0.944 0.031 0.889 0.986 0.999 0.042 0.039 0     0.039 0.039 0.002 74.836 79.512 0     79.512 79.512
130 ParAAM-C-part 32 1     30001 30001 0 0 1 1 Int 20000 0 10 8778.09  0.102 3.418 0.109 3.253 3.656 31.967 1     0.953 30.48  0.952 0.029 0.89  1     0.999 0.031 0.03  0     0.03  0.03  0.003 100.866 106.113 0     106.113 106.113