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 SuperWOPR – Dell Precision T3500 – Intel Xeon CPU W3530 @ 2.8GHz4 cores × 2 by Hyper-Threading – 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 6.24  5.38  5.307 5.219 5.191 5.359 5.266 5.249 5.275 5.268 5.238 5.224 5.263 13 5.344 0.145
2 ParAAM-L-SA-state 2 243472 6642 1 2439 1 Int 13 5.234 5.243 5.37  5.209 5.296 5.216 5.343 5.23  5.375 5.315 5.304 5.365 5.426 13 5.302 0.059
3 ParAAM-L-SA-state 3 243472 6642 1 2439 1 Int 13 5.263 5.147 5.126 5.148 5.201 5.244 5.178 5.256 5.22  5.185 5.228 5.3   5.128 13 5.202 0.046
4 ParAAM-L-SA-state 4 243472 6642 1 2439 1 Int 13 5.876 5.91  5.896 5.832 5.916 5.822 5.929 5.776 5.864 5.887 5.856 5.866 5.906 13 5.872 0.033
5 ParAAM-L-SA-state 5 243472 6642 1 2439 1 Int 13 6.152 6.159 6.052 6.066 6.066 6.007 6.097 6.085 6.086 6.068 6.108 6.097 6.072 13 6.086 0.028
6 ParAAM-L-SA-state 6 243472 6642 1 2439 1 Int 13 6.201 6.17  6.146 6.148 6.199 6.088 6.176 6.136 6.087 6.191 6.139 6.176 6.117 13 6.152 0.031
7 ParAAM-L-SA-state 7 243472 6642 1 2439 1 Int 13 6.262 6.218 6.115 6.15  6.177 6.211 6.15  6.177 6.146 6.187 6.179 6.151 6.201 13 6.179 0.029
8 ParAAM-L-SA-state 8 243472 6642 1 2439 1 Int 13 6.251 6.198 6.16  6.228 6.196 6.096 6.228 6.201 6.157 6.228 6.167 6.226 6.2   13 6.195 0.031
9 ParAAM-L-SA-set 2 243472 6642 1 2439 1 Int 13 5.295 5.247 5.259 5.198 5.146 5.149 5.249 5.258 5.257 5.065 5.229 5.4   5.671 13 5.263 0.089
10 ParAAM-L-SA-set 3 243472 6642 1 2439 1 Int 13 5.296 5.038 5.211 5.139 5.301 5.337 5.385 5.238 5.228 5.278 5.311 5.257 5.266 13 5.253 0.063
11 ParAAM-L-SA-set 4 243472 6642 1 2439 1 Int 13 6.016 5.818 5.897 5.912 5.949 5.898 5.89  5.816 5.838 5.907 5.828 5.869 5.836 13 5.882 0.045
12 ParAAM-L-SA-set 5 243472 6642 1 2439 1 Int 13 6.097 6.038 6.115 6.026 6.106 6.107 6.128 6.007 6.106 6.067 6.115 6.065 6.03  13 6.077 0.036
13 ParAAM-L-SA-set 6 243472 6642 1 2439 1 Int 13 6.157 6.018 6.091 6.087 6.108 6.096 6.07  6.095 6.119 6.102 6.156 6.158 6.159 13 6.109 0.032
14 ParAAM-L-SA-set 7 243472 6642 1 2439 1 Int 13 6.19  6.152 6.175 6.196 6.187 6.106 6.15  6.119 6.148 6.109 6.148 6.161 6.147 13 6.153 0.022
15 ParAAM-L-SA-set 8 243472 6642 1 2439 1 Int 13 6.221 6.23  6.117 6.106 6.211 6.187 6.195 6.118 6.196 6.167 6.179 6.128 6.056 13 6.162 0.044
16 ParAAM-L-SA-part 2 243472 6642 1 2439 1 Int 13 5.817 5.726 5.681 5.678 5.688 5.706 5.749 5.649 5.68  5.717 5.751 5.646 5.756 13 5.711 0.038
17 ParAAM-L-SA-part 3 243472 6642 1 2439 1 Int 13 4.197 4.097 4.069 4.066 4.157 4.066 4.056 4.049 4.129 4.028 4.126 4.077 4.045 13 4.089 0.04 
18 ParAAM-L-SA-part 4 243472 6642 1 2439 1 Int 13 3.737 3.672 3.629 3.627 3.594 3.67  3.678 3.558 3.596 3.596 3.609 3.686 3.656 13 3.639 0.041
19 ParAAM-L-SA-part 5 243472 6642 1 2439 1 Int 13 3.588 3.489 3.534 3.419 3.461 3.565 3.47  3.557 3.45  3.487 3.477 3.54  3.446 13 3.499 0.045
20 ParAAM-L-SA-part 6 243472 6642 1 2439 1 Int 13 3.49  3.439 3.437 3.331 3.406 3.341 3.366 3.407 3.367 3.351 3.366 3.318 3.405 13 3.386 0.041
21 ParAAM-L-SA-part 7 243472 6642 1 2439 1 Int 13 3.386 3.415 3.299 3.328 3.43  3.377 3.369 3.351 3.428 3.267 3.367 3.376 3.289 13 3.36  0.041
22 ParAAM-L-SA-part 8 243472 6642 1 2439 1 Int 13 3.38  3.287 3.322 3.316 3.399 3.345 3.365 3.228 3.399 3.287 3.381 3.288 3.296 13 3.33  0.044
23 ParAAM-C-S-state 2 243472 6642 1 2439 1 Int 13 15.325 13.846 14.005 13.936 14.106 14.608 14.391 14.26  15.056 15.269 13.496 14.597 13.817 13 14.362 0.472
24 ParAAM-C-S-state 3 243472 6642 1 2439 1 Int 13 18.356 18.266 19.744 17.909 16.986 18.615 16.005 17.49  17.588 16.937 17.302 16.447 17.788 13 17.649 0.736
25 ParAAM-C-S-state 4 243472 6642 1 2439 1 Int 13 17.617 17.545 17.22  16.307 18.794 15.928 18.5   16.067 16.556 18.699 16.974 16.776 17.406 13 17.261 0.769
26 ParAAM-C-S-state 5 243472 6642 1 2439 1 Int 13 17.341 15.876 16.236 18.058 16.915 16.986 16.921 16.759 15.849 18.327 16.926 16.398 18.81  13 17.031 0.679
27 ParAAM-C-S-state 6 243472 6642 1 2439 1 Int 13 17.884 19.026 17.924 16.259 16.907 18.439 17.919 17.626 16.835 17.297 17.737 18.32  18.268 13 17.726 0.57 
28 ParAAM-C-S-state 7 243472 6642 1 2439 1 Int 13 19.165 18.686 17.254 19.42  17.836 18.456 17.425 17.637 17.736 18.47  18.979 17.815 16.344 13 18.094 0.709
29 ParAAM-C-S-state 8 243472 6642 1 2439 1 Int 13 17.537 17.457 18.366 18.028 16.676 17.919 18.181 18.685 17.907 18.326 17.999 17.79  17.181 13 17.85  0.402
30 ParAAM-C-S-set 2 243472 6642 1 2439 1 Int 13 7.775 7.736 7.758 7.776 7.729 7.698 7.78  7.746 7.704 7.759 7.759 7.776 7.797 13 7.753 0.024
31 ParAAM-C-S-set 3 243472 6642 1 2439 1 Int 13 5.094 5.138 5.028 5.306 5.105 5.04  5.096 5.195 4.795 5.041 5.218 5.105 5.169 13 5.102 0.08 
32 ParAAM-C-S-set 4 243472 6642 1 2439 1 Int 13 4.481 4.449 4.477 4.4   4.525 4.37  4.435 4.428 4.529 4.42  4.377 4.59  4.431 13 4.455 0.05 
33 ParAAM-C-S-set 5 243472 6642 1 2439 1 Int 13 4.191 4.576 4.165 4.191 4.519 4.182 4.405 4.174 4.045 4.179 4.495 4.519 4.106 13 4.288 0.165
34 ParAAM-C-S-set 6 243472 6642 1 2439 1 Int 13 4.668 4.646 4.369 4.835 4.285 4.579 4.342 4.478 4.646 4.389 4.589 4.244 4.417 13 4.499 0.149
35 ParAAM-C-S-set 7 243472 6642 1 2439 1 Int 13 4.851 4.881 5.136 4.528 4.611 4.381 4.649 4.97  4.886 4.941 4.675 4.815 4.707 13 4.772 0.166
36 ParAAM-C-S-set 8 243472 6642 1 2439 1 Int 13 5.161 4.875 5.064 4.956 4.644 5.01  5.084 5.046 5.255 5.052 5.156 5.552 4.775 13 5.048 0.151
37 ParAAM-C-S-part 2 243472 6642 1 2439 1 Int 13 5.988 5.757 5.885 5.76  5.738 5.687 5.699 5.777 5.718 5.768 5.66  5.795 5.717 13 5.765 0.059
38 ParAAM-C-S-part 3 243472 6642 1 2439 1 Int 13 2.987 2.824 3.228 2.596 3.15  3.219 2.586 3.042 3.241 2.825 3.357 2.838 3.041 13 2.995 0.202
39 ParAAM-C-S-part 4 243472 6642 1 2439 1 Int 13 2.217 1.797 1.834 1.797 1.937 1.875 1.927 1.655 1.866 1.927 1.728 1.735 1.755 13 1.85  0.1  
40 ParAAM-C-S-part 5 243472 6642 1 2439 1 Int 13 1.505 1.465 1.561 1.521 1.516 1.498 1.586 1.445 1.698 1.469 1.466 1.444 1.521 13 1.515 0.048
41 ParAAM-C-S-part 6 243472 6642 1 2439 1 Int 13 1.436 1.35  1.295 1.317 1.309 1.286 1.421 1.429 1.448 1.317 1.36  1.276 1.309 13 1.35  0.053
42 ParAAM-C-S-part 7 243472 6642 1 2439 1 Int 13 1.345 1.276 1.21  1.267 1.187 1.22  1.284 1.281 1.316 1.259 1.294 1.215 1.17  13 1.256 0.042
43 ParAAM-C-S-part 8 243472 6642 1 2439 1 Int 13 1.126 1.095 1.125 1.155 1.157 1.136 1.078 1.196 1.165 1.15  1.184 1.105 1.145 13 1.14  0.027
44 ParAAM-C-state 1 243472 6642 1 2439 1 Int 13 3.451 3.366 3.458 3.519 3.526 3.705 3.947 3.525 3.494 3.488 3.545 3.578 3.415 13 3.54  0.095
45 ParAAM-C-state 2 243472 6642 1 2439 1 Int 13 1.916 1.878 1.905 1.925 1.906 1.885 1.874 1.896 1.88  1.873 1.877 1.867 1.875 13 1.889 0.016
46 ParAAM-C-state 3 243472 6642 1 2439 1 Int 13 1.5   1.395 1.431 1.399 1.415 1.458 1.405 1.405 1.48  1.445 1.44  1.398 1.406 13 1.429 0.028
47 ParAAM-C-state 4 243472 6642 1 2439 1 Int 13 1.389 1.299 1.285 1.286 1.289 1.305 1.336 1.306 1.289 1.316 1.288 1.3   1.286 13 1.306 0.019
48 ParAAM-C-state 5 243472 6642 1 2439 1 Int 13 1.386 1.289 1.299 1.328 1.321 1.317 1.316 1.32  1.306 1.317 1.294 1.308 1.296 13 1.315 0.015
49 ParAAM-C-state 6 243472 6642 1 2439 1 Int 13 1.367 1.317 1.328 1.309 1.33  1.339 1.309 1.306 1.365 1.339 1.33  1.306 1.3   13 1.327 0.017
50 ParAAM-C-state 7 243472 6642 1 2439 1 Int 13 1.271 1.269 1.29  1.335 1.309 1.316 1.274 1.289 1.316 1.311 1.327 1.317 1.297 13 1.302 0.018
51 ParAAM-C-state 8 243472 6642 1 2439 1 Int 13 1.315 1.277 1.246 1.299 1.272 1.281 1.255 1.245 1.275 1.306 1.337 1.277 1.258 13 1.28  0.021
52 ParAAM-C-set 1 243472 6642 1 2439 1 Int 13 3.65  3.476 3.5   3.564 3.529 3.539 3.526 3.591 3.506 3.524 3.506 3.496 3.505 13 3.532 0.033
53 ParAAM-C-set 2 243472 6642 1 2439 1 Int 13 1.997 1.915 1.901 1.906 1.921 1.901 1.907 1.92  1.907 1.906 1.92  1.895 1.927 13 1.917 0.015
54 ParAAM-C-set 3 243472 6642 1 2439 1 Int 13 1.376 1.284 1.289 1.486 1.278 1.266 1.305 1.287 1.267 1.33  1.267 1.305 1.278 13 1.309 0.041
55 ParAAM-C-set 4 243472 6642 1 2439 1 Int 13 1.097 1.07  1.104 1.107 1.116 1.106 1.109 1.125 1.108 1.145 1.154 1.127 1.1   13 1.113 0.016
56 ParAAM-C-set 5 243472 6642 1 2439 1 Int 13 1.012 0.989 1     1.029 1     1.024 0.989 1.004 1.004 0.998 0.997 1.034 1.039 13 1.009 0.014
57 ParAAM-C-set 6 243472 6642 1 2439 1 Int 13 0.997 0.916 0.918 0.925 0.937 0.956 0.941 0.938 0.925 0.934 0.946 0.927 0.936 13 0.938 0.013
58 ParAAM-C-set 7 243472 6642 1 2439 1 Int 13 0.916 0.866 0.856 0.874 0.865 0.866 0.854 0.866 0.864 0.866 0.865 0.866 0.859 13 0.868 0.008
59 ParAAM-C-set 8 243472 6642 1 2439 1 Int 13 0.935 0.875 0.855 0.867 0.889 0.889 0.875 0.884 0.876 0.86  0.898 0.868 0.885 13 0.881 0.014
60 ParAAM-C-part 1 243472 6642 1 2439 1 Int 13 5.198 5.165 5.157 5.17  5.269 5.15  5.177 5.18  5.149 5.156 5.128 5.138 5.144 13 5.168 0.024
61 ParAAM-C-part 2 243472 6642 1 2439 1 Int 13 2.735 2.736 2.708 2.73  2.747 2.728 2.708 2.716 2.746 2.718 2.727 2.727 2.707 13 2.726 0.011
62 ParAAM-C-part 3 243472 6642 1 2439 1 Int 13 1.929 1.806 1.827 1.847 1.881 1.83  1.908 1.926 1.875 1.859 1.858 1.872 1.836 13 1.866 0.03 
63 ParAAM-C-part 4 243472 6642 1 2439 1 Int 13 1.465 1.489 1.539 1.448 1.467 1.357 1.428 1.599 1.387 1.364 1.417 1.425 1.43  13 1.447 0.05 
64 ParAAM-C-part 5 243472 6642 1 2439 1 Int 13 1.298 1.26  1.296 1.305 1.288 1.278 1.278 1.315 1.287 1.366 1.27  1.295 1.35  13 1.299 0.022
65 ParAAM-C-part 6 243472 6642 1 2439 1 Int 13 1.155 1.161 1.175 1.188 1.161 1.206 1.198 1.149 1.167 1.201 1.206 1.211 1.22  13 1.184 0.021
66 ParAAM-C-part 7 243472 6642 1 2439 1 Int 13 1.037 1.016 1.099 1.088 1.125 1.127 0.957 1.126 1.09  1.137 1.094 1.124 1.098 13 1.086 0.038
67 ParAAM-C-part 8 243472 6642 1 2439 1 Int 13 1.069 1.01  1.018 0.92  1.101 1.006 0.979 1.039 1.039 1.135 1.046 1.065 1.054 13 1.037 0.039