search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 480 forks source link

[Builtins] Specialize '[Integer]' in 'geq' #6352

Closed effectfully closed 2 months ago

effectfully commented 2 months ago

This specializes geqStep a bit further, so that handling of [Integer] and [Data] doesn't require any recursive calls and can get inlined fully. I doubt it's going to make a difference, but I thought it'd be easy enough to check, so why not.

effectfully commented 2 months ago

/benchmark lists

effectfully commented 2 months ago

/benchmark nofib

github-actions[bot] commented 2 months ago

Click here to check the status of your benchmark.

github-actions[bot] commented 2 months ago

Comparing benchmark results of 'lists' on '613ab5f17' (base) and 'aa55a2011' (PR)

Results table | Script | 613ab5f | aa55a20 | Change | | :------ | :------: | :------: | :------: | | sort/ghcSort/10 | 36.66 μs | 35.91 μs | -2.0% | | sort/ghcSort/20 | 86.05 μs | 83.88 μs | -2.5% | | sort/ghcSort/30 | 132.2 μs | 128.7 μs | -2.6% | | sort/ghcSort/40 | 198.0 μs | 192.6 μs | -2.7% | | sort/ghcSort/50 | 244.0 μs | 240.6 μs | -1.4% | | sort/ghcSort/60 | 305.9 μs | 298.4 μs | -2.5% | | sort/ghcSort/70 | 401.4 μs | 394.9 μs | -1.6% | | sort/ghcSort/80 | 458.0 μs | 447.1 μs | -2.4% | | sort/ghcSort/90 | 507.0 μs | 495.4 μs | -2.3% | | sort/ghcSort/100 | 566.3 μs | 555.0 μs | -2.0% | | sort/ghcSort/110 | 625.3 μs | 612.2 μs | -2.1% | | sort/ghcSort/120 | 708.0 μs | 688.2 μs | -2.8% | | sort/ghcSort/130 | 864.3 μs | 843.8 μs | -2.4% | | sort/ghcSort/140 | 919.1 μs | 895.3 μs | -2.6% | | sort/ghcSort/150 | 983.7 μs | 963.1 μs | -2.1% | | sort/ghcSort/160 | 1.051 ms | 1.027 ms | -2.3% | | sort/ghcSort/170 | 1.107 ms | 1.080 ms | -2.4% | | sort/ghcSort/180 | 1.165 ms | 1.136 ms | -2.5% | | sort/ghcSort/190 | 1.235 ms | 1.207 ms | -2.3% | | sort/ghcSort/200 | 1.322 ms | 1.290 ms | -2.4% | | sort/ghcSort/210 | 1.378 ms | 1.351 ms | -2.0% | | sort/ghcSort/220 | 1.410 ms | 1.412 ms | +0.1% | | sort/ghcSort/230 | 1.510 ms | 1.500 ms | -0.7% | | sort/ghcSort/240 | 1.589 ms | 1.584 ms | -0.3% | | sort/ghcSort/250 | 1.675 ms | 1.669 ms | -0.4% | | sort/ghcSort/260 | 1.926 ms | 1.920 ms | -0.3% | | sort/ghcSort/270 | 1.983 ms | 1.987 ms | +0.2% | | sort/ghcSort/280 | 2.056 ms | 2.046 ms | -0.5% | | sort/ghcSort/290 | 2.125 ms | 2.121 ms | -0.2% | | sort/ghcSort/300 | 2.197 ms | 2.195 ms | -0.1% | | sort/ghcSort/310 | 2.285 ms | 2.270 ms | -0.7% | | sort/ghcSort/320 | 2.371 ms | 2.334 ms | -1.6% | | sort/ghcSort/330 | 2.434 ms | 2.409 ms | -1.0% | | sort/ghcSort/340 | 2.478 ms | 2.474 ms | -0.2% | | sort/ghcSort/350 | 2.571 ms | 2.545 ms | -1.0% | | sort/ghcSort/360 | 2.639 ms | 2.600 ms | -1.5% | | sort/ghcSort/370 | 2.699 ms | 2.682 ms | -0.6% | | sort/ghcSort/380 | 2.790 ms | 2.773 ms | -0.6% | | sort/ghcSort/390 | 2.921 ms | 2.888 ms | -1.1% | | sort/ghcSort/400 | 3.001 ms | 2.961 ms | -1.3% | | sort/ghcSort/410 | 3.042 ms | 2.996 ms | -1.5% | | sort/ghcSort/420 | 3.134 ms | 3.109 ms | -0.8% | | sort/ghcSort/430 | 3.203 ms | 3.160 ms | -1.3% | | sort/ghcSort/440 | 3.290 ms | 3.244 ms | -1.4% | | sort/ghcSort/450 | 3.465 ms | 3.440 ms | -0.7% | | sort/ghcSort/460 | 3.559 ms | 3.474 ms | -2.4% | | sort/ghcSort/470 | 3.641 ms | 3.544 ms | -2.7% | | sort/ghcSort/480 | 3.757 ms | 3.660 ms | -2.6% | | sort/ghcSort/490 | 3.831 ms | 3.779 ms | -1.4% | | sort/ghcSort/500 | 3.891 ms | 3.857 ms | -0.9% | | sort/insertionSort/10 | 35.23 μs | 34.55 μs | -1.9% | | sort/insertionSort/20 | 136.3 μs | 132.6 μs | -2.7% | | sort/insertionSort/30 | 302.2 μs | 296.6 μs | -1.9% | | sort/insertionSort/40 | 533.5 μs | 519.0 μs | -2.7% | | sort/insertionSort/50 | 830.6 μs | 809.8 μs | -2.5% | | sort/insertionSort/60 | 1.203 ms | 1.162 ms | -3.4% | | sort/insertionSort/70 | 1.631 ms | 1.583 ms | -2.9% | | sort/insertionSort/80 | 2.134 ms | 2.066 ms | -3.2% | | sort/insertionSort/90 | 2.688 ms | 2.608 ms | -3.0% | | sort/insertionSort/100 | 3.342 ms | 3.225 ms | -3.5% | | sort/insertionSort/110 | 4.020 ms | 3.912 ms | -2.7% | | sort/insertionSort/120 | 4.793 ms | 4.652 ms | -2.9% | | sort/insertionSort/130 | 5.635 ms | 5.468 ms | -3.0% | | sort/insertionSort/140 | 6.527 ms | 6.334 ms | -3.0% | | sort/insertionSort/150 | 7.511 ms | 7.320 ms | -2.5% | | sort/insertionSort/160 | 8.507 ms | 8.289 ms | -2.6% | | sort/insertionSort/170 | 9.616 ms | 9.357 ms | -2.7% | | sort/insertionSort/180 | 10.78 ms | 10.56 ms | -2.0% | | sort/insertionSort/190 | 12.13 ms | 11.68 ms | -3.7% | | sort/insertionSort/200 | 13.39 ms | 13.04 ms | -2.6% | | sort/insertionSort/210 | 14.77 ms | 14.29 ms | -3.2% | | sort/insertionSort/220 | 16.16 ms | 15.76 ms | -2.5% | | sort/insertionSort/230 | 17.68 ms | 17.29 ms | -2.2% | | sort/insertionSort/240 | 19.40 ms | 18.80 ms | -3.1% | | sort/insertionSort/250 | 21.03 ms | 20.25 ms | -3.7% | | sort/insertionSort/260 | 22.84 ms | 21.75 ms | -4.8% | | sort/insertionSort/270 | 24.54 ms | 23.47 ms | -4.4% | | sort/insertionSort/280 | 26.33 ms | 25.47 ms | -3.3% | | sort/insertionSort/290 | 28.40 ms | 27.28 ms | -3.9% | | sort/insertionSort/300 | 30.31 ms | 28.99 ms | -4.4% | | sort/insertionSort/310 | 32.60 ms | 31.07 ms | -4.7% | | sort/insertionSort/320 | 34.67 ms | 33.12 ms | -4.5% | | sort/insertionSort/330 | 36.85 ms | 35.38 ms | -4.0% | | sort/insertionSort/340 | 38.99 ms | 37.49 ms | -3.8% | | sort/insertionSort/350 | 41.73 ms | 39.69 ms | -4.9% | | sort/insertionSort/360 | 44.04 ms | 42.14 ms | -4.3% | | sort/insertionSort/370 | 46.37 ms | 44.48 ms | -4.1% | | sort/insertionSort/380 | 48.98 ms | 46.81 ms | -4.4% | | sort/insertionSort/390 | 51.59 ms | 49.57 ms | -3.9% | | sort/insertionSort/400 | 54.54 ms | 52.13 ms | -4.4% | | sort/insertionSort/410 | 57.36 ms | 54.83 ms | -4.4% | | sort/insertionSort/420 | 60.25 ms | 58.02 ms | -3.7% | | sort/insertionSort/430 | 63.02 ms | 60.52 ms | -4.0% | | sort/insertionSort/440 | 66.45 ms | 63.59 ms | -4.3% | | sort/insertionSort/450 | 68.94 ms | 66.41 ms | -3.7% | | sort/insertionSort/460 | 72.75 ms | 70.19 ms | -3.5% | | sort/insertionSort/470 | 76.18 ms | 73.47 ms | -3.6% | | sort/insertionSort/480 | 78.91 ms | 76.69 ms | -2.8% | | sort/insertionSort/490 | 82.22 ms | 80.41 ms | -2.2% | | sort/insertionSort/500 | 86.26 ms | 83.52 ms | -3.2% | | sort/mergeSort/10 | 94.83 μs | 96.65 μs | +1.9% | | sort/mergeSort/20 | 231.3 μs | 232.6 μs | +0.6% | | sort/mergeSort/30 | 382.3 μs | 384.7 μs | +0.6% | | sort/mergeSort/40 | 545.9 μs | 549.1 μs | +0.6% | | sort/mergeSort/50 | 694.6 μs | 711.8 μs | +2.5% | | sort/mergeSort/60 | 866.6 μs | 892.3 μs | +3.0% | | sort/mergeSort/70 | 1.045 ms | 1.078 ms | +3.2% | | sort/mergeSort/80 | 1.230 ms | 1.267 ms | +3.0% | | sort/mergeSort/90 | 1.409 ms | 1.448 ms | +2.8% | | sort/mergeSort/100 | 1.589 ms | 1.640 ms | +3.2% | | sort/mergeSort/110 | 1.788 ms | 1.834 ms | +2.6% | | sort/mergeSort/120 | 1.982 ms | 2.036 ms | +2.7% | | sort/mergeSort/130 | 2.225 ms | 2.273 ms | +2.2% | | sort/mergeSort/140 | 2.380 ms | 2.441 ms | +2.6% | | sort/mergeSort/150 | 2.566 ms | 2.640 ms | +2.9% | | sort/mergeSort/160 | 2.794 ms | 2.867 ms | +2.6% | | sort/mergeSort/170 | 2.999 ms | 3.078 ms | +2.6% | | sort/mergeSort/180 | 3.211 ms | 3.281 ms | +2.2% | | sort/mergeSort/190 | 3.412 ms | 3.495 ms | +2.4% | | sort/mergeSort/200 | 3.622 ms | 3.694 ms | +2.0% | | sort/mergeSort/210 | 3.835 ms | 3.926 ms | +2.4% | | sort/mergeSort/220 | 4.022 ms | 4.142 ms | +3.0% | | sort/mergeSort/230 | 4.269 ms | 4.371 ms | +2.4% | | sort/mergeSort/240 | 4.498 ms | 4.580 ms | +1.8% | | sort/mergeSort/250 | 4.740 ms | 4.842 ms | +2.2% | | sort/mergeSort/260 | 4.993 ms | 5.102 ms | +2.2% | | sort/mergeSort/270 | 5.136 ms | 5.274 ms | +2.7% | | sort/mergeSort/280 | 5.359 ms | 5.478 ms | +2.2% | | sort/mergeSort/290 | 5.541 ms | 5.672 ms | +2.4% | | sort/mergeSort/300 | 5.790 ms | 5.906 ms | +2.0% | | sort/mergeSort/310 | 5.988 ms | 6.160 ms | +2.9% | | sort/mergeSort/320 | 6.258 ms | 6.408 ms | +2.4% | | sort/mergeSort/330 | 6.457 ms | 6.595 ms | +2.1% | | sort/mergeSort/340 | 6.687 ms | 6.837 ms | +2.2% | | sort/mergeSort/350 | 6.939 ms | 7.086 ms | +2.1% | | sort/mergeSort/360 | 7.174 ms | 7.359 ms | +2.6% | | sort/mergeSort/370 | 7.416 ms | 7.556 ms | +1.9% | | sort/mergeSort/380 | 7.660 ms | 7.847 ms | +2.4% | | sort/mergeSort/390 | 7.876 ms | 8.098 ms | +2.8% | | sort/mergeSort/400 | 8.086 ms | 8.251 ms | +2.0% | | sort/mergeSort/410 | 8.352 ms | 8.520 ms | +2.0% | | sort/mergeSort/420 | 8.545 ms | 8.771 ms | +2.6% | | sort/mergeSort/430 | 8.841 ms | 8.926 ms | +1.0% | | sort/mergeSort/440 | 9.004 ms | 9.092 ms | +1.0% | | sort/mergeSort/450 | 9.274 ms | 9.349 ms | +0.8% | | sort/mergeSort/460 | 9.516 ms | 9.597 ms | +0.9% | | sort/mergeSort/470 | 9.797 ms | 9.855 ms | +0.6% | | sort/mergeSort/480 | 10.01 ms | 10.09 ms | +0.8% | | sort/mergeSort/490 | 10.24 ms | 10.42 ms | +1.8% | | sort/mergeSort/500 | 10.57 ms | 10.67 ms | +0.9% | | sort/quickSort/10 | 81.06 μs | 84.15 μs | +3.8% | | sort/quickSort/20 | 311.8 μs | 325.0 μs | +4.2% | | sort/quickSort/30 | 695.3 μs | 723.6 μs | +4.1% | | sort/quickSort/40 | 1.244 ms | 1.297 ms | +4.3% | | sort/quickSort/50 | 1.965 ms | 2.048 ms | +4.2% | | sort/quickSort/60 | 2.840 ms | 2.961 ms | +4.3% | | sort/quickSort/70 | 3.891 ms | 4.039 ms | +3.8% | | sort/quickSort/80 | 5.079 ms | 5.303 ms | +4.4% | | sort/quickSort/90 | 6.468 ms | 6.741 ms | +4.2% | | sort/quickSort/100 | 7.908 ms | 8.247 ms | +4.3% | | sort/quickSort/110 | 9.603 ms | 10.06 ms | +4.8% | | sort/quickSort/120 | 11.49 ms | 11.94 ms | +3.9% | | sort/quickSort/130 | 13.50 ms | 14.03 ms | +3.9% | | sort/quickSort/140 | 15.54 ms | 16.15 ms | +3.9% | | sort/quickSort/150 | 17.87 ms | 18.57 ms | +3.9% | | sort/quickSort/160 | 20.23 ms | 21.12 ms | +4.4% | | sort/quickSort/170 | 22.90 ms | 23.79 ms | +3.9% | | sort/quickSort/180 | 25.57 ms | 26.63 ms | +4.1% | | sort/quickSort/190 | 28.61 ms | 29.76 ms | +4.0% | | sort/quickSort/200 | 31.67 ms | 32.96 ms | +4.1% | | sort/quickSort/210 | 34.82 ms | 36.39 ms | +4.5% | | sort/quickSort/220 | 38.12 ms | 39.95 ms | +4.8% | | sort/quickSort/230 | 41.61 ms | 43.74 ms | +5.1% | | sort/quickSort/240 | 45.37 ms | 47.74 ms | +5.2% | | sort/quickSort/250 | 49.29 ms | 51.82 ms | +5.1% | | sort/quickSort/260 | 53.26 ms | 56.03 ms | +5.2% | | sort/quickSort/270 | 57.43 ms | 60.25 ms | +4.9% | | sort/quickSort/280 | 61.77 ms | 64.99 ms | +5.2% | | sort/quickSort/290 | 66.27 ms | 69.52 ms | +4.9% | | sort/quickSort/300 | 70.92 ms | 74.33 ms | +4.8% | | sort/quickSort/310 | 75.76 ms | 79.42 ms | +4.8% | | sort/quickSort/320 | 80.83 ms | 84.80 ms | +4.9% | | sort/quickSort/330 | 86.05 ms | 90.41 ms | +5.1% | | sort/quickSort/340 | 91.31 ms | 96.34 ms | +5.5% | | sort/quickSort/350 | 96.77 ms | 101.6 ms | +5.0% | | sort/quickSort/360 | 102.7 ms | 108.0 ms | +5.2% | | sort/quickSort/370 | 108.5 ms | 114.0 ms | +5.1% | | sort/quickSort/380 | 114.6 ms | 120.3 ms | +5.0% | | sort/quickSort/390 | 120.6 ms | 127.3 ms | +5.6% | | sort/quickSort/400 | 127.0 ms | 134.8 ms | +6.1% | | sort/quickSort/410 | 133.6 ms | 143.3 ms | +7.3% | | sort/quickSort/420 | 140.3 ms | 147.2 ms | +4.9% | | sort/quickSort/430 | 147.4 ms | 155.7 ms | +5.6% | | sort/quickSort/440 | 154.5 ms | 162.8 ms | +5.4% | | sort/quickSort/450 | 162.1 ms | 169.5 ms | +4.6% | | sort/quickSort/460 | 169.3 ms | 178.0 ms | +5.1% | | sort/quickSort/470 | 177.3 ms | 185.7 ms | +4.7% | | sort/quickSort/480 | 184.9 ms | 193.8 ms | +4.8% | | sort/quickSort/490 | 192.6 ms | 201.4 ms | +4.6% | | sort/quickSort/500 | 201.0 ms | 210.3 ms | +4.6% | | sum/compiled-from-Haskell/sum-right-builtin/10 | 9.993 μs | 9.789 μs | -2.0% | | sum/compiled-from-Haskell/sum-right-builtin/50 | 47.34 μs | 46.18 μs | -2.5% | | sum/compiled-from-Haskell/sum-right-builtin/100 | 95.80 μs | 93.69 μs | -2.2% | | sum/compiled-from-Haskell/sum-right-builtin/500 | 502.6 μs | 494.6 μs | -1.6% | | sum/compiled-from-Haskell/sum-right-builtin/1000 | 1.089 ms | 1.059 ms | -2.8% | | sum/compiled-from-Haskell/sum-right-builtin/5000 | 7.089 ms | 6.951 ms | -1.9% | | sum/compiled-from-Haskell/sum-right-builtin/10000 | 15.33 ms | 14.96 ms | -2.4% | | sum/compiled-from-Haskell/sum-right-Scott/10 | 6.953 μs | 6.865 μs | -1.3% | | sum/compiled-from-Haskell/sum-right-Scott/50 | 31.42 μs | 31.72 μs | +1.0% | | sum/compiled-from-Haskell/sum-right-Scott/100 | 62.90 μs | 62.93 μs | +0.0% | | sum/compiled-from-Haskell/sum-right-Scott/500 | 329.8 μs | 327.7 μs | -0.6% | | sum/compiled-from-Haskell/sum-right-Scott/1000 | 708.7 μs | 711.8 μs | +0.4% | | sum/compiled-from-Haskell/sum-right-Scott/5000 | 5.325 ms | 5.300 ms | -0.5% | | sum/compiled-from-Haskell/sum-right-Scott/10000 | 11.74 ms | 11.68 ms | -0.5% | | sum/compiled-from-Haskell/sum-right-data/10 | 25.04 μs | 24.36 μs | -2.7% | | sum/compiled-from-Haskell/sum-right-data/50 | 123.5 μs | 122.7 μs | -0.6% | | sum/compiled-from-Haskell/sum-right-data/100 | 251.9 μs | 250.5 μs | -0.6% | | sum/compiled-from-Haskell/sum-right-data/500 | 1.372 ms | 1.370 ms | -0.1% | | sum/compiled-from-Haskell/sum-right-data/1000 | 3.093 ms | 3.084 ms | -0.3% | | sum/compiled-from-Haskell/sum-right-data/5000 | 17.25 ms | 17.20 ms | -0.3% | | sum/compiled-from-Haskell/sum-right-data/10000 | 35.84 ms | 35.84 ms | 0.0% | | sum/compiled-from-Haskell/sum-left-builtin/10 | 9.640 μs | 9.429 μs | -2.2% | | sum/compiled-from-Haskell/sum-left-builtin/50 | 47.40 μs | 47.32 μs | -0.2% | | sum/compiled-from-Haskell/sum-left-builtin/100 | 93.93 μs | 94.52 μs | +0.6% | | sum/compiled-from-Haskell/sum-left-builtin/500 | 490.2 μs | 490.1 μs | -0.0% | | sum/compiled-from-Haskell/sum-left-builtin/1000 | 1.046 ms | 1.056 ms | +1.0% | | sum/compiled-from-Haskell/sum-left-builtin/5000 | 6.910 ms | 7.042 ms | +1.9% | | sum/compiled-from-Haskell/sum-left-builtin/10000 | 14.84 ms | 15.11 ms | +1.8% | | sum/compiled-from-Haskell/sum-left-Scott/10 | 6.830 μs | 6.857 μs | +0.4% | | sum/compiled-from-Haskell/sum-left-Scott/50 | 30.97 μs | 30.89 μs | -0.3% | | sum/compiled-from-Haskell/sum-left-Scott/100 | 61.48 μs | 62.02 μs | +0.9% | | sum/compiled-from-Haskell/sum-left-Scott/500 | 321.7 μs | 323.9 μs | +0.7% | | sum/compiled-from-Haskell/sum-left-Scott/1000 | 694.7 μs | 697.5 μs | +0.4% | | sum/compiled-from-Haskell/sum-left-Scott/5000 | 5.036 ms | 5.134 ms | +1.9% | | sum/compiled-from-Haskell/sum-left-Scott/10000 | 11.33 ms | 11.54 ms | +1.9% | | sum/compiled-from-Haskell/sum-left-data/10 | 25.68 μs | 26.05 μs | +1.4% | | sum/compiled-from-Haskell/sum-left-data/50 | 124.6 μs | 127.3 μs | +2.2% | | sum/compiled-from-Haskell/sum-left-data/100 | 255.8 μs | 256.9 μs | +0.4% | | sum/compiled-from-Haskell/sum-left-data/500 | 1.400 ms | 1.405 ms | +0.4% | | sum/compiled-from-Haskell/sum-left-data/1000 | 3.145 ms | 3.160 ms | +0.5% | | sum/compiled-from-Haskell/sum-left-data/5000 | 17.52 ms | 17.57 ms | +0.3% | | sum/compiled-from-Haskell/sum-left-data/10000 | 35.99 ms | 36.14 ms | +0.4% | | sum/hand-written-PLC/sum-right-builtin/10 | 10.52 μs | 10.00 μs | -4.9% | | sum/hand-written-PLC/sum-right-builtin/50 | 47.30 μs | 45.56 μs | -3.7% | | sum/hand-written-PLC/sum-right-builtin/100 | 94.92 μs | 93.10 μs | -1.9% | | sum/hand-written-PLC/sum-right-builtin/500 | 481.2 μs | 475.8 μs | -1.1% | | sum/hand-written-PLC/sum-right-builtin/1000 | 999.4 μs | 988.2 μs | -1.1% | | sum/hand-written-PLC/sum-right-builtin/5000 | 5.837 ms | 5.774 ms | -1.1% | | sum/hand-written-PLC/sum-right-builtin/10000 | 11.92 ms | 11.83 ms | -0.8% | | sum/hand-written-PLC/sum-right-Scott/10 | 5.992 μs | 5.989 μs | -0.1% | | sum/hand-written-PLC/sum-right-Scott/50 | 25.96 μs | 26.22 μs | +1.0% | | sum/hand-written-PLC/sum-right-Scott/100 | 51.67 μs | 51.48 μs | -0.4% | | sum/hand-written-PLC/sum-right-Scott/500 | 265.1 μs | 261.5 μs | -1.4% | | sum/hand-written-PLC/sum-right-Scott/1000 | 557.5 μs | 547.5 μs | -1.8% | | sum/hand-written-PLC/sum-right-Scott/5000 | 3.980 ms | 3.934 ms | -1.2% | | sum/hand-written-PLC/sum-right-Scott/10000 | 8.897 ms | 8.883 ms | -0.2% | | sum/hand-written-PLC/sum-left-builtin/10 | 10.79 μs | 10.79 μs | 0.0% | | sum/hand-written-PLC/sum-left-builtin/50 | 50.23 μs | 49.82 μs | -0.8% | | sum/hand-written-PLC/sum-left-builtin/100 | 99.68 μs | 99.30 μs | -0.4% | | sum/hand-written-PLC/sum-left-builtin/500 | 492.9 μs | 487.6 μs | -1.1% | | sum/hand-written-PLC/sum-left-builtin/1000 | 979.3 μs | 969.3 μs | -1.0% | | sum/hand-written-PLC/sum-left-builtin/5000 | 4.836 ms | 4.816 ms | -0.4% | | sum/hand-written-PLC/sum-left-builtin/10000 | 9.491 ms | 9.610 ms | +1.3% | | sum/hand-written-PLC/sum-left-Scott/10 | 6.382 μs | 6.426 μs | +0.7% | | sum/hand-written-PLC/sum-left-Scott/50 | 28.71 μs | 28.48 μs | -0.8% | | sum/hand-written-PLC/sum-left-Scott/100 | 57.17 μs | 56.80 μs | -0.6% | | sum/hand-written-PLC/sum-left-Scott/500 | 286.6 μs | 281.3 μs | -1.8% | | sum/hand-written-PLC/sum-left-Scott/1000 | 584.1 μs | 581.7 μs | -0.4% | | sum/hand-written-PLC/sum-left-Scott/5000 | 3.556 ms | 3.497 ms | -1.7% | | sum/hand-written-PLC/sum-left-Scott/10000 | 7.331 ms | 7.315 ms | -0.2% | | | | | | | TOTAL | 5.474 s | 5.596 s | +2.2% |
github-actions[bot] commented 2 months ago

