Benchmarks on OPi/linear_5000_gen4fibonacci_recur.scm of differents structure for the worklist (Scala-Par-AM 01.00.02)

TypeSet lattice – Classical address – Default step – Sequential SeqAAMLS and parallel ParAAM-*-*-* without ParAAMCSState and ParAAMCSSet – 13 repetitions – Manually corrected two repetitions of SeqAAMLS that causes StackOverflowError (see final report for explanations) (time in seconds, computed on Bertha – Intel Xeon CPU E5-2637 v3 @ 3.50GHz2 processors × 4 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 64855 0 0 1517 1 Int 13 9.925 9.351 9.183 9.465 9.551 9.698 9.416 9.237 9.176 9.488 9.506 9.176 9.176 13 9.454 0.165
2 ParAAM-L-SA-state 2 64855 0 0 1517 1 Int 13 11.212 11.595 11.405 11.338 11.197 11.105 11.296 11.287 11.233 11.382 10.916 11.292 11.031 13 11.253 0.127
3 ParAAM-L-SA-state 3 64855 0 0 1517 1 Int 13 10.866 10.998 10.505 11.247 10.703 10.613 10.557 10.633 10.705 10.591 10.646 10.725 10.415 13 10.708 0.155
4 ParAAM-L-SA-state 4 64855 0 0 1517 1 Int 13 11.008 10.832 10.735 10.474 10.896 10.91  10.725 10.905 11.019 10.804 10.925 10.944 10.903 13 10.852 0.106
5 ParAAM-L-SA-state 5 64855 0 0 1517 1 Int 13 10.889 10.827 11.006 10.61  10.986 10.883 11.019 11.004 11.148 10.828 10.766 11.175 10.814 13 10.92  0.126
6 ParAAM-L-SA-state 6 64855 0 0 1517 1 Int 13 10.972 11.067 10.674 10.729 10.939 10.691 10.684 10.759 11.069 10.902 10.773 10.911 10.778 13 10.842 0.124
7 ParAAM-L-SA-state 7 64855 0 0 1517 1 Int 13 10.829 11.123 10.638 10.774 10.584 10.505 10.451 10.777 10.765 10.719 10.812 10.906 11.042 13 10.764 0.142
8 ParAAM-L-SA-state 8 64855 0 0 1517 1 Int 13 11.007 10.834 10.569 11.088 10.92  10.953 11.099 11.065 11.076 11.148 11.02  11.165 10.713 13 10.974 0.135
9 ParAAM-L-SA-state 9 64855 0 0 1517 1 Int 13 10.792 10.747 10.762 10.965 10.978 10.837 10.807 10.781 10.918 10.614 11.046 10.916 10.878 13 10.849 0.093
10 ParAAM-L-SA-state 10 64855 0 0 1517 1 Int 13 10.912 11.146 10.535 10.998 10.827 10.746 11.072 10.961 11.1   10.843 10.604 11.051 11.012 13 10.908 0.152
11 ParAAM-L-SA-state 12 64855 0 0 1517 1 Int 13 11.147 10.908 10.898 10.538 11.094 10.46  10.578 10.889 10.61  10.811 10.528 10.823 10.899 13 10.783 0.185
12 ParAAM-L-SA-state 14 64855 0 0 1517 1 Int 13 11.159 10.475 10.854 10.814 10.571 11.05  11.24  10.783 10.964 11.054 10.455 10.867 10.829 13 10.855 0.185
13 ParAAM-L-SA-state 16 64855 0 0 1517 1 Int 13 10.64  10.958 10.973 10.415 10.641 10.796 10.558 10.449 10.514 10.567 10.595 11.185 10.559 13 10.681 0.183
14 ParAAM-L-SA-state 24 64855 0 0 1517 1 Int 13 11.067 10.848 10.385 10.973 10.61  10.955 10.682 10.546 10.769 10.653 10.488 10.662 10.333 13 10.69  0.179
15 ParAAM-L-SA-state 32 64855 0 0 1517 1 Int 13 11.289 10.739 11.121 10.684 10.63  10.781 10.815 10.38  11.105 10.569 10.934 10.561 10.667 13 10.79  0.202
16 ParAAM-L-SA-set 2 64855 0 0 1517 1 Int 13 11.21  10.843 11.012 11.103 10.775 10.865 10.737 10.62  10.72  10.64  10.693 10.613 10.971 13 10.831 0.157
17 ParAAM-L-SA-set 3 64855 0 0 1517 1 Int 13 10.447 10.219 10.529 10.432 10.514 10.412 10.255 10.43  10.816 10.705 10.756 10.328 10.276 13 10.471 0.149
18 ParAAM-L-SA-set 4 64855 0 0 1517 1 Int 13 10.454 10.4   10.124 10.202 10.352 10.393 10.69  10.507 10.684 10.794 10.502 10.358 10.514 13 10.46  0.144
19 ParAAM-L-SA-set 5 64855 0 0 1517 1 Int 13 10.489 10.189 11.006 10.551 10.658 10.261 10.527 10.45  10.337 10.361 10.541 10.729 10.415 13 10.501 0.155
20 ParAAM-L-SA-set 6 64855 0 0 1517 1 Int 13 10.892 10.699 10.669 10.27  10.211 10.659 10.519 10.5   10.98  10.571 10.287 10.639 10.539 13 10.572 0.17 
21 ParAAM-L-SA-set 7 64855 0 0 1517 1 Int 13 10.637 10.123 10.491 10.554 10.525 10.557 10.62  10.764 10.499 10.562 10.349 10.723 10.624 13 10.541 0.11 
22 ParAAM-L-SA-set 8 64855 0 0 1517 1 Int 13 10.685 10.874 10.625 10.746 10.561 10.988 10.712 10.549 10.303 10.479 10.66  10.534 10.931 13 10.665 0.145
23 ParAAM-L-SA-set 9 64855 0 0 1517 1 Int 13 10.331 10.617 11.094 10.501 10.734 10.334 10.661 10.846 10.614 10.341 10.522 10.663 10.299 13 10.581 0.179
24 ParAAM-L-SA-set 10 64855 0 0 1517 1 Int 13 10.665 10.437 10.264 10.444 10.395 10.358 10.071 10.685 10.786 10.645 10.834 10.655 10.269 13 10.501 0.195
25 ParAAM-L-SA-set 12 64855 0 0 1517 1 Int 13 10.613 10.393 10.19  10.605 10.522 10.229 10.427 10.394 10.458 10.493 10.294 10.8   10.775 13 10.476 0.146
26 ParAAM-L-SA-set 14 64855 0 0 1517 1 Int 13 10.455 10.587 10.409 10.712 10.307 10.586 10.582 10.827 10.304 10.624 10.45  10.309 10.61  13 10.52  0.137
27 ParAAM-L-SA-set 16 64855 0 0 1517 1 Int 13 10.55  10.385 10.61  10.209 10.648 10.529 10.408 10.327 10.542 10.53  10.611 10.337 10.623 13 10.485 0.117
28 ParAAM-L-SA-set 24 64855 0 0 1517 1 Int 13 10.314 10.667 10.479 10.501 10.625 10.49  10.565 10.308 10.704 10.257 10.719 10.381 10.251 13 10.482 0.138
29 ParAAM-L-SA-set 32 64855 0 0 1517 1 Int 13 10.52  10.493 10.469 10.16  10.683 10.864 10.424 10.622 10.565 10.656 10.395 10.781 10.644 13 10.56  0.138
30 ParAAM-L-SA-part 2 64855 0 0 1517 1 Int 13 10.55  10.323 9.949 10.244 10.347 9.775 10.237 10.147 10.106 10.614 10.368 10.71  10.169 13 10.272 0.197
31 ParAAM-L-SA-part 3 64855 0 0 1517 1 Int 13 7.393 7.406 7.183 7.533 7.022 7.595 7.624 7.524 7.611 7.22  7.709 7.512 7.15  13 7.422 0.178
32 ParAAM-L-SA-part 4 64855 0 0 1517 1 Int 13 6.786 6.527 6.799 6.824 6.732 6.736 6.819 6.714 6.656 6.673 7.136 6.796 6.821 13 6.771 0.09 
33 ParAAM-L-SA-part 5 64855 0 0 1517 1 Int 13 5.911 6.228 6     6.113 6.388 5.932 6.175 6.099 6.397 6.031 6.066 5.925 5.976 13 6.095 0.127
34 ParAAM-L-SA-part 6 64855 0 0 1517 1 Int 13 5.818 6.016 5.834 6.098 5.89  5.767 5.838 5.993 5.754 5.77  5.96  5.669 5.828 13 5.864 0.098
35 ParAAM-L-SA-part 7 64855 0 0 1517 1 Int 13 5.8   5.454 5.527 5.532 5.641 5.584 5.634 5.611 5.641 5.689 5.575 5.522 5.474 13 5.591 0.072
36 ParAAM-L-SA-part 8 64855 0 0 1517 1 Int 13 5.436 5.402 5.276 5.221 5.369 5.499 5.413 5.331 5.33  5.507 5.415 5.362 5.256 13 5.37  0.069
37 ParAAM-L-SA-part 9 64855 0 0 1517 1 Int 13 5.33  5.116 5.203 5.382 5.197 5.279 5.187 5.199 5.234 5.276 5.206 5.288 5.342 13 5.249 0.062
38 ParAAM-L-SA-part 10 64855 0 0 1517 1 Int 13 5.292 5.092 5.143 5.053 5.233 5.149 5.185 5.066 5.077 5.395 5.241 5.346 5.18  13 5.189 0.087
39 ParAAM-L-SA-part 12 64855 0 0 1517 1 Int 13 5.153 5.19  5.084 5.189 5.234 5.176 5.132 5.168 5.099 5.001 5.315 5.206 5.188 13 5.164 0.054
40 ParAAM-L-SA-part 14 64855 0 0 1517 1 Int 13 5.225 5.057 5.062 5.029 5.16  5.079 5.102 5.142 5.132 5.204 5.007 5.216 4.976 13 5.107 0.067
41 ParAAM-L-SA-part 16 64855 0 0 1517 1 Int 13 5.099 5.048 4.887 5.222 5.015 5.13  5.04  5.224 5.061 4.95  5.261 5.112 5.169 13 5.094 0.086
42 ParAAM-L-SA-part 24 64855 0 0 1517 1 Int 13 5.129 4.907 5.02  5.004 4.959 4.962 5.077 5.023 4.889 4.888 4.939 4.901 4.913 13 4.97  0.062
43 ParAAM-L-SA-part 32 64855 0 0 1517 1 Int 13 5.027 4.965 4.926 5.048 4.973 5.109 5.059 4.959 5.056 4.981 5.124 4.972 5.026 13 5.017 0.05 
44 ParAAM-C-S-part 2 64855 0 0 1517 1 Int 13 9.985 10.161 9.908 9.835 9.467 9.727 9.615 9.489 9.205 9.359 9.596 9.588 10.239 13 9.706 0.249
45 ParAAM-C-S-part 3 64855 0 0 1517 1 Int 13 5.951 5.556 5.76  5.629 5.707 5.799 5.744 5.771 5.812 5.731 6.014 5.678 5.56  13 5.747 0.096
46 ParAAM-C-S-part 4 64855 0 0 1517 1 Int 13 4.542 4.278 4.636 4.404 4.428 4.57  4.307 4.526 4.314 4.485 4.43  4.354 4.44  13 4.44  0.086
47 ParAAM-C-S-part 5 64855 0 0 1517 1 Int 13 3.937 3.742 3.721 3.731 3.887 3.8   3.813 3.721 3.947 3.862 3.809 3.949 3.822 13 3.826 0.069
48 ParAAM-C-S-part 6 64855 0 0 1517 1 Int 13 3.572 3.473 3.445 3.314 3.569 3.467 3.348 3.463 3.367 3.399 3.448 3.369 3.346 13 3.429 0.066
49 ParAAM-C-S-part 7 64855 0 0 1517 1 Int 13 3.253 3.348 3.208 3.189 3.28  3.168 3.26  3.12  3.211 3.161 3.188 3.115 3.088 13 3.199 0.056
50 ParAAM-C-S-part 8 64855 0 0 1517 1 Int 13 3.075 3.033 3.103 2.97  3.116 3.037 3.319 3.143 3.201 3.062 3.044 2.951 2.958 13 3.078 0.076
51 ParAAM-C-S-part 9 64855 0 0 1517 1 Int 13 3.058 3.022 3.077 3.18  3.046 3.045 3.154 3.079 2.99  3.048 3.056 3.115 3.051 13 3.071 0.039
52 ParAAM-C-S-part 10 64855 0 0 1517 1 Int 13 3.06  3.006 2.99  3.123 3.071 3.053 3.116 3.103 2.983 3.029 3.031 2.998 3.226 13 3.061 0.052
53 ParAAM-C-S-part 12 64855 0 0 1517 1 Int 13 3.076 3.081 3.196 2.927 3.123 3.097 2.958 3.167 3.133 3.051 3.029 2.906 2.864 13 3.047 0.085
54 ParAAM-C-S-part 14 64855 0 0 1517 1 Int 13 2.782 2.853 2.902 2.962 2.851 2.96  2.885 2.932 2.97  2.951 2.954 2.83  3.022 13 2.912 0.057
55 ParAAM-C-S-part 16 64855 0 0 1517 1 Int 13 2.891 2.84  2.886 2.964 2.932 3.04  2.813 3.057 2.885 2.962 2.853 2.877 2.889 13 2.915 0.059
56 ParAAM-C-S-part 24 64855 0 0 1517 1 Int 13 2.944 2.805 2.917 2.822 2.85  2.88  2.822 2.868 2.767 2.811 2.902 2.848 2.865 13 2.854 0.039
57 ParAAM-C-S-part 32 64855 0 0 1517 1 Int 13 2.933 2.955 2.796 2.767 2.904 2.846 2.813 2.824 2.921 2.922 2.861 2.776 2.739 13 2.851 0.06 
58 ParAAM-C-state 1 64855 0 0 1517 1 Int 13 8.581 8.747 8.698 8.617 8.723 8.755 9.092 9.136 8.683 8.856 8.525 8.844 8.815 13 8.775 0.134
59 ParAAM-C-state 2 64855 0 0 1517 1 Int 13 5.279 5.108 5.367 5.128 5.179 5.306 5.473 5.278 5.118 5.274 5.245 5.153 5.383 13 5.253 0.09 
60 ParAAM-C-state 3 64855 0 0 1517 1 Int 13 3.987 4.078 3.981 4.199 4.248 4.085 4.073 4.081 4.13  4.157 4.174 3.878 4.006 13 4.083 0.076
61 ParAAM-C-state 4 64855 0 0 1517 1 Int 13 3.39  3.324 3.349 3.366 3.383 3.31  3.302 3.525 3.316 3.362 3.486 3.323 3.381 13 3.37  0.048
62 ParAAM-C-state 5 64855 0 0 1517 1 Int 13 3.024 3.13  3.025 3.095 2.964 3.19  3.121 3.222 3.089 3.038 3.058 3.156 3     13 3.086 0.062
63 ParAAM-C-state 6 64855 0 0 1517 1 Int 13 2.841 2.847 2.748 2.87  2.904 2.779 2.761 2.85  2.798 2.805 2.828 2.764 2.969 13 2.828 0.048
64 ParAAM-C-state 7 64855 0 0 1517 1 Int 13 2.771 2.698 2.741 2.621 2.717 2.638 2.737 2.66  2.695 2.684 2.723 2.702 2.71  13 2.7   0.031
65 ParAAM-C-state 8 64855 0 0 1517 1 Int 13 2.707 2.533 2.582 2.615 2.575 2.552 2.533 2.64  2.555 2.629 2.563 2.549 2.598 13 2.587 0.039
66 ParAAM-C-state 9 64855 0 0 1517 1 Int 13 2.531 2.574 2.59  2.567 2.57  2.674 2.573 2.599 2.578 2.598 2.632 2.578 2.561 13 2.586 0.025
67 ParAAM-C-state 10 64855 0 0 1517 1 Int 13 2.549 2.624 2.546 2.542 2.515 2.597 2.623 2.671 2.596 2.605 2.638 2.544 2.586 13 2.588 0.037
68 ParAAM-C-state 12 64855 0 0 1517 1 Int 13 2.655 2.692 2.572 2.571 2.621 2.684 2.654 2.619 2.586 2.613 2.607 2.633 2.588 13 2.623 0.031
69 ParAAM-C-state 14 64855 0 0 1517 1 Int 13 2.616 2.631 2.55  2.731 2.589 2.6   2.58  2.626 2.581 2.608 2.592 2.602 2.593 13 2.608 0.027
70 ParAAM-C-state 16 64855 0 0 1517 1 Int 13 2.624 2.668 2.618 2.622 2.604 2.622 2.626 2.635 2.657 2.558 2.677 2.685 2.593 13 2.63  0.026
71 ParAAM-C-state 24 64855 0 0 1517 1 Int 13 2.69  2.631 2.592 2.552 2.571 2.731 2.729 2.589 2.607 2.652 2.567 2.59  2.61  13 2.624 0.048
72 ParAAM-C-state 32 64855 0 0 1517 1 Int 13 2.595 2.682 2.526 2.556 2.601 2.55  2.645 2.627 2.599 2.576 2.652 2.638 2.645 13 2.607 0.038
73 ParAAM-C-set 1 64855 0 0 1517 1 Int 13 8.84  8.72  8.931 9.063 8.764 8.792 9.161 8.763 8.921 8.733 8.634 8.691 8.704 13 8.825 0.122
74 ParAAM-C-set 2 64855 0 0 1517 1 Int 13 5.352 5.184 5.209 5.233 5.255 5.236 5.126 5.28  5.013 5.273 5.139 5.185 5.27  13 5.212 0.064
75 ParAAM-C-set 3 64855 0 0 1517 1 Int 13 3.92  4.005 4.023 3.933 3.923 3.947 3.864 3.944 4.044 3.847 3.922 3.869 4.07  13 3.947 0.055
76 ParAAM-C-set 4 64855 0 0 1517 1 Int 13 3.413 3.337 3.296 3.392 3.296 3.252 3.306 3.3   3.403 3.378 3.378 3.374 3.397 13 3.348 0.046
77 ParAAM-C-set 5 64855 0 0 1517 1 Int 13 2.987 3.067 2.989 2.944 2.934 2.914 3.077 3.049 3.141 3.034 2.963 3.034 2.964 13 3.008 0.055
78 ParAAM-C-set 6 64855 0 0 1517 1 Int 13 2.872 2.902 2.766 2.766 2.913 2.725 2.855 2.861 2.852 2.754 2.81  2.728 2.778 13 2.814 0.057
79 ParAAM-C-set 7 64855 0 0 1517 1 Int 13 2.679 2.747 2.7   2.7   2.547 2.662 2.683 2.584 2.636 2.615 2.711 2.763 2.639 13 2.666 0.049
80 ParAAM-C-set 8 64855 0 0 1517 1 Int 13 2.515 2.489 2.583 2.559 2.538 2.558 2.536 2.598 2.534 2.553 2.519 2.474 2.565 13 2.54  0.027
81 ParAAM-C-set 9 64855 0 0 1517 1 Int 13 2.523 2.606 2.672 2.566 2.577 2.562 2.589 2.622 2.652 2.6   2.569 2.66  2.584 13 2.599 0.034
82 ParAAM-C-set 10 64855 0 0 1517 1 Int 13 2.627 2.615 2.582 2.594 2.651 2.64  2.547 2.556 2.548 2.569 2.602 2.579 2.705 13 2.601 0.036
83 ParAAM-C-set 12 64855 0 0 1517 1 Int 13 2.609 2.581 2.545 2.58  2.562 2.62  2.579 2.605 2.543 2.63  2.625 2.619 2.643 13 2.596 0.028
84 ParAAM-C-set 14 64855 0 0 1517 1 Int 13 2.637 2.645 2.663 2.605 2.555 2.572 2.626 2.602 2.602 2.55  2.599 2.603 2.641 13 2.608 0.027
85 ParAAM-C-set 16 64855 0 0 1517 1 Int 13 2.581 2.606 2.687 2.598 2.611 2.639 2.628 2.677 2.547 2.651 2.595 2.635 2.614 13 2.621 0.03 
86 ParAAM-C-set 24 64855 0 0 1517 1 Int 13 2.637 2.581 2.639 2.617 2.631 2.61  2.566 2.722 2.662 2.63  2.631 2.577 2.623 13 2.625 0.027
87 ParAAM-C-set 32 64855 0 0 1517 1 Int 13 2.613 2.615 2.56  2.655 2.619 2.676 2.593 2.665 2.637 2.632 2.654 2.563 2.635 13 2.625 0.028
88 ParAAM-C-part 1 64855 0 0 1517 1 Int 13 9.512 9.714 9.619 9.342 9.598 9.709 9.501 9.604 9.533 9.724 9.439 9.553 10.061 13 9.608 0.121
89 ParAAM-C-part 2 64855 0 0 1517 1 Int 13 5.267 5.648 5.397 5.554 5.48  5.506 5.275 5.391 5.291 5.286 5.302 5.526 5.178 13 5.392 0.117
90 ParAAM-C-part 3 64855 0 0 1517 1 Int 13 4.089 4.068 3.937 4.015 3.958 4.111 3.912 3.89  4.05  4.205 4.046 4.16  3.958 13 4.031 0.079
91 ParAAM-C-part 4 64855 0 0 1517 1 Int 13 3.352 3.379 3.326 3.36  3.408 3.297 3.371 3.292 3.217 3.329 3.223 3.231 3.258 13 3.311 0.054
92 ParAAM-C-part 5 64855 0 0 1517 1 Int 13 2.875 2.839 2.927 2.832 2.861 2.906 2.914 2.907 2.978 2.79  2.928 2.971 3.05  13 2.906 0.051
93 ParAAM-C-part 6 64855 0 0 1517 1 Int 13 2.734 2.706 2.658 2.722 2.608 2.728 2.763 2.707 2.685 2.666 2.68  2.704 2.664 13 2.694 0.031
94 ParAAM-C-part 7 64855 0 0 1517 1 Int 13 2.652 2.47  2.439 2.44  2.535 2.517 2.463 2.588 2.494 2.469 2.456 2.514 2.554 13 2.507 0.049
95 ParAAM-C-part 8 64855 0 0 1517 1 Int 13 2.384 2.379 2.344 2.376 2.386 2.316 2.348 2.404 2.41  2.383 2.402 2.399 2.335 13 2.374 0.024
96 ParAAM-C-part 9 64855 0 0 1517 1 Int 13 2.397 2.357 2.364 2.405 2.385 2.399 2.347 2.342 2.342 2.369 2.431 2.402 2.482 13 2.386 0.03 
97 ParAAM-C-part 10 64855 0 0 1517 1 Int 13 2.333 2.402 2.392 2.338 2.349 2.353 2.316 2.365 2.385 2.362 2.402 2.416 2.363 13 2.367 0.025
98 ParAAM-C-part 12 64855 0 0 1517 1 Int 13 2.396 2.309 2.33  2.367 2.345 2.358 2.414 2.365 2.354 2.305 2.401 2.445 2.331 13 2.363 0.032
99 ParAAM-C-part 14 64855 0 0 1517 1 Int 13 2.404 2.393 2.346 2.352 2.338 2.326 2.346 2.335 2.386 2.387 2.427 2.314 2.396 13 2.365 0.031
100 ParAAM-C-part 16 64855 0 0 1517 1 Int 13 2.333 2.366 2.32  2.358 2.413 2.367 2.375 2.374 2.343 2.374 2.314 2.377 2.367 13 2.36  0.02 
101 ParAAM-C-part 24 64855 0 0 1517 1 Int 13 2.384 2.354 2.421 2.369 2.458 2.367 2.338 2.374 2.372 2.386 2.343 2.394 2.341 13 2.377 0.024
102 ParAAM-C-part 32 64855 0 0 1517 1 Int 13 2.406 2.345 2.326 2.351 2.409 2.386 2.415 2.381 2.46  2.392 2.432 2.372 2.436 13 2.393 0.031