Resumed 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 (3 firsts skipped) (time in seconds, computed on SuperWOPR – Dell Precision T3500 – Intel Xeon CPU W3530 @ 2.8GHz – 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 0     14 243472 6642 1 2439 1 Int 148 0 10 46331.131 5.255 5.255 0.043 5.191 5.359 1     1     1     1     1     0.008 0.981 1.012 1     1     1     0     1     1     0     0     0     0     0     0    
2 ParAAM-L-SA-state 2 0     14 243472 6642 1 2439 1 Int 148 0 10 45869.038 2.628 5.308 0.069 5.209 5.426 2     2     0.99  0.99  0.99  0.013 0.969 1.009 1     1     0.495 0     0.495 0.495 0     0     5.361 0     5.361 5.361
3 ParAAM-L-SA-state 3 0     14 243472 6642 1 2439 1 Int 148 0 10 46742.753 1.752 5.209 0.049 5.128 5.3   3     3     1.009 1.009 1.009 0.01  0.992 1.025 1     1     0.336 0     0.336 0.336 0     0.001 10.371 0     10.371 10.371
4 ParAAM-L-SA-state 4 0     14 243472 6642 1 2439 1 Int 148 0 10 41509.133 1.314 5.866 0.044 5.776 5.929 4     3.999 0.896 0.896 0.896 0.007 0.886 0.91  1     1     0.224 0     0.224 0.224 0     0.001 18.207 0     18.207 18.207
5 ParAAM-L-SA-state 5 0     14 243472 6642 1 2439 1 Int 148 0 10 40077.293 1.051 6.075 0.027 6.007 6.108 5     4.999 0.865 0.865 0.865 0.004 0.86  0.875 1     1     0.173 0     0.173 0.173 0     0.001 25.12  0     25.12  25.12 
6 ParAAM-L-SA-state 6 0     14 243472 6642 1 2439 1 Int 148 0 10 39615.945 0.876 6.146 0.038 6.087 6.199 6     5.998 0.855 0.855 0.855 0.005 0.848 0.863 1     1     0.143 0     0.143 0.143 0     0.002 31.62  0     31.62  31.62 
7 ParAAM-L-SA-state 7 0     14 243472 6642 1 2439 1 Int 148 0 10 39441.362 0.751 6.173 0.022 6.146 6.211 7     6.998 0.851 0.852 0.851 0.003 0.846 0.855 1     1     0.122 0     0.122 0.122 0     0.002 37.956 0     37.956 37.956
8 ParAAM-L-SA-state 8 0     14 243472 6642 1 2439 1 Int 148 0 10 39316.046 0.657 6.193 0.04  6.096 6.228 8     7.997 0.849 0.849 0.849 0.006 0.844 0.862 1     1     0.106 0     0.106 0.106 0     0.002 44.286 0     44.286 44.286
9 ParAAM-L-SA-set 2 0     14 243472 6642 1 2439 1 Int 148 0 10 46268.242 2.628 5.262 0.16  5.065 5.671 2     2     0.999 0.999 0.999 0.029 0.927 1.038 1     1     0.499 0     0.499 0.499 0     0     5.269 0     5.269 5.269
10 ParAAM-L-SA-set 3 0     14 243472 6642 1 2439 1 Int 148 0 10 46164.353 1.752 5.274 0.064 5.139 5.385 3     3     0.996 0.997 0.996 0.012 0.976 1.022 1     1     0.332 0     0.332 0.332 0     0.001 10.567 0     10.567 10.567
11 ParAAM-L-SA-set 4 0     14 243472 6642 1 2439 1 Int 148 0 10 41448.341 1.314 5.874 0.042 5.816 5.949 4     3.999 0.895 0.895 0.895 0.006 0.883 0.904 1     1     0.224 0     0.224 0.224 0     0.001 18.241 0     18.241 18.241
12 ParAAM-L-SA-set 5 0     14 243472 6642 1 2439 1 Int 148 0 10 40073.132 1.051 6.076 0.041 6.007 6.128 5     4.999 0.865 0.865 0.865 0.006 0.857 0.875 1     1     0.173 0     0.173 0.173 0     0.001 25.123 0     25.123 25.123
13 ParAAM-L-SA-set 6 0     14 243472 6642 1 2439 1 Int 148 0 10 39815.028 0.876 6.115 0.03  6.07  6.159 6     5.998 0.859 0.86  0.859 0.004 0.853 0.866 1     1     0.143 0     0.143 0.143 0     0.002 31.435 0     31.435 31.435
14 ParAAM-L-SA-set 7 0     14 243472 6642 1 2439 1 Int 148 0 10 39607.532 0.751 6.147 0.028 6.106 6.196 7     6.998 0.855 0.855 0.855 0.004 0.848 0.861 1     1     0.122 0     0.122 0.122 0     0.002 37.775 0     37.775 37.775
15 ParAAM-L-SA-set 8 0     14 243472 6642 1 2439 1 Int 148 0 10 39560.3   0.657 6.154 0.047 6.056 6.211 8     7.997 0.854 0.854 0.854 0.007 0.846 0.868 1     1     0.107 0     0.107 0.107 0     0.002 43.981 0     43.981 43.981
16 ParAAM-L-SA-part 2 0     14 243472 6642 1 2439 1 Int 148 0 10 42700.76  2.628 5.702 0.039 5.646 5.756 2     2     0.922 0.922 0.922 0.006 0.913 0.931 1     1     0.461 0     0.461 0.461 0     0     6.149 0     6.149 6.149
17 ParAAM-L-SA-part 3 0     14 243472 6642 1 2439 1 Int 148 0 10 59676.561 1.752 4.08  0.04  4.028 4.157 3     3     1.288 1.288 1.288 0.013 1.264 1.305 1     1     0.429 0     0.429 0.429 0     0.001 6.985 0     6.985 6.985
18 ParAAM-L-SA-part 4 0     14 243472 6642 1 2439 1 Int 148 0 10 67128.165 1.314 3.627 0.041 3.558 3.686 4     3.999 1.449 1.449 1.449 0.016 1.426 1.477 1     1     0.362 0     0.362 0.362 0     0.001 9.253 0     9.253 9.253
19 ParAAM-L-SA-part 5 0     14 243472 6642 1 2439 1 Int 148 0 10 69819.989 1.051 3.487 0.047 3.419 3.565 5     4.999 1.507 1.507 1.507 0.02  1.474 1.537 1     1     0.301 0     0.301 0.301 0     0.001 12.181 0     12.181 12.181
20 ParAAM-L-SA-part 6 0     14 243472 6642 1 2439 1 Int 148 0 10 72339.559 0.876 3.366 0.03  3.318 3.407 6     5.998 1.561 1.562 1.561 0.014 1.543 1.584 1     1     0.26  0     0.26  0.26  0     0.002 14.939 0     14.939 14.939
21 ParAAM-L-SA-part 7 0     14 243472 6642 1 2439 1 Int 148 0 10 72499.934 0.751 3.358 0.05  3.267 3.43  7     6.998 1.565 1.566 1.565 0.023 1.532 1.608 1     1     0.224 0     0.224 0.224 0     0.002 18.253 0     18.253 18.253
22 ParAAM-L-SA-part 8 0     14 243472 6642 1 2439 1 Int 148 0 10 73102.909 0.657 3.331 0.054 3.228 3.399 8     7.997 1.578 1.579 1.578 0.026 1.546 1.628 1     1     0.197 0     0.197 0.197 0     0.002 21.389 0     21.389 21.389
23 ParAAM-C-S-state 2 0     14 243472 6642 1 2439 1 Int 148 0 10 16962.441 2.628 14.354 0.522 13.496 15.269 2     2     0.366 0.366 0.366 0.013 0.344 0.389 1     1     0.183 0     0.183 0.183 0     0     23.452 0     23.452 23.452
24 ParAAM-C-S-state 3 0     14 243472 6642 1 2439 1 Int 148 0 10 14068.201 1.752 17.307 0.714 16.005 18.615 3     3     0.304 0.304 0.304 0.013 0.282 0.328 1     1     0.101 0     0.101 0.101 0     0.001 46.665 0     46.665 46.665
25 ParAAM-C-S-state 4 0     14 243472 6642 1 2439 1 Int 148 0 10 14154.783 1.314 17.201 1.042 15.928 18.794 4     3.999 0.306 0.306 0.306 0.018 0.28  0.33  1     1     0.076 0     0.076 0.076 0     0.001 63.548 0     63.548 63.548
26 ParAAM-C-S-state 5 0     14 243472 6642 1 2439 1 Int 148 0 10 14159.449 1.051 17.195 0.869 15.849 18.81  5     4.999 0.306 0.306 0.306 0.015 0.279 0.332 1     1     0.061 0     0.061 0.061 0     0.001 80.72  0     80.72  80.72 
27 ParAAM-C-S-state 6 0     14 243472 6642 1 2439 1 Int 148 0 10 13864.622 0.876 17.561 0.688 16.259 18.439 6     5.998 0.299 0.3   0.299 0.012 0.285 0.323 1     1     0.05  0     0.05  0.05  0     0.002 100.109 0     100.109 100.109
28 ParAAM-C-S-state 7 0     14 243472 6642 1 2439 1 Int 148 0 10 13517.361 0.751 18.012 0.821 16.344 19.42  7     6.998 0.292 0.292 0.292 0.014 0.271 0.322 1     1     0.042 0     0.042 0.042 0     0.002 120.828 0     120.828 120.828
29 ParAAM-C-S-state 8 0     14 243472 6642 1 2439 1 Int 148 0 10 13625.205 0.657 17.869 0.54  16.676 18.685 8     7.997 0.294 0.294 0.294 0.009 0.281 0.315 1     1     0.037 0     0.037 0.037 0     0.002 137.699 0     137.699 137.699
30 ParAAM-C-S-set 2 0     14 243472 6642 1 2439 1 Int 148 0 10 31405.876 2.628 7.752 0.031 7.698 7.797 2     2     0.678 0.678 0.678 0.003 0.674 0.683 1     1     0.339 0     0.339 0.339 0     0     10.25  0     10.25  10.25 
31 ParAAM-C-S-set 3 0     14 243472 6642 1 2439 1 Int 148 0 10 47674.039 1.752 5.107 0.13  4.795 5.306 3     3     1.029 1.029 1.029 0.027 0.99  1.096 1     1     0.343 0     0.343 0.343 0     0.001 10.066 0     10.066 10.066
32 ParAAM-C-S-set 4 0     14 243472 6642 1 2439 1 Int 148 0 10 54706.53  1.314 4.451 0.069 4.37  4.59  4     3.999 1.181 1.181 1.181 0.018 1.145 1.203 1     1     0.295 0     0.295 0.295 0     0.001 12.547 0     12.547 12.547
33 ParAAM-C-S-set 5 0     14 243472 6642 1 2439 1 Int 148 0 10 56866.83  1.051 4.281 0.173 4.045 4.519 5     4.999 1.228 1.229 1.228 0.049 1.163 1.299 1     1     0.245 0     0.245 0.245 0     0.001 16.152 0     16.152 16.152
34 ParAAM-C-S-set 6 0     14 243472 6642 1 2439 1 Int 148 0 10 54342.581 0.876 4.48  0.173 4.244 4.835 6     5.998 1.174 1.174 1.174 0.045 1.087 1.238 1     1     0.195 0     0.195 0.195 0     0.002 21.627 0     21.627 21.627
35 ParAAM-C-S-set 7 0     14 243472 6642 1 2439 1 Int 148 0 10 51624.495 0.751 4.716 0.179 4.381 4.97  7     6.998 1.115 1.115 1.115 0.043 1.057 1.2   1     1     0.159 0     0.159 0.159 0     0.002 27.758 0     27.758 27.758
36 ParAAM-C-S-set 8 0     14 243472 6642 1 2439 1 Int 148 0 10 48183.617 0.657 5.053 0.236 4.644 5.552 8     7.997 1.041 1.042 1.041 0.048 0.947 1.132 1     1     0.13  0     0.13  0.13  0     0.002 35.169 0     35.169 35.169
37 ParAAM-C-S-part 2 0     14 243472 6642 1 2439 1 Int 148 0 10 42476.721 2.628 5.732 0.041 5.66  5.795 2     2     0.917 0.917 0.917 0.007 0.907 0.928 1     1     0.458 0     0.458 0.458 0     0     6.209 0     6.209 6.209
38 ParAAM-C-S-part 3 0     14 243472 6642 1 2439 1 Int 148 0 10 81439.308 1.752 2.99  0.255 2.586 3.357 3     3     1.764 1.765 1.764 0.156 1.565 2.032 1     1     0.586 0     0.586 0.586 0     0.001 3.714 0     3.714 3.714
39 ParAAM-C-S-part 4 0     14 243472 6642 1 2439 1 Int 148 0 10 133764.093 1.314 1.82  0.094 1.655 1.937 4     3.999 2.891 2.892 2.891 0.152 2.713 3.175 1     1     0.722 0     0.722 0.722 0     0.001 2.026 0     2.026 2.026
40 ParAAM-C-S-part 5 0     14 243472 6642 1 2439 1 Int 148 0 10 160555.811 1.051 1.516 0.073 1.444 1.698 5     4.999 3.469 3.47  3.469 0.157 3.094 3.638 1     1     0.693 0     0.693 0.693 0     0.001 2.327 0     2.327 2.327
41 ParAAM-C-S-part 6 0     14 243472 6642 1 2439 1 Int 148 0 10 180733.443 0.876 1.347 0.06  1.276 1.448 6     5.998 3.905 3.906 3.905 0.17  3.628 4.119 1     1     0.65  0     0.65  0.65  0     0.002 2.828 0     2.828 2.828
42 ParAAM-C-S-part 7 0     14 243472 6642 1 2439 1 Int 148 0 10 194867.855 0.751 1.249 0.046 1.17  1.316 7     6.998 4.209 4.21  4.209 0.158 3.993 4.492 1     1     0.601 0     0.601 0.601 0     0.002 3.491 0     3.491 3.491
43 ParAAM-C-S-part 8 0     14 243472 6642 1 2439 1 Int 148 0 10 212275.121 0.657 1.147 0.033 1.078 1.196 8     7.997 4.584 4.585 4.584 0.134 4.395 4.874 1     1     0.573 0     0.573 0.573 0     0.002 3.921 0     3.921 3.921
44 ParAAM-C-state 1 0     14 243472 6642 1 2439 1 Int 148 0 10 68120.892 5.255 3.574 0.143 3.415 3.947 1     1     1.471 1.471 1.471 0.055 1.331 1.539 1     1     1.47  0     1.47  1.47  0     0     -1.681 0     -1.681 -1.681
45 ParAAM-C-state 2 0     14 243472 6642 1 2439 1 Int 148 0 10 129099.637 2.628 1.886 0.017 1.867 1.925 2     2     2.787 2.787 2.787 0.025 2.729 2.815 1     1     1.393 0     1.393 1.393 0     0     -1.483 0     -1.483 -1.483
46 ParAAM-C-state 3 0     14 243472 6642 1 2439 1 Int 148 0 10 170845.736 1.752 1.425 0.027 1.398 1.48  3     3     3.688 3.689 3.688 0.069 3.552 3.76  1     1     1.229 0     1.229 1.229 0     0.001 -0.98  0     -0.98  -0.98 
47 ParAAM-C-state 4 0     14 243472 6642 1 2439 1 Int 148 0 10 187283.301 1.314 1.3   0.015 1.286 1.336 4     3.999 4.043 4.043 4.043 0.048 3.934 4.088 1     1     1.011 0     1.011 1.011 0     0.001 -0.055 0     -0.055 -0.055
48 ParAAM-C-state 5 0     14 243472 6642 1 2439 1 Int 148 0 10 185529.119 1.051 1.312 0.011 1.294 1.328 5     4.999 4.005 4.005 4.005 0.032 3.956 4.062 1     1     0.801 0     0.801 0.801 0     0.001 1.307 0     1.307 1.307
49 ParAAM-C-state 6 0     14 243472 6642 1 2439 1 Int 148 0 10 183983.028 0.876 1.323 0.02  1.3   1.365 6     5.998 3.972 3.973 3.971 0.058 3.85  4.041 1     1     0.662 0     0.662 0.662 0     0.002 2.685 0     2.685 2.685
50 ParAAM-C-state 7 0     14 243472 6642 1 2439 1 Int 148 0 10 185979.738 0.751 1.309 0.017 1.274 1.335 7     6.998 4.015 4.016 4.014 0.053 3.936 4.124 1     1     0.573 0     0.573 0.573 0     0.002 3.909 0     3.909 3.909
51 ParAAM-C-state 8 0     14 243472 6642 1 2439 1 Int 148 0 10 190141.296 0.657 1.28  0.026 1.245 1.337 8     7.997 4.105 4.106 4.105 0.082 3.931 4.222 1     1     0.513 0     0.513 0.513 0     0.002 4.989 0     4.989 4.989
52 ParAAM-C-set 1 0     14 243472 6642 1 2439 1 Int 148 0 10 69002.239 5.255 3.528 0.028 3.496 3.591 1     1     1.489 1.489 1.489 0.012 1.464 1.503 1     1     1.489 0     1.489 1.489 0     0     -1.727 0     -1.727 -1.727
53 ParAAM-C-set 2 0     14 243472 6642 1 2439 1 Int 148 0 10 127404.928 2.628 1.911 0.01  1.895 1.927 2     2     2.75  2.75  2.75  0.014 2.727 2.773 1     1     1.375 0     1.375 1.375 0     0     -1.433 0     -1.433 -1.433
54 ParAAM-C-set 3 0     14 243472 6642 1 2439 1 Int 148 0 10 186288.493 1.752 1.307 0.063 1.266 1.486 3     3     4.025 4.026 4.025 0.175 3.537 4.151 1     1     1.34  0     1.34  1.34  0     0.001 -1.334 0     -1.334 -1.334
55 ParAAM-C-set 4 0     14 243472 6642 1 2439 1 Int 148 0 10 217456.847 1.314 1.12  0.017 1.1   1.154 4     3.999 4.694 4.695 4.694 0.071 4.553 4.779 1     1     1.173 0     1.173 1.173 0     0.001 -0.777 0     -0.777 -0.777
56 ParAAM-C-set 5 0     14 243472 6642 1 2439 1 Int 148 0 10 240595.182 1.051 1.012 0.017 0.989 1.039 5     4.999 5.194 5.195 5.194 0.086 5.059 5.314 1     1     1.039 0     1.039 1.039 0     0.001 -0.195 0     -0.195 -0.195
57 ParAAM-C-set 6 0     14 243472 6642 1 2439 1 Int 148 0 10 259953.465 0.876 0.937 0.009 0.925 0.956 6     5.998 5.611 5.613 5.611 0.056 5.495 5.684 1     1     0.935 0     0.935 0.935 0     0.002 0.365 0     0.365 0.365
58 ParAAM-C-set 7 0     14 243472 6642 1 2439 1 Int 148 0 10 281618.646 0.751 0.865 0.005 0.854 0.874 7     6.998 6.079 6.081 6.078 0.035 6.01  6.155 1     1     0.868 0     0.868 0.868 0     0.002 0.797 0     0.797 0.797
59 ParAAM-C-set 8 0     14 243472 6642 1 2439 1 Int 148 0 10 276981.464 0.657 0.879 0.011 0.86  0.898 8     7.997 5.979 5.981 5.979 0.078 5.854 6.113 1     1     0.747 0     0.747 0.747 0     0.002 1.777 0     1.777 1.777
60 ParAAM-C-part 1 0     14 243472 6642 1 2439 1 Int 148 0 10 47129.64  5.255 5.166 0.038 5.128 5.269 1     1     1.017 1.017 1.017 0.007 0.997 1.025 1     1     1.017 0     1.017 1.017 0     0     -0.089 0     -0.089 -0.089
61 ParAAM-C-part 2 0     14 243472 6642 1 2439 1 Int 148 0 10 89337.486 2.628 2.725 0.013 2.707 2.747 2     2     1.928 1.928 1.928 0.009 1.913 1.941 1     1     0.964 0     0.964 0.964 0     0     0.196 0     0.196 0.196
62 ParAAM-C-part 3 0     14 243472 6642 1 2439 1 Int 148 0 10 130258.878 1.752 1.869 0.029 1.83  1.926 3     3     2.812 2.812 2.812 0.043 2.728 2.872 1     1     0.937 0     0.937 0.937 0     0.001 0.352 0     0.352 0.352
63 ParAAM-C-part 4 0     14 243472 6642 1 2439 1 Int 148 0 10 169987.252 1.314 1.432 0.065 1.357 1.599 4     3.999 3.673 3.673 3.673 0.157 3.287 3.873 1     1     0.917 0     0.917 0.917 0     0.001 0.474 0     0.474 0.474
64 ParAAM-C-part 5 0     14 243472 6642 1 2439 1 Int 148 0 10 186827.015 1.051 1.303 0.03  1.27  1.366 5     4.999 4.034 4.034 4.034 0.092 3.846 4.137 1     1     0.806 0     0.806 0.806 0     0.001 1.261 0     1.261 1.261
65 ParAAM-C-part 6 0     14 243472 6642 1 2439 1 Int 148 0 10 204497.29  0.876 1.191 0.023 1.149 1.22  6     5.998 4.415 4.416 4.415 0.085 4.309 4.573 1     1     0.736 0     0.736 0.736 0     0.002 1.888 0     1.888 1.888
66 ParAAM-C-part 7 0     14 243472 6642 1 2439 1 Int 148 0 10 222018.137 0.751 1.097 0.049 0.957 1.137 7     6.998 4.797 4.799 4.797 0.24  4.624 5.49  1     1     0.685 0     0.685 0.685 0     0.002 2.421 0     2.421 2.421
67 ParAAM-C-part 8 0     14 243472 6642 1 2439 1 Int 148 0 10 234442.134 0.657 1.039 0.057 0.92  1.135 8     7.997 5.068 5.07  5.068 0.289 4.628 5.712 1     1     0.633 0     0.633 0.633 0     0.002 3.053 0     3.053 3.053