Click here to check the status of your benchmark.

github-actions[bot] commented 2 months ago

Comparing benchmark results of 'nofib' on '613ab5f17' (base) and 'aa55a2011' (PR)

Results table | Script | 613ab5f | aa55a20 | Change | | :------ | :------: | :------: | :------: | | clausify/formula1 | 3.107 ms | 3.036 ms | -2.3% | | clausify/formula2 | 4.151 ms | 4.056 ms | -2.3% | | clausify/formula3 | 11.37 ms | 11.10 ms | -2.4% | | clausify/formula4 | 26.05 ms | 25.45 ms | -2.3% | | clausify/formula5 | 55.17 ms | 53.65 ms | -2.8% | | knights/4x4 | 17.73 ms | 17.56 ms | -1.0% | | knights/6x6 | 46.81 ms | 45.99 ms | -1.8% | | knights/8x8 | 83.04 ms | 80.59 ms | -3.0% | | primetest/05digits | 10.35 ms | 10.16 ms | -1.8% | | primetest/08digits | 16.46 ms | 16.46 ms | 0.0% | | primetest/10digits | 19.73 ms | 19.84 ms | +0.6% | | primetest/20digits | 39.67 ms | 39.46 ms | -0.5% | | primetest/30digits | 61.00 ms | 61.41 ms | +0.7% | | primetest/40digits | 82.75 ms | 84.31 ms | +1.9% | | primetest/50digits | 102.0 ms | 102.1 ms | +0.1% | | queens4x4/bt | 5.409 ms | 5.375 ms | -0.6% | | queens4x4/bm | 6.896 ms | 6.791 ms | -1.5% | | queens4x4/bjbt1 | 6.674 ms | 6.550 ms | -1.9% | | queens4x4/bjbt2 | 6.243 ms | 6.116 ms | -2.0% | | queens4x4/fc | 14.07 ms | 13.76 ms | -2.2% | | queens5x5/bt | 74.52 ms | 73.01 ms | -2.0% | | queens5x5/bm | 78.04 ms | 76.35 ms | -2.2% | | queens5x5/bjbt1 | 87.00 ms | 85.38 ms | -1.9% | | queens5x5/bjbt2 | 84.42 ms | 82.82 ms | -1.9% | | queens5x5/fc | 175.5 ms | 174.6 ms | -0.5% | | | | | | | TOTAL | 1.118 s | 1.106 s | -1.1% |
effectfully commented 2 months ago

