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 Hydra – Intel Xeon Gold 6148 CPU @ 2.4GHz2 processors × 20 cores (but not necessary all used) – Java GraalVM 19.1.1)
  Machine p # states # error states # error values # final states # final values Final values # ? Time 1 ? Time 2 ? Time 3 ? Time 4 ? Time 5 ? Time 6 ? Time 7 ? Time 8 ? Time 9 ? Time 10 ? Time 11 ? Time 12 ? Time 13 # finished Average time Standard error Correct? Error 1 Error 2 Error 3 Error 4 Error 5 Error 6 Error 7 Error 8 Error 9 Error 10 Error 11 Error 12 Error 13
1 SeqAAMLS 1 243472 6642 1 2439 1 Int 13 2.648 2.356 2.513 2.437 2.363 2.366 2.327 2.307 2.346 2.39  2.317 2.318 2.294 13 2.383 0.07 
2 ParAAM-L-SA-state 2 243472 6642 1 2439 1 Int 13 2.378 2.513 2.429 2.536 2.472 2.416 2.478 2.521 2.428 2.471 2.556 2.566 2.447 13 2.478 0.047
3 ParAAM-L-SA-state 3 243472 6642 1 2439 1 Int 13 2.953 3.01  2.925 2.94  2.862 3.011 2.902 2.919 2.966 2.896 2.926 2.948 2.918 13 2.937 0.032
4 ParAAM-L-SA-state 4 243472 6642 1 2439 1 Int 13 3.094 3.114 3.091 3.125 3.118 3.128 2.903 3.105 3.145 3.119 3.135 3.124 3.083 13 3.099 0.034
5 ParAAM-L-SA-state 5 243472 6642 1 2439 1 Int 13 3.16  2.971 3.142 3.158 3.14  3.164 3.141 3.179 3.321 3.201 3.195 2.855 3.059 13 3.13  0.077
6 ParAAM-L-SA-state 6 243472 6642 1 2439 1 Int 13 3.181 3.06  2.99  3.12  3.112 3.172 3.151 3.075 3.141 3.081 3.146 3.186 3.05  13 3.113 0.047
7 ParAAM-L-SA-state 7 243472 6642 1 2439 1 Int 13 3.248 3.158 3.196 3.155 3.209 3.138 3.183 3.116 3.057 3.153 3.113 3.209 3.128 13 3.159 0.039
8 ParAAM-L-SA-state 8 243472 6642 1 2439 1 Int 13 3.176 3.155 3.097 3.148 3.105 3.142 3.198 3.174 3.163 3.219 3.094 3.138 3.152 13 3.151 0.028
9 ParAAM-L-SA-state 9 243472 6642 1 2439 1 Int 13 3.159 3.153 3.119 3.172 3.181 3.119 3.184 3.225 3.212 3.223 3.27  3.158 3.196 13 3.182 0.033
10 ParAAM-L-SA-state 10 243472 6642 1 2439 1 Int 13 3.136 3.138 3.08  3.162 3.193 3.298 3.279 3.145 3.131 3.12  3.203 3.128 3.105 13 3.163 0.049
11 ParAAM-L-SA-state 11 243472 6642 1 2439 1 Int 13 3.103 3.05  3.141 3.154 3.177 3.151 3.107 3.125 3.142 3.132 3.25  3.172 3.163 13 3.144 0.031
12 ParAAM-L-SA-state 12 243472 6642 1 2439 1 Int 13 3.196 3.202 3.09  3.181 3.165 3.16  3.165 3.207 3.238 3.215 3.223 3.152 3.158 13 3.181 0.03 
13 ParAAM-L-SA-state 13 243472 6642 1 2439 1 Int 13 3.207 3.168 3.12  3.202 3.276 3.186 3.185 3.074 3.174 3.247 3.201 3.117 3.154 13 3.178 0.04 
14 ParAAM-L-SA-state 14 243472 6642 1 2439 1 Int 13 3.171 3.072 3.188 3.201 3.146 3.075 3.151 3.269 3.123 3.228 3.135 3.273 3.167 13 3.169 0.048
15 ParAAM-L-SA-state 15 243472 6642 1 2439 1 Int 13 3.215 3.144 3.166 3.268 3.145 3.118 3.145 3.174 3.173 3.185 3.131 3.138 3.149 13 3.165 0.029
16 ParAAM-L-SA-state 16 243472 6642 1 2439 1 Int 13 3.098 3.137 3.167 3.151 3.133 3.141 3.13  3.133 3.154 3.185 3.149 3.16  3.133 13 3.144 0.016
17 ParAAM-L-SA-state 17 243472 6642 1 2439 1 Int 13 3.145 3.15  3.194 3.195 3.162 3.129 3.165 3.171 3.17  3.128 3.118 3.174 2.948 13 3.142 0.038
18 ParAAM-L-SA-state 18 243472 6642 1 2439 1 Int 13 3.124 3.127 3.151 3.119 3.124 3.155 3.145 3.179 3.192 3.158 3.174 3.134 2.924 13 3.131 0.037
19 ParAAM-L-SA-state 19 243472 6642 1 2439 1 Int 13 3.153 3.183 3.081 3.096 3.145 3.152 3.098 3.155 3.18  3.193 3.199 3.107 3.21  13 3.15  0.035
20 ParAAM-L-SA-state 20 243472 6642 1 2439 1 Int 13 3.19  3.181 3.103 2.943 3.246 3.134 3.132 3.17  3.208 3.104 3.165 3.14  3.125 13 3.142 0.048
21 ParAAM-L-SA-state 22 243472 6642 1 2439 1 Int 13 3.148 3.116 3.147 3.233 3.099 3.126 3.153 3.153 3.149 3.209 3.113 3.004 3.204 13 3.143 0.039
22 ParAAM-L-SA-state 24 243472 6642 1 2439 1 Int 13 3.148 3.111 3.043 3.227 3.188 3.136 3.203 3.155 3.121 3.166 3.101 3.136 3.144 13 3.145 0.034
23 ParAAM-L-SA-state 26 243472 6642 1 2439 1 Int 13 3.188 3.204 3.071 3.11  3.135 3.098 3.204 3.209 3.127 3.16  3.156 3.083 3.154 13 3.146 0.039
24 ParAAM-L-SA-state 28 243472 6642 1 2439 1 Int 13 3.226 3.133 3.154 3.153 3.091 3.154 3.139 3.125 3.162 3.094 3.161 3.139 3.136 13 3.144 0.023
25 ParAAM-L-SA-state 30 243472 6642 1 2439 1 Int 13 3.168 3.124 3.158 3.027 3.148 3.22  3.155 3.182 3.163 3.181 3.125 3.157 3.175 13 3.152 0.029
26 ParAAM-L-SA-state 32 243472 6642 1 2439 1 Int 13 3.162 3.171 3.1   3.169 3.084 3.214 3.161 3.139 3.137 3.128 3.131 3.055 3.143 13 3.138 0.03 
27 ParAAM-L-SA-state 34 243472 6642 1 2439 1 Int 13 3.15  3.008 3.14  3.121 3.168 3.098 3.163 3.159 3.167 3.121 3.155 3.174 3.102 13 3.133 0.033
28 ParAAM-L-SA-state 36 243472 6642 1 2439 1 Int 13 3.274 3.161 3.15  3.14  3.154 3.119 3.115 3.185 3.133 3.158 3.148 3.143 3.176 13 3.158 0.025
29 ParAAM-L-SA-state 38 243472 6642 1 2439 1 Int 13 3.114 3.158 3.101 3.167 3.146 3.173 3.177 3.158 3.158 3.169 3.101 3.065 3.259 13 3.15  0.034
30 ParAAM-L-SA-state 40 243472 6642 1 2439 1 Int 13 3.075 3.083 3.206 2.836 3.118 3.229 3.127 3.104 3.114 3.238 3.165 3.124 3.124 13 3.119 0.059
31 ParAAM-L-SA-set 2 243472 6642 1 2439 1 Int 13 2.465 2.425 2.409 2.375 2.355 2.355 2.45  2.43  2.394 2.395 2.349 2.391 2.399 13 2.399 0.028
32 ParAAM-L-SA-set 3 243472 6642 1 2439 1 Int 13 2.874 2.791 2.829 2.785 2.818 2.864 2.823 2.813 2.855 2.85  2.834 2.81  2.874 13 2.832 0.024
33 ParAAM-L-SA-set 4 243472 6642 1 2439 1 Int 13 3.009 2.909 2.973 2.983 2.992 2.989 2.999 2.989 3.006 2.853 2.958 2.931 2.958 13 2.965 0.033
34 ParAAM-L-SA-set 5 243472 6642 1 2439 1 Int 13 3.054 3.005 3.031 2.989 2.93  3.012 2.967 3.025 2.938 2.995 2.987 3.013 2.999 13 2.996 0.026
35 ParAAM-L-SA-set 6 243472 6642 1 2439 1 Int 13 3.013 3.017 2.969 2.957 3.001 2.951 2.957 2.974 3.004 2.995 3.015 3.05  2.964 13 2.99  0.026
36 ParAAM-L-SA-set 7 243472 6642 1 2439 1 Int 13 3.014 2.978 2.954 3.01  3.056 2.996 2.991 3.014 2.953 2.986 3.007 3.007 3.009 13 2.998 0.02 
37 ParAAM-L-SA-set 8 243472 6642 1 2439 1 Int 13 3.063 3.005 2.977 3.035 3.014 3.011 3.034 2.974 2.949 2.973 3.006 2.99  3.039 13 3.005 0.025
38 ParAAM-L-SA-set 9 243472 6642 1 2439 1 Int 13 3.032 3.06  3.011 3.035 3.033 2.883 3.039 2.867 3.061 2.866 3.003 2.958 3.023 13 2.99  0.059
39 ParAAM-L-SA-set 10 243472 6642 1 2439 1 Int 13 3.031 2.992 2.752 2.965 3.003 3.027 3.011 2.968 2.996 3.005 3.03  2.999 2.995 13 2.983 0.04 
40 ParAAM-L-SA-set 11 243472 6642 1 2439 1 Int 13 3     3.031 2.988 3.012 2.997 2.995 3.029 2.909 3.02  2.984 3.038 3.039 2.918 13 2.997 0.029
41 ParAAM-L-SA-set 12 243472 6642 1 2439 1 Int 13 3.061 2.986 2.994 3.023 3.02  3.006 2.983 2.937 2.987 2.976 3.111 3.058 2.971 13 3.009 0.035
42 ParAAM-L-SA-set 13 243472 6642 1 2439 1 Int 13 3.044 2.983 3.044 3.044 3.044 2.996 3.028 3.014 3.101 3.03  2.991 2.991 2.947 13 3.02  0.03 
43 ParAAM-L-SA-set 14 243472 6642 1 2439 1 Int 13 3.019 3.037 3.028 2.984 3.019 3.013 3.038 2.973 2.915 3.008 3.137 2.994 3.007 13 3.013 0.031
44 ParAAM-L-SA-set 15 243472 6642 1 2439 1 Int 13 3.076 3.109 3.053 3.064 3.004 2.983 3.021 3.007 3.025 3.038 2.939 3.053 3.125 13 3.038 0.039
45 ParAAM-L-SA-set 16 243472 6642 1 2439 1 Int 13 3.023 3.035 3     3.009 3.01  3.03  3.059 3.017 2.94  2.998 3.031 3.017 2.966 13 3.01  0.021
46 ParAAM-L-SA-set 17 243472 6642 1 2439 1 Int 13 2.959 2.983 3.073 2.992 3.03  3.023 3.044 3.003 2.999 3.007 3.045 2.956 3.04  13 3.012 0.028
47 ParAAM-L-SA-set 18 243472 6642 1 2439 1 Int 13 3.057 3.064 3.144 2.991 3.049 2.984 3.006 3.014 2.995 3.043 3.055 3.035 2.985 13 3.032 0.034
48 ParAAM-L-SA-set 19 243472 6642 1 2439 1 Int 13 3.051 3.07  3.045 3.01  3.014 2.957 3.023 3.038 3.004 3.044 3.009 2.994 2.978 13 3.018 0.025
49 ParAAM-L-SA-set 20 243472 6642 1 2439 1 Int 13 3.02  2.997 2.947 3.03  3.007 3.023 2.993 2.944 3.01  3.028 3.095 3.016 2.939 13 3.004 0.031
50 ParAAM-L-SA-set 22 243472 6642 1 2439 1 Int 13 3.051 2.987 3.007 3.009 3.027 3.05  3.062 2.984 2.99  3.047 3.028 3.11  3.003 13 3.027 0.028
51 ParAAM-L-SA-set 24 243472 6642 1 2439 1 Int 13 3.077 2.95  3.034 3.058 3.001 2.965 3.06  2.964 3.035 2.979 3.045 3.057 3.076 13 3.023 0.039
52 ParAAM-L-SA-set 26 243472 6642 1 2439 1 Int 13 3.105 3.049 3.01  3.01  3.104 3.059 2.965 3.023 3.007 3.052 3.071 3.014 3.013 13 3.037 0.033
53 ParAAM-L-SA-set 28 243472 6642 1 2439 1 Int 13 3.026 3.003 2.993 2.998 3.02  3.045 2.964 2.994 3.051 2.985 3.066 3.005 3.041 13 3.015 0.025
54 ParAAM-L-SA-set 30 243472 6642 1 2439 1 Int 13 3.034 3.005 2.86  3.043 3.047 3.043 3.005 3.054 2.997 3.028 2.933 2.965 3.044 13 3.005 0.04 
55 ParAAM-L-SA-set 32 243472 6642 1 2439 1 Int 13 3.066 3.021 3.064 3.08  3.028 3.001 2.989 2.957 2.995 3.005 3.029 3.026 3.005 13 3.02  0.026
56 ParAAM-L-SA-set 34 243472 6642 1 2439 1 Int 13 3.006 2.97  3.091 2.891 2.996 3.047 2.973 3.034 3.008 2.985 3.01  3.019 3.025 13 3.004 0.032
57 ParAAM-L-SA-set 36 243472 6642 1 2439 1 Int 13 3.039 2.995 3.023 3.019 2.991 3     3.034 3.032 3.047 2.965 2.951 2.966 3.048 13 3.008 0.028
58 ParAAM-L-SA-set 38 243472 6642 1 2439 1 Int 13 3.069 3.075 3.027 3.026 3.029 3.076 3.058 3.044 3     3.015 3     3.047 3.018 13 3.037 0.023
59 ParAAM-L-SA-set 40 243472 6642 1 2439 1 Int 13 3.113 3.014 3.034 3.087 3.015 3.02  3.029 3.08  2.965 3.033 2.854 2.98  3.034 13 3.02  0.042
60 ParAAM-L-SA-part 2 243472 6642 1 2439 1 Int 13 2.626 2.609 2.557 2.644 2.681 2.594 2.561 2.546 2.533 2.595 2.555 2.644 2.718 13 2.605 0.045
61 ParAAM-L-SA-part 3 243472 6642 1 2439 1 Int 13 1.927 1.904 1.897 1.869 1.874 1.854 1.897 1.889 1.874 1.873 1.903 1.891 1.929 13 1.891 0.017
62 ParAAM-L-SA-part 4 243472 6642 1 2439 1 Int 13 1.746 1.72  1.716 1.834 1.775 1.823 1.709 1.69  1.758 1.726 1.668 1.744 1.704 13 1.739 0.037
63 ParAAM-L-SA-part 5 243472 6642 1 2439 1 Int 13 1.651 1.628 1.597 1.613 1.613 1.619 1.613 1.727 1.704 1.606 1.711 1.665 1.646 13 1.646 0.036
64 ParAAM-L-SA-part 6 243472 6642 1 2439 1 Int 13 1.604 1.596 1.564 1.609 1.641 1.584 1.574 1.583 1.576 1.552 1.544 1.597 1.589 13 1.586 0.019
65 ParAAM-L-SA-part 7 243472 6642 1 2439 1 Int 13 1.593 1.563 1.649 1.583 1.56  1.521 1.567 1.555 1.554 1.615 1.495 1.567 1.562 13 1.568 0.026
66 ParAAM-L-SA-part 8 243472 6642 1 2439 1 Int 13 1.617 1.545 1.52  1.51  1.547 1.549 1.576 1.492 1.559 1.541 1.524 1.499 1.496 13 1.537 0.027
67 ParAAM-L-SA-part 9 243472 6642 1 2439 1 Int 13 1.579 1.513 1.534 1.514 1.503 1.486 1.55  1.473 1.573 1.518 1.585 1.52  1.544 13 1.53  0.028
68 ParAAM-L-SA-part 10 243472 6642 1 2439 1 Int 13 1.543 1.566 1.473 1.515 1.573 1.475 1.488 1.531 1.62  1.487 1.514 1.484 1.489 13 1.52  0.036
69 ParAAM-L-SA-part 11 243472 6642 1 2439 1 Int 13 1.533 1.499 1.601 1.518 1.474 1.533 1.496 1.61  1.501 1.575 1.497 1.467 1.532 13 1.526 0.035
70 ParAAM-L-SA-part 12 243472 6642 1 2439 1 Int 13 1.543 1.474 1.536 1.478 1.527 1.554 1.516 1.483 1.559 1.525 1.51  1.629 1.509 13 1.526 0.029
71 ParAAM-L-SA-part 13 243472 6642 1 2439 1 Int 13 1.604 1.528 1.533 1.493 1.576 1.468 1.459 1.511 1.5   1.474 1.534 1.488 1.52  13 1.514 0.032
72 ParAAM-L-SA-part 14 243472 6642 1 2439 1 Int 13 1.548 1.497 1.497 1.475 1.618 1.494 1.469 1.584 1.492 1.517 1.462 1.478 1.471 13 1.508 0.036
73 ParAAM-L-SA-part 15 243472 6642 1 2439 1 Int 13 1.635 1.543 1.54  1.484 1.515 1.496 1.695 1.566 1.461 1.503 1.446 1.522 1.493 13 1.531 0.05 
74 ParAAM-L-SA-part 16 243472 6642 1 2439 1 Int 13 1.554 1.506 1.472 1.495 1.521 1.534 1.514 1.52  1.574 1.499 1.475 1.459 1.529 13 1.512 0.025
75 ParAAM-L-SA-part 17 243472 6642 1 2439 1 Int 13 1.567 1.494 1.484 1.512 1.494 1.498 1.479 1.548 1.519 1.523 1.513 1.547 1.513 13 1.515 0.02 
76 ParAAM-L-SA-part 18 243472 6642 1 2439 1 Int 13 1.511 1.468 1.53  1.544 1.509 1.455 1.581 1.55  1.536 1.518 1.514 1.534 1.587 13 1.526 0.028
77 ParAAM-L-SA-part 19 243472 6642 1 2439 1 Int 13 1.56  1.483 1.528 1.576 1.52  1.558 1.52  1.555 1.499 1.534 1.56  1.559 1.494 13 1.534 0.025
78 ParAAM-L-SA-part 20 243472 6642 1 2439 1 Int 13 1.496 1.59  1.465 1.505 1.509 1.491 1.507 1.521 1.491 1.534 1.531 1.477 1.519 13 1.51  0.022
79 ParAAM-L-SA-part 22 243472 6642 1 2439 1 Int 13 1.519 1.528 1.497 1.501 1.467 1.48  1.494 1.524 1.481 1.494 1.505 1.499 1.483 13 1.498 0.014
80 ParAAM-L-SA-part 24 243472 6642 1 2439 1 Int 13 1.537 1.453 1.474 1.477 1.526 1.506 1.499 1.565 1.485 1.483 1.521 1.543 1.477 13 1.504 0.027
81 ParAAM-L-SA-part 26 243472 6642 1 2439 1 Int 13 1.523 1.49  1.518 1.494 1.505 1.497 1.515 1.488 1.534 1.52  1.485 1.469 1.594 13 1.51  0.022
82 ParAAM-L-SA-part 28 243472 6642 1 2439 1 Int 13 1.543 1.464 1.558 1.506 1.569 1.529 1.53  1.487 1.483 1.487 1.483 1.495 1.535 13 1.513 0.029
83 ParAAM-L-SA-part 30 243472 6642 1 2439 1 Int 13 1.523 1.528 1.551 1.579 1.493 1.493 1.475 1.486 1.453 1.574 1.476 1.497 1.483 13 1.509 0.033
84 ParAAM-L-SA-part 32 243472 6642 1 2439 1 Int 13 1.518 1.473 1.488 1.493 1.503 1.479 1.547 1.462 1.536 1.486 1.508 1.485 1.476 13 1.497 0.02 
85 ParAAM-L-SA-part 34 243472 6642 1 2439 1 Int 13 1.515 1.49  1.5   1.485 1.515 1.496 1.591 1.507 1.629 1.474 1.496 1.489 1.544 13 1.518 0.032
86 ParAAM-L-SA-part 36 243472 6642 1 2439 1 Int 13 1.531 1.51  1.507 1.575 1.475 1.564 1.524 1.498 1.46  1.527 1.488 1.527 1.518 13 1.516 0.024
87 ParAAM-L-SA-part 38 243472 6642 1 2439 1 Int 13 1.501 1.491 1.533 1.529 1.503 1.49  1.594 1.493 1.534 1.55  1.48  1.499 1.486 13 1.514 0.026
88 ParAAM-L-SA-part 40 243472 6642 1 2439 1 Int 13 1.507 1.454 1.537 1.475 1.475 1.531 1.536 1.495 1.486 1.473 1.525 1.601 1.55  13 1.511 0.033
89 ParAAM-C-S-state 2 243472 6642 1 2439 1 Int 13 11.444 9.783 9.548 10.503 9.627 8.494 10.883 9.26  10.275 10.2   10.263 10.05  9.646 13 9.998 0.559
90 ParAAM-C-S-state 3 243472 6642 1 2439 1 Int 13 9.221 9.922 9.883 10.143 10.083 9.753 10.054 9.229 10.345 9.855 9.776 9.535 9.534 13 9.795 0.265
91 ParAAM-C-S-state 4 243472 6642 1 2439 1 Int 13 9.975 10.359 9.043 9.739 9.294 8.93  9.377 9.952 8.967 9.694 9.064 9.65  9.63  13 9.513 0.37 
92 ParAAM-C-S-state 5 243472 6642 1 2439 1 Int 13 9.33  10.066 9.344 9.323 9.683 9.82  9.738 9.786 10.168 9.807 10.001 9.196 10.159 13 9.725 0.269
93 ParAAM-C-S-state 6 243472 6642 1 2439 1 Int 13 10.085 10.141 9.886 10.236 9.279 10.188 9.667 9.678 8.749 9.483 9.858 9.522 9.723 13 9.73  0.309
94 ParAAM-C-S-state 7 243472 6642 1 2439 1 Int 13 10.257 9.894 9.722 9.705 9.746 9.902 9.853 9.725 10.068 10.281 9.635 8.759 9.72  13 9.79  0.233
95 ParAAM-C-S-state 8 243472 6642 1 2439 1 Int 13 9.217 9.569 9.523 10.214 9.62  10.173 9.854 10.085 10.076 10.085 9.725 9.756 9.884 13 9.829 0.241
96 ParAAM-C-S-state 9 243472 6642 1 2439 1 Int 13 9.662 10.086 10.229 10.365 10.079 9.444 10.124 10.666 10.058 10.395 9.574 9.884 9.26  13 9.987 0.324
97 ParAAM-C-S-state 10 243472 6642 1 2439 1 Int 13 10.567 9.856 9.664 9.862 10.045 10.274 9.904 10.192 9.777 9.747 10.34  9.864 10.087 13 10.014 0.219
98 ParAAM-C-S-state 11 243472 6642 1 2439 1 Int 13 10.537 9.678 9.725 9.765 9.913 9.533 10.343 9.508 9.429 9.899 9.558 10.319 9.286 13 9.807 0.304
99 ParAAM-C-S-state 12 243472 6642 1 2439 1 Int 13 10.223 9.18  10.108 10.134 9.083 9.667 10.097 10.166 9.87  9.767 10.113 10.223 9.79  13 9.878 0.295
100 ParAAM-C-S-state 13 243472 6642 1 2439 1 Int 13 9.907 10.009 9.585 9.838 10.237 9.829 9.537 9.694 9.987 9.999 9.341 9.395 9.64  13 9.769 0.219
101 ParAAM-C-S-state 14 243472 6642 1 2439 1 Int 13 10.109 10.559 9.884 10.369 10.271 9.769 9.777 10.146 9.773 9.149 10.159 10.177 9.723 13 9.99  0.286
102 ParAAM-C-S-state 15 243472 6642 1 2439 1 Int 13 9.494 10.156 9.885 10.148 10.089 10.423 9.707 9.459 9.853 9.808 9.867 9.71  10.116 13 9.901 0.219
103 ParAAM-C-S-state 16 243472 6642 1 2439 1 Int 13 10.043 10.14  9.679 9.724 10.154 9.849 10.1   9.836 9.824 9.785 9.723 9.449 10.698 13 9.923 0.234
104 ParAAM-C-S-state 17 243472 6642 1 2439 1 Int 13 9.901 10.494 10.25  9.649 9.883 9.739 9.653 9.633 9.985 9.516 9.883 9.725 9.641 13 9.843 0.206
105 ParAAM-C-S-state 18 243472 6642 1 2439 1 Int 13 10.55  9.987 9.234 9.663 9.413 10.274 9.75  9.834 9.894 9.847 10.169 9.793 10.478 13 9.914 0.29 
106 ParAAM-C-S-state 19 243472 6642 1 2439 1 Int 13 9.993 10.644 9.879 10.026 10.196 10.358 10.32  9.756 9.781 9.558 10.083 9.803 9.71  13 10.008 0.243
107 ParAAM-C-S-state 20 243472 6642 1 2439 1 Int 13 9.667 9.61  9.591 9.605 10.194 10.526 9.144 9.676 10.17  9.883 9.758 9.686 9.8   13 9.793 0.247
108 ParAAM-C-S-state 22 243472 6642 1 2439 1 Int 13 10.144 10.25  10.242 9.987 9.877 9.6   10.376 9.835 10.45  10.306 9.813 9.321 9.222 13 9.956 0.318
109 ParAAM-C-S-state 24 243472 6642 1 2439 1 Int 13 10.283 9.934 9.544 9.865 10.764 9.835 9.128 9.82  9.673 9.1   10.331 9.783 9.72  13 9.829 0.313
110 ParAAM-C-S-state 26 243472 6642 1 2439 1 Int 13 9.52  9.97  10.094 9.893 10.076 9.824 9.816 10.359 10.239 9.98  10.201 10.236 10.323 13 10.041 0.191
111 ParAAM-C-S-state 28 243472 6642 1 2439 1 Int 13 9.896 9.587 10.214 9.538 9.969 10.425 10.26  10.157 10.36  9.729 9.736 9.469 10.567 13 9.993 0.312
112 ParAAM-C-S-state 30 243472 6642 1 2439 1 Int 13 9.503 9.937 10.163 10.013 10.078 9.929 10.235 9.587 9.797 9.831 9.806 9.998 9.845 13 9.902 0.16 
113 ParAAM-C-S-state 32 243472 6642 1 2439 1 Int 13 9.975 9.826 9.694 10.097 9.879 9.824 9.84  10.3   10.066 10.18  9.683 9.903 9.698 13 9.92  0.156
114 ParAAM-C-S-state 34 243472 6642 1 2439 1 Int 13 10.473 9.641 10.335 9.879 10.024 9.919 10.036 9.571 9.927 9.914 10.138 9.811 9.954 13 9.971 0.177
115 ParAAM-C-S-state 36 243472 6642 1 2439 1 Int 13 10.233 10.07  9.621 10.204 9.8   9.584 9.983 10.045 10.255 9.215 10.399 9.957 9.715 13 9.929 0.263
116 ParAAM-C-S-state 38 243472 6642 1 2439 1 Int 13 9.394 9.665 9.946 10.004 9.944 9.979 10.11  9.546 10.164 10.144 9.714 9.903 10.453 13 9.92  0.212
117 ParAAM-C-S-state 40 243472 6642 1 2439 1 Int 13 9.638 9.649 9.878 10.123 10.107 10.057 9.994 10.047 9.703 10.469 10.178 10.275 10.495 13 10.047 0.211
118 ParAAM-C-S-set 2 243472 6642 1 2439 1 Int 13 3.23  2.861 2.871 2.794 2.898 2.747 3.103 3.155 3.208 3.134 3.081 3.056 3.165 13 3.023 0.146
119 ParAAM-C-S-set 3 243472 6642 1 2439 1 Int 13 2.845 2.893 2.846 2.974 2.82  2.603 2.92  2.834 2.83  2.974 2.84  2.777 2.863 13 2.847 0.059
120 ParAAM-C-S-set 4 243472 6642 1 2439 1 Int 13 3.01  2.885 2.98  3.079 2.813 2.807 2.976 2.788 2.619 2.739 2.829 2.454 2.637 13 2.817 0.132
121 ParAAM-C-S-set 5 243472 6642 1 2439 1 Int 13 2.959 3.058 3.163 3.056 3.154 3.056 2.945 3.18  3.246 3.114 2.975 3.122 3.074 13 3.085 0.072
122 ParAAM-C-S-set 6 243472 6642 1 2439 1 Int 13 3.057 3.25  3.244 3.264 3.164 3.358 3.249 3.334 3.249 3.304 3.231 2.948 2.823 13 3.19  0.118
123 ParAAM-C-S-set 7 243472 6642 1 2439 1 Int 13 3.179 3.296 3.379 3.381 3.45  3.284 3.383 3.353 3.343 3.431 3.38  3.17  3.017 13 3.311 0.094
124 ParAAM-C-S-set 8 243472 6642 1 2439 1 Int 13 3.197 3.403 3.395 3.137 3.357 3.562 3.416 3.429 3.357 3.397 3.358 3.386 3.423 13 3.37  0.069
125 ParAAM-C-S-set 9 243472 6642 1 2439 1 Int 13 3.138 3.392 3.418 3.664 3.313 3.459 3.43  3.509 3.426 3.178 3.239 3.486 3.225 13 3.375 0.12 
126 ParAAM-C-S-set 10 243472 6642 1 2439 1 Int 13 3.565 3.68  3.399 3.318 3.628 3.42  3.509 3.117 3.344 3.576 3.384 3.435 3.437 13 3.447 0.111
127 ParAAM-C-S-set 11 243472 6642 1 2439 1 Int 13 3.425 3.338 3.235 3.098 3.239 3.438 3.389 3.334 3.443 3.515 3.245 3.558 3.36  13 3.355 0.099
128 ParAAM-C-S-set 12 243472 6642 1 2439 1 Int 13 3.364 3.356 3.405 3.446 3.205 3.354 3.389 3.253 3.535 3.401 3.333 3.374 3.276 13 3.361 0.06 
129 ParAAM-C-S-set 13 243472 6642 1 2439 1 Int 13 3.315 3.464 3.159 3.323 3.304 3.348 3.249 3.343 3.488 3.334 3.444 3.526 3.334 13 3.356 0.077
130 ParAAM-C-S-set 14 243472 6642 1 2439 1 Int 13 3.327 3.418 3.43  3.449 3.515 3.335 3.394 3.429 3.506 3.419 3.396 3.544 3.424 13 3.43  0.045
131 ParAAM-C-S-set 15 243472 6642 1 2439 1 Int 13 3.319 3.324 3.415 3.423 3.393 3.41  3.415 3.356 3.51  3.488 3.429 3.261 3.552 13 3.407 0.059
132 ParAAM-C-S-set 16 243472 6642 1 2439 1 Int 13 3.441 3.437 3.313 3.144 3.524 3.146 3.441 3.255 3.434 3.488 3.457 3.433 3.52  13 3.387 0.106
133 ParAAM-C-S-set 17 243472 6642 1 2439 1 Int 13 3.454 3.567 3.474 3.394 3.404 3.367 3.385 3.364 3.375 3.569 3.41  3.488 3.587 13 3.449 0.068
134 ParAAM-C-S-set 18 243472 6642 1 2439 1 Int 13 3.205 3.529 3.56  3.469 3.484 3.238 3.515 3.206 3.317 3.479 3.513 3.224 3.544 13 3.406 0.13 
135 ParAAM-C-S-set 19 243472 6642 1 2439 1 Int 13 3.528 3.577 3.599 3.483 3.261 3.555 3.321 3.408 3.458 3.467 3.28  3.378 3.366 13 3.437 0.094
136 ParAAM-C-S-set 20 243472 6642 1 2439 1 Int 13 3.487 3.458 3.158 3.56  3.381 3.547 3.463 3.373 3.178 3.589 3.608 3.517 3.583 13 3.454 0.112
137 ParAAM-C-S-set 22 243472 6642 1 2439 1 Int 13 3.423 3.394 3.36  3.424 3.519 3.5   3.487 3.44  3.574 3.458 3.384 3.547 3.647 13 3.474 0.067
138 ParAAM-C-S-set 24 243472 6642 1 2439 1 Int 13 3.504 3.378 3.524 3.466 3.4   3.516 3.475 3.207 3.379 3.399 3.418 3.539 3.528 13 3.441 0.072
139 ParAAM-C-S-set 26 243472 6642 1 2439 1 Int 13 3.505 3.609 3.496 3.615 3.661 3.527 3.564 3.471 3.6   3.568 3.351 3.28  3.338 13 3.506 0.092
140 ParAAM-C-S-set 28 243472 6642 1 2439 1 Int 13 3.444 3.613 3.329 3.375 3.421 3.418 3.569 3.508 3.32  3.286 3.633 3.239 3.519 13 3.437 0.103
141 ParAAM-C-S-set 30 243472 6642 1 2439 1 Int 13 3.441 3.545 3.323 3.567 3.543 3.418 3.519 3.554 3.701 3.458 3.625 3.567 3.274 13 3.503 0.092
142 ParAAM-C-S-set 32 243472 6642 1 2439 1 Int 13 3.549 3.637 3.417 3.579 3.606 3.44  3.41  3.426 3.613 3.293 3.573 3.419 3.555 13 3.501 0.093
143 ParAAM-C-S-set 34 243472 6642 1 2439 1 Int 13 3.62  3.346 3.457 3.413 3.46  3.394 3.524 3.434 3.454 3.494 3.535 3.475 3.503 13 3.47  0.051
144 ParAAM-C-S-set 36 243472 6642 1 2439 1 Int 13 3.564 3.728 3.47  3.223 3.418 3.363 3.713 3.604 3.676 3.244 3.574 3.535 3.453 13 3.505 0.132
145 ParAAM-C-S-set 38 243472 6642 1 2439 1 Int 13 3.546 3.557 3.433 3.451 3.41  3.18  3.603 3.626 3.311 3.255 3.695 3.628 3.567 13 3.482 0.131
146 ParAAM-C-S-set 40 243472 6642 1 2439 1 Int 13 3.736 3.723 3.483 3.573 3.666 3.393 3.646 3.479 3.315 3.185 3.726 3.307 3.285 13 3.501 0.163
147 ParAAM-C-S-part 2 243472 6642 1 2439 1 Int 13 2.673 2.679 2.566 2.523 2.623 2.575 2.449 2.593 2.458 2.516 2.536 2.458 2.565 13 2.555 0.06 
148 ParAAM-C-S-part 3 243472 6642 1 2439 1 Int 13 1.475 1.235 1.648 1.369 1.187 1.269 1.504 1.524 1.607 1.236 1.258 1.335 1.51  13 1.397 0.137
149 ParAAM-C-S-part 4 243472 6642 1 2439 1 Int 13 0.904 1.013 0.957 0.916 0.988 0.964 0.905 0.984 0.884 0.944 0.894 0.954 0.958 13 0.943 0.033
150 ParAAM-C-S-part 5 243472 6642 1 2439 1 Int 13 0.789 0.751 0.765 0.801 0.904 0.745 0.825 0.768 0.775 0.724 0.835 0.675 0.71  13 0.774 0.043
151 ParAAM-C-S-part 6 243472 6642 1 2439 1 Int 13 0.644 0.618 0.654 0.623 0.704 0.614 0.624 0.687 0.66  0.694 0.639 0.687 0.595 13 0.649 0.029
152 ParAAM-C-S-part 7 243472 6642 1 2439 1 Int 13 0.584 0.59  0.55  0.564 0.554 0.584 0.576 0.547 0.564 0.545 0.573 0.601 0.578 13 0.57  0.015
153 ParAAM-C-S-part 8 243472 6642 1 2439 1 Int 13 0.54  0.53  0.499 0.538 0.527 0.513 0.498 0.498 0.546 0.534 0.485 0.533 0.523 13 0.52  0.017
154 ParAAM-C-S-part 9 243472 6642 1 2439 1 Int 13 0.525 0.491 0.503 0.487 0.496 0.498 0.473 0.477 0.458 0.51  0.5   0.511 0.47  13 0.492 0.015
155 ParAAM-C-S-part 10 243472 6642 1 2439 1 Int 13 0.494 0.465 0.466 0.457 0.467 0.475 0.454 0.46  0.453 0.46  0.473 0.479 0.46  13 0.466 0.009
156 ParAAM-C-S-part 11 243472 6642 1 2439 1 Int 13 0.478 0.444 0.456 0.439 0.441 0.449 0.455 0.449 0.444 0.458 0.443 0.439 0.437 13 0.449 0.008
157 ParAAM-C-S-part 12 243472 6642 1 2439 1 Int 13 0.443 0.437 0.423 0.438 0.433 0.43  0.431 0.427 0.429 0.438 0.438 0.444 0.439 13 0.435 0.005
158 ParAAM-C-S-part 13 243472 6642 1 2439 1 Int 13 0.47  0.43  0.444 0.428 0.437 0.409 0.444 0.438 0.433 0.426 0.425 0.418 0.428 13 0.433 0.01 
159 ParAAM-C-S-part 14 243472 6642 1 2439 1 Int 13 0.423 0.421 0.423 0.42  0.418 0.433 0.42  0.441 0.422 0.434 0.434 0.434 0.43  13 0.427 0.006
160 ParAAM-C-S-part 15 243472 6642 1 2439 1 Int 13 0.45  0.425 0.403 0.429 0.423 0.42  0.428 0.42  0.423 0.423 0.424 0.428 0.439 13 0.426 0.007
161 ParAAM-C-S-part 16 243472 6642 1 2439 1 Int 13 0.431 0.424 0.425 0.43  0.42  0.428 0.418 0.427 0.427 0.426 0.424 0.42  0.43  13 0.425 0.003
162 ParAAM-C-S-part 17 243472 6642 1 2439 1 Int 13 0.457 0.435 0.426 0.424 0.429 0.424 0.43  0.428 0.433 0.436 0.434 0.428 0.428 13 0.432 0.006
163 ParAAM-C-S-part 18 243472 6642 1 2439 1 Int 13 0.454 0.433 0.44  0.426 0.428 0.423 0.434 0.433 0.425 0.427 0.418 0.421 0.435 13 0.431 0.007
164 ParAAM-C-S-part 19 243472 6642 1 2439 1 Int 13 0.464 0.455 0.424 0.437 0.436 0.425 0.428 0.434 0.44  0.431 0.435 0.435 0.434 13 0.437 0.008
165 ParAAM-C-S-part 20 243472 6642 1 2439 1 Int 13 0.464 0.436 0.427 0.426 0.435 0.425 0.433 0.433 0.429 0.446 0.441 0.436 0.436 13 0.436 0.007
166 ParAAM-C-S-part 22 243472 6642 1 2439 1 Int 13 0.474 0.45  0.438 0.444 0.436 0.449 0.44  0.448 0.445 0.433 0.425 0.438 0.434 13 0.443 0.008
167 ParAAM-C-S-part 24 243472 6642 1 2439 1 Int 13 0.42  0.457 0.437 0.445 0.435 0.457 0.439 0.439 0.453 0.448 0.434 0.456 0.448 13 0.444 0.009
168 ParAAM-C-S-part 26 243472 6642 1 2439 1 Int 13 0.473 0.455 0.463 0.436 0.437 0.467 0.463 0.457 0.454 0.45  0.454 0.448 0.441 13 0.454 0.009
169 ParAAM-C-S-part 28 243472 6642 1 2439 1 Int 13 0.473 0.466 0.456 0.453 0.464 0.459 0.457 0.467 0.459 0.454 0.453 0.461 0.441 13 0.459 0.006
170 ParAAM-C-S-part 30 243472 6642 1 2439 1 Int 13 0.506 0.447 0.458 0.467 0.473 0.457 0.449 0.466 0.464 0.456 0.479 0.473 0.47  13 0.467 0.011
171 ParAAM-C-S-part 32 243472 6642 1 2439 1 Int 13 0.503 0.466 0.483 0.474 0.486 0.463 0.476 0.465 0.487 0.463 0.467 0.47  0.466 13 0.474 0.01 
172 ParAAM-C-S-part 34 243472 6642 1 2439 1 Int 13 0.505 0.47  0.483 0.477 0.473 0.465 0.467 0.47  0.466 0.49  0.476 0.464 0.465 13 0.475 0.009
173 ParAAM-C-S-part 36 243472 6642 1 2439 1 Int 13 0.465 0.476 0.464 0.467 0.474 0.476 0.468 0.475 0.474 0.474 0.493 0.465 0.484 13 0.473 0.006
174 ParAAM-C-S-part 38 243472 6642 1 2439 1 Int 13 0.524 0.493 0.494 0.493 0.487 0.483 0.489 0.477 0.485 0.475 0.483 0.485 0.479 13 0.488 0.008
175 ParAAM-C-S-part 40 243472 6642 1 2439 1 Int 13 0.514 0.494 0.468 0.481 0.471 0.474 0.486 0.475 0.48  0.489 0.483 0.475 0.48  13 0.482 0.008
176 ParAAM-C-state 1 243472 6642 1 2439 1 Int 13 1.44  1.421 1.383 1.368 1.383 1.373 1.438 1.374 1.395 1.417 1.488 1.4   1.459 13 1.411 0.031
177 ParAAM-C-state 2 243472 6642 1 2439 1 Int 13 1.009 0.96  1.013 1.007 0.906 0.936 0.945 1     1.015 1.009 0.964 0.986 1.019 13 0.982 0.031
178 ParAAM-C-state 3 243472 6642 1 2439 1 Int 13 0.796 0.768 0.808 0.795 0.808 0.786 0.792 0.779 0.793 0.759 0.796 0.761 0.796 13 0.787 0.013
179 ParAAM-C-state 4 243472 6642 1 2439 1 Int 13 0.801 0.826 0.826 0.824 0.815 0.827 0.817 0.824 0.775 0.776 0.837 0.804 0.805 13 0.812 0.015
180 ParAAM-C-state 5 243472 6642 1 2439 1 Int 13 0.894 0.876 0.844 0.869 0.874 0.889 0.848 0.861 0.85  0.828 0.843 0.843 0.863 13 0.86  0.016
181 ParAAM-C-state 6 243472 6642 1 2439 1 Int 13 0.874 0.864 0.854 0.841 0.851 0.829 0.831 0.838 0.874 0.853 0.838 0.813 0.856 13 0.847 0.014
182 ParAAM-C-state 7 243472 6642 1 2439 1 Int 13 0.837 0.855 0.823 0.833 0.823 0.844 0.838 0.81  0.827 0.825 0.813 0.823 0.816 13 0.828 0.01 
183 ParAAM-C-state 8 243472 6642 1 2439 1 Int 13 0.828 0.874 0.801 0.827 0.809 0.88  0.819 0.791 0.823 0.839 0.864 0.826 0.827 13 0.831 0.02 
184 ParAAM-C-state 9 243472 6642 1 2439 1 Int 13 0.863 0.814 0.83  0.814 0.823 0.807 0.805 0.821 0.811 0.807 0.816 0.815 0.803 13 0.818 0.01 
185 ParAAM-C-state 10 243472 6642 1 2439 1 Int 13 0.826 0.83  0.798 0.828 0.815 0.843 0.815 0.838 0.813 0.846 0.814 0.829 0.804 13 0.823 0.012
186 ParAAM-C-state 11 243472 6642 1 2439 1 Int 13 0.848 0.821 0.838 0.804 0.849 0.811 0.827 0.778 0.835 0.846 0.84  0.806 0.787 13 0.822 0.02 
187 ParAAM-C-state 12 243472 6642 1 2439 1 Int 13 0.838 0.814 0.807 0.829 0.794 0.808 0.845 0.766 0.837 0.821 0.833 0.803 0.826 13 0.817 0.017
188 ParAAM-C-state 13 243472 6642 1 2439 1 Int 13 0.839 0.825 0.815 0.809 0.814 0.783 0.82  0.819 0.826 0.841 0.807 0.805 0.849 13 0.819 0.013
189 ParAAM-C-state 14 243472 6642 1 2439 1 Int 13 0.857 0.833 0.79  0.769 0.839 0.777 0.811 0.82  0.811 0.858 0.799 0.829 0.844 13 0.818 0.023
190 ParAAM-C-state 15 243472 6642 1 2439 1 Int 13 0.848 0.785 0.793 0.847 0.79  0.76  0.814 0.805 0.806 0.746 0.783 0.774 0.778 13 0.795 0.023
191 ParAAM-C-state 16 243472 6642 1 2439 1 Int 13 0.814 0.804 0.778 0.785 0.808 0.815 0.788 0.783 0.794 0.79  0.825 0.803 0.771 13 0.797 0.014
192 ParAAM-C-state 17 243472 6642 1 2439 1 Int 13 0.804 0.776 0.773 0.786 0.773 0.785 0.794 0.784 0.774 0.794 0.786 0.796 0.774 13 0.785 0.008
193 ParAAM-C-state 18 243472 6642 1 2439 1 Int 13 0.804 0.787 0.773 0.784 0.774 0.784 0.837 0.808 0.837 0.785 0.765 0.785 0.824 13 0.796 0.02 
194 ParAAM-C-state 19 243472 6642 1 2439 1 Int 13 0.848 0.801 0.799 0.778 0.788 0.774 0.775 0.796 0.777 0.789 0.777 0.807 0.795 13 0.793 0.014
195 ParAAM-C-state 20 243472 6642 1 2439 1 Int 13 0.864 0.805 0.803 0.805 0.791 0.783 0.785 0.849 0.799 0.794 0.8   0.754 0.774 13 0.8   0.019
196 ParAAM-C-state 22 243472 6642 1 2439 1 Int 13 0.856 0.838 0.778 0.769 0.779 0.777 0.791 0.8   0.828 0.825 0.864 0.794 0.864 13 0.813 0.031
197 ParAAM-C-state 24 243472 6642 1 2439 1 Int 13 0.8   0.803 0.783 0.82  0.777 0.798 0.805 0.769 0.825 0.769