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 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     21 698817 18162 1 4878 1 #f 335 0 10 45775.185 15.266 15.266 0.036 15.2   15.324 1     1     1     1     1     0.002 0.996 1.004 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 48002.527 7.633 14.558 0.189 14.306 14.833 2     2     1.049 1.049 1.049 0.014 1.029 1.067 1     1     0.524 0     0.524 0.524 0     0     13.85  0     13.85  13.85 
3 ParAAM-L-SA-state 3 0     21 698817 18162 1 4878 1 #f 335 0 10 47570.224 5.089 14.69  0.168 14.433 14.943 3     3     1.039 1.039 1.039 0.012 1.022 1.058 1     1     0.346 0     0.346 0.346 0     0.001 28.804 0     28.804 28.804
4 ParAAM-L-SA-state 4 0     21 698817 18162 1 4878 1 #f 335 0 10 43357.988 3.817 16.117 0.166 15.965 16.382 4     4     0.947 0.947 0.947 0.01  0.932 0.956 1     1     0.237 0     0.237 0.237 0     0.001 49.203 0     49.203 49.203
5 ParAAM-L-SA-state 5 0     21 698817 18162 1 4878 1 #f 335 0 10 42203.377 3.053 16.558 0.109 16.349 16.743 5     4.999 0.922 0.922 0.922 0.006 0.912 0.934 1     1     0.184 0     0.184 0.184 0     0.002 67.525 0     67.525 67.525
6 ParAAM-L-SA-state 6 0     21 698817 18162 1 4878 1 #f 335 0 10 41763.5   2.544 16.733 0.181 16.423 17.061 6     5.999 0.912 0.913 0.912 0.01  0.895 0.93  1     1     0.152 0     0.152 0.152 0     0.002 85.13  0     85.13  85.13 
7 ParAAM-L-SA-state 7 0     21 698817 18162 1 4878 1 #f 335 0 10 41306.066 2.181 16.918 0.196 16.59  17.226 7     6.999 0.902 0.903 0.902 0.01  0.886 0.92  1     1     0.129 0     0.129 0.129 0     0.003 103.16  0     103.16  103.16 
8 ParAAM-L-SA-state 8 0     21 698817 18162 1 4878 1 #f 335 0 10 41571.565 1.908 16.81  0.118 16.661 17.06  8     7.998 0.908 0.908 0.908 0.006 0.895 0.916 1     1     0.114 0     0.114 0.114 0     0.003 119.214 0     119.214 119.214
9 ParAAM-L-SA-set 2 0     21 698817 18162 1 4878 1 #f 335 0 10 49524.915 7.633 14.11  0.151 13.88  14.383 2     2     1.082 1.082 1.082 0.012 1.061 1.1   1     1     0.541 0     0.541 0.541 0     0     12.955 0     12.955 12.955
10 ParAAM-L-SA-set 3 0     21 698817 18162 1 4878 1 #f 335 0 10 47697.896 5.089 14.651 0.193 14.374 15.058 3     3     1.042 1.042 1.042 0.014 1.014 1.062 1     1     0.347 0     0.347 0.347 0     0.001 28.686 0     28.686 28.686
11 ParAAM-L-SA-set 4 0     21 698817 18162 1 4878 1 #f 335 0 10 43136.498 3.817 16.2   0.105 15.993 16.336 4     4     0.942 0.942 0.942 0.006 0.935 0.955 1     1     0.236 0     0.236 0.236 0     0.001 49.534 0     49.534 49.534
12 ParAAM-L-SA-set 5 0     21 698817 18162 1 4878 1 #f 335 0 10 42037.209 3.053 16.624 0.195 16.318 17.012 5     4.999 0.918 0.919 0.918 0.011 0.897 0.936 1     1     0.184 0     0.184 0.184 0     0.002 67.853 0     67.853 67.853
13 ParAAM-L-SA-set 6 0     21 698817 18162 1 4878 1 #f 335 0 10 41233.83  2.544 16.948 0.134 16.67  17.098 6     5.999 0.901 0.901 0.901 0.007 0.893 0.916 1     1     0.15  0     0.15  0.15  0     0.002 86.42  0     86.42  86.42 
14 ParAAM-L-SA-set 7 0     21 698817 18162 1 4878 1 #f 335 0 10 41458.505 2.181 16.856 0.139 16.682 17.136 7     6.999 0.906 0.906 0.906 0.007 0.891 0.915 1     1     0.129 0     0.129 0.129 0     0.003 102.724 0     102.724 102.724
15 ParAAM-L-SA-set 8 0     21 698817 18162 1 4878 1 #f 335 0 10 41481.096 1.908 16.847 0.172 16.557 17.208 8     7.998 0.906 0.906 0.906 0.009 0.887 0.922 1     1     0.113 0     0.113 0.113 0     0.003 119.507 0     119.507 119.507
16 ParAAM-L-SA-part 2 0     21 698817 18162 1 4878 1 #f 335 0 10 42494.384 7.633 16.445 0.513 16.059 17.767 2     2     0.929 0.929 0.929 0.028 0.859 0.951 1     1     0.464 0     0.464 0.464 0     0     17.624 0     17.624 17.624
17 ParAAM-L-SA-part 3 0     21 698817 18162 1 4878 1 #f 335 0 10 60749.934 5.089 11.503 0.084 11.334 11.624 3     3     1.327 1.327 1.327 0.01  1.313 1.347 1     1     0.442 0     0.442 0.442 0     0.001 19.243 0     19.243 19.243
18 ParAAM-L-SA-part 4 0     21 698817 18162 1 4878 1 #f 335 0 10 68718.34  3.817 10.169 0.072 10.041 10.294 4     4     1.501 1.501 1.501 0.011 1.483 1.52  1     1     0.375 0     0.375 0.375 0     0.001 25.411 0     25.411 25.411
19 ParAAM-L-SA-part 5 0     21 698817 18162 1 4878 1 #f 335 0 10 72183.514 3.053 9.681 0.069 9.567 9.833 5     4.999 1.577 1.577 1.577 0.011 1.553 1.596 1     1     0.315 0     0.315 0.315 0     0.002 33.139 0     33.139 33.139
20 ParAAM-L-SA-part 6 0     21 698817 18162 1 4878 1 #f 335 0 10 74617.236 2.544 9.365 0.089 9.237 9.499 6     5.999 1.63  1.63  1.63  0.016 1.607 1.653 1     1     0.272 0     0.272 0.272 0     0.002 40.926 0     40.926 40.926
21 ParAAM-L-SA-part 7 0     21 698817 18162 1 4878 1 #f 335 0 10 76624.778 2.181 9.12  0.073 8.995 9.231 7     6.999 1.674 1.674 1.674 0.013 1.654 1.697 1     1     0.239 0     0.239 0.239 0     0.003 48.574 0     48.574 48.574
22 ParAAM-L-SA-part 8 0     21 698817 18162 1 4878 1 #f 335 0 10 77745.85  1.908 8.988 0.056 8.932 9.066 8     7.998 1.698 1.699 1.698 0.011 1.684 1.709 1     1     0.212 0     0.212 0.212 0     0.003 56.642 0     56.642 56.642
23 ParAAM-C-S-state 2 0     21 698817 18162 1 4878 1 #f 335 0 10 9423.963 7.633 74.153 8.101 68.718 96.754 2     2     0.207 0.207 0.207 0.019 0.158 0.222 1     1     0.103 0     0.103 0.103 0     0     133.04  0     133.04  133.04 
24 ParAAM-C-S-state 3 0     21 698817 18162 1 4878 1 #f 335 0 10 6854.416 5.089 101.951 2.067 99.295 105.15  3     3     0.15  0.15  0.15  0.003 0.145 0.154 1     1     0.05  0     0.05  0.05  0     0.001 290.588 0     290.588 290.588
25 ParAAM-C-S-state 4 0     21 698817 18162 1 4878 1 #f 335 0 10 7249.746 3.817 96.392 2.071 93.209 99.97  4     4     0.158 0.158 0.158 0.003 0.153 0.164 1     1     0.04  0     0.04  0.04  0     0.001 370.301 0     370.301 370.301
26 ParAAM-C-S-state 5 0     21 698817 18162 1 4878 1 #f 335 0 10 7408.297 3.053 94.329 2.019 91.385 97.892 5     4.999 0.162 0.162 0.162 0.003 0.156 0.167 1     1     0.032 0     0.032 0.032 0     0.002 456.379 0     456.379 456.379
27 ParAAM-C-S-state 6 0     21 698817 18162 1 4878 1 #f 335 0 10 7516.318 2.544 92.973 2.899 85.098 95.416 6     5.999 0.164 0.164 0.164 0.005 0.16  0.179 1     1     0.027 0     0.027 0.027 0     0.002 542.574 0     542.574 542.574
28 ParAAM-C-S-state 7 0     21 698817 18162 1 4878 1 #f 335 0 10 7574.734 2.181 92.256 1.042 90.055 93.676 7     6.999 0.165 0.166 0.165 0.002 0.163 0.17  1     1     0.024 0     0.024 0.024 0     0.003 630.528 0     630.528 630.528
29 ParAAM-C-S-state 8 0     21 698817 18162 1 4878 1 #f 335 0 10 7576.629 1.908 92.233 1.131 90.212 93.606 8     7.998 0.166 0.166 0.166 0.002 0.163 0.169 1     1     0.021 0     0.021 0.021 0     0.003 722.6   0     722.6   722.6  
30 ParAAM-C-S-set 2 0     21 698817 18162 1 4878 1 #f 335 0 10 31880.177 7.633 21.92  0.091 21.788 22.113 2     2     0.696 0.696 0.696 0.003 0.69  0.701 1     1     0.348 0     0.348 0.348 0     0     28.574 0     28.574 28.574
31 ParAAM-C-S-set 3 0     21 698817 18162 1 4878 1 #f 335 0 10 41274.078 5.089 16.931 0.415 16.132 17.604 3     3     0.902 0.902 0.902 0.022 0.867 0.946 1     1     0.301 0     0.301 0.301 0     0.001 35.527 0     35.527 35.527
32 ParAAM-C-S-set 4 0     21 698817 18162 1 4878 1 #f 335 0 10 36172.998 3.817 19.319 0.238 18.793 19.694 4     4     0.79  0.79  0.79  0.01  0.775 0.812 1     1     0.198 0     0.198 0.198 0     0.001 62.009 0     62.009 62.009
33 ParAAM-C-S-set 5 0     21 698817 18162 1 4878 1 #f 335 0 10 31383.117 3.053 22.267 0.233 21.81  22.726 5     4.999 0.686 0.686 0.686 0.007 0.672 0.7   1     1     0.137 0     0.137 0.137 0     0.002 96.07  0     96.07  96.07 
34 ParAAM-C-S-set 6 0     21 698817 18162 1 4878 1 #f 335 0 10 29348.565 2.544 23.811 0.496 22.993 24.713 6     5.999 0.641 0.641 0.641 0.013 0.618 0.664 1     1     0.107 0     0.107 0.107 0     0.002 127.599 0     127.599 127.599
35 ParAAM-C-S-set 7 0     21 698817 18162 1 4878 1 #f 335 0 10 28851.857 2.181 24.221 0.737 22.396 24.97  7     6.999 0.631 0.631 0.631 0.02  0.611 0.682 1     1     0.09  0     0.09  0.09  0     0.003 154.28  0     154.28  154.28 
36 ParAAM-C-S-set 8 0     21 698817 18162 1 4878 1 #f 335 0 10 28167.526 1.908 24.809 0.295 24.432 25.53  8     7.998 0.615 0.616 0.615 0.007 0.598 0.625 1     1     0.077 0     0.077 0.077 0     0.003 183.208 0     183.208 183.208
37 ParAAM-C-S-part 2 0     21 698817 18162 1 4878 1 #f 335 0 10 42378.84  7.633 16.49  0.184 16.275 16.909 2     2     0.926 0.926 0.926 0.01  0.903 0.938 1     1     0.463 0     0.463 0.463 0     0     17.713 0     17.713 17.713
38 ParAAM-C-S-part 3 0     21 698817 18162 1 4878 1 #f 335 0 10 82917.382 5.089 8.428 0.513 7.569 9.11  3     3     1.815 1.815 1.815 0.113 1.676 2.017 1     1     0.604 0     0.604 0.604 0     0.001 10.017 0     10.017 10.017
39 ParAAM-C-S-part 4 0     21 698817 18162 1 4878 1 #f 335 0 10 130665.278 3.817 5.348 0.294 4.971 5.893 4     4     2.859 2.859 2.859 0.152 2.591 3.071 1     1     0.714 0     0.714 0.714 0     0.001 6.126 0     6.126 6.126
40 ParAAM-C-S-part 5 0     21 698817 18162 1 4878 1 #f 335 0 10 164103.82  3.053 4.258 0.118 4.076 4.421 5     4.999 3.586 3.587 3.586 0.1   3.453 3.745 1     1     0.717 0     0.717 0.717 0     0.002 6.026 0     6.026 6.026
41 ParAAM-C-S-part 6 0     21 698817 18162 1 4878 1 #f 335 0 10 182121.515 2.544 3.837 0.198 3.383 4.053 6     5.999 3.984 3.985 3.984 0.218 3.766 4.513 1     1     0.663 0     0.663 0.663 0     0.002 7.756 0     7.756 7.756
42 ParAAM-C-S-part 7 0     21 698817 18162 1 4878 1 #f 335 0 10 201170.156 2.181 3.474 0.12  3.208 3.639 7     6.999 4.397 4.398 4.397 0.156 4.195 4.759 1     1     0.628 0     0.628 0.628 0     0.003 9.05  0     9.05  9.05 
43 ParAAM-C-S-part 8 0     21 698817 18162 1 4878 1 #f 335 0 10 216696.851 1.908 3.225 0.083 3.084 3.382 8     7.998 4.736 4.736 4.735 0.121 4.514 4.951 1     1     0.592 0     0.592 0.592 0     0.003 10.533 0     10.533 10.533
44 ParAAM-C-state 1 0     21 698817 18162 1 4878 1 #f 335 0 10 74930.185 15.266 9.326 0.086 9.196 9.506 1     1     1.637 1.637 1.637 0.015 1.606 1.66  1     1     1.637 0     1.637 1.637 0     0     -5.94  0     -5.94  -5.94 
45 ParAAM-C-state 2 0     21 698817 18162 1 4878 1 #f 335 0 10 132744.417 7.633 5.264 0.03  5.209 5.301 2     2     2.9   2.9   2.9   0.016 2.88  2.931 1     1     1.45  0     1.45  1.45  0     0     -4.738 0     -4.738 -4.738
46 ParAAM-C-state 3 0     21 698817 18162 1 4878 1 #f 335 0 10 175765.977 5.089 3.976 0.037 3.906 4.048 3     3     3.84  3.84  3.84  0.036 3.771 3.908 1     1     1.28  0     1.28  1.28  0     0.001 -3.339 0     -3.339 -3.339
47 ParAAM-C-state 4 0     21 698817 18162 1 4878 1 #f 335 0 10 193280.887 3.817 3.616 0.022 3.564 3.647 4     4     4.222 4.223 4.222 0.026 4.186 4.283 1     1     1.056 0     1.056 1.056 0     0.001 -0.804 0     -0.804 -0.804
48 ParAAM-C-state 5 0     21 698817 18162 1 4878 1 #f 335 0 10 186868.536 3.053 3.74  0.057 3.642 3.816 5     4.999 4.083 4.083 4.083 0.063 4.001 4.192 1     1     0.816 0     0.816 0.816 0     0.002 3.432 0     3.432 3.432
49 ParAAM-C-state 6 0     21 698817 18162 1 4878 1 #f 335 0 10 175568.306 2.544 3.98  0.062 3.833 4.061 6     5.999 3.836 3.836 3.836 0.061 3.759 3.983 1     1     0.639 0     0.639 0.639 0     0.002 8.616 0     8.616 8.616
50 ParAAM-C-state 7 0     21 698817 18162 1 4878 1 #f 335 0 10 174711.828 2.181 4     0.067 3.856 4.099 7     6.999 3.817 3.818 3.817 0.065 3.724 3.959 1     1     0.545 0     0.545 0.545 0     0.003 12.733 0     12.733 12.733
51 ParAAM-C-state 8 0     21 698817 18162 1 4878 1 #f 335 0 10 178655.331 1.908 3.912 0.058 3.85  4.028 8     7.998 3.903 3.904 3.903 0.058 3.79  3.965 1     1     0.488 0     0.488 0.488 0     0.003 16.026 0     16.026 16.026
52 ParAAM-C-set 1 0     21 698817 18162 1 4878 1 #f 335 0 10 72496.843 15.266 9.639 0.1   9.568 9.903 1     1     1.584 1.584 1.584 0.016 1.542 1.596 1     1     1.584 0     1.584 1.584 0     0     -5.627 0     -5.627 -5.627
53 ParAAM-C-set 2 0     21 698817 18162 1 4878 1 #f 335 0 10 132940.292 7.633 5.257 0.026 5.205 5.3   2     2     2.904 2.904 2.904 0.014 2.88  2.933 1     1     1.452 0     1.452 1.452 0     0     -4.753 0     -4.753 -4.753
54 ParAAM-C-set 3 0     21 698817 18162 1 4878 1 #f 335 0 10 193256.245 5.089 3.616 0.053 3.546 3.74  3     3     4.222 4.223 4.222 0.061 4.082 4.305 1     1     1.407 0     1.407 1.407 0     0.001 -4.418 0     -4.418 -4.418
55 ParAAM-C-set 4 0     21 698817 18162 1 4878 1 #f 335 0 10 224269.28  3.817 3.116 0.04  3.041 3.152 4     4     4.9   4.9   4.9   0.063 4.843 5.02  1     1     1.225 0     1.225 1.225 0     0.001 -2.802 0     -2.802 -2.802
56 ParAAM-C-set 5 0     21 698817 18162 1 4878 1 #f 335 0 10 241792.482 3.053 2.89  0.035 2.841 2.95  5     4.999 5.283 5.283 5.283 0.063 5.175 5.374 1     1     1.056 0     1.056 1.056 0     0.002 -0.816 0     -0.816 -0.816
57 ParAAM-C-set 6 0     21 698817 18162 1 4878 1 #f 335 0 10 262891.587 2.544 2.658 0.024 2.616 2.69  6     5.999 5.743 5.744 5.743 0.053 5.674 5.836 1     1     0.957 0     0.957 0.957 0     0.002 0.683 0     0.683 0.683
58 ParAAM-C-set 7 0     21 698817 18162 1 4878 1 #f 335 0 10 278262.518 2.181 2.511 0.014 2.485 2.533 7     6.999 6.079 6.08  6.079 0.033 6.027 6.144 1     1     0.868 0     0.868 0.868 0     0.003 2.313 0     2.313 2.313
59 ParAAM-C-set 8 0     21 698817 18162 1 4878 1 #f 335 0 10 271419.732 1.908 2.575 0.023 2.523 2.606 8     7.998 5.93  5.931 5.93  0.053 5.857 6.052 1     1     0.741 0     0.741 0.741 0     0.003 5.331 0     5.331 5.331
60 ParAAM-C-part 1 0     21 698817 18162 1 4878 1 #f 335 0 10 46784.182 15.266 14.937 0.148 14.751 15.194 1     1     1.022 1.022 1.022 0.01  1.005 1.035 1     1     1.022 0     1.022 1.022 0     0     -0.329 0     -0.329 -0.329
61 ParAAM-C-part 2 0     21 698817 18162 1 4878 1 #f 335 0 10 83228.599 7.633 8.396 0.038 8.354 8.476 2     2     1.818 1.818 1.818 0.008 1.801 1.827 1     1     0.909 0     0.909 0.909 0     0     1.526 0     1.526 1.526
62 ParAAM-C-part 3 0     21 698817 18162 1 4878 1 #f 335 0 10 131735.43  5.089 5.305 0.143 5.121 5.488 3     3     2.879 2.879 2.879 0.078 2.782 2.981 1     1     0.959 0     0.959 0.959 0     0.001 0.648 0     0.648 0.648
63 ParAAM-C-part 4 0     21 698817 18162 1 4878 1 #f 335 0 10 173861.634 3.817 4.019 0.083 3.811 4.125 4     4     3.799 3.799 3.799 0.081 3.701 4.006 1     1     0.95  0     0.95  0.95  0     0.001 0.811 0     0.811 0.811
64 ParAAM-C-part 5 0     21 698817 18162 1 4878 1 #f 335 0 10 193998.415 3.053 3.602 0.039 3.537 3.66  5     4.999 4.238 4.239 4.238 0.046 4.171 4.316 1     1     0.848 0     0.848 0.848 0     0.002 2.745 0     2.745 2.745
65 ParAAM-C-part 6 0     21 698817 18162 1 4878 1 #f 335 0 10 208057.704 2.544 3.359 0.057 3.271 3.474 6     5.999 4.546 4.547 4.546 0.077 4.395 4.667 1     1     0.758 0     0.758 0.758 0     0.002 4.886 0     4.886 4.886
66 ParAAM-C-part 7 0     21 698817 18162 1 4878 1 #f 335 0 10 226759.06  2.181 3.082 0.078 2.97  3.234 7     6.999 4.955 4.956 4.955 0.125 4.72  5.14  1     1     0.708 0     0.708 0.708 0     0.003 6.306 0     6.306 6.306
67 ParAAM-C-part 8 0     21 698817 18162 1 4878 1 #f 335 0 10 237904.349 1.908 2.937 0.062 2.85  3.063 8     7.998 5.198 5.199 5.198 0.109 4.984 5.357 1     1     0.65  0     0.65  0.65  0     0.003 8.233 0     8.233 8.233