/benchmark nofib

effectfully commented 2 months ago

/benchmark nofib

github-actions[bot] commented 2 months ago

Click here to check the status of your benchmark.

github-actions[bot] commented 2 months ago

Comparing benchmark results of 'nofib' on '613ab5f17' (base) and 'aa55a2011' (PR)

Results table | Script | 613ab5f | aa55a20 | Change | | :------ | :------: | :------: | :------: | | clausify/formula1 | 3.173 ms | 2.999 ms | -5.5% | | clausify/formula2 | 4.265 ms | 4.010 ms | -6.0% | | clausify/formula3 | 11.70 ms | 11.08 ms | -5.3% | | clausify/formula4 | 26.83 ms | 25.60 ms | -4.6% | | clausify/formula5 | 56.61 ms | 53.89 ms | -4.8% | | knights/4x4 | 18.33 ms | 17.63 ms | -3.8% | | knights/6x6 | 48.23 ms | 46.27 ms | -4.1% | | knights/8x8 | 84.66 ms | 81.22 ms | -4.1% | | primetest/05digits | 10.63 ms | 10.35 ms | -2.6% | | primetest/08digits | 17.28 ms | 16.69 ms | -3.4% | | primetest/10digits | 20.75 ms | 20.05 ms | -3.4% | | primetest/20digits | 41.24 ms | 39.73 ms | -3.7% | | primetest/30digits | 63.79 ms | 61.29 ms | -3.9% | | primetest/40digits | 86.34 ms | 83.08 ms | -3.8% | | primetest/50digits | 105.0 ms | 100.9 ms | -3.9% | | queens4x4/bt | 5.562 ms | 5.361 ms | -3.6% | | queens4x4/bm | 7.070 ms | 6.775 ms | -4.2% | | queens4x4/bjbt1 | 6.765 ms | 6.527 ms | -3.5% | | queens4x4/bjbt2 | 6.304 ms | 6.096 ms | -3.3% | | queens4x4/fc | 14.24 ms | 13.70 ms | -3.8% | | queens5x5/bt | 75.35 ms | 72.66 ms | -3.6% | | queens5x5/bm | 78.66 ms | 75.96 ms | -3.4% | | queens5x5/bjbt1 | 87.81 ms | 84.84 ms | -3.4% | | queens5x5/bjbt2 | 85.31 ms | 82.30 ms | -3.5% | | queens5x5/fc | 177.3 ms | 173.5 ms | -2.1% | | | | | | | TOTAL | 1.143 s | 1.103 s | -3.6% |
github-actions[bot] commented 2 months ago

