Resumed 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 (3 firsts skipped) (time in seconds, computed on Hydra – Intel Xeon Gold 6148 CPU @ 2.4GHz2 processors × 20 cores (but not necessary all used) – 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 0     21 698817 18162 1 4878 1 #f 335 0 10 92361.982 7.566 7.566 0.099 7.501 7.855 1     1     1     1     1     0.013 0.963 1.009 1     1     1     0     1     1     0     0     0     0     0     0    
2 ParAAM-L-SA-state 2 0     21 698817 18162 1 4878 1 #f 335 0 10 102739.022 3.783 6.802 0.064 6.731 6.955 2     2     1.112 1.112 1.112 0.01  1.088 1.124 1     1     0.556 0     0.556 0.556 0     0     6.038 0     6.038 6.038
3 ParAAM-L-SA-state 3 0     21 698817 18162 1 4878 1 #f 335 0 10 87447.6   2.522 7.991 0.062 7.881 8.068 3     3     0.947 0.947 0.947 0.007 0.938 0.96  1     1     0.316 0     0.316 0.316 0     0     16.408 0     16.408 16.408
4 ParAAM-L-SA-state 4 0     21 698817 18162 1 4878 1 #f 335 0 10 82820.067 1.892 8.438 0.234 8.12  9.038 4     4     0.897 0.897 0.897 0.024 0.837 0.932 1     1     0.224 0     0.224 0.224 0     0.001 26.185 0     26.185 26.185
5 ParAAM-L-SA-state 5 0     21 698817 18162 1 4878 1 #f 335 0 10 83209.107 1.513 8.398 0.114 8.192 8.606 5     4.999 0.901 0.901 0.901 0.012 0.879 0.924 1     1     0.18  0     0.18  0.18  0     0.001 34.426 0     34.426 34.426
6 ParAAM-L-SA-state 6 0     21 698817 18162 1 4878 1 #f 335 0 10 83195.162 1.261 8.4   0.283 8.196 9.23  6     5.999 0.901 0.901 0.901 0.028 0.82  0.923 1     1     0.15  0     0.15  0.15  0     0.001 42.832 0     42.832 42.832
7 ParAAM-L-SA-state 7 0     21 698817 18162 1 4878 1 #f 335 0 10 82761.267 1.081 8.444 0.085 8.317 8.63  7     6.999 0.896 0.896 0.896 0.009 0.877 0.91  1     1     0.128 0     0.128 0.128 0     0.001 51.54  0     51.54  51.54 
8 ParAAM-L-SA-state 8 0     21 698817 18162 1 4878 1 #f 335 0 10 82079.351 0.946 8.514 0.219 8.306 9.14  8     7.998 0.889 0.889 0.889 0.022 0.828 0.911 1     1     0.111 0     0.111 0.111 0     0.002 60.545 0     60.545 60.545
9 ParAAM-L-SA-state 9 0     21 698817 18162 1 4878 1 #f 335 0 10 81781.586 0.841 8.545 0.324 8.236 9.47  9     8.998 0.886 0.886 0.886 0.031 0.799 0.919 1     1     0.098 0     0.098 0.098 0     0.002 69.338 0     69.338 69.338
10 ParAAM-L-SA-state 10 0     21 698817 18162 1 4878 1 #f 335 0 10 82575.947 0.757 8.463 0.076 8.335 8.648 10     9.997 0.894 0.894 0.894 0.008 0.875 0.908 1     1     0.089 0     0.089 0.089 0     0.002 77.061 0     77.061 77.061
11 ParAAM-L-SA-state 12 0     21 698817 18162 1 4878 1 #f 335 0 10 81990.056 0.631 8.523 0.168 8.336 8.977 12     11.996 0.888 0.888 0.888 0.017 0.843 0.908 1     1     0.074 0     0.074 0.074 0     0.003 94.712 0     94.712 94.712
12 ParAAM-L-SA-state 14 0     21 698817 18162 1 4878 1 #f 335 0 10 82564.408 0.54  8.464 0.166 8.276 8.749 14     13.995 0.894 0.894 0.894 0.017 0.865 0.914 1     1     0.064 0     0.064 0.064 0     0.003 110.929 0     110.929 110.929
13 ParAAM-L-SA-state 16 0     21 698817 18162 1 4878 1 #f 335 0 10 82157.48  0.473 8.506 0.254 8.287 9.217 16     15.993 0.89  0.89  0.89  0.025 0.821 0.913 1     1     0.056 0     0.056 0.056 0     0.003 128.527 0     128.527 128.527
14 ParAAM-L-SA-state 18 0     21 698817 18162 1 4878 1 #f 335 0 10 82513.934 0.42  8.469 0.081 8.35  8.607 18     17.991 0.893 0.894 0.893 0.008 0.879 0.906 1     0.999 0.05  0     0.05  0.05  0     0.004 144.877 0     144.877 144.877
15 ParAAM-L-SA-state 20 0     21 698817 18162 1 4878 1 #f 335 0 10 82913.363 0.378 8.428 0.093 8.269 8.547 19.999 19.989 0.898 0.898 0.898 0.01  0.885 0.915 1     0.999 0.045 0     0.045 0.045 0     0.004 161     0     161     161    
16 ParAAM-L-SA-set 2 0     21 698817 18162 1 4878 1 #f 335 0 10 103970.662 3.783 6.721 0.023 6.686 6.778 2     2     1.126 1.126 1.126 0.004 1.116 1.132 1     1     0.563 0     0.563 0.563 0     0     5.877 0     5.877 5.877
17 ParAAM-L-SA-set 3 0     21 698817 18162 1 4878 1 #f 335 0 10 88108.885 2.522 7.931 0.099 7.82  8.127 3     3     0.954 0.954 0.954 0.012 0.931 0.968 1     1     0.318 0     0.318 0.318 0     0     16.228 0     16.228 16.228
18 ParAAM-L-SA-set 4 0     21 698817 18162 1 4878 1 #f 335 0 10 85712.328 1.892 8.153 0.087 7.997 8.317 4     4     0.928 0.928 0.928 0.01  0.91  0.946 1     1     0.232 0     0.232 0.232 0     0.001 25.046 0     25.046 25.046
19 ParAAM-L-SA-set 5 0     21 698817 18162 1 4878 1 #f 335 0 10 85389.223 1.513 8.184 0.114 7.994 8.357 5     4.999 0.925 0.925 0.925 0.013 0.905 0.946 1     1     0.185 0     0.185 0.185 0     0.001 33.353 0     33.353 33.353
20 ParAAM-L-SA-set 6 0     21 698817 18162 1 4878 1 #f 335 0 10 84990.057 1.261 8.222 0.165 8.045 8.66  6     5.999 0.92  0.921 0.92  0.018 0.874 0.94  1     1     0.153 0     0.153 0.153 0     0.001 41.768 0     41.768 41.768
21 ParAAM-L-SA-set 7 0     21 698817 18162 1 4878 1 #f 335 0 10 85344.458 1.081 8.188 0.121 8.009 8.388 7     6.999 0.924 0.924 0.924 0.014 0.902 0.945 1     1     0.132 0     0.132 0.132 0     0.001 49.751 0     49.751 49.751
22 ParAAM-L-SA-set 8 0     21 698817 18162 1 4878 1 #f 335 0 10 85549.043 0.946 8.169 0.097 8.04  8.351 8     7.998 0.926 0.926 0.926 0.011 0.906 0.941 1     1     0.116 0     0.116 0.116 0     0.002 57.783 0     57.783 57.783
23 ParAAM-L-SA-set 9 0     21 698817 18162 1 4878 1 #f 335 0 10 84391.972 0.841 8.281 0.075 8.158 8.411 9     8.998 0.914 0.914 0.914 0.008 0.9   0.927 1     1     0.102 0     0.102 0.102 0     0.002 66.959 0     66.959 66.959
24 ParAAM-L-SA-set 10 0     21 698817 18162 1 4878 1 #f 335 0 10 85382.548 0.757 8.185 0.14  8.067 8.56  10     9.997 0.925 0.925 0.925 0.015 0.884 0.938 1     1     0.092 0     0.092 0.092 0     0.002 74.279 0     74.279 74.279
25 ParAAM-L-SA-set 12 0     21 698817 18162 1 4878 1 #f 335 0 10 84603.823 0.631 8.26  0.093 8.127 8.397 12     11.996 0.916 0.916 0.916 0.01  0.901 0.931 1     1     0.076 0     0.076 0.076 0     0.003 91.552 0     91.552 91.552
26 ParAAM-L-SA-set 14 0     21 698817 18162 1 4878 1 #f 335 0 10 83917.089 0.54  8.327 0.155 8.127 8.687 14     13.995 0.909 0.909 0.909 0.017 0.871 0.931 1     1     0.065 0     0.065 0.065 0     0.003 109.019 0     109.019 109.019
27 ParAAM-L-SA-set 16 0     21 698817 18162 1 4878 1 #f 335 0 10 84380.572 0.473 8.282 0.075 8.157 8.44  16     15.993 0.914 0.914 0.914 0.008 0.896 0.928 1     1     0.057 0     0.057 0.057 0     0.003 124.942 0     124.942 124.942
28 ParAAM-L-SA-set 18 0     21 698817 18162 1 4878 1 #f 335 0 10 84732.299 0.42  8.247 0.098 8.094 8.395 18     17.991 0.917 0.918 0.917 0.011 0.901 0.935 1     0.999 0.051 0     0.051 0.051 0     0.004 140.886 0     140.886 140.886
29 ParAAM-L-SA-set 20 0     21 698817 18162 1 4878 1 #f 335 0 10 85006.762 0.378 8.221 0.09  8.115 8.426 19.999 19.989 0.92  0.921 0.92  0.01  0.898 0.932 1     0.999 0.046 0     0.046 0.046 0     0.004 156.848 0     156.848 156.848
30 ParAAM-L-SA-part 2 0     21 698817 18162 1 4878 1 #f 335 0 10 82228.122 3.783 8.499 0.166 8.294 8.848 2     2     0.89  0.89  0.89  0.017 0.855 0.912 1     1     0.445 0     0.445 0.445 0     0     9.431 0     9.431 9.431
31 ParAAM-L-SA-part 3 0     21 698817 18162 1 4878 1 #f 335 0 10 115705.08  2.522 6.04  0.079 5.921 6.169 3     3     1.253 1.253 1.253 0.016 1.226 1.278 1     1     0.418 0     0.418 0.418 0     0     10.553 0     10.553 10.553
32 ParAAM-L-SA-part 4 0     21 698817 18162 1 4878 1 #f 335 0 10 132159.935 1.892 5.288 0.039 5.217 5.329 4     4     1.431 1.431 1.431 0.011 1.42  1.45  1     1     0.358 0     0.358 0.358 0     0.001 13.585 0     13.585 13.585
33 ParAAM-L-SA-part 5 0     21 698817 18162 1 4878 1 #f 335 0 10 139956.572 1.513 4.993 0.038 4.929 5.045 5     4.999 1.515 1.516 1.515 0.012 1.5   1.535 1     1     0.303 0     0.303 0.303 0     0.001 17.399 0     17.399 17.399
34 ParAAM-L-SA-part 6 0     21 698817 18162 1 4878 1 #f 335 0 10 144635.115 1.261 4.832 0.055 4.768 4.926 6     5.999 1.566 1.566 1.566 0.018 1.536 1.587 1     1     0.261 0     0.261 0.261 0     0.001 21.423 0     21.423 21.423
35 ParAAM-L-SA-part 7 0     21 698817 18162 1 4878 1 #f 335 0 10 148921.461 1.081 4.693 0.039 4.635 4.767 7     6.999 1.612 1.613 1.612 0.013 1.587 1.632 1     1     0.23  0     0.23  0.23  0     0.001 25.282 0     25.282 25.282
36 ParAAM-L-SA-part 8 0     21 698817 18162 1 4878 1 #f 335 0 10 151268.839 0.946 4.62  0.027 4.579 4.685 8     7.998 1.638 1.638 1.638 0.01  1.615 1.652 1     1     0.205 0     0.205 0.205 0     0.002 29.392 0     29.392 29.392
37 ParAAM-L-SA-part 9 0     21 698817 18162 1 4878 1 #f 335 0 10 152267.5   0.841 4.589 0.027 4.528 4.634 9     8.998 1.649 1.649 1.649 0.01  1.633 1.671 1     1     0.183 0     0.183 0.183 0     0.002 33.739 0     33.739 33.739
38 ParAAM-L-SA-part 10 0     21 698817 18162 1 4878 1 #f 335 0 10 153287.104 0.757 4.559 0.031 4.519 4.614 10     9.997 1.66  1.66  1.66  0.011 1.64  1.674 1     1     0.166 0     0.166 0.166 0     0.002 38.023 0     38.023 38.023
39 ParAAM-L-SA-part 12 0     21 698817 18162 1 4878 1 #f 335 0 10 155819.716 0.631 4.485 0.027 4.425 4.525 12     11.996 1.687 1.688 1.687 0.01  1.672 1.71  1     1     0.141 0     0.141 0.141 0     0.003 46.251 0     46.251 46.251
40 ParAAM-L-SA-part 14 0     21 698817 18162 1 4878 1 #f 335 0 10 156911.362 0.54  4.454 0.034 4.408 4.527 14     13.995 1.699 1.7   1.699 0.013 1.671 1.716 1     1     0.121 0     0.121 0.121 0     0.003 54.784 0     54.784 54.784
41 ParAAM-L-SA-part 16 0     21 698817 18162 1 4878 1 #f 335 0 10 157999.131 0.473 4.423 0.046 4.346 4.487 16     15.993 1.711 1.712 1.711 0.018 1.686 1.741 1     1     0.107 0     0.107 0.107 0     0.003 63.201 0     63.201 63.201
42 ParAAM-L-SA-part 18 0     21 698817 18162 1 4878 1 #f 335 0 10 158386.396 0.42  4.412 0.03  4.349 4.449 18     17.991 1.715 1.716 1.715 0.012 1.701 1.74  1     0.999 0.095 0     0.095 0.095 0     0.004 71.852 0     71.852 71.852
43 ParAAM-L-SA-part 20 0     21 698817 18162 1 4878 1 #f 335 0 10 158924.637 0.378 4.397 0.032 4.351 4.46  19.999 19.989 1.721 1.722 1.721 0.013 1.696 1.739 1     0.999 0.086 0     0.086 0.086 0     0.004 80.377 0     80.377 80.377
44 ParAAM-C-S-set 2 0     21 698817 18162 1 4878 1 #f 335 0 10 86953.189 3.783 8.037 0.101 7.875 8.196 2     2     0.942 0.942 0.942 0.012 0.923 0.961 1     1     0.471 0     0.471 0.471 0     0     8.507 0     8.507 8.507
45 ParAAM-C-S-set 3 0     21 698817 18162 1 4878 1 #f 335 0 10 76055.01  2.522 9.188 0.218 8.759 9.487 3     3     0.824 0.824 0.824 0.02  0.798 0.864 1     1     0.274 0     0.274 0.274 0     0     19.999 0     19.999 19.999
46 ParAAM-C-S-set 4 0     21 698817 18162 1 4878 1 #f 335 0 10 62980.604 1.892 11.096 0.142 10.878 11.371 4     4     0.682 0.682 0.682 0.009 0.665 0.696 1     1     0.17  0     0.17  0.17  0     0.001 36.817 0     36.817 36.817
47 ParAAM-C-S-set 5 0     21 698817 18162 1 4878 1 #f 335 0 10 56591.985 1.513 12.348 0.294 11.934 12.839 5     4.999 0.613 0.613 0.613 0.014 0.589 0.634 1     1     0.123 0     0.123 0.123 0     0.001 54.176 0     54.176 54.176
48 ParAAM-C-S-set 6 0     21 698817 18162 1 4878 1 #f 335 0 10 52408.513 1.261 13.334 0.217 13.039 13.659 6     5.999 0.568 0.568 0.567 0.009 0.554 0.58  1     1     0.095 0     0.095 0.095 0     0.001 72.438 0     72.438 72.438
49 ParAAM-C-S-set 7 0     21 698817 18162 1 4878 1 #f 335 0 10 49153.552 1.081 14.217 0.256 13.885 14.638 7     6.999 0.532 0.532 0.532 0.01  0.517 0.545 1     1     0.076 0     0.076 0.076 0     0.001 91.953 0     91.953 91.953
50 ParAAM-C-S-set 8 0     21 698817 18162 1 4878 1 #f 335 0 10 46777.023 0.946 14.939 0.384 14.378 15.487 8     7.998 0.507 0.507 0.507 0.013 0.489 0.526 1     1     0.063 0     0.063 0.063 0     0.002 111.949 0     111.949 111.949
51 ParAAM-C-S-set 9 0     21 698817 18162 1 4878 1 #f 335 0 10 46309.66  0.841 15.09  0.212 14.79  15.406 9     8.998 0.501 0.502 0.501 0.007 0.491 0.512 1     1     0.056 0     0.056 0.056 0     0.002 128.245 0     128.245 128.245
52 ParAAM-C-S-set 10 0     21 698817 18162 1 4878 1 #f 335 0 10 46445.793 0.757 15.046 0.266 14.547 15.405 10     9.997 0.503 0.503 0.503 0.009 0.491 0.52  1     1     0.05  0     0.05  0.05  0     0.002 142.893 0     142.893 142.893
53 ParAAM-C-S-set 12 0     21 698817 18162 1 4878 1 #f 335 0 10 45574.735 0.631 15.333 0.211 14.963 15.655 12     11.996 0.493 0.494 0.493 0.007 0.483 0.506 1     1     0.041 0     0.041 0.041 0     0.003 176.435 0     176.435 176.435
54 ParAAM-C-S-set 14 0     21 698817 18162 1 4878 1 #f 335 0 10 45201.275 0.54  15.46  0.202 15.147 15.779 14     13.995 0.489 0.49  0.489 0.006 0.479 0.5   1     1     0.035 0     0.035 0.035 0     0.003 208.876 0     208.876 208.876
55 ParAAM-C-S-set 16 0     21 698817 18162 1 4878 1 #f 335 0 10 44738.916 0.473 15.62  0.188 15.336 15.931 16     15.993 0.484 0.485 0.484 0.006 0.475 0.493 1     1     0.03  0     0.03  0.03  0     0.003 242.352 0     242.352 242.352
56 ParAAM-C-S-set 18 0     21 698817 18162 1 4878 1 #f 335 0 10 42145.194 0.42  16.581 0.723 15.577 17.625 18     17.991 0.457 0.457 0.457 0.02  0.429 0.486 1     0.999 0.025 0     0.025 0.025 0     0.004 290.895 0     290.895 290.895
57 ParAAM-C-S-set 20 0     21 698817 18162 1 4878 1 #f 335 0 10 40359.496 0.378 17.315 0.621 15.658 17.91  19.999 19.989 0.437 0.438 0.437 0.017 0.422 0.483 1     0.999 0.022 0     0.022 0.022 0     0.004 338.73  0     338.73  338.73 
58 ParAAM-C-S-part 2 0     21 698817 18162 1 4878 1 #f 335 0 10 75001.296 3.783 9.317 0.25  8.839 9.7   2     2     0.812 0.812 0.812 0.022 0.78  0.856 1     1     0.406 0     0.406 0.406 0     0     11.069 0     11.069 11.069
59 ParAAM-C-S-part 3 0     21 698817 18162 1 4878 1 #f 335 0 10 146904.121 2.522 4.757 0.342 4.266 5.447 3     3     1.595 1.595 1.595 0.112 1.389 1.774 1     1     0.53  0     0.53  0.53  0     0     6.705 0     6.705 6.705
60 ParAAM-C-S-part 4 0     21 698817 18162 1 4878 1 #f 335 0 10 232906.515 1.892 3     0.181 2.705 3.327 4     4     2.526 2.526 2.526 0.151 2.274 2.797 1     1     0.63  0     0.63  0.63  0     0.001 4.436 0     4.436 4.436
61 ParAAM-C-S-part 5 0     21 698817 18162 1 4878 1 #f 335 0 10 300593.873 1.513 2.325 0.179 1.961 2.559 5     4.999 3.265 3.265 3.265 0.266 2.957 3.858 1     1     0.651 0     0.651 0.651 0     0.001 4.058 0     4.058 4.058
62 ParAAM-C-S-part 6 0     21 698817 18162 1 4878 1 #f 335 0 10 367950.154 1.261 1.899 0.168 1.668 2.138 6     5.999 3.999 4     3.999 0.35  3.538 4.536 1     1     0.664 0     0.664 0.664 0     0.001 3.829 0     3.829 3.829
63 ParAAM-C-S-part 7 0     21 698817 18162 1 4878 1 #f 335 0 10 404538.952 1.081 1.727 0.056 1.628 1.799 7     6.999 4.382 4.383 4.382 0.145 4.207 4.648 1     1     0.626 0     0.626 0.626 0     0.001 4.526 0     4.526 4.526
64 ParAAM-C-S-part 8 0     21 698817 18162 1 4878 1 #f 335 0 10 434233.35  0.946 1.609 0.129 1.229 1.679 8     7.998 4.719 4.72  4.719 0.476 4.506 6.155 1     1     0.588 0     0.588 0.588 0     0.002 5.308 0     5.308 5.308
65 ParAAM-C-S-part 9 0     21 698817 18162 1 4878 1 #f 335 0 10 468662.16  0.841 1.491 0.074 1.346 1.569 9     8.998 5.081 5.082 5.081 0.266 4.822 5.621 1     1     0.564 0     0.564 0.564 0     0.002 5.854 0     5.854 5.854
66 ParAAM-C-S-part 10 0     21 698817 18162 1 4878 1 #f 335 0 10 495806.067 0.757 1.409 0.119 1.196 1.507 10     9.997 5.388 5.39  5.388 0.495 5.02  6.328 1     1     0.537 0     0.537 0.537 0     0.002 6.528 0     6.528 6.528
67 ParAAM-C-S-part 12 0     21 698817 18162 1 4878 1 #f 335 0 10 540349.45  0.631 1.293 0.163 1.003 1.469 12     11.996 5.902 5.904 5.902 0.859 5.15  7.544 1     1     0.488 0     0.488 0.488 0     0.003 7.953 0     7.953 7.953
68 ParAAM-C-S-part 14 0     21 698817 18162 1 4878 1 #f 335 0 10 535155.767 0.54  1.306 0.055 1.201 1.371 14     13.995 5.799 5.802 5.799 0.252 5.518 6.302 1     1     0.414 0     0.414 0.414 0     0.003 10.715 0     10.715 10.715
69 ParAAM-C-S-part 16 0     21 698817 18162 1 4878 1 #f 335 0 10 567816.543 0.473 1.231 0.072 1.12  1.336 16     15.993 6.158 6.161 6.158 0.365 5.663 6.757 1     1     0.384 0     0.384 0.384 0     0.003 12.125 0     12.125 12.125
70 ParAAM-C-S-part 18 0     21 698817 18162 1 4878 1 #f 335 0 10 546856.982 0.42  1.278 0.022 1.229 1.313 18     17.991 5.922 5.925 5.922 0.103 5.761 6.156 1     0.999 0.329 0     0.329 0.329 0     0.004 15.436 0     15.436 15.436
71 ParAAM-C-S-part 20 0     21 698817 18162 1 4878 1 #f 335 0 10 511929.068 0.378 1.365 0.019 1.336 1.388 19.999 19.989 5.543 5.546 5.543 0.076 5.453 5.664 1     0.999 0.277 0     0.277 0.277 0     0.004 19.735 0     19.735 19.735
72 ParAAM-C-state 1 0     21 698817 18162 1 4878 1 #f 335 0 10 167472.756 7.566 4.173 0.109 4.065 4.38  1     1     1.814 1.814 1.814 0.046 1.728 1.861 1     1     1.813 0     1.813 1.813 0     0     -3.393 0     -3.393 -3.393
73 ParAAM-C-state 2 0     21 698817 18162 1 4878 1 #f 335 0 10 252554.507 3.783 2.767 0.21  2.379 2.999 2     2     2.743 2.743 2.743 0.221 2.523 3.181 1     1     1.367 0     1.367 1.367 0     0     -2.032 0     -2.032 -2.032
74 ParAAM-C-state 3 0     21 698817 18162 1 4878 1 #f 335 0 10 287315.039 2.522 2.432 0.294 1.909 2.678 3     3     3.136 3.136 3.136 0.435 2.825 3.964 1     1     1.037 0     1.037 1.037 0     0     -0.269 0     -0.269 -0.269
75 ParAAM-C-state 4 0     21 698817 18162 1 4878 1 #f 335 0 10 240906.078 1.892 2.901 0.255 2.366 3.22  4     4     2.619 2.619 2.619 0.25  2.349 3.198 1     1     0.652 0     0.652 0.652 0     0.001 4.037 0     4.037 4.037
76 ParAAM-C-state 5 0     21 698817 18162 1 4878 1 #f 335 0 10 249631.837 1.513 2.799 0.206 2.447 3.068 5     4.999 2.71  2.71  2.71  0.202 2.466 3.091 1     1     0.541 0     0.541 0.541 0     0.001 6.431 0     6.431 6.431
77 ParAAM-C-state 6 0     21 698817 18162 1 4878 1 #f 335 0 10 251440.038 1.261 2.779 0.129 2.565 2.951 6     5.999 2.725 2.726 2.725 0.129 2.564 2.95  1     1     0.454 0     0.454 0.454 0     0.001 9.109 0     9.109 9.109
78 ParAAM-C-state 7 0     21 698817 18162 1 4878 1 #f 335 0 10 261773.481 1.081 2.67  0.262 2.098 2.988 7     6.999 2.849 2.849 2.849 0.311 2.532 3.606 1     1     0.405 0     0.405 0.405 0     0.001 11.121 0     11.121 11.121
79 ParAAM-C-state 8 0     21 698817 18162 1 4878 1 #f 335 0 10 291982.555 0.946 2.393 0.267 2.028 2.749 8     7.998 3.181 3.182 3.181 0.365 2.752 3.731 1     1     0.395 0     0.395 0.395 0     0.002 11.581 0     11.581 11.581
80 ParAAM-C-state 9 0     21 698817 18162 1 4878 1 #f 335 0 10 371138.299 0.841 1.883 0.047 1.811 1.994 9     8.998 4.02  4.021 4.02  0.099 3.794 4.177 1     1     0.446 0     0.446 0.446 0     0.002 9.38  0     9.38  9.38 
81 ParAAM-C-state 10 0     21 698817 18162 1 4878 1 #f 335 0 10 384529.174 0.757 1.817 0.055 1.755 1.969 10     9.997 4.165 4.166 4.165 0.12  3.843 4.31  1     1     0.416 0     0.416 0.416 0     0.002 10.607 0     10.607 10.607
82 ParAAM-C-state 12 0     21 698817 18162 1 4878 1 #f 335 0 10 384348.855 0.631 1.818 0.16  1.678 2.135 12     11.996 4.177 4.178 4.177 0.335 3.544 4.508 1     1     0.347 0     0.347 0.347 0     0.003 14.252 0     14.252 14.252
83 ParAAM-C-state 14 0     21 698817 18162 1 4878 1 #f 335 0 10 365603.549 0.54  1.911 0.148 1.721 2.259 14     13.995 3.97  3.971 3.97  0.287 3.349 4.397 1     1     0.283 0     0.283 0.283 0     0.003 19.194 0     19.194 19.194
84 ParAAM-C-state 16 0     21 698817 18162 1 4878 1 #f 335 0 10 364481.809 0.473 1.917 0.068 1.82  2.038 16     15.993 3.949 3.95  3.949 0.139 3.712 4.158 1     1     0.247 0     0.247 0.247 0     0.003 23.111 0     23.111 23.111
85 ParAAM-C-state 18 0     21 698817 18162 1 4878 1 #f 335 0 10 333683.711 0.42  2.094 0.222 1.875 2.548 18     17.991 3.632 3.634 3.632 0.353 2.97  4.034 1     0.999 0.201 0     0.201 0.201 0     0.004 30.13  0     30.13  30.13 
86 ParAAM-C-state 20 0     21 698817 18162 1 4878 1 #f 335 0 10 341452.694 0.378 2.047 0.247 1.788 2.488 19.999 19.989 3.723 3.725 3.723 0.416 3.041 4.232 1     0.999 0.185 0     0.185 0.185 0     0.004 33.366 0     33.366 33.366
87 ParAAM-C-set 1 0     21 698817 18162 1 4878 1 #f 335 0 10 163461     7.566 4.275 0.015 4.249 4.295 1     1     1.77  1.77  1.77  0.006 1.761 1.781 1     1     1.77  0     1.77  1.77  0     0     -3.291 0     -3.291 -3.291
88 ParAAM-C-set 2 0     21 698817 18162 1 4878 1 #f 335 0 10 287675.547 3.783 2.429 0.02  2.404 2.478 2     2     3.115 3.115 3.115 0.026 3.053 3.148 1     1     1.557 0     1.557 1.557 0     0     -2.708 0     -2.708 -2.708
89 ParAAM-C-set 3 0     21 698817 18162 1 4878 1 #f 335 0 10 413999.554 2.522 1.688 0.018 1.666 1.72  3     3     4.483 4.483 4.483 0.046 4.4   4.542 1     1     1.494 0     1.494 1.494 0     0     -2.502 0     -2.502 -2.502
90 ParAAM-C-set 4 0     21 698817 18162 1 4878 1 #f 335 0 10 504177.904 1.892 1.386 0.012 1.368 1.409 4     4     5.459 5.459 5.459 0.045 5.369 5.531 1     1     1.365 0     1.365 1.365 0     0.001 -2.022 0     -2.022 -2.022
91 ParAAM-C-set 5 0     21 698817 18162 1 4878 1 #f 335 0 10 556256.763 1.513 1.256 0.011 1.241 1.274 5     4.999 6.023 6.024 6.023 0.051 5.938 6.098 1     1     1.205 0     1.205 1.205 0     0.001 -1.285 0     -1.285 -1.285
92 ParAAM-C-set 6 0     21 698817 18162 1 4878 1 #f 335 0 10 567576.293 1.261 1.231 0.056 1.179 1.388 6     5.999 6.151 6.152 6.151 0.257 5.451 6.418 1     1     1.024 0     1.024 1.024 0     0.001 -0.179 0     -0.179 -0.179
93 ParAAM-C-set 7 0     21 698817 18162 1 4878 1 #f 335 0 10 554147.968 1.081 1.261 0.015 1.236 1.298 7     6.999 6     6.001 6     0.071 5.83  6.12  1     1     0.857 0     0.857 0.857 0     0.001 1.261 0     1.261 1.261
94 ParAAM-C-set 8 0     21 698817 18162 1 4878 1 #f 335 0 10 511930.999 0.946 1.365 0.043 1.236 1.39  8     7.998 5.546 5.547 5.546 0.192 5.443 6.12  1     1     0.693 0     0.693 0.693 0     0.002 3.354 0     3.354 3.354
95 ParAAM-C-set 9 0     21 698817 18162 1 4878 1 #f 335 0 10 466993.241 0.841 1.496 0.02  1.461 1.527 9     8.998 5.057 5.058 5.057 0.068 4.955 5.179 1     1     0.562 0     0.562 0.562 0     0.002 5.902 0     5.902 5.902
96 ParAAM-C-set 10 0     21 698817 18162 1 4878 1 #f 335 0 10 446015.963 0.757 1.567 0.027 1.517 1.597 10     9.997 4.83  4.831 4.83  0.083 4.739 4.987 1     1     0.483 0     0.483 0.483 0     0.002 8.102 0     8.102 8.102
97 ParAAM-C-set 12 0     21 698817 18162 1 4878 1 #f 335 0 10 438810.146 0.631 1.593 0.054 1.517 1.685 12     11.996 4.754 4.755 4.754 0.162 4.489 4.989 1     1     0.396 0     0.396 0.396 0     0.003 11.544 0     11.544 11.544
98 ParAAM-C-set 14 0     21 698817 18162 1 4878 1 #f 335 0 10 399532.268 0.54  1.749 0.154 1.589 1.998 14     13.995 4.342 4.344 4.342 0.365 3.787 4.762 1     1     0.309 0     0.309 0.309 0     0.003 16.921 0     16.921 16.921
99 ParAAM-C-set 16 0     21 698817 18162 1 4878 1 #f 335 0 10 431324.829 0.473 1.62  0.167 1.475 2.109 16     15.993 4.692 4.694 4.692 0.394 3.588 5.128 1     1     0.292 0     0.292 0.292 0     0.003 18.357 0     18.357 18.357
100 ParAAM-C-set 18 0     21 698817 18162 1 4878 1 #f 335 0 10 404199.266 0.42  1.729 0.272 1.501 2.16  18     17.991 4.427 4.429 4.427 0.624 3.503 5.042 1     0.999 0.243 0     0.243 0.243 0     0.004 23.554 0     23.554 23.554
101 ParAAM-C-set 20 0     21 698817 18162 1 4878 1 #f 335 0 10 424395.146 0.378 1.647 0.256 1.457 2.166 19.999 19.989 4.644 4.647 4.644 0.6   3.494 5.193 1     0.999 0.23  0     0.23  0.23  0     0.004 25.366 0     25.366 25.366
102 ParAAM-C-part 1 0     21 698817 18162 1 4878 1 #f 335 0 10 92559.796 7.566 7.55  0.035 7.5   7.6   1     1     1.002 1.002 1.002 0.005 0.996 1.009 1     1     1.002 0     1.002 1.002 0     0     -0.016 0     -0.016 -0.016
103 ParAAM-C-part 2 0     21 698817 18162 1 4878 1 #f 335 0 10 168336.738 3.783 4.151 0.027 4.109 4.2   2     2     1.823 1.823 1.823 0.012 1.802 1.841 1     1     0.911 0     0.911 0.911 0     0     0.737 0     0.737 0.737
104 ParAAM-C-part 3 0     21 698817 18162 1 4878 1 #f 335 0 10 261041.806 2.522 2.677 0.052 2.601 2.777 3     3     2.827 2.827 2.827 0.055 2.725 2.909 1     1     0.942 0     0.942 0.942 0     0     0.465 0     0.465 0.465
105 ParAAM-C-part 4 0     21 698817 18162 1 4878 1 #f 335 0 10 351887.798 1.892 1.986 0.083 1.869 2.127 4     4     3.813 3.814 3.813 0.158 3.557 4.049 1     1     0.952 0     0.952 0.952 0     0.001 0.378 0     0.378 0.378
106 ParAAM-C-part 5 0     21 698817 18162 1 4878 1 #f 335 0 10 435420.326 1.513 1.605 0.036 1.555 1.69  5     4.999 4.716 4.716 4.715 0.105 4.477 4.866 1     1     0.943 0     0.943 0.943 0     0.001 0.459 0     0.459 0.459
107 ParAAM-C-part 6 0     21 698817 18162 1 4878 1 #f 335 0 10 507564.039 1.261 1.377 0.027 1.319 1.421 6     5.999 5.496 5.497 5.496 0.11  5.325 5.737 1     1     0.916 0     0.916 0.916 0     0.001 0.695 0     0.695 0.695
108 ParAAM-C-part 7 0     21 698817 18162 1 4878 1 #f 335 0 10 572338.692 1.081 1.221 0.018 1.189 1.239 7     6.999 6.197 6.198 6.197 0.091 6.104 6.362 1     1     0.885 0     0.885 0.885 0     0.001 0.981 0     0.981 0.981
109 ParAAM-C-part 8 0     21 698817 18162 1 4878 1 #f 335 0 10 619302.4   0.946 1.128 0.03  1.095 1.206 8     7.998 6.708 6.709 6.708 0.173 6.272 6.911 1     1     0.838 0     0.838 0.838 0     0.002 1.461 0     1.461 1.461
110 ParAAM-C-part 9 0     21 698817 18162 1 4878 1 #f 335 0 10 666016.16  0.841 1.049 0.025 1.004 1.093 9     8.998 7.213 7.215 7.213 0.172 6.922 7.532 1     1     0.801 0     0.801 0.801 0     0.002 1.877 0     1.877 1.877
111 ParAAM-C-part 10 0     21 698817 18162 1 4878 1 #f 335 0 10 714843.174 0.757 0.978 0.015 0.948 0.998 10     9.997 7.741 7.743 7.741 0.123 7.583 7.977 1     1     0.774 0     0.774 0.774 0     0.002 2.21  0     2.21  2.21 
112 ParAAM-C-part 12 0     21 698817 18162 1 4878 1 #f 335 0 10 764447.193 0.631 0.914 0.021 0.879 0.958 12     11.996 8.279 8.281 8.279 0.186 7.895 8.604 1     1     0.69  0     0.69  0.69  0     0.003 3.404 0     3.404 3.404
113 ParAAM-C-part 14 0     21 698817 18162 1 4878 1 #f 335 0 10 800735.829 0.54  0.873 0.023 0.846 0.928 14     13.995 8.673 8.676 8.672 0.218 8.152 8.939 1     1     0.619 0     0.619 0.619 0     0.003 4.652 0     4.652 4.652
114 ParAAM-C-part 16 0     21 698817 18162 1 4878 1 #f 335 0 10 733930.394 0.473 0.952 0.014 0.931 0.978 16     15.993 7.947 7.951 7.947 0.116 7.737 8.127 1     1     0.497 0     0.497 0.497 0     0.003 7.668 0     7.668 7.668
115 ParAAM-C-part 18 0     21 698817 18162 1 4878 1 #f 335 0 10 722121.181 0.42  0.968 0.022 0.948 1.027 18     17.991 7.821 7.824 7.82  0.172 7.364 7.983 1     0.999 0.434 0     0.434 0.434 0     0.004 9.853 0     9.853 9.853
116 ParAAM-C-part 20 0     21 698817 18162 1 4878 1 #f 335 0 10 735606.741 0.378 0.95  0.013 0.926 0.967 19.999 19.989 7.965 7.97  7.965 0.106 7.824 8.171 1     0.999 0.398 0     0.398 0.398 0     0.004 11.434 0     11.434 11.434