Benchmarks on Larceny/Gabriel/takl.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 – 13 repetitions (time in seconds, computed on Bertha – Intel Xeon CPU E5-2637 v3 @ 3.50GHz – 2 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 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 38.919 ✓ 37.254 ✓ 37.747 ✓ 37.154 ✓ 36.884 ✓ 36.956 ✓ 36.722 ✓ 37.522 ✓ 37.189 ✓ 38.22  ✓ 36.631 ✓ 36.483 ✓ 37.03  13 37.286 0.502 ✓
2 ParAAM-L-SA-state 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 59.183 ✓ 61.132 ✓ 59.434 ✓ 59.924 ✓ 60.695 ✓ 59.624 ✓ 60.548 ✓ 59.908 ✓ 60.295 ✓ 60.909 ✓ 59.938 ✓ 59.943 ✓ 59.546 13 60.083 0.487 ✓
3 ParAAM-L-SA-state 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 33.319 ✓ 32.539 ✓ 33.257 ✓ 31.857 ✓ 31.701 ✓ 32.859 ✓ 32.97  ✓ 32.025 ✓ 31.835 ✓ 33.602 ✓ 32.094 ✓ 32.673 ✓ 31.969 13 32.515 0.556 ✓
4 ParAAM-L-SA-state 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 34.733 ✓ 35.653 ✓ 35.232 ✓ 35.319 ✓ 34.848 ✓ 35.866 ✓ 35.092 ✓ 36.279 ✓ 35.157 ✓ 34.396 ✓ 35.717 ✓ 35.452 ✓ 34.865 13 35.278 0.403 ✓
5 ParAAM-L-SA-state 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 37.402 ✓ 38.059 ✓ 37.649 ✓ 37.195 ✓ 37.517 ✓ 37.506 ✓ 37.224 ✓ 37.204 ✓ 36.882 ✓ 37.404 ✓ 38.168 ✓ 38.013 ✓ 37.858 13 37.545 0.311 ✓
6 ParAAM-L-SA-state 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 39.784 ✓ 40.47  ✓ 40.237 ✓ 40.027 ✓ 40.523 ✓ 39.569 ✓ 40.289 ✓ 40.561 ✓ 40.384 ✓ 39.907 ✓ 39.94  ✓ 40.015 ✓ 39.552 13 40.097 0.29  ✓
7 ParAAM-L-SA-state 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 42.703 ✓ 41.898 ✓ 43.572 ✓ 42.925 ✓ 42.068 ✓ 42.983 ✓ 42.651 ✓ 41.534 ✓ 41.617 ✓ 42.626 ✓ 42.095 ✓ 41.933 ✓ 42.387 13 42.384 0.486 ✓
8 ParAAM-L-SA-state 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 42.526 ✓ 43.287 ✓ 43.628 ✓ 42.861 ✓ 43.303 ✓ 43.124 ✓ 42.201 ✓ 43.636 ✓ 43.822 ✓ 43.176 ✓ 42.829 ✓ 42.345 ✓ 42.23  13 42.997 0.46  ✓
9 ParAAM-L-SA-state 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 44.434 ✓ 43.644 ✓ 43.086 ✓ 43.01  ✓ 43.549 ✓ 44.622 ✓ 43.201 ✓ 43.553 ✓ 43.142 ✓ 43.562 ✓ 43.167 ✓ 43.558 ✓ 43.42  13 43.534 0.336 ✓
10 ParAAM-L-SA-state 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 43.925 ✓ 44.667 ✓ 44.35  ✓ 43.569 ✓ 43.186 ✓ 44.808 ✓ 42.824 ✓ 44.376 ✓ 44.325 ✓ 43.619 ✓ 42.856 ✓ 43.719 ✓ 42.88  13 43.777 0.583 ✓
11 ParAAM-L-SA-state 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 44.648 ✓ 43.367 ✓ 43.536 ✓ 44.19  ✓ 43.107 ✓ 43.171 ✓ 43.544 ✓ 43.573 ✓ 43.472 ✓ 43.431 ✓ 43.757 ✓ 43.847 ✓ 44.004 13 43.665 0.326 ✓
12 ParAAM-L-SA-state 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 44.153 ✓ 44.165 ✓ 45.068 ✓ 44.627 ✓ 42.712 ✓ 43.893 ✓ 44.154 ✓ 43.718 ✓ 44.799 ✓ 42.851 ✓ 44.272 ✓ 44.141 ✓ 43.329 13 43.991 0.531 ✓
13 ParAAM-L-SA-state 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 43.626 ✓ 43.227 ✓ 42.955 ✓ 43.481 ✓ 43.465 ✓ 43.205 ✓ 43.178 ✓ 43.302 ✓ 43.967 ✓ 43.513 ✓ 43.997 ✓ 43.884 ✓ 43.348 13 43.473 0.251 ✓
14 ParAAM-L-SA-state 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 43.69  ✓ 43.97  ✓ 43.895 ✓ 44.217 ✓ 44.243 ✓ 44.303 ✓ 43.647 ✓ 43.972 ✓ 44.114 ✓ 43.644 ✓ 44.784 ✓ 44.07  ✓ 44.084 13 44.049 0.227 ✓
15 ParAAM-L-SA-state 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 44.626 ✓ 43.967 ✓ 44.157 ✓ 44.318 ✓ 45.074 ✓ 43.816 ✓ 44.011 ✓ 43.598 ✓ 44.251 ✓ 44.183 ✓ 43.888 ✓ 43.654 ✓ 44.821 13 44.182 0.336 ✓
16 ParAAM-L-SA-set 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 51.815 ✓ 51.871 ✓ 51.818 ✓ 51.085 ✓ 51.399 ✓ 51.161 ✓ 50.927 ✓ 51.031 ✓ 50.852 ✓ 51.806 ✓ 51.48  ✓ 52.262 ✓ 51.432 13 51.457 0.356 ✓
17 ParAAM-L-SA-set 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 31.976 ✓ 31.197 ✓ 31.856 ✓ 32.421 ✓ 32.184 ✓ 31.978 ✓ 31.427 ✓ 31.684 ✓ 31.493 ✓ 31.273 ✓ 31.935 ✓ 31.101 ✓ 31.528 13 31.696 0.334 ✓
18 ParAAM-L-SA-set 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 33.664 ✓ 32.998 ✓ 33.913 ✓ 33.977 ✓ 33.463 ✓ 33.229 ✓ 33.459 ✓ 33.596 ✓ 33.422 ✓ 34.673 ✓ 33.777 ✓ 33.502 ✓ 34.067 13 33.672 0.315 ✓
19 ParAAM-L-SA-set 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 36.753 ✓ 35.876 ✓ 35.85  ✓ 36.237 ✓ 35.319 ✓ 36.274 ✓ 35.485 ✓ 35.247 ✓ 35.861 ✓ 35.171 ✓ 35.776 ✓ 35.227 ✓ 35.311 13 35.722 0.396 ✓
20 ParAAM-L-SA-set 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 37.927 ✓ 36.698 ✓ 38.185 ✓ 37.381 ✓ 36.838 ✓ 37.197 ✓ 38.163 ✓ 37.135 ✓ 36.942 ✓ 37.662 ✓ 37.972 ✓ 37.878 ✓ 37.425 13 37.492 0.436 ✓
21 ParAAM-L-SA-set 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 38.864 ✓ 38.681 ✓ 39.248 ✓ 38.267 ✓ 39.619 ✓ 38.611 ✓ 39.074 ✓ 38.955 ✓ 39.009 ✓ 39.101 ✓ 38.471 ✓ 39.604 ✓ 39.036 13 38.965 0.298 ✓
22 ParAAM-L-SA-set 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 39.186 ✓ 40.116 ✓ 40.134 ✓ 40.962 ✓ 40.348 ✓ 40.077 ✓ 40.09  ✓ 40.642 ✓ 39.728 ✓ 39.551 ✓ 39.309 ✓ 39.892 ✓ 40.029 13 40.005 0.363 ✓
23 ParAAM-L-SA-set 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 40.502 ✓ 39.925 ✓ 39.966 ✓ 40.381 ✓ 40.565 ✓ 41.033 ✓ 40.846 ✓ 39.61  ✓ 40.665 ✓ 40.657 ✓ 40.138 ✓ 39.936 ✓ 39.643 13 40.297 0.395 ✓
24 ParAAM-L-SA-set 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 40.518 ✓ 39.998 ✓ 41.131 ✓ 41.577 ✓ 41.221 ✓ 40.922 ✓ 41.568 ✓ 40.893 ✓ 40.829 ✓ 40.631 ✓ 40.35  ✓ 41.073 ✓ 40.868 13 40.891 0.331 ✓
25 ParAAM-L-SA-set 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 40.698 ✓ 41.284 ✓ 40.876 ✓ 41.154 ✓ 41.086 ✓ 40.382 ✓ 41.288 ✓ 40.262 ✓ 41.334 ✓ 41.061 ✓ 40.778 ✓ 40.7   ✓ 41.296 13 40.938 0.298 ✓
26 ParAAM-L-SA-set 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 40.927 ✓ 41.495 ✓ 41.107 ✓ 41.227 ✓ 39.973 ✓ 41.433 ✓ 40.758 ✓ 41.423 ✓ 40.58  ✓ 41.14  ✓ 40.38  ✓ 41.143 ✓ 40.805 13 40.953 0.353 ✓
27 ParAAM-L-SA-set 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 40.237 ✓ 41.52  ✓ 41.428 ✓ 41.061 ✓ 40.869 ✓ 41.043 ✓ 41.416 ✓ 41.575 ✓ 40.593 ✓ 40.957 ✓ 40.923 ✓ 40.955 ✓ 41.964 13 41.118 0.355 ✓
28 ParAAM-L-SA-set 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 41.664 ✓ 40.939 ✓ 41.791 ✓ 40.466 ✓ 41.469 ✓ 41.193 ✓ 41.735 ✓ 41.788 ✓ 41.819 ✓ 40.31  ✓ 41.203 ✓ 40.531 ✓ 41.705 13 41.278 0.465 ✓
29 ParAAM-L-SA-set 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 41.297 ✓ 40.184 ✓ 41.456 ✓ 41.394 ✓ 40.563 ✓ 40.234 ✓ 41.392 ✓ 41.275 ✓ 40.805 ✓ 41.712 ✓ 41.458 ✓ 40.879 ✓ 41.351 13 41.077 0.418 ✓
30 ParAAM-L-SA-part 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 41.552 ✓ 42.329 ✓ 41.719 ✓ 41.659 ✓ 41.458 ✓ 41.704 ✓ 42.25  ✓ 43.192 ✓ 41.562 ✓ 41.437 ✓ 41.248 ✓ 41.861 ✓ 42.432 13 41.877 0.415 ✓
31 ParAAM-L-SA-part 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 29.331 ✓ 29.677 ✓ 30.063 ✓ 29.71  ✓ 29.039 ✓ 29.336 ✓ 29.43  ✓ 29.484 ✓ 29.124 ✓ 29.796 ✓ 29.519 ✓ 28.936 ✓ 29.487 13 29.456 0.237 ✓
32 ParAAM-L-SA-part 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 25.92  ✓ 25.949 ✓ 25.509 ✓ 25.765 ✓ 25.815 ✓ 25.469 ✓ 25.307 ✓ 25.653 ✓ 25.67  ✓ 25.937 ✓ 26.998 ✓ 25.995 ✓ 25.346 13 25.795 0.284 ✓
33 ParAAM-L-SA-part 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 23.926 ✓ 25.094 ✓ 23.927 ✓ 23.533 ✓ 23.865 ✓ 24.054 ✓ 24.797 ✓ 23.915 ✓ 23.882 ✓ 23.821 ✓ 24.354 ✓ 24.034 ✓ 24.169 13 24.106 0.307 ✓
34 ParAAM-L-SA-part 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.576 ✓ 22.703 ✓ 22.656 ✓ 22.822 ✓ 22.734 ✓ 22.356 ✓ 22.615 ✓ 22.78  ✓ 22.821 ✓ 23.805 ✓ 23.046 ✓ 22.858 ✓ 23.092 13 22.836 0.224 ✓
35 ParAAM-L-SA-part 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.264 ✓ 22.108 ✓ 22.154 ✓ 22.956 ✓ 22.46  ✓ 22.753 ✓ 22.793 ✓ 22.45  ✓ 22.126 ✓ 22.278 ✓ 22.392 ✓ 22.613 ✓ 22.677 13 22.463 0.227 ✓
36 ParAAM-L-SA-part 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.619 ✓ 22.045 ✓ 22.368 ✓ 21.769 ✓ 21.953 ✓ 22.103 ✓ 22.097 ✓ 21.825 ✓ 22.023 ✓ 21.88  ✓ 22.274 ✓ 22.184 ✓ 22.477 13 22.124 0.2   ✓
37 ParAAM-L-SA-part 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.071 ✓ 21.777 ✓ 21.638 ✓ 21.666 ✓ 22.327 ✓ 21.832 ✓ 22.055 ✓ 21.915 ✓ 21.95  ✓ 21.495 ✓ 21.537 ✓ 21.611 ✓ 21.564 13 21.803 0.205 ✓
38 ParAAM-L-SA-part 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.027 ✓ 21.997 ✓ 21.507 ✓ 21.194 ✓ 21.431 ✓ 21.384 ✓ 21.995 ✓ 21.363 ✓ 22.027 ✓ 21.58  ✓ 21.983 ✓ 21.346 ✓ 21.621 13 21.65  0.273 ✓
39 ParAAM-L-SA-part 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.61  ✓ 21.423 ✓ 21.362 ✓ 21.229 ✓ 21.225 ✓ 21.127 ✓ 22.198 ✓ 20.965 ✓ 21.464 ✓ 21.181 ✓ 21.363 ✓ 21.316 ✓ 21.183 13 21.357 0.196 ✓
40 ParAAM-L-SA-part 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.298 ✓ 21.113 ✓ 21.353 ✓ 21.108 ✓ 21.51  ✓ 21.344 ✓ 21.34  ✓ 21.075 ✓ 21.089 ✓ 21.756 ✓ 21.285 ✓ 21.07  ✓ 21.303 13 21.28  0.146 ✓
41 ParAAM-L-SA-part 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.06  ✓ 21.527 ✓ 20.913 ✓ 20.937 ✓ 20.588 ✓ 21.115 ✓ 20.785 ✓ 21.337 ✓ 20.946 ✓ 21.271 ✓ 21.202 ✓ 21.544 ✓ 21.66  13 21.145 0.257 ✓
42 ParAAM-L-SA-part 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 20.874 ✓ 20.689 ✓ 20.981 ✓ 20.882 ✓ 20.816 ✓ 21.297 ✓ 20.882 ✓ 20.604 ✓ 20.857 ✓ 20.885 ✓ 20.403 ✓ 20.667 ✓ 21.007 13 20.834 0.153 ✓
43 ParAAM-L-SA-part 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.02  ✓ 20.838 ✓ 20.904 ✓ 20.544 ✓ 20.883 ✓ 20.596 ✓ 20.377 ✓ 21.04  ✓ 20.844 ✓ 20.769 ✓ 20.889 ✓ 20.462 ✓ 20.81  13 20.767 0.168 ✓
44 ParAAM-C-S-set 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 64.031 ✓ 63.674 ✓ 64.861 ✓ 66.528 ✓ 66.357 ✓ 64.348 ✓ 62.99  ✓ 67.34  ✓ 67.444 ✓ 64.845 ✓ 63.975 ✓ 68.449 ✓ 63.676 13 65.271 1.502 ✓
45 ParAAM-C-S-set 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 78.928 ✓ 78.002 ✓ 76.937 ✓ 76.779 ✓ 74.24  ✓ 77.958 ✓ 73.762 ✓ 75.773 ✓ 75.628 ✓ 77.497 ✓ 69.878 ✓ 75.144 ✓ 73.453 13 75.691 1.852 ✓
46 ParAAM-C-S-set 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 122.391 ✓ 136.236 ✓ 126.93  ✓ 143.391 ✓ 130.389 ✓ 130.551 ✓ 129.098 ✓ 129.743 ✓ 127.97  ✓ 133.365 ✓ 122.941 ✓ 125.445 ✓ 134.383 13 130.218 4.155 ✓
47 ParAAM-C-S-set 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 153.391 ✓ 168.852 ✓ 162.529 ✓ 157.197 ✓ 165.423 ✓ 166.406 ✓ 156.447 ✓ 169.48  ✓ 164.104 ✓ 158.912 ✓ 170.455 ✓ 166.713 ✓ 157.643 13 162.889 4.802 ✓
48 ParAAM-C-S-set 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 179.099 ✓ 181.518 ✓ 178.421 ✓ 175.236 ✓ 178.019 ✓ 176.189 ✓ 174.748 ✓ 180.487 ✓ 178.27  ✓ 177.398 ✓ 176.497 ✓ 176.084 ✓ 179.47  13 177.803 1.641 ✓
49 ParAAM-C-S-set 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 181.904 ✓ 186.462 ✓ 184.637 ✓ 183.375 ✓ 186.03  ✓ 184.53  ✓ 183.783 ✓ 179.95  ✓ 180.686 ✓ 180.9   ✓ 181.002 ✓ 180.193 ✓ 181.094 13 182.657 1.98  ✓
50 ParAAM-C-S-set 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 182.319 ✓ 186.101 ✓ 185.22  ✓ 180.574 ✓ 185.274 ✓ 183.361 ✓ 184.864 ✓ 186.652 ✓ 185.272 ✓ 184.108 ✓ 183.312 ✓ 181.954 ✓ 185.541 13 184.196 1.469 ✓
51 ParAAM-C-S-set 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 185.93  ✓ 183.621 ✓ 186.73  ✓ 182.911 ✓ 187.781 ✓ 173.033 ✓ 176.555 ✓ 183.905 ✓ 187.852 ✓ 187.181 ✓ 186.434 ✓ 185.077 ✓ 182     13 183.77  3.189 ✓
52 ParAAM-C-S-set 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 180.206 ✓ 181.757 ✓ 185.44  ✓ 185.518 ✓ 186.546 ✓ 183.484 ✓ 188.142 ✓ 187.136 ✓ 191.844 ✓ 178.98  ✓ 181.288 ✓ 185.663 ✓ 184.032 13 184.618 2.763 ✓
53 ParAAM-C-S-set 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 181.078 ✓ 179.281 ✓ 179.384 ✓ 182.082 ✓ 190.877 ✓ 179.02  ✓ 180.272 ✓ 181.763 ✓ 179.398 ✓ 182.995 ✓ 178.422 ✓ 180.421 ✓ 180.722 13 181.209 1.982 ✓
54 ParAAM-C-S-set 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 174.975 ✓ 180.397 ✓ 183.068 ✓ 182.615 ✓ 180.38  ✓ 180.507 ✓ 179.747 ✓ 177.16  ✓ 175.338 ✓ 184.347 ✓ 178.542 ✓ 175.286 ✓ 179.035 13 179.338 2.414 ✓
55 ParAAM-C-S-set 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 176.391 ✓ 178.476 ✓ 177.072 ✓ 175.99  ✓ 177.621 ✓ 176.372 ✓ 179.1   ✓ 177.524 ✓ 176.364 ✓ 178.654 ✓ 175.318 ✓ 177.53  ✓ 177.911 13 177.256 0.927 ✓
56 ParAAM-C-S-set 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 159.972 ✓ 159.922 ✓ 155.433 ✓ 158.227 ✓ 160.733 ✓ 155.422 ✓ 152.686 ✓ 158.394 ✓ 158.601 ✓ 159.694 ✓ 156.428 ✓ 155.825 ✓ 161.466 13 157.908 2.115 ✓
57 ParAAM-C-S-set 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 145.472 ✓ 143.473 ✓ 143.378 ✓ 147.559 ✓ 140.904 ✓ 141.779 ✓ 134.866 ✓ 143.651 ✓ 141.191 ✓ 146.304 ✓ 145.712 ✓ 144.619 ✓ 148.197 13 143.624 2.485 ✓
58 ParAAM-C-S-part 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 44.324 ✓ 42.516 ✓ 42.601 ✓ 42.561 ✓ 42.862 ✓ 43.457 ✓ 43.762 ✓ 41.418 ✓ 44.217 ✓ 41.212 ✓ 40.681 ✓ 41.317 ✓ 43.257 13 42.63  0.939 ✓
59 ParAAM-C-S-part 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.487 ✓ 23.306 ✓ 22.671 ✓ 22.526 ✓ 21.815 ✓ 21.631 ✓ 22.589 ✓ 22.236 ✓ 22.424 ✓ 22.411 ✓ 22.546 ✓ 21.535 ✓ 21.968 13 22.319 0.371 ✓
60 ParAAM-C-S-part 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 15.123 ✓ 15.231 ✓ 15.318 ✓ 15.065 ✓ 15.242 ✓ 15.245 ✓ 15.119 ✓ 15.573 ✓ 15.355 ✓ 15.006 ✓ 15.241 ✓ 15.222 ✓ 15.081 13 15.217 0.106 ✓
61 ParAAM-C-S-part 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 11.651 ✓ 11.569 ✓ 12.019 ✓ 11.608 ✓ 11.8   ✓ 11.737 ✓ 11.55  ✓ 11.924 ✓ 11.724 ✓ 11.818 ✓ 11.83  ✓ 11.723 ✓ 11.736 13 11.745 0.102 ✓
62 ParAAM-C-S-part 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 9.994 ✓ 9.826 ✓ 9.826 ✓ 9.724 ✓ 9.941 ✓ 10.043 ✓ 9.993 ✓ 9.611 ✓ 9.647 ✓ 9.668 ✓ 10.051 ✓ 9.651 ✓ 9.959 13 9.841 0.144 ✓
63 ParAAM-C-S-part 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 8.433 ✓ 8.377 ✓ 8.449 ✓ 8.33  ✓ 8.248 ✓ 8.297 ✓ 8.386 ✓ 8.35  ✓ 8.267 ✓ 8.334 ✓ 8.14  ✓ 8.355 ✓ 8.402 13 8.336 0.061 ✓
64 ParAAM-C-S-part 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.414 ✓ 7.325 ✓ 7.399 ✓ 7.422 ✓ 7.37  ✓ 7.34  ✓ 7.312 ✓ 7.459 ✓ 7.388 ✓ 7.439 ✓ 7.329 ✓ 7.323 ✓ 7.234 13 7.366 0.051 ✓
65 ParAAM-C-S-part 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.065 ✓ 6.717 ✓ 6.764 ✓ 6.763 ✓ 6.874 ✓ 6.728 ✓ 6.742 ✓ 6.686 ✓ 6.693 ✓ 6.725 ✓ 6.731 ✓ 6.8   ✓ 6.798 13 6.776 0.067 ✓
66 ParAAM-C-S-part 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.252 ✓ 7.533 ✓ 7.241 ✓ 7.195 ✓ 7.19  ✓ 7.289 ✓ 7.172 ✓ 7.254 ✓ 7.309 ✓ 7.264 ✓ 7.253 ✓ 7.154 ✓ 7.488 13 7.276 0.079 ✓
67 ParAAM-C-S-part 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.668 ✓ 7.143 ✓ 7.617 ✓ 7.545 ✓ 7.375 ✓ 7.329 ✓ 7.34  ✓ 7.215 ✓ 7.19  ✓ 7.317 ✓ 7.307 ✓ 7.49  ✓ 7.224 13 7.366 0.133 ✓
68 ParAAM-C-S-part 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.387 ✓ 7.339 ✓ 7.311 ✓ 7.239 ✓ 7.276 ✓ 7.286 ✓ 7.372 ✓ 7.433 ✓ 7.369 ✓ 7.444 ✓ 7.347 ✓ 7.322 ✓ 7.393 13 7.348 0.048 ✓
69 ParAAM-C-S-part 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.425 ✓ 7.351 ✓ 7.563 ✓ 7.329 ✓ 7.3   ✓ 7.218 ✓ 7.311 ✓ 7.216 ✓ 7.241 ✓ 7.709 ✓ 7.399 ✓ 7.314 ✓ 7.424 13 7.369 0.104 ✓
70 ParAAM-C-S-part 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.38  ✓ 7.271 ✓ 7.312 ✓ 7.301 ✓ 7.287 ✓ 7.297 ✓ 7.517 ✓ 7.445 ✓ 7.27  ✓ 7.325 ✓ 7.422 ✓ 7.349 ✓ 7.51  13 7.361 0.073 ✓
71 ParAAM-C-S-part 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.286 ✓ 7.113 ✓ 7.124 ✓ 7.173 ✓ 7.133 ✓ 7.207 ✓ 7.184 ✓ 7.383 ✓ 7.188 ✓ 7.223 ✓ 7.054 ✓ 7.219 ✓ 7.076 13 7.182 0.064 ✓
72 ParAAM-C-state 1 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 28.266 ✓ 28.681 ✓ 30.529 ✓ 29.409 ✓ 28.502 ✓ 28.469 ✓ 28.582 ✓ 28.4   ✓ 28.397 ✓ 28.72  ✓ 30.118 ✓ 29.164 ✓ 29.67  13 28.993 0.604 ✓
73 ParAAM-C-state 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 17.472 ✓ 17.2   ✓ 17.081 ✓ 17.041 ✓ 17.448 ✓ 17.685 ✓ 17.648 ✓ 17.194 ✓ 17.269 ✓ 17.664 ✓ 16.843 ✓ 17.085 ✓ 17.495 13 17.317 0.232 ✓
74 ParAAM-C-state 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 61.271 ✓ 64.579 ✓ 53.853 ✓ 62.268 ✓ 67.347 ✓ 63.728 ✓ 60.191 ✓ 57.596 ✓ 65.289 ✓ 60.46  ✓ 61.937 ✓ 64.511 ✓ 65.257 13 62.176 2.73  ✓
75 ParAAM-C-state 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 64.521 ✓ 65.657 ✓ 64.813 ✓ 63.249 ✓ 64.856 ✓ 65.985 ✓ 66.798 ✓ 65.403 ✓ 64.603 ✓ 63.98  ✓ 63.057 ✓ 67.321 ✓ 62.513 13 64.827 1.085 ✓
76 ParAAM-C-state 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 54.081 ✓ 50.825 ✓ 52.665 ✓ 53.792 ✓ 56.457 ✓ 52.019 ✓ 53.47  ✓ 57.125 ✓ 54.83  ✓ 55.032 ✓ 54.813 ✓ 56.444 ✓ 54.836 13 54.338 1.411 ✓
77 ParAAM-C-state 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 43.696 ✓ 43.174 ✓ 42.809 ✓ 42.631 ✓ 44.676 ✓ 44.408 ✓ 41.007 ✓ 42.94  ✓ 43.146 ✓ 46.072 ✓ 44.906 ✓ 43.058 ✓ 43.365 13 43.53  0.94  ✓
78 ParAAM-C-state 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 36.616 ✓ 36.121 ✓ 32.788 ✓ 35.101 ✓ 35.368 ✓ 35.55  ✓ 36.33  ✓ 35.979 ✓ 35.151 ✓ 35.742 ✓ 34.772 ✓ 36.081 ✓ 33.738 13 35.334 0.787 ✓
79 ParAAM-C-state 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 29.336 ✓ 29.78  ✓ 29.95  ✓ 29.459 ✓ 30.858 ✓ 28.521 ✓ 31.012 ✓ 29.754 ✓ 26.586 ✓ 30.606 ✓ 31.107 ✓ 28.879 ✓ 31.068 13 29.763 0.929 ✓
80 ParAAM-C-state 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 28.371 ✓ 28.304 ✓ 28.817 ✓ 29.184 ✓ 27.834 ✓ 28.499 ✓ 28.846 ✓ 28.081 ✓ 26.784 ✓ 28.503 ✓ 29.112 ✓ 27.953 ✓ 27.768 13 28.312 0.484 ✓
81 ParAAM-C-state 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 27.852 ✓ 23.432 ✓ 27.078 ✓ 24.04  ✓ 24.956 ✓ 26.473 ✓ 27.453 ✓ 24.848 ✓ 25.946 ✓ 26.914 ✓ 27.158 ✓ 26.64  ✓ 26.454 13 26.096 1.116 ✓
82 ParAAM-C-state 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 23.399 ✓ 23.944 ✓ 23.188 ✓ 24.657 ✓ 24.469 ✓ 24.842 ✓ 24.944 ✓ 24.885 ✓ 24.851 ✓ 24.406 ✓ 22.35  ✓ 25.026 ✓ 24.539 13 24.269 0.645 ✓
83 ParAAM-C-state 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.004 ✓ 22.759 ✓ 23.395 ✓ 22.684 ✓ 23.359 ✓ 22.727 ✓ 23.557 ✓ 23.095 ✓ 22.426 ✓ 22.047 ✓ 23.451 ✓ 22.256 ✓ 22.559 13 22.794 0.444 ✓
84 ParAAM-C-state 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.954 ✓ 22.06  ✓ 21.044 ✓ 22.245 ✓ 21.836 ✓ 22.413 ✓ 22.123 ✓ 22.255 ✓ 22.086 ✓ 21.378 ✓ 21.693 ✓ 21.978 ✓ 21.756 13 21.909 0.283 ✓
85 ParAAM-C-state 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 19.073 ✓ 18.817 ✓ 19.042 ✓ 18.592 ✓ 17.322 ✓ 19.265 ✓ 19.697 ✓ 19.906 ✓ 19.535 ✓ 18.755 ✓ 19.052 ✓ 19.211 ✓ 19.056 13 19.025 0.402 ✓
86 ParAAM-C-state 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 17.204 ✓ 17.78  ✓ 17.411 ✓ 17.262 ✓ 15.932 ✓ 16.262 ✓ 17.082 ✓ 17.331 ✓ 17.087 ✓ 16.726 ✓ 16.944 ✓ 16.888 ✓ 17.24  13 17.011 0.355 ✓
87 ParAAM-C-set 1 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 29.029 ✓ 28.784 ✓ 28.973 ✓ 28.441 ✓ 29.115 ✓ 28.438 ✓ 28.199 ✓ 30.171 ✓ 28.479 ✓ 28.507 ✓ 28.688 ✓ 28.752 ✓ 28.59  13 28.782 0.333 ✓
88 ParAAM-C-set 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 16.663 ✓ 16.839 ✓ 17.065 ✓ 16.682 ✓ 16.148 ✓ 15.962 ✓ 16.14  ✓ 16.167 ✓ 16.387 ✓ 16.876 ✓ 16.491 ✓ 16.583 ✓ 17.576 13 16.583 0.339 ✓
89 ParAAM-C-set 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 12.273 ✓ 12.235 ✓ 11.923 ✓ 11.938 ✓ 11.738 ✓ 11.801 ✓ 11.832 ✓ 11.782 ✓ 12.303 ✓ 11.93  ✓ 11.904 ✓ 11.836 ✓ 11.898 13 11.953 0.146 ✓
90 ParAAM-C-set 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 10.803 ✓ 10.671 ✓ 10.434 ✓ 10.494 ✓ 10.551 ✓ 10.391 ✓ 10.514 ✓ 10.404 ✓ 10.292 ✓ 10.437 ✓ 10.6   ✓ 10.577 ✓ 10.768 13 10.534 0.118 ✓
91 ParAAM-C-set 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 10.893 ✓ 10.682 ✓ 11.025 ✓ 11.094 ✓ 10.886 ✓ 10.916 ✓ 10.489 ✓ 10.585 ✓ 10.435 ✓ 11.421 ✓ 11.001 ✓ 10.839 ✓ 10.762 13 10.848 0.2   ✓
92 ParAAM-C-set 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 12.437 ✓ 12.899 ✓ 11.985 ✓ 12.632 ✓ 12.698 ✓ 13.831 ✓ 12.337 ✓ 12.635 ✓ 12.351 ✓ 12.155 ✓ 12.384 ✓ 13.073 ✓ 12.276 13 12.592 0.341 ✓
93 ParAAM-C-set 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.356 ✓ 14.699 ✓ 14.449 ✓ 14.882 ✓ 14.066 ✓ 14.047 ✓ 14.555 ✓ 14.975 ✓ 15.129 ✓ 13.97  ✓ 15.117 ✓ 14.211 ✓ 14.236 13 14.515 0.349 ✓
94 ParAAM-C-set 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 15.219 ✓ 14.857 ✓ 15.892 ✓ 15.548 ✓ 15.992 ✓ 15.388 ✓ 15.829 ✓ 15.772 ✓ 16.346 ✓ 16.265 ✓ 15.669 ✓ 15.64  ✓ 15.288 13 15.67  0.32  ✓
95 ParAAM-C-set 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 15.877 ✓ 15.405 ✓ 15.398 ✓ 15.354 ✓ 16.121 ✓ 15.625 ✓ 14.799 ✓ 15.557 ✓ 15.476 ✓ 16.229 ✓ 15.029 ✓ 15.789 ✓ 14.81  13 15.498 0.34  ✓
96 ParAAM-C-set 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 15.381 ✓ 15.211 ✓ 14.887 ✓ 15.009 ✓ 15.22  ✓ 15.187 ✓ 15.602 ✓ 14.507 ✓ 14.646 ✓ 15.813 ✓ 14.904 ✓ 15.333 ✓ 14.922 13 15.125 0.288 ✓
97 ParAAM-C-set 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.855 ✓ 14.94  ✓ 14.406 ✓ 14.395 ✓ 14.043 ✓ 14.796 ✓ 14.924 ✓ 14.406 ✓ 13.996 ✓ 14.259 ✓ 13.935 ✓ 14.813 ✓ 14.737 13 14.5   0.317 ✓
98 ParAAM-C-set 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.376 ✓ 14     ✓ 14.081 ✓ 14.24  ✓ 13.626 ✓ 14     ✓ 14.146 ✓ 13.787 ✓ 14.68  ✓ 13.872 ✓ 14.197 ✓ 13.867 ✓ 13.845 13 14.055 0.214 ✓
99 ParAAM-C-set 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.024 ✓ 13.878 ✓ 14.022 ✓ 13.646 ✓ 13.75  ✓ 14.05  ✓ 13.87  ✓ 13.224 ✓ 13.962 ✓ 13.977 ✓ 14.145 ✓ 13.817 ✓ 13.797 13 13.859 0.163 ✓
100 ParAAM-C-set 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 11.992 ✓ 11.611 ✓ 12.199 ✓ 12.054 ✓ 12.778 ✓ 11.643 ✓ 11.82  ✓ 12.221 ✓ 11.65  ✓ 12.406 ✓ 12.301 ✓ 12.621 ✓ 12.03  13 12.102 0.294 ✓
101 ParAAM-C-set 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 12.045 ✓ 11.72  ✓ 11.732 ✓ 11.981 ✓ 11.683 ✓ 11.768 ✓ 11.807 ✓ 12.094 ✓ 11.977 ✓ 11.853 ✓ 11.808 ✓ 11.508 ✓ 11.741 13 11.825 0.128 ✓
102 ParAAM-C-part 1 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 38.522 ✓ 37.071 ✓ 36.331 ✓ 36.493 ✓ 36.745 ✓ 36.545 ✓ 37.124 ✓ 36.692 ✓ 36.706 ✓ 36.908 ✓ 37.171 ✓ 36.654 ✓ 36.691 13 36.896 0.356 ✓
103 ParAAM-C-part 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.09  ✓ 20.559 ✓ 20.403 ✓ 20.534 ✓ 20.601 ✓ 19.846 ✓ 20.146 ✓ 20.007 ✓ 19.99  ✓ 20.24  ✓ 20.126 ✓ 20.203 ✓ 20.209 13 20.304 0.256 ✓
104 ParAAM-C-part 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.167 ✓ 13.879 ✓ 13.979 ✓ 14.12  ✓ 13.909 ✓ 13.963 ✓ 14.051 ✓ 14.377 ✓ 14.02  ✓ 14.173 ✓ 14.07  ✓ 14.164 ✓ 14.02  13 14.069 0.101 ✓
105 ParAAM-C-part 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 10.893 ✓ 10.968 ✓ 10.912 ✓ 11.114 ✓ 11.128 ✓ 11.128 ✓ 11.239 ✓ 10.99  ✓ 11.102 ✓ 10.949 ✓ 10.966 ✓ 10.987 ✓ 11.313 13 11.053 0.109 ✓
106 ParAAM-C-part 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 9.435 ✓ 9.719 ✓ 9.1   ✓ 9.161 ✓ 9.272 ✓ 9.261 ✓ 9.38  ✓ 9.326 ✓ 9.34  ✓ 9.359 ✓ 9.513 ✓ 9.14  ✓ 9.129 13 9.318 0.13  ✓
107 ParAAM-C-part 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 8.023 ✓ 7.976 ✓ 8.055 ✓ 7.82  ✓ 8.026 ✓ 8.047 ✓ 7.947 ✓ 7.919 ✓ 8.096 ✓ 7.831 ✓ 7.981 ✓ 7.872 ✓ 7.964 13 7.966 0.068 ✓
108 ParAAM-C-part 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.118 ✓ 6.977 ✓ 7.072 ✓ 7.021 ✓ 7.01  ✓ 6.977 ✓ 6.972 ✓ 7.068 ✓ 7.072 ✓ 7.204 ✓ 7.037 ✓ 7.082 ✓ 7.052 13 7.051 0.048 ✓
109 ParAAM-C-part 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 6.421 ✓ 6.412 ✓ 6.492 ✓ 6.469 ✓ 6.552 ✓ 6.457 ✓ 6.433 ✓ 6.491 ✓ 6.315 ✓ 6.466 ✓ 6.443 ✓ 6.453 ✓ 6.432 13 6.449 0.036 ✓
110 ParAAM-C-part 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.282 ✓ 6.993 ✓ 6.909 ✓ 6.877 ✓ 6.883 ✓ 6.929 ✓ 6.849 ✓ 7.018 ✓ 7.068 ✓ 7.091 ✓ 6.88  ✓ 7.058 ✓ 7.025 13 6.989 0.094 ✓
111 ParAAM-C-part 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 6.985 ✓ 7.335 ✓ 6.948 ✓ 6.975 ✓ 6.954 ✓ 6.978 ✓ 7.002 ✓ 6.894 ✓ 6.934 ✓ 6.916 ✓ 7.005 ✓ 6.948 ✓ 6.903 13 6.983 0.061 ✓
112 ParAAM-C-part 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 7.01  ✓ 6.846 ✓ 7.377 ✓ 6.933 ✓ 6.842 ✓ 6.931 ✓ 6.873 ✓ 6.832 ✓ 6.884 ✓ 6.986 ✓ 6.892 ✓ 7.092 ✓ 6.902 13 6.954 0.1   ✓
113 ParAAM-C-part 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 6.913 ✓ 6.915 ✓ 7.058 ✓ 6.874 ✓ 6.985 ✓ 6.8   ✓ 6.822 ✓ 6.873 ✓ 6.822 ✓ 6.85  ✓ 6.905 ✓ 7.008 ✓ 6.985 13 6.908 0.064 ✓
114 ParAAM-C-part 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 6.912 ✓ 6.905 ✓ 6.825 ✓ 6.796 ✓ 6.864 ✓ 6.824 ✓ 6.843 ✓ 7.015 ✓ 7.206 ✓ 7.128 ✓ 6.869 ✓ 7.066 ✓ 6.874 13 6.933 0.105 ✓
115 ParAAM-C-part 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 6.867 ✓ 7.077 ✓ 6.961 ✓ 6.828 ✓ 6.832 ✓ 6.864 ✓ 7.057 ✓ 6.897 ✓ 7.153 ✓ 7.065 ✓ 6.916 ✓ 7.084 ✓ 6.962 13 6.966 0.093 ✓
116 ParAAM-C-part 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 6.82  ✓ 6.873 ✓ 6.836 ✓ 6.814 ✓ 6.922 ✓ 6.829 ✓ 6.972 ✓ 6.958 ✓ 6.831 ✓ 6.871 ✓ 6.93  ✓ 6.799 ✓ 6.838 13 6.869 0.048 ✓