Click here to check the status of your benchmark.

github-actions[bot] commented 2 months ago

Comparing benchmark results of 'nofib' on '613ab5f17' (base) and 'aa55a2011' (PR)

Results table | Script | 613ab5f | aa55a20 | Change | | :------ | :------: | :------: | :------: | | clausify/formula1 | 3.116 ms | 3.057 ms | -1.9% | | clausify/formula2 | 4.174 ms | 4.088 ms | -2.1% | | clausify/formula3 | 11.43 ms | 11.19 ms | -2.1% | | clausify/formula4 | 26.19 ms | 25.74 ms | -1.7% | | clausify/formula5 | 55.40 ms | 54.18 ms | -2.2% | | knights/4x4 | 17.94 ms | 17.74 ms | -1.1% | | knights/6x6 | 47.11 ms | 46.62 ms | -1.0% | | knights/8x8 | 82.55 ms | 81.64 ms | -1.1% | | primetest/05digits | 10.56 ms | 10.39 ms | -1.6% | | primetest/08digits | 16.82 ms | 16.83 ms | +0.1% | | primetest/10digits | 20.29 ms | 20.30 ms | +0.0% | | primetest/20digits | 40.31 ms | 40.08 ms | -0.6% | | primetest/30digits | 62.21 ms | 61.95 ms | -0.4% | | primetest/40digits | 83.77 ms | 84.22 ms | +0.5% | | primetest/50digits | 102.4 ms | 102.1 ms | -0.3% | | queens4x4/bt | 5.342 ms | 5.375 ms | +0.6% | | queens4x4/bm | 6.788 ms | 6.795 ms | +0.1% | | queens4x4/bjbt1 | 6.505 ms | 6.548 ms | +0.7% | | queens4x4/bjbt2 | 6.098 ms | 6.113 ms | +0.2% | | queens4x4/fc | 13.73 ms | 13.76 ms | +0.2% | | queens5x5/bt | 72.42 ms | 72.87 ms | +0.6% | | queens5x5/bm | 76.28 ms | 76.34 ms | +0.1% | | queens5x5/bjbt1 | 85.56 ms | 85.31 ms | -0.3% | | queens5x5/bjbt2 | 83.89 ms | 82.73 ms | -1.4% | | queens5x5/fc | 177.8 ms | 174.3 ms | -2.0% | | | | | | | TOTAL | 1.119 s | 1.110 s | -0.8% |
effectfully commented 2 months ago

Not worth it.