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

TypeSet lattice – Classical address – Default step – Sequential SeqAAMLS and parallel ParAAM-*-*-* – 13 repetitions (time in seconds, computed on 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 698817 18162 1 4878 1 #f 13 25.79  20.199 19.38  19.138 19.803 20.199 19.483 19.282 20.6   19.951 20.105 19.361 19.529 13 20.217 0.916
2 ParAAM-L-SA-state 2 698817 18162 1 4878 1 #f 13 37.878 38.218 38.385 37.987 38.049 37.576 37.823 37.307 37.617 37.66  37.552 37.772 37.906 13 37.825 0.226
3 ParAAM-L-SA-state 3 698817 18162 1 4878 1 #f 13 35.909 36.802 37.394 35.531 36.632 37.085 36.139 37.317 37.423 36.426 36.062 35.121 36.813 13 36.512 0.597
4 ParAAM-L-SA-state 4 698817 18162 1 4878 1 #f 13 41.004 40.319 41.173 38.269 40.929 40.514 38.659 40.109 38.761 39.083 41.08  40.075 38.727 13 39.9   0.923
5 ParAAM-L-SA-state 5 698817 18162 1 4878 1 #f 13 42.271 40.793 41.468 42.727 40.089 41.377 42.65  42.555 42.353 41.405 41.54  43.577 41.045 13 41.835 0.789
6 ParAAM-L-SA-state 6 698817 18162 1 4878 1 #f 13 42.784 42.886 42.036 42.454 42.117 42.216 41.425 41.161 43.982 41.546 42.217 42.077 41.247 13 42.165 0.546
7 ParAAM-L-SA-state 7 698817 18162 1 4878 1 #f 13 42.423 41.824 42.393 43.756 42.207 42.266 41.642 41.276 42.899 42.794 42.485 42.429 41.559 13 42.304 0.469
8 ParAAM-L-SA-state 8 698817 18162 1 4878 1 #f 13 42.582 42.679 42.052 42.915 41.62  43.989 43.617 42.695 42.946 42.164 41.938 43.368 44.403 13 42.844 0.642
9 ParAAM-L-SA-state 9 698817 18162 1 4878 1 #f 13 42.964 43.809 43.313 44.128 42.137 43.25  41.169 42.25  42.848 43.524 42.633 42.773 43.159 13 42.92  0.571
10 ParAAM-L-SA-state 10 698817 18162 1 4878 1 #f 13 41.333 43.524 41.448 42.56  42.848 42.591 43.492 42.183 41.257 43.25  44.661 43.047 41.172 13 42.566 0.838
11 ParAAM-L-SA-state 12 698817 18162 1 4878 1 #f 13 43.95  42.792 41.365 42.557 42.696 42.467 44.567 42.296 42.752 43.268 41.157 44.04  43.552 13 42.881 0.765
12 ParAAM-L-SA-state 14 698817 18162 1 4878 1 #f 13 43.647 42.39  42.569 41.913 42.183 43.035 41.242 41.571 42.894 42.413 42.377 44.523 42.437 13 42.553 0.6  
13 ParAAM-L-SA-state 16 698817 18162 1 4878 1 #f 13 43.508 41.488 41.878 42.131 42.962 41.839 41.903 44.107 41.022 43.198 43.003 41.352 42.249 13 42.357 0.768
14 ParAAM-L-SA-state 18 698817 18162 1 4878 1 #f 13 43.713 41.76  43.635 43.712 41.078 42.793 42.44  43.056 43.326 41.587 40.909 42.087 42.449 13 42.503 0.802
15 ParAAM-L-SA-state 20 698817 18162 1 4878 1 #f 13 43.322 41.518 43.06  43.765 43.4   43.915 41.818 42.312 41.701 43.008 42.865 43.788 43.252 13 42.902 0.661
16 ParAAM-L-SA-state 24 698817 18162 1 4878 1 #f 13 42.409 43.324 43.958 43.5   44.102 43.185 42.909 43.411 42.132 44.03  42.469 42.55  42.324 13 43.1   0.586
17 ParAAM-L-SA-state 28 698817 18162 1 4878 1 #f 13 43.073 42.908 43.021 44.072 43.528 44.037 42.806 41.152 43.769 41.897 43.197 43.297 44.301 13 43.158 0.63 
18 ParAAM-L-SA-state 32 698817 18162 1 4878 1 #f 13 45     42.302 43.124 41.462 41.612 42.642 43.87  41.548 41.758 41.692 42.182 42.708 43.115 13 42.54  0.803
19 ParAAM-L-SA-state 40 698817 18162 1 4878 1 #f 13 43.892 42.367 42.647 44.107 42.662 43.171 42.576 41.663 42.592 41.275 43.978 40.586 42.573 13 42.622 0.727
20 ParAAM-L-SA-state 48 698817 18162 1 4878 1 #f 13 44.247 42.421 42.808 41.904 41.886 43.042 43.675 42.99  43.622 41.679 41.984 43.385 42.202 13 42.757 0.687
21 ParAAM-L-SA-state 56 698817 18162 1 4878 1 #f 13 42.196 41.983 42.592 42.126 42.324 42.813 40.534 42.801 42.682 42.442 42.402 42.521 43.091 13 42.347 0.395
22 ParAAM-L-SA-state 64 698817 18162 1 4878 1 #f 13 42.497 42.764 42.331 43.14  42.423 43.165 41.531 42.886 42.997 43.007 41.04  42.543 43.968 13 42.638 0.533
23 ParAAM-L-SA-set 2 698817 18162 1 4878 1 #f 13 37.767 37.525 37.412 38.275 37.104 37.183 37.069 36.966 37.546 36.949 37.886 37.545 36.88  13 37.393 0.339
24 ParAAM-L-SA-set 3 698817 18162 1 4878 1 #f 13 35.336 36.387 34.676 36.57  33.941 35.144 36.135 35.492 35.749 36.047 35.519 35.11  34.283 13 35.415 0.615
25 ParAAM-L-SA-set 4 698817 18162 1 4878 1 #f 13 38.167 39.616 37.843 38.522 35.893 39.015 37.926 37.573 37.732 38.733 38.243 38.796 40.32  13 38.337 0.766
26 ParAAM-L-SA-set 5 698817 18162 1 4878 1 #f 13 40.741 39.044 40.203 41.13  39.713 39.757 40.579 41.074 38.708 38.794 39.369 39.584 39.173 13 39.836 0.699
27 ParAAM-L-SA-set 6 698817 18162 1 4878 1 #f 13 42.433 40.127 40.58  39.359 40.744 39.86  41.088 40.259 41.297 39.937 39.691 40.838 41.523 13 40.595 0.67 
28 ParAAM-L-SA-set 7 698817 18162 1 4878 1 #f 13 40.922 41.38  42.07  40.39  40.309 41.081 39.55  39.837 39.417 42.285 41.41  39.01  39.993 13 40.589 0.864
29 ParAAM-L-SA-set 8 698817 18162 1 4878 1 #f 13 40.824 39.961 40.304 40.044 40.383 39.386 39.688 42.701 41.866 40.527 40.742 40.574 42.195 13 40.707 0.737
30 ParAAM-L-SA-set 9 698817 18162 1 4878 1 #f 13 43.572 41.039 40.299 40.247 42.205 40.872 41.785 41.346 40.011 41.548 40.282 40.213 41.259 13 41.129 0.76 
31 ParAAM-L-SA-set 10 698817 18162 1 4878 1 #f 13 42.433 40.486 42.948 41.734 40.527 41.337 41.757 41.112 40.342 40.637 40.208 39.697 40.214 13 41.033 0.788
32 ParAAM-L-SA-set 12 698817 18162 1 4878 1 #f 13 41.543 41.408 41.001 40.725 43.268 39.361 41.085 39.61  40.281 41.291 40.374 40.941 40.801 13 40.899 0.653
33 ParAAM-L-SA-set 14 698817 18162 1 4878 1 #f 13 43.402 38.587 42.482 41.428 42.86  41.094 40.373 42.216 40.968 42.947 40.681 41.534 41.263 13 41.526 0.967
34 ParAAM-L-SA-set 16 698817 18162 1 4878 1 #f 13 42.694 40.541 40.519 40.553 41.658 41.207 40.356 41.023 41.749 43.141 40.542 40.327 42.278 13 41.276 0.791
35 ParAAM-L-SA-set 18 698817 18162 1 4878 1 #f 13 41.556 41.965 41.92  39.641 43.648 40.695 41.85  39.243 41.179 41.656 40.334 40.751 40.099 13 41.118 0.915
36 ParAAM-L-SA-set 20 698817 18162 1 4878 1 #f 13 40.727 40.794 42.918 39.812 39.947 43.461 41.736 41.294 42.091 40.794 41.249 42.317 40.397 13 41.349 0.889
37 ParAAM-L-SA-set 24 698817 18162 1 4878 1 #f 13 42.209 41.479 41.322 41.501 40.221 41.237 40.489 42.159 41.275 41.685 41.136 41.195 42.131 13 41.388 0.437
38 ParAAM-L-SA-set 28 698817 18162 1 4878 1 #f 13 42.877 40.484 43.306 42.383 42.062 40.548 41.721 42.115 41.08  42.586 41.123 41.263 41.166 13 41.747 0.745
39 ParAAM-L-SA-set 32 698817 18162 1 4878 1 #f 13 40.805 41.417 41.578 40.956 41.237 41.418 41.247 38.956 41.22  41.178 42.274 41.698 41.167 13 41.166 0.428
40 ParAAM-L-SA-set 40 698817 18162 1 4878 1 #f 13 41.079 42.24  41.402 41.885 42.064 42.364 41.713 42.704 41.068 43.403 40.971 42.648 40.474 13 41.847 0.673
41 ParAAM-L-SA-set 48 698817 18162 1 4878 1 #f 13 43.086 41.132 40.068 42.762 41.773 41.994 41.26  40.441 40.88  44     40.62  41.207 41.109 13 41.564 0.892
42 ParAAM-L-SA-set 56 698817 18162 1 4878 1 #f 13 42.955 42.021 41.753 41.343 41.589 41.994 41.542 41.525 40.941 42.165 43.079 42.348 41.748 13 41.923 0.465
43 ParAAM-L-SA-set 64 698817 18162 1 4878 1 #f 13 43.701 43.036 40.31  42.606 41.666 39.388 41.087 42.18  41.001 40.304 41.648 40.758 41.124 13 41.447 0.947
44 ParAAM-L-SA-part 2 698817 18162 1 4878 1 #f 13 26.224 24.46  24.074 25.586 25.67  23.803 26.768 24.865 24.424 24.607 23.772 24.912 24.159 13 24.871 0.739
45 ParAAM-L-SA-part 3 698817 18162 1 4878 1 #f 13 30.271 30.079 28.885 29.13  28.769 28.559 29.507 29.275 28.427 30.143 29.905 29.813 28.586 13 29.334 0.571
46 ParAAM-L-SA-part 4 698817 18162 1 4878 1 #f 13 25.138 26.242 25.629 25.454 26.836 25.009 27.287 25.629 26.432 27.483 26.016 26.906 26.909 13 26.229 0.692
47 ParAAM-L-SA-part 5 698817 18162 1 4878 1 #f 13 26.494 25.393 26.202 25.266 25.306 25.712 23.879 25.262 24.7   24.621 25.563 23.958 26.046 13 25.262 0.598
48 ParAAM-L-SA-part 6 698817 18162 1 4878 1 #f 13 24.362 24.283 24.814 24.459 25.504 24.819 24.384 25.11  24.392 24.598 25.06  24.772 24.086 13 24.665 0.322
49 ParAAM-L-SA-part 7 698817 18162 1 4878 1 #f 13 25.066 24.38  23.684 24.926 24.829 24.409 23.98  24.367 24.7   25.51  24.7   25.309 24.777 13 24.664 0.385
50 ParAAM-L-SA-part 8 698817 18162 1 4878 1 #f 13 25.635 24.661 24.877 24.216 24.527 24.249 24.409 25.7   25.221 25.379 23.519 25.625 25.158 13 24.86  0.55 
51 ParAAM-L-SA-part 9 698817 18162 1 4878 1 #f 13 23.922 24.099 24.022 24.772 25.129 25.22  24.602 23.91  23.602 24.093 25.118 25.759 24.96  13 24.555 0.566
52 ParAAM-L-SA-part 10 698817 18162 1 4878 1 #f 13 24.589 25.095 24.211 23.819 25.024 24.094 24.623 24.728 25.483 23.864 24.167 24.181 24.024 13 24.454 0.433
53 ParAAM-L-SA-part 12 698817 18162 1 4878 1 #f 13 24.016 25.267 24.953 24.12  24.436 23.775 24.055 23.916 23.458 23.8   23.95  25.155 24.524 13 24.263 0.464
54 ParAAM-L-SA-part 14 698817 18162 1 4878 1 #f 13 23.755 23.632 24.239 24.499 23.58  24.511 23.633 23.68  23.456 24.786 24.464 25.262 24.249 13 24.134 0.472
55 ParAAM-L-SA-part 16 698817 18162 1 4878 1 #f 13 24.071 25.189 24.037 23.56  23.84  24.321 24.385 25.041 24.053 23.722 22.627 24.722 23.738 13 24.101 0.485
56 ParAAM-L-SA-part 18 698817 18162 1 4878 1 #f 13 24.49  23.967 24.457 23.82  24.028 24.742 24.162 24.831 25.019 23.739 23.78  24.054 23.511 13 24.2   0.391
57 ParAAM-L-SA-part 20 698817 18162 1 4878 1 #f 13 25.345 25.231 25.414 23.713 24.298 23.758 23.323 24.331 22.871 24.586 23.549 24.174 24.69  13 24.253 0.635
58 ParAAM-L-SA-part 24 698817 18162 1 4878 1 #f 13 23.925 24.257 23.843 23.876 24.209 23.864 23.636 24.74  23.823 24.012 23.53  24.821 24.539 13 24.083 0.331
59 ParAAM-L-SA-part 28 698817 18162 1 4878 1 #f 13 23.059 23.865 23.588 24.068 23.752 23.348 23.835 23.245 24.48  23.729 24.136 23.792 23.63  13 23.733 0.277
60 ParAAM-L-SA-part 32 698817 18162 1 4878 1 #f 13 23.757 23.683 23.447 23.662 24.29  24.827 23.446 22.411 25.511 22.778 23.944 24.188 23.585 13 23.81  0.571
61 ParAAM-L-SA-part 40 698817 18162 1 4878 1 #f 13 24.206 23.972 24.022 23.131 23.32  23.623 23.949 23.238 22.81  23.493 24.096 23.007 23.449 13 23.563 0.383
62 ParAAM-L-SA-part 48 698817 18162 1 4878 1 #f 13 24.232 23.333 24.402 23.858 23.698 23.005 23.543 23.083 23.231 23.823 23.021 23.767 22.675 13 23.513 0.42 
63 ParAAM-L-SA-part 56 698817 18162 1 4878 1 #f 13 23.945 23.802 24.317 23.335 23.798 23.937 23.914 22.905 23.334 24.034 24.141 23.244 22.912 13 23.663 0.398
64 ParAAM-L-SA-part 64 698817 18162 1 4878 1 #f 13 24.193 24.261 23.353 23.44  23.384 23.47  22.273 23.855 23.497 23.173 23.578 23.974 22.897 13 23.488 0.374
65 ParAAM-C-S-state 2 698817 18162 1 4878 1 #f 13 257.757 193.002 187.141 181.382 184.294 203.721 171.106 189.481 186.646 185.118 181.976 184.858 173.698 13 190.783 12.635
66 ParAAM-C-S-state 3 698817 18162 1 4878 1 #f 13 251.815 247.927 232.528 246.246 244.947 237.615 233.568 278.144 237.701 252.597 239.591 245.723 236.36  13 244.982 8.087
67 ParAAM-C-S-state 4 698817 18162 1 4878 1 #f 13 218.81  229.974 221.69  229.014 216.38  215.603 222.465 225.287 219.613 207.225 214.776 209.779 226.284 13 219.762 5.561
68 ParAAM-C-S-state 5 698817 18162 1 4878 1 #f 13 219.84  214.03  222.526 210.786 213.64  215.967 219.742 212.419 211.588 211.956 221.243 215.998 217.29  13 215.925 3.251
69 ParAAM-C-S-state 6 698817 18162 1 4878 1 #f 13 214.449 212.684 213.052 215.519 215.122 214.166 220.12  218.733 213.803 221.512 211.43  212.741 218.699 13 215.541 2.6  
70 ParAAM-C-S-state 7 698817 18162 1 4878 1 #f 13 215.527 215.183 215.726 207.082 213.518 211.165 211.166 207.413 215.869 211.424 219.604 217.815 214.011 13 213.5   2.962
71 ParAAM-C-S-state 8 698817 18162 1 4878 1 #f 13 214.713 211.703 212.785 210.982 213.703 211.757 218.905 217.724 220.316 211.492 208.7   211.701 214.66  13 213.78  2.68 
72 ParAAM-C-S-state 9 698817 18162 1 4878 1 #f 13 217.849 210.094 216.56  208.854 208.838 211.809 210.44  213.987 216.561 220.386 215.965 217.931 216.905 13 214.321 3.37 
73 ParAAM-C-S-state 10 698817 18162 1 4878 1 #f 13 217.037 219.476 213.419 210.662 208.975 219.19  216.249 213.705 217.31  212.407 215.807 211.56  217.046 13 214.834 2.812
74 ParAAM-C-S-state 12 698817 18162 1 4878 1 #f 13 212.156 213.375 212.969 220.426 208.911 222.223 216.495 208.505 208.974 213.385 219.667 217.333 216.52  13 214.688 3.775
75 ParAAM-C-S-state 14 698817 18162 1 4878 1 #f 13 216.475 212.827 212.999 212.094 211.926 208.59  212.247 211.385 217.242 209.084 211.115 212.054 209.936 13 212.152 1.697
76 ParAAM-C-S-state 16 698817 18162 1 4878 1 #f 13 212.132 216.348 209.5   213.419 211.588 211.637 212.314 211.907 216.003 217.013 215.062 208.67  215.747 13 213.18  2.233
77 ParAAM-C-S-state 18 698817 18162 1 4878 1 #f 13 214.961 213.857 216.509 210.225 216.392 217.018 213.865 221.251 220.953 218.849 216.994 216.36  211.249 13 216.037 2.466
78 ParAAM-C-S-state 20 698817 18162 1 4878 1 #f 13 216.067 213.967 214.675 218.534 217.745 216.519 210.805 207.837 218.297 219.347 212.658 214.085 209.726 13 214.636 2.882
79 ParAAM-C-S-state 24 698817 18162 1 4878 1 #f 13 216.334 222.46  218.506 210.545 216.232 218.282 211.241 213.394 213.901 209.629 215.72  213.749 211.292 13 214.714 2.961
80 ParAAM-C-S-state 28 698817 18162 1 4878 1 #f 13 217.455 212.697 215.051 214.312 215.648 210.931 211.527 214.266 212.664 206.094 223.28  214.385 215.646 13 214.151 2.591
81 ParAAM-C-S-state 32 698817 18162 1 4878 1 #f 13 213.32  211.665 214.889 207.189 210.338 217.348 217.8   219.696 217.395 215.462 212.542 213.915 218.917 13 214.652 2.914
82 ParAAM-C-S-state 40 698817 18162 1 4878 1 #f 13 213.911 211.329 213.862 214.146 215.566 213.693 210.07  221.012 224.175 213.758 213.46  215.563 218.083 13 215.279 2.77 
83 ParAAM-C-S-state 48 698817 18162 1 4878 1 #f 13 217.205 214.145 218.67  211.852 217.84  211.214 219.251 209.665 214.534 213.012 217.769 214.128 212.073 13 214.72  2.636
84 ParAAM-C-S-state 56 698817 18162 1 4878 1 #f 13 209.507 217.782 218.379 216.827 221.711 218.495 213.993 221.351 218.362 212.28  218.315 211.665 209.948 13 216.047 3.514
85 ParAAM-C-S-state 64 698817 18162 1 4878 1 #f 13 217.165 214.901 215.195 212.846 212.117 210.464 214.494 213.639 213.969 213.447 219.178 210.178 215.433 13 214.079 1.83 
86 ParAAM-C-S-set 2 698817 18162 1 4878 1 #f 13 43.244 44.103 43.865 43.556 43.24  42.874 42.198 42.611 42.209 42.417 43.371 42.654 43.333 13 43.052 0.515
87 ParAAM-C-S-set 3 698817 18162 1 4878 1 #f 13 42.461 41.738 40.511 41.367 39.911 39.545 40.748 42.074 39.93  41.143 38.127 40.114 41.966 13 40.741 0.971
88 ParAAM-C-S-set 4 698817 18162 1 4878 1 #f 13 47.185 52.609 52.416 50.521 47.413 51.96  50.583 49.4   50.958 51.535 50.411 50.617 50.398 13 50.462 1.154
89 ParAAM-C-S-set 5 698817 18162 1 4878 1 #f 13 61.419 60.599 63.208 58.655 60.881 61.011 63.415 63.252 62.803 62.137 60.436 58.373 61.462 13 61.358 1.26 
90 ParAAM-C-S-set 6 698817 18162 1 4878 1 #f 13 69.978 69.962 63.163 64.182 64.591 65.989 67.466 67.305 68.127 65.141 68.692 68.934 67.916 13 67.034 1.862
91 ParAAM-C-S-set 7 698817 18162 1 4878 1 #f 13 74.702 75.141 71.317 75.487 74.645 74.161 76.217 73.597 69.995 74.945 72.48  72.487 69.208 13 73.414 1.782
92 ParAAM-C-S-set 8 698817 18162 1 4878 1 #f 13 73.094 73.358 71.82  71.143 70.809 78.299 73.538 70.578 73.929 70.696 72.043 70.733 71.089 13 72.395 1.576
93 ParAAM-C-S-set 9 698817 18162 1 4878 1 #f 13 77.959 69.675 73.312 72.534 73.373 72.946 71.83  78.25  72.721 75.301 78.575 71.459 74.507 13 74.034 2.219
94 ParAAM-C-S-set 10 698817 18162 1 4878 1 #f 13 77.057 73.406 76.882 75.705 77.38  77.643 72.172 79.19  72.086 74.738 79.647 75.234 74.423 13 75.813 1.988
95 ParAAM-C-S-set 12 698817 18162 1 4878 1 #f 13 74.778 75.111 76.913 77.173 79.327 81.816 71.091 77.238 77.821 78.541 79.455 74.494 79.689 13 77.188 2.088
96 ParAAM-C-S-set 14 698817 18162 1 4878 1 #f 13 76.83  83.869 78.294 75.779 79.89  74.821 77.231 81.263 78.414 80.06  75.959 78.495 75.473 13 78.183 2.001
97 ParAAM-C-S-set 16 698817 18162 1 4878 1 #f 13 79.972 81.741 76.859 75.925 80.136 83.368 80.971 80.525 82.811 81.993 78.589 77.962 80.822 13 80.129 1.744
98 ParAAM-C-S-set 18 698817 18162 1 4878 1 #f 13 82.136 78.937 77.019 74.552 76.371 77.407 76.714 82.987 81.403 84.146 81.248 75.453 83.997 13 79.413 2.991
99 ParAAM-C-S-set 20 698817 18162 1 4878 1 #f 13 76.91  85.065 82.794 79.677 78.955 80.507 78.393 82.355 81.959 77.515 80.539 76.34  78.012 13 79.925 2.103
100 ParAAM-C-S-set 24 698817 18162 1 4878 1 #f 13 76.807 75.636 82.494 77.548 77.889 79.71  78.427 77.96  80.26  77.712 78.188 79.684 80.713 13 78.694 1.444
101 ParAAM-C-S-set 28 698817 18162 1 4878 1 #f 13 78.895 81.175 78.516 76.419 76.045 81.637 80.997 82.293 81.613 75.887 79.866 82.301 78.549 13 79.553 2.001
102 ParAAM-C-S-set 32 698817 18162 1 4878 1 #f 13 81.091 76.756 82.622 80.374 80.758 81.253 77.846 73.624 78.946 76.437 74.426 77.506 76.471 13 78.316 2.33 
103 ParAAM-C-S-set 40 698817 18162 1 4878 1 #f 13 77.342 72.984 81.367 73.96  75.321 76.057 79.277 75.183 77.075 76.995 81.881 79.558 78.312 13 77.332 2.115
104 ParAAM-C-S-set 48 698817 18162 1 4878 1 #f 13 81.977 81.042 79.506 79.579 78.692 84.584 80.347 74.249 78.441 78.727 80.367 82.574 77.033 13 79.778 1.88 
105 ParAAM-C-S-set 56 698817 18162 1 4878 1 #f 13 78.376 79.245 76.433 80.005 78.716 77.057 79.799 77.183 78.572 77.264 77.642 77.921 82.732 13 78.534 1.21 
106 ParAAM-C-S-set 64 698817 18162 1 4878 1 #f 13 80.494 75.962 74.22  78.28  78.109 79.626 78.194 76.063 79.534 77.476 76.976 81.462 80.251 13 78.204 1.604
107 ParAAM-C-S-part 2 698817 18162 1 4878 1 #f 13 23.813 22.028 22.482 22.948 23.155 22.571 22.499 22.112 21.143 22.402 22.8   21.89  22.513 13 22.489 0.443
108 ParAAM-C-S-part 3 698817 18162 1 4878 1 #f 13 13.728 12.13  12.951 13.022 12.888 11.082 10.829 13.213 13.66  10.312 11.183 11.775 13.702 13 12.344 1.039
109 ParAAM-C-S-part 4 698817 18162 1 4878 1 #f 13 7.605 7.627 9.66  8.84  7.802 9.178 9.425 8.582 8.499 9.236 8.727 8.123 8.667 13 8.613 0.529
110 ParAAM-C-S-part 5 698817 18162 1 4878 1 #f 13 6.864 7.329 6.82  7.805 6.932 6.356 6.828 6.482 7.097 6.683 6.721 6.795 6.199 13 6.839 0.281
111 ParAAM-C-S-part 6 698817 18162 1 4878 1 #f 13 6.323 6.317 6.512 6.386 5.692 6.455 5.821 6.569 5.762 6.026 5.879 6.189 5.909 13 6.142 0.271
112 ParAAM-C-S-part 7 698817 18162 1 4878 1 #f 13 6.278 5.486 5.371 5.343 6.338 6.511 6.207 5.531 5.174 5.629 5.339 5.52  5.692 13 5.724 0.375
113 ParAAM-C-S-part 8 698817 18162 1 4878 1 #f 13 5.362 4.871 4.892 5.357 4.905 4.827 5.972 4.991 5.588 5.033 4.977 4.998 4.723 13 5.115 0.28 
114 ParAAM-C-S-part 9 698817 18162 1 4878 1 #f 13 4.789 4.993 5.107 4.694 5.038 4.589 5.082 4.833 4.516 4.686 4.833 4.991 4.825 13 4.844 0.152
115 ParAAM-C-S-part 10 698817 18162 1 4878 1 #f 13 4.935 4.297 4.332 4.321 4.414 4.536 4.578 4.347 4.263 4.761 4.35  4.509 4.547 13 4.476 0.155
116 ParAAM-C-S-part 12 698817 18162 1 4878 1 #f 13 4.699 4.281 4.155 4.235 4.417 4.754 4.406 4.076 4.213 4.509 4.363 4.435 4.115 13 4.358 0.165
117 ParAAM-C-S-part 14 698817 18162 1 4878 1 #f 13 4.475 4.317 4.282 4.282 4.478 4.344 4.231 4.276 4.297 4.372 3.992 4.377 4.417 13 4.318 0.085
118 ParAAM-C-S-part 16 698817 18162 1 4878 1 #f 13 4.41  4.16  4.235 3.984 4.085 4.344 3.974 4.385 4.176 4.476 4.203 4.386 4.162 13 4.229 0.132
119 ParAAM-C-S-part 18 698817 18162 1 4878 1 #f 13 4.194 4.17  4.017 4.097 4.323 4.236 4.198 4.502 4.118 4.102 4.207 4.17  4.067 13 4.185 0.085
120 ParAAM-C-S-part 20 698817 18162 1 4878 1 #f 13 4.415 4.122 4.878 4.637 4.474 4.716 4.521 4.663 4.634 4.359 4.577 4.435 4.23  13 4.512 0.16 
121 ParAAM-C-S-part 24 698817 18162 1 4878 1 #f 13 5.123 4.257 4.551 4.99  4.802 5.154 4.823 4.7   4.915 4.729 5.135 4.764 4.427 13 4.798 0.209
122 ParAAM-C-S-part 28 698817 18162 1 4878 1 #f 13 5.184 5.051 4.745 5.215 4.91  4.863 4.772 4.974 5.059 4.905 5.373 5.412 4.968 13 5.033 0.169
123 ParAAM-C-S-part 32 698817 18162 1 4878 1 #f 13 5.655 5.239 5.803 5.549 5.305 5.361 5.25  5.277 5.365 5.065 5.335 5.226 5.231 13 5.359 0.145
124 ParAAM-C-S-part 40 698817 18162 1 4878 1 #f 13 5.586 5.943 5.709 5.343 5.572 5.917 5.872 5.931 5.955 5.963 5.555 5.818 5.497 13 5.743 0.184
125 ParAAM-C-S-part 48 698817 18162 1 4878 1 #f 13 6.566 5.856 6.05  5.711 6.134 5.762 5.984 5.705 6.206 6.17  6.209 5.845 5.982 13 6.014 0.193
126 ParAAM-C-S-part 56 698817 18162 1 4878 1 #f 13 7.145 6.156 6.395 6.772 6.286 5.954 5.875 6.615 6.026 6.24  6.287 6.515 6.123 13 6.338 0.27 
127 ParAAM-C-S-part 64 698817 18162 1 4878 1 #f 13 6.325 6.608 6.501 6.391 6.469 6.536 6.826 6.75  6.433 6.372 6.109 6.172 5.993 13 6.422 0.18 
128 ParAAM-C-state 1 698817 18162 1 4878 1 #f 13 12.715 13.394 12.147 13.108 12.221 12.978 12.474 11.971 12.205 12.089 12.08  11.756 12.295 13 12.418 0.397
129 ParAAM-C-state 2 698817 18162 1 4878 1 #f 13 8.855 8.214 7.561 8.227 8.24  7.454 7.559 8.286 7.813 8.445 7.705 7.572 7.827 13 7.981 0.366
130 ParAAM-C-state 3 698817 18162 1 4878 1 #f 13 9.501 10.134 10.647 9.369 10.088 9.182 9.973 9.25  9.645 9.637 10.303 11.221 9.931 13 9.914 0.446
131 ParAAM-C-state 4 698817 18162 1 4878 1 #f 13 11.949 10.505 10.277 12.358 11.872 10.183 11.961 10.257 11.22  9.922 10.451 11.546 10.194 13 10.977 0.776
132 ParAAM-C-state 5 698817 18162 1 4878 1 #f 13 12.883 11.954 11.037 11.956 10.582 10.821 12.199 11.347 12.281 11.189 11.796 10.839 11.544 13 11.571 0.56 
133 ParAAM-C-state 6 698817 18162 1 4878 1 #f 13 10.981 10.564 11.044 10.368 11.777 10.705 10.958 12.258 11.682 10.767 11.246 10.847 11.073 13 11.098 0.396
134 ParAAM-C-state 7 698817 18162 1 4878 1 #f 13 10.625 10.402 9.815 12.02  10.436 10.457 10.636 10.209 10.034 10.436 10.142 10.018 10.577 13 10.447 0.32 
135 ParAAM-C-state 8 698817 18162 1 4878 1 #f 13 10.452 9.9   9.959 9.605 10.336 9.962 9.75  10.572 9.772 10.694 10.257 10.96  11.07  13 10.253 0.395
136 ParAAM-C-state 9 698817 18162 1 4878 1 #f 13 10.042 9.519 9.54  10.12  9.302 9.633 9.533 9.959 10.583 9.389 9.296 9.168 10.688 13 9.752 0.405
137 ParAAM-C-state 10 698817 18162 1 4878 1 #f 13 9.178 9.377 9.265 8.798 9.857 8.897 9.767 9.663 9.261 9.448 9.307 9.846 9.595 13 9.405 0.269
138 ParAAM-C-state 12 698817 18162 1 4878 1 #f 13 8.678 9.18  8.884 9.254 9.45  9.236 9.535 8.996 8.388 9.86  8.741 8.938 8.758 13 9.069 0.323
139 ParAAM-C-state 14 698817 18162 1 4878 1 #f 13 9.716 9.205 8.641 8.652 9.36  9.604 9.823 8.552 8.332 9.237 9.645 9.194 9.305 13 9.174 0.388
140 ParAAM-C-state 16 698817 18162 1 4878 1 #f 13 8.963 8.906 9.736 9.701 8.94  9.213 8.716 9.467 8.881 8.959 8.839 8.867 9.257 13 9.111 0.28 
141 ParAAM-C-state 18 698817 18162 1 4878 1 #f 13 10.228 9.775 9.494 9.684 9.673 9.461 9.025 9.17  9.248 9.001 9.251 8.98  8.933 13 9.379 0.314
142 ParAAM-C-state 20 698817 18162 1 4878 1 #f 13 9.25  10.064 9.942 9.95  9.959 9.897 9.349 9.444 9.242 9.104 9.206 9.769 9.009 13 9.552 0.348
143 ParAAM-C-state 24 698817 18162 1 4878 1 #f 13 9.992 9.293 9.095 9.761 10.045 9.755 9.906 9.643 9.836 9.55  10.095 10.118 9.613 13 9.746 0.236
144 ParAAM-C-state 28 698817 18162 1 4878 1 #f 13 9.702 10.029 9.399 9.803 9.373 9.551 9.207 9.932 9.177 9.312 9.737 9.68  9.454 13 9.566 0.229
145 ParAAM-C-state 32 698817 18162 1 4878 1 #f 13 10.336 10.092 9.774 9.234 9.906 9.969 9.719 9.889 10.438 9.955 9.623 9.388 10.387 13 9.901 0.273
146 ParAAM-C-state 40 698817 18162 1 4878 1 #f 13 10.399 9.863 10.211 9.943 10.164 10.024 10.106 9.518 9.764 9.324 9.123 9.999 9.915 13 9.873 0.273
147 ParAAM-C-state 48 698817 18162 1 4878 1 #f 13 10.262 9.802 10.098 9.616 10.078 9.888 9.858 9.42  9.43  9.297 9.765 9.252 9.283 13 9.696 0.289
148 ParAAM-C-state 56 698817 18162 1 4878 1 #f 13 9.267 9.268 9.664 9.173 9.49  9.396 9.394 9.558 9.442 9.371 9.082 9.595 9.317 13 9.386 0.129
149 ParAAM-C-state 64 698817 18162 1 4878 1 #f 13 10.236 8.982 10.131 9.216 9.124 8.875 9.521 9.151 9.36  9.604 9.465 9.827 9.746 13 9.48  0.336
150 ParAAM-C-set 1 698817 18162 1 4878 1 #f 13 14.109 13.972 13.218 12.809 12.593 12.635 12.992 12.764 12.684 12.283 12.358 12.725 13.056 13 12.938 0.409
151 ParAAM-C-set 2 698817 18162 1 4878 1 #f 13 7.286 8.114 8.063 8.123 8.309 7.756 7.493 7.528 7.327 7.277 8.664 7.871 7.472 13 7.791 0.369
152 ParAAM-C-set 3 698817 18162 1 4878 1 #f 13 6.733 6.934 7.111 6.859 6.816 6.73  7.314 6.097 6.695 6.216 6.152 6.46  6.314 13 6.649 0.308
153 ParAAM-C-set 4 698817 18162 1 4878 1 #f 13 6.631 6.732 6.291 6.293 6.075 6.602 6.477 6.344 6.653 6.547 6.865 7.306 6.405 13 6.555 0.224
154 ParAAM-C-set 5 698817 18162 1 4878 1 #f 13 6.878 6.517 6.645 6.638 6.771 6.859 6.524 6.721 6.279 6.476 6.781 6.503 6.528 13 6.625 0.142
155 ParAAM-C-set 6 698817 18162 1 4878 1 #f 13 6.442 6.567 6.457 6.376 6.42  6.545 6.173 6.526 6.192 6.653 6.328 6.66  6.425 13 6.443 0.115
156 ParAAM-C-set 7 698817 18162 1 4878 1 #f 13 6.213 6.809 6.172 6.718 6.665 6.715 6.978 6.482 6.141 6.732 6.433 6.343 6.896 13 6.561 0.244
157 ParAAM-C-set 8 698817 18162 1 4878 1 #f 13 6.939 6.995 7.207 6.108 7.102 6.943 6.218 7.211 6.47  6.599 6.898 6.444 6.86  13 6.769 0.308
158 ParAAM-C-set 9 698817 18162 1 4878 1 #f 13 6.999 7.904 7.148 6.566 7.098 7.629 7.387 8.261 7.163 6.334 7.234 6.979 6.774 13 7.19  0.379
159 ParAAM-C-set 10 698817 18162 1 4878 1 #f 13 7.279 7.203 8.344 7.516 7.489 7.704 7.58  7     8.395 8.32  7.098 7.606 7.344 13 7.606 0.36 
160 ParAAM-C-set 12 698817 18162 1 4878 1 #f 13 7.629 8.437 8.437 8.461 8.485 8.71  8.202 7.614 7.346 8.401 7.56  8.16  8.466 13 8.147 0.375
161 ParAAM-C-set 14 698817 18162 1 4878 1 #f 13 7.426 7.906 7.226 8.37  8.042 8.45  8.004 8.365 7.378 8.121 7.407 7.297 8.086 13 7.852 0.389
162 ParAAM-C-set 16 698817 18162 1 4878 1 #f 13 8.026 8.361 8.43  7.675 7.653 7.812 7.439 7.969 7.775 8.075 8.212 7.787 7.722 13 7.918 0.241
163 ParAAM-C-set 18 698817 18162 1 4878 1 #f 13 7.766 7.258 7.428 7.688 8.025 8.05  7.75  7.472 7.223 7.701 7.41  7.954 7.247 13 7.613 0.252
164 ParAAM-C-set 20 698817 18162 1 4878 1 #f 13 8.006 7.346 7.765 8.249 8.85  7.802 8.113 7.746 8.17  8.374 7.802 7.521 7.988 13 7.979 0.292
165 ParAAM-C-set 24 698817 18162 1 4878 1 #f 13 7.879 7.78  8.074 7.708 8.186 7.553 8.281 7.607 8.419 7.909 7.764 8.302 7.712 13 7.936 0.243
166 ParAAM-C-set 28 698817 18162 1 4878 1 #f 13 8.251 8.134 8.037 7.96  7.606 8.434 7.698 8.196 7.631 7.732 8.016 8.043 8.138 13 7.99  0.204
167 ParAAM-C-set 32 698817 18162 1 4878 1 #f 13 8.511 8.397 8.208 7.9   8.002 7.863 8.082 8.096 8.192 8.375 7.951 8.285 8.225 13 8.16  0.164
168 ParAAM-C-set 40 698817 18162 1 4878 1 #f 13 8.993 8.371 8.795 8.08  7.78  7.871 7.715 8.709 7.868 7.672 7.685 7.755 7.799 13 8.084 0.389
169 ParAAM-C-set 48 698817 18162 1 4878 1 #f 13 8.14  7.957 7.929 8.718 8.191 8.348 7.93  8.092 7.891 7.79  8.206 8.002 7.687 13 8.068 0.198
170 ParAAM-C-set 56 698817 18162 1 4878 1 #f 13 8.478 7.938 8.443 7.967 7.802 7.934 8.029 7.965 7.913 8.017 7.9   8.024 7.748 13 8.012 0.143
171 ParAAM-C-set 64 698817 18162 1 4878 1 #f 13 7.827 8.786 7.77  7.746 7.859 7.689 8.028 7.65  8.234 8.232 7.978 8.138 7.865 13 7.985 0.23 
172 ParAAM-C-part 1 698817 18162 1 4878 1 #f 13 22.198 20.61  20.997 20.688 20.227 21.568 20.849 20.302 21.341 20.5   20.997 20.84  20.753 13 20.913 0.39 
173 ParAAM-C-part 2 698817 18162 1 4878 1 #f 13 11.624 13.111 12.513 11.411 12.258 12.574 11.645 12.501 12.062 12.136 12.269 11.973 11.441 13 12.117 0.392
174 ParAAM-C-part 3 698817 18162 1 4878 1 #f 13 8.157 7.545 7.393 8.133 7.679 7.395 8.012 7.738 8.035 8.18  7.557 9.723 7.944 13 7.961 0.381
175 ParAAM-C-part 4 698817 18162 1 4878 1 #f 13 6.581 7.07  6.461 7.196 6.268 6.219 6.428 6.857 6.608 6.214 7.1   7.385 6.934 13 6.717 0.345
176 ParAAM-C-part 5 698817 18162 1 4878 1 #f 13 5.546 6.114 5.454 5.561 6.074 6.058 6.655 6.017 6.351 5.484 5.454 5.726 5.181 13 5.821 0.36 
177 ParAAM-C-part 6 698817 18162 1 4878 1 #f 13 5.087 5.124 5.462 5.199 5.165 4.628 5.263 5.288 4.678 5.119 4.654 5.088 5.209 13 5.074 0.194
178 ParAAM-C-part 7 698817 18162 1 4878 1 #f 13 5.08  4.51  4.722 4.611 4.999 4.525 4.952 4.625 4.576 4.833 4.877 5.087 4.326 13 4.748 0.206
179 ParAAM-C-part 8 698817 18162 1 4878 1 #f 13 4.55  4.569 4.478 4.308 4.372 4.305 4.136 4.261 4.22  4.146 4.528 4.992 4.45  13 4.409 0.171
180 ParAAM-C-part 9 698817 18162 1 4878 1 #f 13 4.168 4.709 4.432 4.661 4.109 4.241 4.829 4.655 4.265 4.21  4.151 4.383 4.162 13 4.383 0.211
181 ParAAM-C-part 10 698817 18162 1 4878 1 #f 13 4.017 4.272 4.726 4.312 3.844 4.191 4.052 4.443 4.06  3.857 3.928 3.88  4.923 13 4.193 0.263
182 ParAAM-C-part 12 698817 18162 1 4878 1 #f 13 4.316 4.084 4.191 3.774 3.887 4.268 4.42  4.373 4.267 3.868 3.948 4.307 4.081 13 4.137 0.182
183 ParAAM-C-part 14 698817 18162 1 4878 1 #f 13 4.243 4.189 4.623 4.489 4.348 3.471 4.445 4.015 3.938 4.31  4.289 3.773 3.874 13 4.154 0.262
184 ParAAM-C-part 16 698817 18162 1 4878 1 #f 13 4.04  4.193 4.301 4.116 3.94  4.301 3.879 3.977 4.203 3.708 4.147 4.434 4.184 13 4.11  0.154
185 ParAAM-C-part 18 698817 18162 1 4878 1 #f 13 3.959 4.394 4.341 4.081 4.169 4.054 4.41  3.991 4.119 4.525 4.087 3.755 4     13 4.145 0.171
186 ParAAM-C-part 20 698817 18162 1 4878 1 #f 13 4.24  4.139 4.21  4.102 4.137 4.806 4.294 4.211 4.176 4.35  4.21  3.919 4.499 13 4.253 0.144
187 ParAAM-C-part 24 698817 18162 1 4878 1 #f 13 4.941 4.522 4.538 4.525 4.967 4.947 4.67  4.088 4.566 4.305 5.078 4.484 3.871 13 4.577 0.264
188 ParAAM-C-part 28 698817 18162 1 4878 1 #f 13 4.851 4.878 4.581 5.052 4.719 4.913 4.601 4.963 4.652 5.099 4.706 4.906 4.503 13 4.802 0.162
189 ParAAM-C-part 32 698817 18162 1 4878 1 #f 13 5.237 4.842 5.353 5.014 5.243 4.911 5.019 4.813 5.151 4.91  5.157 4.972 5.029 13 5.05  0.137
190 ParAAM-C-part 40 698817 18162 1 4878 1 #f 13 5.224 5.191 5.287 5.199 5.35  5.313 5.048 5.112 5.368 5.392 5.109 5.356 5.317 13 5.251 0.096
191 ParAAM-C-part 48 698817 18162 1 4878 1 #f 13 5.173 5.48  5.104 5.713 5.121 5.125 5.255 5.079 5.055 5.291 5.025 5.334 5.392 13 5.242 0.156
192 ParAAM-C-part 56 698817 18162 1 4878 1 #f 13 5.108 5.831 5.303 5.355 5.388 5.401 5.475 5.439 5.116 5.199 5.261 5.301 5.164 13 5.334 0.136
193 ParAAM-C-part 64 698817 18162 1 4878 1 #f 13 5.455 5.218 5.104 5.479 5.137 5.443 5.248 5.19  5.318 5.226 5.383 5.223 5.625 13 5.312 0.128