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 and ParAAMCSSet – 13 repetitions (time in seconds, computed on Serenity – AMD Opteron Processor 6376 @ 2.30GHz – 4 processors × 16 cores – 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 ✓ 94.548 ✓ 88.054 ✓ 86.581 ✓ 88.927 ✓ 88.765 ✓ 87.651 ✓ 88.91  ✓ 89.31  ✓ 84.95  ✓ 88.24  ✓ 89.312 ✓ 87.006 ✓ 88.208 13 88.497 1.352 ✓
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 ✓ 176.043 ✓ 171.171 ✓ 173.786 ✓ 175.061 ✓ 174.276 ✓ 173.836 ✓ 175.844 ✓ 173.796 ✓ 176.802 ✓ 174.365 ✓ 176.64  ✓ 173.831 ✓ 175.169 13 174.663 1.166 ✓
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 ✓ 122.011 ✓ 122.012 ✓ 121.751 ✓ 124.31  ✓ 122.797 ✓ 123.259 ✓ 121.299 ✓ 119.432 ✓ 120.509 ✓ 121.92  ✓ 125.217 ✓ 120.782 ✓ 123.193 13 122.192 1.203 ✓
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 ✓ 130.267 ✓ 132.541 ✓ 130.47  ✓ 126.672 ✓ 128.817 ✓ 136.165 ✓ 128.946 ✓ 134.107 ✓ 132.961 ✓ 129.464 ✓ 134.457 ✓ 131.282 ✓ 128.768 13 131.148 2.251 ✓
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 ✓ 143.387 ✓ 141.082 ✓ 140.255 ✓ 140.608 ✓ 142.708 ✓ 138.724 ✓ 140.528 ✓ 143.081 ✓ 138.102 ✓ 144.652 ✓ 143.966 ✓ 145.516 ✓ 139.48  13 141.699 2.018 ✓
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 ✓ 145.067 ✓ 146.994 ✓ 145.72  ✓ 151.336 ✓ 147.293 ✓ 145.838 ✓ 149.403 ✓ 148.438 ✓ 143.153 ✓ 145.055 ✓ 146.859 ✓ 151.811 ✓ 147.708 13 147.283 1.891 ✓
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 ✓ 152.327 ✓ 148.011 ✓ 148.301 ✓ 151.503 ✓ 150.968 ✓ 151.778 ✓ 152.271 ✓ 150.371 ✓ 150.673 ✓ 151.671 ✓ 151.338 ✓ 147.89  ✓ 155.666 13 150.982 1.489 ✓
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 ✓ 154.363 ✓ 149.358 ✓ 150.851 ✓ 149.434 ✓ 152.351 ✓ 151.51  ✓ 150.052 ✓ 151.915 ✓ 152.075 ✓ 154.382 ✓ 155.05  ✓ 155.066 ✓ 152.96  13 152.259 1.634 ✓
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 ✓ 154.45  ✓ 152.467 ✓ 152.082 ✓ 153.828 ✓ 155.885 ✓ 152.477 ✓ 157.473 ✓ 154.61  ✓ 148.97  ✓ 155.091 ✓ 153.468 ✓ 157.083 ✓ 154.406 13 154.022 1.668 ✓
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 ✓ 151.944 ✓ 155.179 ✓ 155.693 ✓ 154.399 ✓ 152.407 ✓ 151.948 ✓ 154.352 ✓ 152.807 ✓ 154.88  ✓ 157.473 ✓ 155.259 ✓ 155.364 ✓ 155.116 13 154.371 1.292 ✓
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 ✓ 160.992 ✓ 154.554 ✓ 154.512 ✓ 151.664 ✓ 156.419 ✓ 153.082 ✓ 150.955 ✓ 155.387 ✓ 155.114 ✓ 154.503 ✓ 156.053 ✓ 152.31  ✓ 155.272 13 154.678 1.718 ✓
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 ✓ 148.326 ✓ 155.503 ✓ 155.976 ✓ 156.175 ✓ 154.511 ✓ 155.785 ✓ 158.784 ✓ 151.915 ✓ 155.016 ✓ 155.837 ✓ 158.45  ✓ 151.497 ✓ 154.044 13 154.755 2.074 ✓
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 ✓ 154.351 ✓ 154.753 ✓ 155.409 ✓ 156.184 ✓ 152.433 ✓ 156.186 ✓ 157.848 ✓ 156.782 ✓ 150.134 ✓ 154.201 ✓ 155.079 ✓ 154.392 ✓ 155.857 13 154.893 1.399 ✓
14 ParAAM-L-SA-state 18 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 152.852 ✓ 158.068 ✓ 157.881 ✓ 154.525 ✓ 154.184 ✓ 155.808 ✓ 155.937 ✓ 153.221 ✓ 157.502 ✓ 152.597 ✓ 155.436 ✓ 156.911 ✓ 158.774 13 155.669 1.723 ✓
15 ParAAM-L-SA-state 20 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 153.178 ✓ 153.922 ✓ 151.925 ✓ 157.042 ✓ 153.798 ✓ 154.724 ✓ 156.467 ✓ 153.778 ✓ 159.168 ✓ 152.162 ✓ 157.204 ✓ 155.209 ✓ 154.189 13 154.828 1.685 ✓
16 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 ✓ 154.594 ✓ 156.712 ✓ 150.612 ✓ 153.304 ✓ 153.288 ✓ 159.013 ✓ 156.951 ✓ 153.282 ✓ 152.254 ✓ 152.901 ✓ 152.559 ✓ 154.646 ✓ 156.293 13 154.339 1.873 ✓
17 ParAAM-L-SA-state 28 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 153.6   ✓ 154.083 ✓ 153.253 ✓ 152.69  ✓ 151.396 ✓ 155.025 ✓ 156.773 ✓ 152.722 ✓ 155.001 ✓ 154.982 ✓ 153.525 ✓ 152.201 ✓ 155.032 13 153.868 1.183 ✓
18 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 ✓ 153.412 ✓ 154.039 ✓ 152.738 ✓ 154.693 ✓ 154.906 ✓ 151.945 ✓ 151.79  ✓ 154.035 ✓ 157.481 ✓ 157.193 ✓ 154.338 ✓ 152.802 ✓ 151.942 13 153.947 1.393 ✓
19 ParAAM-L-SA-state 40 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 155.064 ✓ 151.87  ✓ 153.092 ✓ 155.225 ✓ 154.248 ✓ 152.16  ✓ 153.758 ✓ 154.473 ✓ 147.721 ✓ 153.71  ✓ 154.647 ✓ 153.6   ✓ 152.979 13 153.273 1.314 ✓
20 ParAAM-L-SA-state 48 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 160.384 ✓ 154.028 ✓ 149.873 ✓ 152.523 ✓ 156.884 ✓ 152.505 ✓ 154.64  ✓ 152.916 ✓ 148.691 ✓ 153.063 ✓ 157.665 ✓ 154.118 ✓ 152.836 13 153.856 2.244 ✓
21 ParAAM-L-SA-state 56 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 157.795 ✓ 155.582 ✓ 160.913 ✓ 160.333 ✓ 155.912 ✓ 155.096 ✓ 155.149 ✓ 154.053 ✓ 157.111 ✓ 154.429 ✓ 151.43  ✓ 155.107 ✓ 153.346 13 155.866 1.959 ✓
22 ParAAM-L-SA-state 64 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 156.197 ✓ 154.932 ✓ 153.378 ✓ 151.131 ✓ 157.172 ✓ 154.239 ✓ 154.203 ✓ 155.945 ✓ 150.148 ✓ 153.367 ✓ 155.793 ✓ 154.209 ✓ 152.343 13 154.081 1.545 ✓
23 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 ✓ 164.1   ✓ 159.024 ✓ 161.078 ✓ 158.737 ✓ 158.477 ✓ 160.009 ✓ 159.563 ✓ 158.846 ✓ 161.72  ✓ 163.277 ✓ 163.389 ✓ 163.307 ✓ 162.411 13 161.072 1.812 ✓
24 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 ✓ 119.619 ✓ 120.512 ✓ 119.757 ✓ 116.917 ✓ 118.919 ✓ 118.237 ✓ 123.547 ✓ 118.489 ✓ 117.916 ✓ 121.256 ✓ 120.164 ✓ 122.483 ✓ 122.96  13 120.06  1.625 ✓
25 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 ✓ 129.869 ✓ 128.121 ✓ 127.234 ✓ 125.613 ✓ 126.772 ✓ 122.973 ✓ 119.39  ✓ 126.694 ✓ 128.032 ✓ 125.938 ✓ 123.944 ✓ 123.903 ✓ 125.947 13 125.725 1.97  ✓
26 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 ✓ 129.411 ✓ 137.136 ✓ 131.751 ✓ 131.439 ✓ 132.781 ✓ 134.817 ✓ 132.047 ✓ 129.814 ✓ 135.317 ✓ 133.278 ✓ 129.695 ✓ 130.731 ✓ 132.478 13 132.361 1.791 ✓
27 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 ✓ 137.507 ✓ 137.265 ✓ 137.533 ✓ 133.233 ✓ 132.604 ✓ 138.675 ✓ 135.472 ✓ 135.637 ✓ 136.589 ✓ 136.314 ✓ 135.4   ✓ 137.336 ✓ 137.255 13 136.217 1.344 ✓
28 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 ✓ 143.431 ✓ 142.169 ✓ 138.108 ✓ 143.7   ✓ 144.867 ✓ 142.038 ✓ 141.692 ✓ 140.508 ✓ 141.204 ✓ 137.849 ✓ 136.333 ✓ 140.801 ✓ 138.564 13 140.867 2.006 ✓
29 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 ✓ 143.014 ✓ 146.753 ✓ 144.55  ✓ 137.554 ✓ 142.313 ✓ 142.386 ✓ 142.876 ✓ 143.246 ✓ 144.306 ✓ 140.43  ✓ 140.162 ✓ 144.042 ✓ 145.449 13 142.852 1.756 ✓
30 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 ✓ 144.172 ✓ 141.514 ✓ 145.928 ✓ 145.04  ✓ 143.848 ✓ 142.943 ✓ 144.617 ✓ 140.314 ✓ 141.797 ✓ 144.686 ✓ 143.1   ✓ 144.555 ✓ 143.606 13 143.548 1.242 ✓
31 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 ✓ 145.294 ✓ 143.92  ✓ 145.04  ✓ 146.32  ✓ 142.376 ✓ 146.747 ✓ 145.275 ✓ 143.862 ✓ 147.568 ✓ 141.782 ✓ 142.983 ✓ 142.833 ✓ 145.924 13 144.609 1.523 ✓
32 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 ✓ 144.377 ✓ 145.831 ✓ 145.229 ✓ 145.777 ✓ 145.466 ✓ 146.792 ✓ 139.064 ✓ 143.998 ✓ 148.336 ✓ 142.962 ✓ 145.564 ✓ 145.394 ✓ 144.93  13 144.902 1.416 ✓
33 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 ✓ 142.62  ✓ 150.692 ✓ 145.494 ✓ 144.634 ✓ 146.939 ✓ 144.276 ✓ 141.134 ✓ 140.185 ✓ 144.356 ✓ 142.838 ✓ 142.689 ✓ 143.151 ✓ 143.327 13 144.026 1.882 ✓
34 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 ✓ 142.574 ✓ 141.281 ✓ 146.246 ✓ 143.468 ✓ 142.194 ✓ 141.544 ✓ 143.09  ✓ 143.766 ✓ 148.001 ✓ 143.251 ✓ 140.884 ✓ 143.888 ✓ 141.596 13 143.214 1.436 ✓
35 ParAAM-L-SA-set 18 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 145.439 ✓ 143.333 ✓ 145.683 ✓ 145.41  ✓ 143.827 ✓ 144.14  ✓ 139.6   ✓ 143.598 ✓ 143.635 ✓ 146.06  ✓ 143.138 ✓ 141.746 ✓ 145.183 13 143.907 1.303 ✓
36 ParAAM-L-SA-set 20 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 140.032 ✓ 139.122 ✓ 143.149 ✓ 143.672 ✓ 145.375 ✓ 142.9   ✓ 142.466 ✓ 141.556 ✓ 146.398 ✓ 142.46  ✓ 139.614 ✓ 143.334 ✓ 142.171 13 142.481 1.53  ✓
37 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 ✓ 140.46  ✓ 143.18  ✓ 142.982 ✓ 141.376 ✓ 143.258 ✓ 140.676 ✓ 143.671 ✓ 141.064 ✓ 142.822 ✓ 144.846 ✓ 139.405 ✓ 141.507 ✓ 138.355 13 141.815 1.518 ✓
38 ParAAM-L-SA-set 28 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 140.392 ✓ 140.977 ✓ 145.394 ✓ 141.99  ✓ 140.462 ✓ 143.495 ✓ 143.955 ✓ 142.346 ✓ 139.89  ✓ 138.938 ✓ 144.53  ✓ 143.498 ✓ 140.331 13 142.015 1.712 ✓
39 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 ✓ 143.445 ✓ 138.435 ✓ 136.195 ✓ 144.669 ✓ 142.918 ✓ 143.824 ✓ 142.247 ✓ 143.185 ✓ 143.943 ✓ 139.685 ✓ 140.011 ✓ 143.123 ✓ 145.12  13 142.062 2.142 ✓
40 ParAAM-L-SA-set 40 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 142.413 ✓ 141.774 ✓ 136.143 ✓ 137.189 ✓ 141.129 ✓ 140.704 ✓ 141.991 ✓ 140.463 ✓ 139.842 ✓ 136.082 ✓ 142.597 ✓ 139.875 ✓ 145.774 13 140.459 2.026 ✓
41 ParAAM-L-SA-set 48 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 144.303 ✓ 142.132 ✓ 142.381 ✓ 143.717 ✓ 141.813 ✓ 141.47  ✓ 142.67  ✓ 141.056 ✓ 140.167 ✓ 143.74  ✓ 140.97  ✓ 139.88  ✓ 142.92  13 142.094 1.109 ✓
42 ParAAM-L-SA-set 56 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 141.518 ✓ 138.643 ✓ 138.211 ✓ 138.845 ✓ 138.309 ✓ 137.723 ✓ 140.18  ✓ 139.353 ✓ 138.096 ✓ 141.996 ✓ 142.844 ✓ 140.557 ✓ 145.947 13 140.171 1.849 ✓
43 ParAAM-L-SA-set 64 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 140.746 ✓ 142.661 ✓ 143.477 ✓ 144.616 ✓ 140.714 ✓ 140.256 ✓ 142.182 ✓ 139.09  ✓ 139.982 ✓ 139.939 ✓ 141.596 ✓ 141.69  ✓ 145.391 13 141.718 1.498 ✓
44 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 ✓ 105.219 ✓ 105.245 ✓ 100.281 ✓ 104.573 ✓ 100.074 ✓ 104.312 ✓ 104.791 ✓ 102.954 ✓ 99.774 ✓ 103.611 ✓ 102.042 ✓ 103.14  ✓ 103.283 13 103.023 1.537 ✓
45 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 ✓ 103.122 ✓ 98.186 ✓ 101.433 ✓ 101.745 ✓ 97.795 ✓ 102.682 ✓ 102.392 ✓ 102.344 ✓ 102.545 ✓ 100.78  ✓ 103.386 ✓ 102.255 ✓ 100.189 13 101.45  1.364 ✓
46 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 ✓ 91.319 ✓ 92.989 ✓ 96.479 ✓ 94.019 ✓ 96.363 ✓ 93.317 ✓ 93.011 ✓ 94.068 ✓ 93.019 ✓ 93.334 ✓ 92.388 ✓ 92.276 ✓ 91.213 13 93.369 1.147 ✓
47 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 ✓ 92.134 ✓ 89.041 ✓ 91.907 ✓ 89.443 ✓ 89.178 ✓ 90.224 ✓ 89.292 ✓ 87.841 ✓ 88.836 ✓ 88.381 ✓ 90.085 ✓ 89.425 ✓ 89.46  13 89.634 0.894 ✓
48 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 ✓ 87.057 ✓ 87.317 ✓ 86.621 ✓ 84.608 ✓ 86.416 ✓ 89.604 ✓ 87.219 ✓ 85.032 ✓ 83.393 ✓ 85.698 ✓ 84.766 ✓ 86.985 ✓ 87.5   13 86.324 1.25  ✓
49 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 ✓ 84.865 ✓ 83.632 ✓ 87.349 ✓ 88.334 ✓ 84.284 ✓ 86.729 ✓ 86.316 ✓ 84.077 ✓ 87.139 ✓ 87.491 ✓ 84.694 ✓ 83.885 ✓ 83.863 13 85.589 1.511 ✓
50 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 ✓ 85.248 ✓ 86.036 ✓ 83.882 ✓ 84.943 ✓ 85.78  ✓ 85.485 ✓ 85.915 ✓ 85.868 ✓ 84.172 ✓ 84.19  ✓ 79.767 ✓ 85.597 ✓ 84.954 13 84.757 1.079 ✓
51 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 ✓ 83.434 ✓ 84.19  ✓ 84.907 ✓ 85.03  ✓ 84.572 ✓ 82.177 ✓ 85.264 ✓ 81.444 ✓ 87.047 ✓ 83.533 ✓ 84.524 ✓ 83.342 ✓ 83.68  13 84.088 1.064 ✓
52 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 ✓ 84.374 ✓ 81.59  ✓ 84.376 ✓ 85.347 ✓ 84.267 ✓ 83.089 ✓ 85.152 ✓ 85.006 ✓ 84.198 ✓ 83.958 ✓ 83.171 ✓ 83.274 ✓ 84.422 13 84.017 0.77  ✓
53 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 ✓ 83.057 ✓ 82.316 ✓ 81.686 ✓ 84.588 ✓ 83.378 ✓ 83.829 ✓ 82.646 ✓ 84.167 ✓ 84.35  ✓ 84.066 ✓ 84.798 ✓ 82.872 ✓ 81.669 13 83.34  0.891 ✓
54 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 ✓ 83.999 ✓ 85.102 ✓ 80.602 ✓ 81.579 ✓ 82.742 ✓ 82.453 ✓ 79.809 ✓ 79.841 ✓ 85.993 ✓ 80.368 ✓ 82.369 ✓ 83.819 ✓ 80.921 13 82.277 1.622 ✓
55 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 ✓ 83.548 ✓ 80.787 ✓ 83.338 ✓ 82.3   ✓ 83.571 ✓ 80.812 ✓ 78.65  ✓ 84.553 ✓ 82.724 ✓ 82.04  ✓ 81.001 ✓ 82.239 ✓ 82.035 13 82.123 1.14  ✓
56 ParAAM-L-SA-part 18 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 83.907 ✓ 84.754 ✓ 82.154 ✓ 81.647 ✓ 82.526 ✓ 79.7   ✓ 82.504 ✓ 78.432 ✓ 82.136 ✓ 80.966 ✓ 81.062 ✓ 81.755 ✓ 81.316 13 81.758 1.143 ✓
57 ParAAM-L-SA-part 20 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 83.9   ✓ 82.967 ✓ 82.374 ✓ 82.794 ✓ 80.779 ✓ 80.905 ✓ 82.01  ✓ 81.788 ✓ 81.254 ✓ 81.518 ✓ 81.882 ✓ 82.387 ✓ 77.776 13 81.718 0.978 ✓
58 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 ✓ 79.054 ✓ 79.818 ✓ 81.474 ✓ 84.873 ✓ 84.421 ✓ 77.514 ✓ 81.273 ✓ 81.147 ✓ 82.116 ✓ 83.54  ✓ 80.364 ✓ 79.844 ✓ 81.709 13 81.319 1.572 ✓
59 ParAAM-L-SA-part 28 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 82.842 ✓ 78.982 ✓ 81.443 ✓ 78.927 ✓ 80.356 ✓ 80.284 ✓ 80.225 ✓ 80.814 ✓ 79.176 ✓ 80.06  ✓ 80.649 ✓ 81.345 ✓ 76.994 13 80.161 1.026 ✓
60 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 ✓ 79.191 ✓ 80.573 ✓ 81.194 ✓ 83.483 ✓ 80.626 ✓ 83.311 ✓ 81.748 ✓ 82.747 ✓ 81.45  ✓ 79.04  ✓ 81.41  ✓ 79.314 ✓ 80.184 13 81.098 1.178 ✓
61 ParAAM-L-SA-part 40 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 81.583 ✓ 80.698 ✓ 79.113 ✓ 78.816 ✓ 78.357 ✓ 79.757 ✓ 80.1   ✓ 78.557 ✓ 80.905 ✓ 80.469 ✓ 79.929 ✓ 79.885 ✓ 81.389 13 79.966 0.823 ✓
62 ParAAM-L-SA-part 48 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 74.384 ✓ 81.43  ✓ 81.237 ✓ 79.201 ✓ 80.371 ✓ 81.064 ✓ 80.519 ✓ 82.925 ✓ 79.875 ✓ 81.78  ✓ 82.044 ✓ 80.935 ✓ 79.269 13 80.387 1.36  ✓
63 ParAAM-L-SA-part 56 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 81.364 ✓ 81.509 ✓ 78.668 ✓ 78.909 ✓ 81.353 ✓ 81.281 ✓ 78.765 ✓ 76.923 ✓ 81.705 ✓ 78.384 ✓ 80.433 ✓ 80.773 ✓ 80.266 13 80.026 1.304 ✓
64 ParAAM-L-SA-part 64 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 82.016 ✓ 82.476 ✓ 79.63  ✓ 77.779 ✓ 80.383 ✓ 78.567 ✓ 79.062 ✓ 77.76  ✓ 76.256 ✓ 79.792 ✓ 79.924 ✓ 77.245 ✓ 80.582 13 79.344 1.445 ✓
65 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 ✓ 91.995 ✓ 92.709 ✓ 93.08  ✓ 91.208 ✓ 90.975 ✓ 89.898 ✓ 89.667 ✓ 90.792 ✓ 90.605 ✓ 94.351 ✓ 92.086 ✓ 92.774 ✓ 90.982 13 91.625 1.115 ✓
66 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 ✓ 51.302 ✓ 51.448 ✓ 52.654 ✓ 52.713 ✓ 54.069 ✓ 52.401 ✓ 55.219 ✓ 54.282 ✓ 54.279 ✓ 50.946 ✓ 52.425 ✓ 52.351 ✓ 52.497 13 52.814 1.014 ✓
67 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 ✓ 41.929 ✓ 38.059 ✓ 39.394 ✓ 39.127 ✓ 40.188 ✓ 40.096 ✓ 39.531 ✓ 40.372 ✓ 39.418 ✓ 37.348 ✓ 39.233 ✓ 38.689 ✓ 40.361 13 39.519 0.825 ✓
68 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 ✓ 30.929 ✓ 31.233 ✓ 30.731 ✓ 30.864 ✓ 29.498 ✓ 28.575 ✓ 31.244 ✓ 27.836 ✓ 30.931 ✓ 29.413 ✓ 31.446 ✓ 30.848 ✓ 30.606 13 30.319 0.916 ✓
69 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 ✓ 27.494 ✓ 25.881 ✓ 26.023 ✓ 26.513 ✓ 27.663 ✓ 25.983 ✓ 26.109 ✓ 26.711 ✓ 26.139 ✓ 26.867 ✓ 27.118 ✓ 28.74  ✓ 26.658 13 26.761 0.627 ✓
70 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 ✓ 23.28  ✓ 22.999 ✓ 24.401 ✓ 24.462 ✓ 21.866 ✓ 21.858 ✓ 22.028 ✓ 22.983 ✓ 23.008 ✓ 21.849 ✓ 22.034 ✓ 22.76  ✓ 22.746 13 22.79  0.676 ✓
71 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 ✓ 20.042 ✓ 19.523 ✓ 20.503 ✓ 20.847 ✓ 20.236 ✓ 19.994 ✓ 19.285 ✓ 21.176 ✓ 20.558 ✓ 21.189 ✓ 20.435 ✓ 22.143 ✓ 20.768 13 20.515 0.552 ✓
72 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 ✓ 18.633 ✓ 19.113 ✓ 19.615 ✓ 19.38  ✓ 20.927 ✓ 19.94  ✓ 19.245 ✓ 18.598 ✓ 18.797 ✓ 18.953 ✓ 18.476 ✓ 18.957 ✓ 20.071 13 19.285 0.54  ✓
73 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 ✓ 17.333 ✓ 18.11  ✓ 16.719 ✓ 18.836 ✓ 17.856 ✓ 18.597 ✓ 17.827 ✓ 17.633 ✓ 17.316 ✓ 17.342 ✓ 17.216 ✓ 17.362 ✓ 17.331 13 17.652 0.456 ✓
74 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 ✓ 15.792 ✓ 15.745 ✓ 15.721 ✓ 15.387 ✓ 15.739 ✓ 16.45  ✓ 15.67  ✓ 15.612 ✓ 16.19  ✓ 16.087 ✓ 15.613 ✓ 15.763 ✓ 15.176 13 15.765 0.224 ✓
75 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 ✓ 15.77  ✓ 14.991 ✓ 15.045 ✓ 15.201 ✓ 14.711 ✓ 14.554 ✓ 15.082 ✓ 14.903 ✓ 15.409 ✓ 14.823 ✓ 14.123 ✓ 14.86  ✓ 14.414 13 14.914 0.31  ✓
76 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 ✓ 14.556 ✓ 15.776 ✓ 15.662 ✓ 14.478 ✓ 14.776 ✓ 14.704 ✓ 15.128 ✓ 13.858 ✓ 14.312 ✓ 14.732 ✓ 14.394 ✓ 14.409 ✓ 14.822 13 14.739 0.38  ✓
77 ParAAM-C-S-part 18 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.608 ✓ 14.202 ✓ 14.33  ✓ 14.415 ✓ 14.553 ✓ 14.081 ✓ 14.596 ✓ 15.041 ✓ 15.298 ✓ 14.846 ✓ 15.121 ✓ 14.442 ✓ 15.212 13 14.673 0.332 ✓
78 ParAAM-C-S-part 20 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 16.398 ✓ 16.268 ✓ 16.529 ✓ 15.957 ✓ 16.321 ✓ 15.542 ✓ 14.533 ✓ 14.941 ✓ 14.933 ✓ 14.884 ✓ 15.63  ✓ 15.004 ✓ 15.413 13 15.566 0.571 ✓
79 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 ✓ 17.688 ✓ 17.356 ✓ 16.904 ✓ 16.538 ✓ 17.461 ✓ 16.707 ✓ 17.537 ✓ 17.513 ✓ 17.203 ✓ 16.404 ✓ 17.412 ✓ 17.202 ✓ 17.541 13 17.19  0.339 ✓
80 ParAAM-C-S-part 28 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 19.212 ✓ 18.774 ✓ 18.488 ✓ 18.06  ✓ 19.065 ✓ 18.412 ✓ 18.66  ✓ 18.312 ✓ 18.098 ✓ 18.163 ✓ 18.127 ✓ 18.036 ✓ 17.803 13 18.401 0.339 ✓
81 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 ✓ 19.706 ✓ 18.13  ✓ 19.253 ✓ 18.893 ✓ 19.392 ✓ 19.153 ✓ 19.786 ✓ 18.338 ✓ 19.064 ✓ 19.239 ✓ 18.825 ✓ 19.568 ✓ 19.805 13 19.166 0.398 ✓
82 ParAAM-C-S-part 40 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 20.661 ✓ 20.239 ✓ 21.705 ✓ 21.468 ✓ 20.235 ✓ 20.138 ✓ 20.314 ✓ 20.563 ✓ 20.343 ✓ 20.653 ✓ 20.375 ✓ 20.097 ✓ 20.875 13 20.59  0.371 ✓
83 ParAAM-C-S-part 48 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 22.889 ✓ 22.111 ✓ 21.932 ✓ 21.15  ✓ 21.954 ✓ 21.61  ✓ 21.846 ✓ 22.341 ✓ 21.49  ✓ 21.098 ✓ 21.343 ✓ 21.955 ✓ 20.808 13 21.733 0.446 ✓
84 ParAAM-C-S-part 56 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 23.643 ✓ 22.253 ✓ 22.177 ✓ 22.124 ✓ 22.8   ✓ 22.155 ✓ 23.323 ✓ 22.722 ✓ 23.563 ✓ 23.026 ✓ 22.901 ✓ 22.491 ✓ 22.535 13 22.747 0.427 ✓
85 ParAAM-C-S-part 64 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 24.174 ✓ 23.84  ✓ 22.326 ✓ 22.525 ✓ 22.425 ✓ 22.131 ✓ 21.629 ✓ 22.32  ✓ 21.61  ✓ 22.421 ✓ 21.752 ✓ 22.415 ✓ 22.314 13 22.453 0.49  ✓
86 ParAAM-C-state 1 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 70.637 ✓ 67.045 ✓ 67.069 ✓ 66.357 ✓ 66.626 ✓ 65.489 ✓ 69.47  ✓ 66.523 ✓ 68.223 ✓ 66.45  ✓ 67.884 ✓ 66.261 ✓ 67.684 13 67.363 1.09  ✓
87 ParAAM-C-state 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 50.232 ✓ 45.552 ✓ 47.61  ✓ 45.416 ✓ 47.76  ✓ 45.527 ✓ 48.883 ✓ 47.14  ✓ 49.304 ✓ 45.632 ✓ 47.71  ✓ 45.297 ✓ 46.542 13 47.123 1.35  ✓
88 ParAAM-C-state 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 108.694 ✓ 99.048 ✓ 106.603 ✓ 101.215 ✓ 111.876 ✓ 114.138 ✓ 106.943 ✓ 92.006 ✓ 93.212 ✓ 117.764 ✓ 90.422 ✓ 111.23  ✓ 95.617 13 103.751 7.844 ✓
89 ParAAM-C-state 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 141.162 ✓ 143.126 ✓ 148.931 ✓ 151.039 ✓ 145.881 ✓ 152.361 ✓ 136.622 ✓ 138.717 ✓ 141.682 ✓ 133.966 ✓ 123.137 ✓ 134.341 ✓ 121.302 13 139.405 7.438 ✓
90 ParAAM-C-state 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 125.091 ✓ 131.713 ✓ 120.551 ✓ 139.649 ✓ 133.206 ✓ 143.902 ✓ 118.002 ✓ 127.891 ✓ 134.715 ✓ 133.066 ✓ 137.616 ✓ 139.448 ✓ 115.484 13 130.795 7.224 ✓
91 ParAAM-C-state 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 118.973 ✓ 117.503 ✓ 114.691 ✓ 116.715 ✓ 116.453 ✓ 108.518 ✓ 111.286 ✓ 103.457 ✓ 101.333 ✓ 103.014 ✓ 120.724 ✓ 113.091 ✓ 120.173 13 112.764 5.571 ✓
92 ParAAM-C-state 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 106.086 ✓ 104.474 ✓ 101.394 ✓ 105.751 ✓ 103.915 ✓ 102.586 ✓ 93.942 ✓ 108.792 ✓ 97.455 ✓ 99.959 ✓ 99.617 ✓ 104.179 ✓ 92.85  13 101.615 3.766 ✓
93 ParAAM-C-state 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 94.092 ✓ 88.821 ✓ 92.849 ✓ 88.473 ✓ 96.267 ✓ 86.985 ✓ 80.368 ✓ 95.105 ✓ 90.196 ✓ 90.405 ✓ 85.653 ✓ 97.741 ✓ 80.521 13 89.806 4.31  ✓
94 ParAAM-C-state 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 82.565 ✓ 79.635 ✓ 85.218 ✓ 80.778 ✓ 79.552 ✓ 80.397 ✓ 82.634 ✓ 80.773 ✓ 85.925 ✓ 86.697 ✓ 74.638 ✓ 82.312 ✓ 77.861 13 81.46  2.552 ✓
95 ParAAM-C-state 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 80.046 ✓ 72.088 ✓ 75.423 ✓ 76.167 ✓ 74.159 ✓ 75.749 ✓ 71.915 ✓ 75.495 ✓ 74.925 ✓ 71.429 ✓ 72.293 ✓ 68.663 ✓ 72.645 13 73.923 2.231 ✓
96 ParAAM-C-state 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 67.144 ✓ 62.27  ✓ 63.275 ✓ 65.731 ✓ 70.297 ✓ 62.146 ✓ 65.893 ✓ 65.197 ✓ 61.587 ✓ 65.079 ✓ 66.53  ✓ 65.419 ✓ 59.615 13 64.63  2.193 ✓
97 ParAAM-C-state 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 61.914 ✓ 61.582 ✓ 61.919 ✓ 57.319 ✓ 60.619 ✓ 63.751 ✓ 60.547 ✓ 61.833 ✓ 61.255 ✓ 57.828 ✓ 60.9   ✓ 61.467 ✓ 53.951 13 60.376 1.851 ✓
98 ParAAM-C-state 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 59.667 ✓ 58.805 ✓ 58.575 ✓ 60.099 ✓ 59.383 ✓ 56.709 ✓ 60.506 ✓ 62.078 ✓ 61.041 ✓ 58.443 ✓ 58.125 ✓ 62.649 ✓ 60.184 13 59.713 1.274 ✓
99 ParAAM-C-state 18 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 59.775 ✓ 54.981 ✓ 59.512 ✓ 57.612 ✓ 57.978 ✓ 59.257 ✓ 58.697 ✓ 58.5   ✓ 59.825 ✓ 57.316 ✓ 60.723 ✓ 61.033 ✓ 61.021 13 58.941 1.317 ✓
100 ParAAM-C-state 20 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 60.064 ✓ 59.94  ✓ 57.432 ✓ 59.986 ✓ 59.33  ✓ 59.003 ✓ 55.672 ✓ 60.435 ✓ 59.879 ✓ 56.055 ✓ 61.83  ✓ 58.458 ✓ 58.786 13 58.99  1.315 ✓
101 ParAAM-C-state 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 59.002 ✓ 58.462 ✓ 57.346 ✓ 56.687 ✓ 60.057 ✓ 57.058 ✓ 58.359 ✓ 58.461 ✓ 58.997 ✓ 59.461 ✓ 57.768 ✓ 57.299 ✓ 57.385 13 58.18  0.852 ✓
102 ParAAM-C-state 28 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 57.42  ✓ 57.876 ✓ 58.684 ✓ 59.575 ✓ 57.464 ✓ 57.348 ✓ 57.728 ✓ 56.118 ✓ 56.986 ✓ 56.921 ✓ 57.753 ✓ 56.967 ✓ 57.776 13 57.586 0.596 ✓
103 ParAAM-C-state 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 55.975 ✓ 55.356 ✓ 55.392 ✓ 57.81  ✓ 58.962 ✓ 55.478 ✓ 57.783 ✓ 57.669 ✓ 57.399 ✓ 55.43  ✓ 56.555 ✓ 57.351 ✓ 58.169 13 56.872 1.083 ✓
104 ParAAM-C-state 40 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 56.019 ✓ 56.119 ✓ 56.105 ✓ 58.056 ✓ 56.31  ✓ 56.501 ✓ 56.664 ✓ 55.26  ✓ 57.048 ✓ 56.588 ✓ 56.502 ✓ 56.173 ✓ 56.096 13 56.419 0.438 ✓
105 ParAAM-C-state 48 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 54.01  ✓ 54.053 ✓ 56.314 ✓ 56.28  ✓ 54.837 ✓ 56.57  ✓ 56.288 ✓ 57.365 ✓ 55.064 ✓ 57.432 ✓ 55.65  ✓ 55.188 ✓ 56.128 13 55.783 0.907 ✓
106 ParAAM-C-state 56 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 55.025 ✓ 52.922 ✓ 55.91  ✓ 56.981 ✓ 54.296 ✓ 54.526 ✓ 52.329 ✓ 51.861 ✓ 54.51  ✓ 52.946 ✓ 53.864 ✓ 54.139 ✓ 54.668 13 54.152 1.054 ✓
107 ParAAM-C-state 64 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 51.721 ✓ 50.207 ✓ 54.015 ✓ 51.924 ✓ 51.809 ✓ 51.683 ✓ 51.744 ✓ 52.574 ✓ 51.219 ✓ 53.566 ✓ 51.584 ✓ 52.697 ✓ 49.145 13 51.838 0.86  ✓
108 ParAAM-C-set 1 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 70.234 ✓ 68.917 ✓ 67.362 ✓ 67.436 ✓ 67.692 ✓ 67.211 ✓ 68.476 ✓ 69.594 ✓ 69.069 ✓ 68.648 ✓ 66.189 ✓ 68.512 ✓ 66.279 13 68.125 1.012 ✓
109 ParAAM-C-set 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 42.381 ✓ 40.362 ✓ 39.585 ✓ 40.289 ✓ 37.196 ✓ 39.353 ✓ 40.222 ✓ 39.897 ✓ 40.159 ✓ 39.299 ✓ 40.161 ✓ 40.183 ✓ 38.689 13 39.829 0.773 ✓
110 ParAAM-C-set 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 34.15  ✓ 33.674 ✓ 34.397 ✓ 33.63  ✓ 32.916 ✓ 35.91  ✓ 32.804 ✓ 34.558 ✓ 34.746 ✓ 34.146 ✓ 33.299 ✓ 33.6   ✓ 32.167 13 33.846 0.743 ✓
111 ParAAM-C-set 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 35.995 ✓ 35.924 ✓ 34.445 ✓ 35.446 ✓ 34.044 ✓ 36.265 ✓ 35.069 ✓ 36.206 ✓ 35.814 ✓ 36.018 ✓ 36.137 ✓ 34.544 ✓ 34.872 13 35.444 0.654 ✓
112 ParAAM-C-set 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 37.216 ✓ 36.251 ✓ 36.961 ✓ 37.924 ✓ 36.01  ✓ 36.807 ✓ 35.433 ✓ 37.245 ✓ 36.799 ✓ 37.463 ✓ 36.908 ✓ 35.563 ✓ 36.048 13 36.664 0.618 ✓
113 ParAAM-C-set 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 41.912 ✓ 41.064 ✓ 37.405 ✓ 39.623 ✓ 38.383 ✓ 39.201 ✓ 39.041 ✓ 41.392 ✓ 40.983 ✓ 40.568 ✓ 38.898 ✓ 36.872 ✓ 39.673 13 39.617 1.215 ✓
114 ParAAM-C-set 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 46.224 ✓ 44.635 ✓ 47.021 ✓ 47.803 ✓ 45.054 ✓ 42.952 ✓ 42.145 ✓ 43.723 ✓ 44.611 ✓ 43.963 ✓ 46.52  ✓ 46.886 ✓ 43.922 13 45.035 1.43  ✓
115 ParAAM-C-set 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 57.181 ✓ 51.681 ✓ 53.714 ✓ 51.251 ✓ 50.171 ✓ 55.17  ✓ 56.583 ✓ 53.939 ✓ 50.472 ✓ 54.88  ✓ 54.77  ✓ 51.302 ✓ 54.58  13 53.515 1.954 ✓
116 ParAAM-C-set 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 64.494 ✓ 64.997 ✓ 58.384 ✓ 63.505 ✓ 56.485 ✓ 60.072 ✓ 60.786 ✓ 59.538 ✓ 59.629 ✓ 60.99  ✓ 61.192 ✓ 58.217 ✓ 60.438 13 60.671 1.836 ✓
117 ParAAM-C-set 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 68.728 ✓ 67.442 ✓ 67.548 ✓ 68.571 ✓ 64.32  ✓ 70.099 ✓ 63.253 ✓ 60.17  ✓ 68.288 ✓ 64.66  ✓ 67.957 ✓ 68.561 ✓ 65.536 13 66.549 2.278 ✓
118 ParAAM-C-set 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 77.607 ✓ 75.615 ✓ 72.454 ✓ 66.757 ✓ 76.422 ✓ 71.61  ✓ 71.575 ✓ 68.96  ✓ 71.397 ✓ 68.904 ✓ 73.03  ✓ 74.224 ✓ 70.28  13 72.218 2.468 ✓
119 ParAAM-C-set 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 63.076 ✓ 69.957 ✓ 74.102 ✓ 70.729 ✓ 70.986 ✓ 72.333 ✓ 72.924 ✓ 75.362 ✓ 70.371 ✓ 74.686 ✓ 67.513 ✓ 66.313 ✓ 71.818 13 70.782 2.575 ✓
120 ParAAM-C-set 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 68.732 ✓ 66.521 ✓ 64.094 ✓ 67.289 ✓ 68.575 ✓ 68.204 ✓ 68.216 ✓ 64.083 ✓ 62.426 ✓ 61.39  ✓ 68.546 ✓ 62.544 ✓ 69.635 13 66.174 2.512 ✓
121 ParAAM-C-set 18 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 66.804 ✓ 62.095 ✓ 61.068 ✓ 59.733 ✓ 62.315 ✓ 65.244 ✓ 65.687 ✓ 62.766 ✓ 62.894 ✓ 69.642 ✓ 65.797 ✓ 64.853 ✓ 60.22  13 63.778 2.363 ✓
122 ParAAM-C-set 20 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 64.435 ✓ 62.149 ✓ 60.4   ✓ 56.551 ✓ 61.317 ✓ 59.362 ✓ 59.371 ✓ 62.027 ✓ 58.194 ✓ 58.745 ✓ 60.814 ✓ 59.547 ✓ 59.122 13 60.156 1.57  ✓
123 ParAAM-C-set 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 54.591 ✓ 57.137 ✓ 59.953 ✓ 54.86  ✓ 56.359 ✓ 55.517 ✓ 53.406 ✓ 54.769 ✓ 56.131 ✓ 56.786 ✓ 57.149 ✓ 55.837 ✓ 54.853 13 55.95  1.203 ✓
124 ParAAM-C-set 28 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 53.33  ✓ 52.03  ✓ 53.295 ✓ 50.596 ✓ 52.638 ✓ 54.18  ✓ 52.946 ✓ 52.148 ✓ 52.899 ✓ 55.021 ✓ 53.109 ✓ 52.752 ✓ 52.439 13 52.876 0.716 ✓
125 ParAAM-C-set 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 50.857 ✓ 51.812 ✓ 50.894 ✓ 52.399 ✓ 50.323 ✓ 49.912 ✓ 48.168 ✓ 52.638 ✓ 53.573 ✓ 49.523 ✓ 49.618 ✓ 51.28  ✓ 52.693 13 51.053 1.242 ✓
126 ParAAM-C-set 40 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 50.829 ✓ 51.787 ✓ 48.938 ✓ 49.839 ✓ 46.871 ✓ 47.733 ✓ 49.788 ✓ 47.817 ✓ 49.057 ✓ 47.895 ✓ 48.334 ✓ 47.285 ✓ 43.27  13 48.419 1.496 ✓
127 ParAAM-C-set 48 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 46.763 ✓ 43.955 ✓ 44.083 ✓ 47.324 ✓ 43.987 ✓ 45.72  ✓ 47.417 ✓ 45.838 ✓ 48.55  ✓ 45.112 ✓ 47.214 ✓ 45.806 ✓ 46.666 13 46.033 1.19  ✓
128 ParAAM-C-set 56 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 43.667 ✓ 44.334 ✓ 42.83  ✓ 45.105 ✓ 42.957 ✓ 43.212 ✓ 45.124 ✓ 44.752 ✓ 44.169 ✓ 48.486 ✓ 44.919 ✓ 44.785 ✓ 44.651 13 44.538 0.932 ✓
129 ParAAM-C-set 64 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 41.213 ✓ 41.614 ✓ 43.17  ✓ 41.211 ✓ 41.787 ✓ 41.825 ✓ 41.915 ✓ 39.876 ✓ 43.148 ✓ 40.224 ✓ 40.37  ✓ 41.356 ✓ 41.13  13 41.449 0.733 ✓
130 ParAAM-C-part 1 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 94.655 ✓ 88.972 ✓ 90.18  ✓ 88.244 ✓ 89.269 ✓ 88.83  ✓ 89.066 ✓ 88.334 ✓ 89.195 ✓ 89.258 ✓ 89.972 ✓ 92.603 ✓ 90.642 13 89.94  1.285 ✓
131 ParAAM-C-part 2 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 53.125 ✓ 52.528 ✓ 51.239 ✓ 52.006 ✓ 51.45  ✓ 50.527 ✓ 51.368 ✓ 53.034 ✓ 51.757 ✓ 52.513 ✓ 51.891 ✓ 53.022 ✓ 49.181 13 51.819 0.829 ✓
132 ParAAM-C-part 3 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 36.505 ✓ 35.524 ✓ 35.646 ✓ 37.333 ✓ 38.4   ✓ 37.627 ✓ 36.942 ✓ 36.502 ✓ 37.805 ✓ 36.647 ✓ 37.039 ✓ 37.24  ✓ 38.75  13 37.074 0.725 ✓
133 ParAAM-C-part 4 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 31.243 ✓ 29.63  ✓ 30.255 ✓ 29.516 ✓ 28.846 ✓ 30.253 ✓ 30.764 ✓ 29.116 ✓ 31.209 ✓ 29.164 ✓ 29.12  ✓ 31.006 ✓ 29.3   13 29.956 0.769 ✓
134 ParAAM-C-part 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 26.266 ✓ 28.283 ✓ 26.912 ✓ 25.118 ✓ 26.836 ✓ 25.704 ✓ 26.208 ✓ 26.477 ✓ 26.208 ✓ 27.044 ✓ 26.043 ✓ 26.584 ✓ 27.029 13 26.516 0.552 ✓
135 ParAAM-C-part 6 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 23.627 ✓ 22.978 ✓ 24.814 ✓ 23.948 ✓ 23.831 ✓ 23.052 ✓ 22.943 ✓ 22.692 ✓ 23.234 ✓ 23.745 ✓ 23.075 ✓ 24.223 ✓ 22.464 13 23.433 0.552 ✓
136 ParAAM-C-part 7 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 19.867 ✓ 21.204 ✓ 20.347 ✓ 21.47  ✓ 21.497 ✓ 19.597 ✓ 21.978 ✓ 21.699 ✓ 19.744 ✓ 21.025 ✓ 19.53  ✓ 19.576 ✓ 21.132 13 20.667 0.821 ✓
137 ParAAM-C-part 8 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 18.72  ✓ 18.846 ✓ 18.94  ✓ 19.489 ✓ 19.742 ✓ 19.365 ✓ 19.204 ✓ 19.608 ✓ 19.832 ✓ 19.013 ✓ 18.979 ✓ 19.005 ✓ 19.145 13 19.222 0.296 ✓
138 ParAAM-C-part 9 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 17.257 ✓ 17.965 ✓ 18.117 ✓ 18.665 ✓ 17.051 ✓ 17.741 ✓ 17.56  ✓ 17.735 ✓ 18.85  ✓ 18.373 ✓ 18.216 ✓ 17.355 ✓ 17.233 13 17.855 0.47  ✓
139 ParAAM-C-part 10 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 16.919 ✓ 16.17  ✓ 16.626 ✓ 15.183 ✓ 16.585 ✓ 16.698 ✓ 15.778 ✓ 17.107 ✓ 16.179 ✓ 16.079 ✓ 16.223 ✓ 17.99  ✓ 16.996 13 16.502 0.524 ✓
140 ParAAM-C-part 12 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 15.287 ✓ 15.846 ✓ 15.703 ✓ 15.851 ✓ 16.532 ✓ 13.985 ✓ 13.873 ✓ 16.544 ✓ 15.593 ✓ 13.742 ✓ 15.667 ✓ 15.568 ✓ 14.348 13 15.272 0.791 ✓
141 ParAAM-C-part 14 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.108 ✓ 14.287 ✓ 14.14  ✓ 14.694 ✓ 14.716 ✓ 14.138 ✓ 14.566 ✓ 14.665 ✓ 13.834 ✓ 13.774 ✓ 14.005 ✓ 14.533 ✓ 14.418 13 14.298 0.277 ✓
142 ParAAM-C-part 16 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 14.308 ✓ 14.936 ✓ 14.67  ✓ 14.454 ✓ 14.354 ✓ 15.093 ✓ 14.667 ✓ 14.726 ✓ 13.864 ✓ 14.466 ✓ 13.816 ✓ 14.537 ✓ 13.994 13 14.453 0.297 ✓
143 ParAAM-C-part 18 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 13.889 ✓ 15.189 ✓ 14.148 ✓ 14.893 ✓ 14.694 ✓ 14.876 ✓ 15.044 ✓ 14.608 ✓ 14.724 ✓ 14.131 ✓ 14.234 ✓ 14.029 ✓ 13.891 13 14.488 0.401 ✓
144 ParAAM-C-part 20 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 15.245 ✓ 14.623 ✓ 16.163 ✓ 14.63  ✓ 14.979 ✓ 14.842 ✓ 14.844 ✓ 14.538 ✓ 15.04  ✓ 14.755 ✓ 14.369 ✓ 14.643 ✓ 14.95  13 14.894 0.294 ✓
145 ParAAM-C-part 24 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 18.401 ✓ 18.148 ✓ 17.037 ✓ 16.044 ✓ 16.57  ✓ 16.069 ✓ 15.999 ✓ 16.801 ✓ 16.61  ✓ 17.377 ✓ 16.017 ✓ 15.758 ✓ 17.192 13 16.771 0.666 ✓
146 ParAAM-C-part 28 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 17.767 ✓ 18.489 ✓ 17.46  ✓ 17.344 ✓ 19.234 ✓ 17.749 ✓ 17.269 ✓ 17.346 ✓ 18.497 ✓ 17.794 ✓ 17.36  ✓ 18.067 ✓ 17.358 13 17.826 0.459 ✓
147 ParAAM-C-part 32 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 18.705 ✓ 18.287 ✓ 18.218 ✓ 18.341 ✓ 18.968 ✓ 17.83  ✓ 18.373 ✓ 18.404 ✓ 18.959 ✓ 18.046 ✓ 18.003 ✓ 19.145 ✓ 19.656 13 18.533 0.425 ✓
148 ParAAM-C-part 40 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 18.874 ✓ 18.764 ✓ 18.879 ✓ 19.025 ✓ 19.009 ✓ 19.558 ✓ 19.748 ✓ 19.345 ✓ 20.631 ✓ 18.714 ✓ 19.599 ✓ 19.138 ✓ 19.497 13 19.291 0.405 ✓
149 ParAAM-C-part 48 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 20.008 ✓ 19.984 ✓ 19.451 ✓ 19.542 ✓ 20.59  ✓ 19.797 ✓ 20.161 ✓ 20.053 ✓ 20.141 ✓ 19.844 ✓ 19.563 ✓ 19.457 ✓ 20.082 13 19.898 0.267 ✓
150 ParAAM-C-part 56 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.092 ✓ 19.24  ✓ 20.614 ✓ 19.9   ✓ 19.846 ✓ 19.839 ✓ 19.39  ✓ 20.691 ✓ 20.1   ✓ 18.888 ✓ 20.71  ✓ 19.788 ✓ 19.36  13 19.958 0.525 ✓
151 ParAAM-C-part 64 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 ✓ 21.211 ✓ 20.318 ✓ 19.427 ✓ 20.891 ✓ 19.661 ✓ 20.951 ✓ 20.223 ✓ 20.442 ✓ 20.692 ✓ 21     ✓ 20.899 ✓ 19.842 ✓ 21.223 13 20.521 0.495 ✓