Skip to content

[Builtins] Add an inlinable version of 'geq' #7323

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

[Builtins] Add an inlinable version of 'geq' #7323

wants to merge 4 commits into from
+83 −23

Conversation

effectfully
Copy link
Contributor

At long last I think I've finally discovered a way to create an inlinable version of geq.

Previous attempts: #4462, #4463, #5061, #6352.

@effectfully effectfully self-assigned this Sep 9, 2025
@effectfully
Copy link
Contributor Author

/benchmark lists

2 similar comments
@effectfully
Copy link
Contributor Author

/benchmark lists

@effectfully
Copy link
Contributor Author

/benchmark lists

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Sep 9, 2025

Click here to check the status of your benchmark.

@effectfully
Copy link
Contributor Author

/benchmark nofib

2 similar comments
@effectfully
Copy link
Contributor Author

/benchmark nofib

@effectfully
Copy link
Contributor Author

/benchmark nofib

@effectfully
Copy link
Contributor Author

/benchmark validation

1 similar comment
@effectfully
Copy link
Contributor Author

/benchmark validation

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Sep 9, 2025 •
edited
Loading

PR Preview Action v1.6.2

🚀 View preview at
https://IntersectMBO.github.io/plutus/pr-preview/pr-7323/

Built to branch gh-pages at 2025-09-18 06:20 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Sep 9, 2025

Comparing benchmark results of 'lists' on '354c1eaf71' (base) and 'da0c69d6eb' (PR)

Results table
Script 354c1ea da0c69d Change
sort/ghcSort/50 133.1 μs 134.3 μs +0.9%
sort/ghcSort/100 306.4 μs 310.6 μs +1.4%
sort/ghcSort/150 528.4 μs 535.5 μs +1.3%
sort/ghcSort/200 711.0 μs 717.9 μs +1.0%
sort/ghcSort/250 923.9 μs 935.3 μs +1.2%
sort/ghcSort/300 1.213 ms 1.225 ms +1.0%
sort/insertionSort/50 429.3 μs 433.1 μs +0.9%
sort/insertionSort/100 1.714 ms 1.724 ms +0.6%
sort/insertionSort/150 3.865 ms 3.885 ms +0.5%
sort/insertionSort/200 6.901 ms 6.950 ms +0.7%
sort/insertionSort/250 10.89 ms 10.90 ms +0.1%
sort/insertionSort/300 15.73 ms 15.81 ms +0.5%
sort/mergeSort/50 414.3 μs 424.2 μs +2.4%
sort/mergeSort/100 948.4 μs 968.9 μs +2.2%
sort/mergeSort/150 1.535 ms 1.566 ms +2.0%
sort/mergeSort/200 2.147 ms 2.196 ms +2.3%
sort/mergeSort/250 2.839 ms 2.893 ms +1.9%
sort/mergeSort/300 3.450 ms 3.527 ms +2.2%
sort/quickSort/50 1.043 ms 1.037 ms -0.6%
sort/quickSort/100 4.435 ms 4.418 ms -0.4%
sort/quickSort/150 10.13 ms 10.11 ms -0.2%
sort/quickSort/200 18.10 ms 17.98 ms -0.7%
sort/quickSort/250 28.43 ms 28.22 ms -0.7%
sort/quickSort/300 41.32 ms 40.95 ms -0.9%
sum/compiled-from-Haskell/sum-right-builtin/100 42.34 μs 42.56 μs +0.5%
sum/compiled-from-Haskell/sum-right-builtin/500 222.9 μs 224.6 μs +0.8%
sum/compiled-from-Haskell/sum-right-builtin/1000 482.1 μs 488.0 μs +1.2%
sum/compiled-from-Haskell/sum-right-builtin/2500 1.600 ms 1.621 ms +1.3%
sum/compiled-from-Haskell/sum-right-builtin/5000 3.866 ms 3.899 ms +0.9%
sum/compiled-from-Haskell/sum-right-Scott/100 43.34 μs 43.94 μs +1.4%
sum/compiled-from-Haskell/sum-right-Scott/500 232.9 μs 235.4 μs +1.1%
sum/compiled-from-Haskell/sum-right-Scott/1000 515.9 μs 520.7 μs +0.9%
sum/compiled-from-Haskell/sum-right-Scott/2500 1.848 ms 1.872 ms +1.3%
sum/compiled-from-Haskell/sum-right-Scott/5000 4.242 ms 4.295 ms +1.2%
sum/compiled-from-Haskell/sum-right-data/100 163.0 μs 158.9 μs -2.5%
sum/compiled-from-Haskell/sum-right-data/500 881.9 μs 864.2 μs -2.0%
sum/compiled-from-Haskell/sum-right-data/1000 2.055 ms 2.023 ms -1.6%
sum/compiled-from-Haskell/sum-right-data/2500 5.869 ms 5.777 ms -1.6%
sum/compiled-from-Haskell/sum-right-data/5000 12.89 ms 12.75 ms -1.1%
sum/compiled-from-Haskell/sum-left-builtin/100 41.37 μs 42.28 μs +2.2%
sum/compiled-from-Haskell/sum-left-builtin/500 218.2 μs 223.3 μs +2.3%
sum/compiled-from-Haskell/sum-left-builtin/1000 469.0 μs 478.7 μs +2.1%
sum/compiled-from-Haskell/sum-left-builtin/2500 1.507 ms 1.545 ms +2.5%
sum/compiled-from-Haskell/sum-left-builtin/5000 3.705 ms 3.780 ms +2.0%
sum/compiled-from-Haskell/sum-left-Scott/100 41.65 μs 42.89 μs +3.0%
sum/compiled-from-Haskell/sum-left-Scott/500 226.6 μs 232.8 μs +2.7%
sum/compiled-from-Haskell/sum-left-Scott/1000 500.5 μs 512.4 μs +2.4%
sum/compiled-from-Haskell/sum-left-Scott/2500 1.759 ms 1.798 ms +2.2%
sum/compiled-from-Haskell/sum-left-Scott/5000 4.188 ms 4.255 ms +1.6%
sum/compiled-from-Haskell/sum-left-data/100 163.0 μs 160.5 μs -1.5%
sum/compiled-from-Haskell/sum-left-data/500 875.6 μs 898.0 μs +2.6%
sum/compiled-from-Haskell/sum-left-data/1000 2.030 ms 2.038 ms +0.4%
sum/compiled-from-Haskell/sum-left-data/2500 5.829 ms 5.805 ms -0.4%
sum/compiled-from-Haskell/sum-left-data/5000 12.40 ms 12.29 ms -0.9%
sum/hand-written-PLC/sum-right-builtin/100 81.71 μs 76.15 μs -6.8%
sum/hand-written-PLC/sum-right-builtin/500 419.1 μs 392.3 μs -6.4%
sum/hand-written-PLC/sum-right-builtin/1000 867.6 μs 816.6 μs -5.9%
sum/hand-written-PLC/sum-right-builtin/2500 2.442 ms 2.312 ms -5.3%
sum/hand-written-PLC/sum-right-builtin/5000 5.134 ms 4.885 ms -4.9%
sum/hand-written-PLC/sum-right-Scott/100 34.16 μs 35.27 μs +3.2%
sum/hand-written-PLC/sum-right-Scott/500 191.1 μs 194.9 μs +2.0%
sum/hand-written-PLC/sum-right-Scott/1000 427.5 μs 435.5 μs +1.9%
sum/hand-written-PLC/sum-right-Scott/2500 1.528 ms 1.565 ms +2.4%
sum/hand-written-PLC/sum-right-Scott/5000 4.475 ms 4.572 ms +2.2%
sum/hand-written-PLC/sum-left-builtin/100 87.35 μs 80.57 μs -7.8%
sum/hand-written-PLC/sum-left-builtin/500 429.9 μs 395.3 μs -8.0%
sum/hand-written-PLC/sum-left-builtin/1000 857.9 μs 787.5 μs -8.2%
sum/hand-written-PLC/sum-left-builtin/2500 2.135 ms 1.953 ms -8.5%
sum/hand-written-PLC/sum-left-builtin/5000 4.263 ms 3.887 ms -8.8%
sum/hand-written-PLC/sum-left-Scott/100 38.65 μs 39.68 μs +2.7%
sum/hand-written-PLC/sum-left-Scott/500 214.2 μs 216.8 μs +1.2%
sum/hand-written-PLC/sum-left-Scott/1000 477.7 μs 488.0 μs +2.2%
sum/hand-written-PLC/sum-left-Scott/2500 1.760 ms 1.789 ms +1.6%
sum/hand-written-PLC/sum-left-Scott/5000 4.546 ms 4.607 ms +1.3%
354c1ea da0c69d Change
TOTAL 257.5 ms 256.3 ms -0.4%

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Sep 9, 2025

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'lists' on '354c1eaf71' (base) and 'da0c69d6eb' (PR)

Results table
Script 354c1ea da0c69d Change
sort/ghcSort/50 133.1 μs 134.1 μs +0.8%
sort/ghcSort/100 306.0 μs 309.7 μs +1.2%
sort/ghcSort/150 527.0 μs 534.0 μs +1.3%
sort/ghcSort/200 709.7 μs 717.4 μs +1.1%
sort/ghcSort/250 922.9 μs 934.4 μs +1.2%
sort/ghcSort/300 1.210 ms 1.224 ms +1.2%
sort/insertionSort/50 428.9 μs 432.4 μs +0.8%
sort/insertionSort/100 1.714 ms 1.723 ms +0.5%
sort/insertionSort/150 3.861 ms 3.881 ms +0.5%
sort/insertionSort/200 6.886 ms 6.957 ms +1.0%
sort/insertionSort/250 10.80 ms 10.90 ms +0.9%
sort/insertionSort/300 15.69 ms 15.74 ms +0.3%
sort/mergeSort/50 413.1 μs 425.3 μs +3.0%
sort/mergeSort/100 949.9 μs 973.6 μs +2.5%
sort/mergeSort/150 1.535 ms 1.574 ms +2.5%
sort/mergeSort/200 2.148 ms 2.199 ms +2.4%
sort/mergeSort/250 2.843 ms 2.903 ms +2.1%
sort/mergeSort/300 3.467 ms 3.531 ms +1.8%
sort/quickSort/50 1.044 ms 1.037 ms -0.7%
sort/quickSort/100 4.433 ms 4.404 ms -0.7%
sort/quickSort/150 10.11 ms 10.07 ms -0.4%
sort/quickSort/200 18.09 ms 18.05 ms -0.2%
sort/quickSort/250 28.47 ms 28.21 ms -0.9%
sort/quickSort/300 41.32 ms 41.19 ms -0.3%
sum/compiled-from-Haskell/sum-right-builtin/100 42.05 μs 42.46 μs +1.0%
sum/compiled-from-Haskell/sum-right-builtin/500 222.3 μs 224.0 μs +0.8%
sum/compiled-from-Haskell/sum-right-builtin/1000 481.9 μs 487.6 μs +1.2%
sum/compiled-from-Haskell/sum-right-builtin/2500 1.594 ms 1.625 ms +1.9%
sum/compiled-from-Haskell/sum-right-builtin/5000 3.881 ms 3.915 ms +0.9%
sum/compiled-from-Haskell/sum-right-Scott/100 43.44 μs 43.67 μs +0.5%
sum/compiled-from-Haskell/sum-right-Scott/500 232.7 μs 235.2 μs +1.1%
sum/compiled-from-Haskell/sum-right-Scott/1000 517.3 μs 519.9 μs +0.5%
sum/compiled-from-Haskell/sum-right-Scott/2500 1.848 ms 1.870 ms +1.2%
sum/compiled-from-Haskell/sum-right-Scott/5000 4.246 ms 4.285 ms +0.9%
sum/compiled-from-Haskell/sum-right-data/100 157.8 μs 158.6 μs +0.5%
sum/compiled-from-Haskell/sum-right-data/500 854.9 μs 858.1 μs +0.4%
sum/compiled-from-Haskell/sum-right-data/1000 2.003 ms 2.024 ms +1.0%
sum/compiled-from-Haskell/sum-right-data/2500 5.748 ms 5.800 ms +0.9%
sum/compiled-from-Haskell/sum-right-data/5000 12.61 ms 12.77 ms +1.3%
sum/compiled-from-Haskell/sum-left-builtin/100 41.31 μs 42.07 μs +1.8%
sum/compiled-from-Haskell/sum-left-builtin/500 218.0 μs 222.5 μs +2.1%
sum/compiled-from-Haskell/sum-left-builtin/1000 468.0 μs 479.0 μs +2.4%
sum/compiled-from-Haskell/sum-left-builtin/2500 1.504 ms 1.547 ms +2.9%
sum/compiled-from-Haskell/sum-left-builtin/5000 3.705 ms 3.785 ms +2.2%
sum/compiled-from-Haskell/sum-left-Scott/100 41.66 μs 42.64 μs +2.4%
sum/compiled-from-Haskell/sum-left-Scott/500 226.8 μs 233.0 μs +2.7%
sum/compiled-from-Haskell/sum-left-Scott/1000 500.5 μs 511.7 μs +2.2%
sum/compiled-from-Haskell/sum-left-Scott/2500 1.759 ms 1.797 ms +2.2%
sum/compiled-from-Haskell/sum-left-Scott/5000 4.184 ms 4.268 ms +2.0%
sum/compiled-from-Haskell/sum-left-data/100 157.0 μs 160.5 μs +2.2%
sum/compiled-from-Haskell/sum-left-data/500 846.1 μs 865.8 μs +2.3%
sum/compiled-from-Haskell/sum-left-data/1000 1.956 ms 2.066 ms +5.6%
sum/compiled-from-Haskell/sum-left-data/2500 5.651 ms 5.829 ms +3.1%
sum/compiled-from-Haskell/sum-left-data/5000 12.00 ms 12.25 ms +2.1%
sum/hand-written-PLC/sum-right-builtin/100 76.42 μs 76.07 μs -0.5%
sum/hand-written-PLC/sum-right-builtin/500 393.2 μs 391.3 μs -0.5%
sum/hand-written-PLC/sum-right-builtin/1000 815.7 μs 816.3 μs +0.1%
sum/hand-written-PLC/sum-right-builtin/2500 2.309 ms 2.313 ms +0.2%
sum/hand-written-PLC/sum-right-builtin/5000 4.867 ms 4.881 ms +0.3%
sum/hand-written-PLC/sum-right-Scott/100 33.88 μs 35.07 μs +3.5%
sum/hand-written-PLC/sum-right-Scott/500 191.3 μs 194.0 μs +1.4%
sum/hand-written-PLC/sum-right-Scott/1000 426.2 μs 435.8 μs +2.3%
sum/hand-written-PLC/sum-right-Scott/2500 1.529 ms 1.563 ms +2.2%
sum/hand-written-PLC/sum-right-Scott/5000 4.463 ms 4.563 ms +2.2%
sum/hand-written-PLC/sum-left-builtin/100 82.19 μs 80.58 μs -2.0%
sum/hand-written-PLC/sum-left-builtin/500 403.8 μs 393.7 μs -2.5%
sum/hand-written-PLC/sum-left-builtin/1000 800.9 μs 785.4 μs -1.9%
sum/hand-written-PLC/sum-left-builtin/2500 1.981 ms 1.947 ms -1.7%
sum/hand-written-PLC/sum-left-builtin/5000 3.951 ms 3.870 ms -2.1%
sum/hand-written-PLC/sum-left-Scott/100 39.33 μs 39.55 μs +0.6%
sum/hand-written-PLC/sum-left-Scott/500 211.5 μs 215.8 μs +2.0%
sum/hand-written-PLC/sum-left-Scott/1000 476.8 μs 486.7 μs +2.1%
sum/hand-written-PLC/sum-left-Scott/2500 1.760 ms 1.787 ms +1.5%
sum/hand-written-PLC/sum-left-Scott/5000 4.564 ms 4.604 ms +0.9%
354c1ea da0c69d Change
TOTAL 255.1 ms 256.5 ms +0.5%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'lists' on '354c1eaf71' (base) and 'da0c69d6eb' (PR)

Results table
Script 354c1ea da0c69d Change
sort/ghcSort/50 133.6 μs 134.2 μs +0.4%
sort/ghcSort/100 309.5 μs 309.4 μs -0.0%
sort/ghcSort/150 530.8 μs 535.6 μs +0.9%
sort/ghcSort/200 713.8 μs 716.8 μs +0.4%
sort/ghcSort/250 926.7 μs 932.4 μs +0.6%
sort/ghcSort/300 1.214 ms 1.226 ms +1.0%
sort/insertionSort/50 432.6 μs 431.1 μs -0.3%
sort/insertionSort/100 1.740 ms 1.726 ms -0.8%
sort/insertionSort/150 3.896 ms 3.878 ms -0.5%
sort/insertionSort/200 6.949 ms 6.940 ms -0.1%
sort/insertionSort/250 10.85 ms 10.88 ms +0.3%
sort/insertionSort/300 15.80 ms 15.80 ms 0.0%
sort/mergeSort/50 417.9 μs 424.0 μs +1.5%
sort/mergeSort/100 959.5 μs 967.7 μs +0.9%
sort/mergeSort/150 1.545 ms 1.565 ms +1.3%
sort/mergeSort/200 2.163 ms 2.192 ms +1.3%
sort/mergeSort/250 2.868 ms 2.893 ms +0.9%
sort/mergeSort/300 3.482 ms 3.533 ms +1.5%
sort/quickSort/50 1.052 ms 1.034 ms -1.7%
sort/quickSort/100 4.466 ms 4.430 ms -0.8%
sort/quickSort/150 10.18 ms 10.07 ms -1.1%
sort/quickSort/200 18.21 ms 17.91 ms -1.6%
sort/quickSort/250 28.70 ms 28.13 ms -2.0%
sort/quickSort/300 41.68 ms 41.13 ms -1.3%
sum/compiled-from-Haskell/sum-right-builtin/100 42.55 μs 42.17 μs -0.9%
sum/compiled-from-Haskell/sum-right-builtin/500 224.1 μs 223.8 μs -0.1%
sum/compiled-from-Haskell/sum-right-builtin/1000 485.8 μs 484.2 μs -0.3%
sum/compiled-from-Haskell/sum-right-builtin/2500 1.616 ms 1.620 ms +0.2%
sum/compiled-from-Haskell/sum-right-builtin/5000 3.874 ms 3.897 ms +0.6%
sum/compiled-from-Haskell/sum-right-Scott/100 43.44 μs 43.74 μs +0.7%
sum/compiled-from-Haskell/sum-right-Scott/500 233.8 μs 235.0 μs +0.5%
sum/compiled-from-Haskell/sum-right-Scott/1000 516.9 μs 519.9 μs +0.6%
sum/compiled-from-Haskell/sum-right-Scott/2500 1.854 ms 1.867 ms +0.7%
sum/compiled-from-Haskell/sum-right-Scott/5000 4.244 ms 4.280 ms +0.8%
sum/compiled-from-Haskell/sum-right-data/100 158.1 μs 159.6 μs +0.9%
sum/compiled-from-Haskell/sum-right-data/500 859.5 μs 862.1 μs +0.3%
sum/compiled-from-Haskell/sum-right-data/1000 2.012 ms 2.026 ms +0.7%
sum/compiled-from-Haskell/sum-right-data/2500 5.751 ms 5.795 ms +0.8%
sum/compiled-from-Haskell/sum-right-data/5000 12.62 ms 12.76 ms +1.1%
sum/compiled-from-Haskell/sum-left-builtin/100 41.46 μs 42.01 μs +1.3%
sum/compiled-from-Haskell/sum-left-builtin/500 218.7 μs 222.3 μs +1.6%
sum/compiled-from-Haskell/sum-left-builtin/1000 470.8 μs 477.7 μs +1.5%
sum/compiled-from-Haskell/sum-left-builtin/2500 1.511 ms 1.542 ms +2.1%
sum/compiled-from-Haskell/sum-left-builtin/5000 3.713 ms 3.777 ms +1.7%
sum/compiled-from-Haskell/sum-left-Scott/100 41.83 μs 42.64 μs +1.9%
sum/compiled-from-Haskell/sum-left-Scott/500 227.5 μs 232.3 μs +2.1%
sum/compiled-from-Haskell/sum-left-Scott/1000 501.8 μs 511.7 μs +2.0%
sum/compiled-from-Haskell/sum-left-Scott/2500 1.764 ms 1.796 ms +1.8%
sum/compiled-from-Haskell/sum-left-Scott/5000 4.187 ms 4.258 ms +1.7%
sum/compiled-from-Haskell/sum-left-data/100 157.0 μs 160.3 μs +2.1%
sum/compiled-from-Haskell/sum-left-data/500 843.8 μs 869.0 μs +3.0%
sum/compiled-from-Haskell/sum-left-data/1000 1.980 ms 2.015 ms +1.8%
sum/compiled-from-Haskell/sum-left-data/2500 5.683 ms 5.807 ms +2.2%
sum/compiled-from-Haskell/sum-left-data/5000 12.08 ms 12.30 ms +1.8%
sum/hand-written-PLC/sum-right-builtin/100 77.07 μs 75.77 μs -1.7%
sum/hand-written-PLC/sum-right-builtin/500 394.7 μs 391.6 μs -0.8%
sum/hand-written-PLC/sum-right-builtin/1000 822.3 μs 814.8 μs -0.9%
sum/hand-written-PLC/sum-right-builtin/2500 2.332 ms 2.308 ms -1.0%
sum/hand-written-PLC/sum-right-builtin/5000 4.902 ms 4.867 ms -0.7%
sum/hand-written-PLC/sum-right-Scott/100 33.62 μs 35.14 μs +4.5%
sum/hand-written-PLC/sum-right-Scott/500 192.2 μs 193.9 μs +0.9%
sum/hand-written-PLC/sum-right-Scott/1000 428.8 μs 434.1 μs +1.2%
sum/hand-written-PLC/sum-right-Scott/2500 1.532 ms 1.561 ms +1.9%
sum/hand-written-PLC/sum-right-Scott/5000 4.474 ms 4.551 ms +1.7%
sum/hand-written-PLC/sum-left-builtin/100 82.05 μs 80.36 μs -2.1%
sum/hand-written-PLC/sum-left-builtin/500 404.6 μs 394.2 μs -2.6%
sum/hand-written-PLC/sum-left-builtin/1000 807.6 μs 785.5 μs -2.7%
sum/hand-written-PLC/sum-left-builtin/2500 1.993 ms 1.948 ms -2.3%
sum/hand-written-PLC/sum-left-builtin/5000 3.973 ms 3.872 ms -2.5%
sum/hand-written-PLC/sum-left-Scott/100 39.03 μs 39.47 μs +1.1%
sum/hand-written-PLC/sum-left-Scott/500 213.5 μs 215.3 μs +0.8%
sum/hand-written-PLC/sum-left-Scott/1000 483.2 μs 485.0 μs +0.4%
sum/hand-written-PLC/sum-left-Scott/2500 1.767 ms 1.784 ms +1.0%
sum/hand-written-PLC/sum-left-Scott/5000 4.577 ms 4.607 ms +0.7%
354c1ea da0c69d Change
TOTAL 256.7 ms 256.1 ms -0.2%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'nofib' on '354c1eaf71' (base) and 'da0c69d6eb' (PR)

Results table
Script 354c1ea da0c69d Change
clausify/formula1 1.993 ms 1.964 ms -1.5%
clausify/formula2 2.676 ms 2.644 ms -1.2%
clausify/formula3 7.357 ms 7.239 ms -1.6%
clausify/formula4 15.85 ms 15.68 ms -1.1%
clausify/formula5 35.51 ms 35.10 ms -1.2%
knights/4x4 11.63 ms 11.61 ms -0.2%
knights/6x6 27.65 ms 27.52 ms -0.5%
knights/8x8 47.65 ms 47.41 ms -0.5%
primetest/05digits 4.495 ms 4.537 ms +0.9%
primetest/10digits 8.966 ms 9.009 ms +0.5%
primetest/30digits 26.08 ms 26.19 ms +0.4%
primetest/50digits 42.23 ms 43.23 ms +2.4%
queens4x4/bt 3.459 ms 3.468 ms +0.3%
queens4x4/bm 4.502 ms 4.473 ms -0.6%
queens4x4/bjbt1 4.187 ms 4.206 ms +0.5%
queens4x4/bjbt2 3.914 ms 3.935 ms +0.5%
queens4x4/fc 8.729 ms 8.694 ms -0.4%
queens5x5/bt 47.01 ms 47.52 ms +1.1%
queens5x5/bm 52.56 ms 52.39 ms -0.3%
queens5x5/bjbt1 56.02 ms 56.45 ms +0.8%
queens5x5/bjbt2 54.06 ms 54.33 ms +0.5%
queens5x5/fc 110.4 ms 109.7 ms -0.6%
354c1ea da0c69d Change
TOTAL 576.9 ms 577.3 ms +0.1%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'nofib' on '354c1eaf71' (base) and 'da0c69d6eb' (PR)

Results table
Script 354c1ea da0c69d Change
clausify/formula1 1.979 ms 1.965 ms -0.7%
clausify/formula2 2.653 ms 2.653 ms 0.0%
clausify/formula3 7.279 ms 7.247 ms -0.4%
clausify/formula4 15.70 ms 15.74 ms +0.3%
clausify/formula5 35.18 ms 35.13 ms -0.1%
knights/4x4 11.51 ms 11.63 ms +1.0%
knights/6x6 27.39 ms 27.59 ms +0.7%
knights/8x8 47.25 ms 47.46 ms +0.4%
primetest/05digits 4.436 ms 4.529 ms +2.1%
primetest/10digits 8.812 ms 9.021 ms +2.4%
primetest/30digits 25.62 ms 26.20 ms +2.3%
primetest/50digits 41.74 ms 43.25 ms +3.6%
queens4x4/bt 3.417 ms 3.469 ms +1.5%
queens4x4/bm 4.466 ms 4.484 ms +0.4%
queens4x4/bjbt1 4.164 ms 4.207 ms +1.0%
queens4x4/bjbt2 3.886 ms 3.936 ms +1.3%
queens4x4/fc 8.663 ms 8.704 ms +0.5%
queens5x5/bt 46.58 ms 47.50 ms +2.0%
queens5x5/bm 52.11 ms 52.30 ms +0.4%
queens5x5/bjbt1 55.58 ms 56.39 ms +1.5%
queens5x5/bjbt2 53.80 ms 54.45 ms +1.2%
queens5x5/fc 109.6 ms 110.1 ms +0.5%
354c1ea da0c69d Change
TOTAL 571.8 ms 578.0 ms +1.1%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'nofib' on '354c1eaf71' (base) and 'da0c69d6eb' (PR)

Results table
Script 354c1ea da0c69d Change
clausify/formula1 1.991 ms 1.946 ms -2.3%
clausify/formula2 2.677 ms 2.621 ms -2.1%
clausify/formula3 7.349 ms 7.167 ms -2.5%
clausify/formula4 15.87 ms 15.55 ms -2.0%
clausify/formula5 35.55 ms 34.85 ms -2.0%
knights/4x4 11.62 ms 11.51 ms -0.9%
knights/6x6 27.60 ms 27.31 ms -1.1%
knights/8x8 47.68 ms 46.97 ms -1.5%
primetest/05digits 4.542 ms 4.471 ms -1.6%
primetest/10digits 9.063 ms 8.889 ms -1.9%
primetest/30digits 26.29 ms 25.85 ms -1.7%
primetest/50digits 42.42 ms 42.37 ms -0.1%
queens4x4/bt 3.447 ms 3.443 ms -0.1%
queens4x4/bm 4.496 ms 4.442 ms -1.2%
queens4x4/bjbt1 4.187 ms 4.173 ms -0.3%
queens4x4/bjbt2 3.915 ms 3.906 ms -0.2%
queens4x4/fc 8.729 ms 8.643 ms -1.0%
queens5x5/bt 47.04 ms 47.12 ms +0.2%
queens5x5/bm 52.57 ms 51.94 ms -1.2%
queens5x5/bjbt1 55.98 ms 55.97 ms -0.0%
queens5x5/bjbt2 53.93 ms 54.01 ms +0.1%
queens5x5/fc 110.2 ms 109.0 ms -1.1%
354c1ea da0c69d Change
TOTAL 577.1 ms 572.2 ms -0.9%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'validation' on '354c1eaf71' (base) and 'da0c69d6eb' (PR)

Results table
Script 354c1ea da0c69d Change
auction_1-1 163.6 μs 167.3 μs +2.3%
auction_1-2 529.3 μs 548.4 μs +3.6%
auction_1-3 525.4 μs 545.7 μs +3.9%
auction_1-4 210.6 μs 218.1 μs +3.6%
auction_2-1 162.9 μs 167.2 μs +2.6%
auction_2-2 528.1 μs 548.4 μs +3.8%
auction_2-3 684.5 μs 708.3 μs +3.5%
auction_2-4 526.5 μs 545.0 μs +3.5%
auction_2-5 210.9 μs 218.1 μs +3.4%
coop-1 224.7 μs 239.1 μs +6.4%
coop-2 705.0 μs 747.3 μs +6.0%
coop-3 1.947 ms 2.016 ms +3.5%
coop-4 875.1 μs 923.8 μs +5.6%
coop-5 382.7 μs 394.9 μs +3.2%
coop-6 661.0 μs 705.4 μs +6.7%
coop-7 319.4 μs 330.1 μs +3.4%
crowdfunding-success-1 190.8 μs 196.3 μs +2.9%
crowdfunding-success-2 189.3 μs 195.8 μs +3.4%
crowdfunding-success-3 190.7 μs 196.1 μs +2.8%
currency-1 209.4 μs 216.4 μs +3.3%
escrow-redeem_1-1 299.6 μs 312.0 μs +4.1%
escrow-redeem_1-2 300.1 μs 312.8 μs +4.2%
escrow-redeem_2-1 345.9 μs 365.4 μs +5.6%
escrow-redeem_2-2 344.8 μs 365.3 μs +5.9%
escrow-redeem_2-3 344.6 μs 366.4 μs +6.3%
escrow-refund-1 140.3 μs 145.7 μs +3.8%
future-increase-margin-1 208.9 μs 216.8 μs +3.8%
future-increase-margin-2 460.6 μs 473.5 μs +2.8%
future-increase-margin-3 455.0 μs 473.7 μs +4.1%
future-increase-margin-4 406.0 μs 431.6 μs +6.3%
future-increase-margin-5 689.3 μs 721.0 μs +4.6%
future-pay-out-1 208.6 μs 220.5 μs +5.7%
future-pay-out-2 455.2 μs 471.3 μs +3.5%
future-pay-out-3 455.9 μs 471.7 μs +3.5%
future-pay-out-4 688.9 μs 720.2 μs +4.5%
future-settle-early-1 209.1 μs 215.9 μs +3.3%
future-settle-early-2 455.4 μs 471.7 μs +3.6%
future-settle-early-3 454.7 μs 471.4 μs +3.7%
future-settle-early-4 523.8 μs 539.2 μs +2.9%
game-sm-success_1-1 325.6 μs 335.4 μs +3.0%
game-sm-success_1-2 181.8 μs 191.0 μs +5.1%
game-sm-success_1-3 531.3 μs 549.6 μs +3.4%
game-sm-success_1-4 211.6 μs 217.6 μs +2.8%
game-sm-success_2-1 324.3 μs 335.8 μs +3.5%
game-sm-success_2-2 184.1 μs 187.3 μs +1.7%
game-sm-success_2-3 533.1 μs 550.2 μs +3.2%
game-sm-success_2-4 211.6 μs 217.9 μs +3.0%
game-sm-success_2-5 534.3 μs 552.0 μs +3.3%
game-sm-success_2-6 211.0 μs 224.5 μs +6.4%
multisig-sm-01 333.3 μs 343.7 μs +3.1%
multisig-sm-02 326.0 μs 333.9 μs +2.4%
multisig-sm-03 329.3 μs 338.7 μs +2.9%
multisig-sm-04 337.3 μs 346.4 μs +2.7%
multisig-sm-05 464.2 μs 479.5 μs +3.3%
multisig-sm-06 332.5 μs 343.8 μs +3.4%
multisig-sm-07 326.0 μs 338.3 μs +3.8%
multisig-sm-08 330.9 μs 337.7 μs +2.1%
multisig-sm-09 332.9 μs 341.5 μs +2.6%
multisig-sm-10 465.0 μs 480.8 μs +3.4%
ping-pong-1 274.3 μs 289.1 μs +5.4%
ping-pong-2 273.2 μs 284.3 μs +4.1%
ping-pong_2-1 175.0 μs 181.6 μs +3.8%
prism-1 153.1 μs 161.8 μs +5.7%
prism-2 356.4 μs 365.2 μs +2.5%
prism-3 315.3 μs 326.6 μs +3.6%
pubkey-1 131.8 μs 134.7 μs +2.2%
stablecoin_1-1 800.8 μs 823.1 μs +2.8%
stablecoin_1-2 178.5 μs 183.6 μs +2.9%
stablecoin_1-3 919.0 μs 944.8 μs +2.8%
stablecoin_1-4 188.9 μs 194.9 μs +3.2%
stablecoin_1-5 1.160 ms 1.201 ms +3.5%
stablecoin_1-6 233.0 μs 240.9 μs +3.4%
stablecoin_2-1 796.4 μs 823.3 μs +3.4%
stablecoin_2-2 178.1 μs 188.8 μs +6.0%
stablecoin_2-3 917.1 μs 945.5 μs +3.1%
stablecoin_2-4 188.7 μs 195.8 μs +3.8%
token-account-1 164.0 μs 169.0 μs +3.0%
token-account-2 290.1 μs 298.8 μs +3.0%
uniswap-1 335.3 μs 348.1 μs +3.8%
uniswap-2 192.4 μs 199.4 μs +3.6%
uniswap-3 1.444 ms 1.491 ms +3.3%
uniswap-4 302.0 μs 308.1 μs +2.0%
uniswap-5 972.0 μs 998.5 μs +2.7%
uniswap-6 286.1 μs 294.2 μs +2.8%
vesting-1 296.8 μs 305.6 μs +3.0%
354c1ea da0c69d Change
TOTAL 35.23 ms 36.54 ms +3.7%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@effectfully
Copy link
Contributor Author

/benchmark validation

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'nofib' on '93010fe080' (base) and '9dd94440f1' (PR)

Results table
Script 93010fe 9dd9444 Change
clausify/formula1 1.970 ms 1.937 ms -1.7%
clausify/formula2 2.651 ms 2.608 ms -1.6%
clausify/formula3 7.252 ms 7.136 ms -1.6%
clausify/formula4 15.74 ms 15.63 ms -0.7%
clausify/formula5 35.09 ms 34.64 ms -1.3%
knights/4x4 11.58 ms 11.53 ms -0.4%
knights/6x6 27.92 ms 27.24 ms -2.4%
knights/8x8 48.32 ms 46.94 ms -2.9%
primetest/05digits 5.237 ms 5.122 ms -2.2%
primetest/10digits 10.35 ms 10.16 ms -1.8%
primetest/30digits 30.03 ms 29.41 ms -2.1%
primetest/50digits 48.68 ms 47.82 ms -1.8%
queens4x4/bt 3.477 ms 3.425 ms -1.5%
queens4x4/bm 4.480 ms 4.407 ms -1.6%
queens4x4/bjbt1 4.222 ms 4.160 ms -1.5%
queens4x4/bjbt2 3.947 ms 3.882 ms -1.6%
queens4x4/fc 8.699 ms 8.572 ms -1.5%
queens5x5/bt 47.37 ms 46.86 ms -1.1%
queens5x5/bm 52.33 ms 51.74 ms -1.1%
queens5x5/bjbt1 56.27 ms 55.63 ms -1.1%
queens5x5/bjbt2 54.25 ms 53.77 ms -0.9%
queens5x5/fc 109.5 ms 108.2 ms -1.2%
93010fe 9dd9444 Change
TOTAL 589.4 ms 580.8 ms -1.5%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@effectfully effectfully force-pushed the effectfully/builtins/add-an-inlinable-version-of-geq branch from 9dd9444 to 0d38a8a Compare September 23, 2025 14:03
@effectfully
Copy link
Contributor Author

/benchmark casing

2 similar comments
@effectfully
Copy link
Contributor Author

/benchmark casing

@effectfully
Copy link
Contributor Author

/benchmark casing

@effectfully
Copy link
Contributor Author

/benchmark marlowe

2 similar comments
@effectfully
Copy link
Contributor Author

/benchmark marlowe

@effectfully
Copy link
Contributor Author

/benchmark marlowe

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'casing' on 'fa40064e63' (base) and '0d38a8ad95' (PR)

Results table
Script fa40064 0d38a8a Change
casing/pairFstSnd/2000 556.0 μs 552.1 μs -0.7%
casing/pairFstSnd/4000 1.232 ms 1.226 ms -0.5%
casing/pairFstSnd/6000 2.068 ms 2.056 ms -0.6%
casing/pairFstSnd/8000 2.956 ms 2.944 ms -0.4%
casing/pairFstSnd/10000 3.929 ms 3.918 ms -0.3%
casing/pairFstSnd/12000 4.758 ms 4.733 ms -0.5%
casing/pairCasing/2000 370.5 μs 373.0 μs +0.7%
casing/pairCasing/4000 880.9 μs 887.9 μs +0.8%
casing/pairCasing/6000 1.585 ms 1.598 ms +0.8%
casing/pairCasing/8000 2.376 ms 2.389 ms +0.5%
casing/pairCasing/10000 3.246 ms 3.258 ms +0.4%
casing/pairCasing/12000 4.124 ms 4.133 ms +0.2%
casing/chooseUnit/2000 224.1 μs 222.7 μs -0.6%
casing/chooseUnit/4000 497.0 μs 494.5 μs -0.5%
casing/chooseUnit/6000 819.5 μs 813.0 μs -0.8%
casing/chooseUnit/8000 1.195 ms 1.189 ms -0.5%
casing/chooseUnit/10000 1.681 ms 1.678 ms -0.2%
casing/chooseUnit/12000 2.262 ms 2.247 ms -0.7%
casing/unitCasing/2000 48.44 μs 53.63 μs +10.7%
casing/unitCasing/4000 96.58 μs 103.5 μs +7.2%
casing/unitCasing/6000 144.4 μs 155.5 μs +7.7%
casing/unitCasing/8000 190.8 μs 210.9 μs +10.5%
casing/unitCasing/10000 240.3 μs 257.4 μs +7.1%
casing/unitCasing/12000 287.5 μs 318.2 μs +10.7%
casing/headList/2000 240.0 μs 240.9 μs +0.4%
casing/headList/4000 500.9 μs 499.3 μs -0.3%
casing/headList/6000 781.1 μs 779.8 μs -0.2%
casing/headList/8000 1.090 ms 1.090 ms 0.0%
casing/headList/10000 1.437 ms 1.436 ms -0.1%
casing/headList/12000 1.823 ms 1.826 ms +0.2%
casing/headListCasing/2000 175.8 μs 171.0 μs -2.7%
casing/headListCasing/4000 364.8 μs 367.2 μs +0.7%
casing/headListCasing/6000 592.7 μs 593.2 μs +0.1%
casing/headListCasing/8000 878.6 μs 866.9 μs -1.3%
casing/headListCasing/10000 1.206 ms 1.195 ms -0.9%
casing/headListCasing/12000 1.599 ms 1.574 ms -1.6%
casing/bool/2000 51.40 μs 51.34 μs -0.1%
casing/bool/4000 103.0 μs 103.0 μs 0.0%
casing/bool/6000 153.5 μs 151.4 μs -1.4%
casing/bool/8000 205.3 μs 196.0 μs -4.5%
casing/bool/10000 254.9 μs 251.2 μs -1.5%
casing/bool/12000 302.0 μs 311.4 μs +3.1%
casing/bool 50.87 μs 53.99 μs +6.1%
casing/bool 100.9 μs 106.5 μs +5.6%
casing/bool 151.0 μs 159.5 μs +5.6%
casing/bool 205.0 μs 211.9 μs +3.4%
casing/bool 251.6 μs 267.5 μs +6.3%
casing/bool 301.1 μs 314.2 μs +4.4%
casing/integer/2000 60.05 μs 61.67 μs +2.7%
casing/integer/4000 119.1 μs 121.9 μs +2.4%
casing/integer/6000 178.5 μs 184.5 μs +3.4%
casing/integer/8000 238.4 μs 244.3 μs +2.5%
casing/integer/10000 297.1 μs 299.5 μs +0.8%
casing/integer/12000 366.9 μs 370.1 μs +0.9%
casing/list/2000 136.4 μs 139.9 μs +2.6%
casing/list/4000 316.3 μs 324.8 μs +2.7%
casing/list/6000 526.1 μs 541.5 μs +2.9%
casing/list/8000 793.9 μs 811.5 μs +2.2%
casing/list/10000 1.139 ms 1.158 ms +1.7%
casing/list/12000 1.563 ms 1.596 ms +2.1%
casing/list 137.9 μs 139.8 μs +1.4%
casing/list 320.2 μs 321.8 μs +0.5%
casing/list 538.2 μs 543.0 μs +0.9%
casing/list 800.6 μs 807.8 μs +0.9%
casing/list 1.139 ms 1.154 ms +1.3%
casing/list 1.570 ms 1.583 ms +0.8%
fa40064 0d38a8a Change
TOTAL 58.83 ms 59.03 ms +0.3%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'casing' on 'fa40064e63' (base) and '0d38a8ad95' (PR)

Results table
Script fa40064 0d38a8a Change
casing/pairFstSnd/2000 559.5 μs 548.6 μs -1.9%
casing/pairFstSnd/4000 1.237 ms 1.217 ms -1.6%
casing/pairFstSnd/6000 2.076 ms 2.048 ms -1.3%
casing/pairFstSnd/8000 2.970 ms 2.935 ms -1.2%
casing/pairFstSnd/10000 3.933 ms 3.900 ms -0.8%
casing/pairFstSnd/12000 4.777 ms 4.734 ms -0.9%
casing/pairCasing/2000 374.6 μs 370.8 μs -1.0%
casing/pairCasing/4000 894.0 μs 890.9 μs -0.3%
casing/pairCasing/6000 1.606 ms 1.593 ms -0.8%
casing/pairCasing/8000 2.412 ms 2.383 ms -1.2%
casing/pairCasing/10000 3.278 ms 3.249 ms -0.9%
casing/pairCasing/12000 4.168 ms 4.146 ms -0.5%
casing/chooseUnit/2000 222.5 μs 222.2 μs -0.1%
casing/chooseUnit/4000 496.8 μs 493.5 μs -0.7%
casing/chooseUnit/6000 816.9 μs 812.1 μs -0.6%
casing/chooseUnit/8000 1.192 ms 1.191 ms -0.1%
casing/chooseUnit/10000 1.676 ms 1.676 ms 0.0%
casing/chooseUnit/12000 2.254 ms 2.253 ms -0.0%
casing/unitCasing/2000 52.60 μs 51.83 μs -1.5%
casing/unitCasing/4000 105.5 μs 103.1 μs -2.3%
casing/unitCasing/6000 158.0 μs 153.8 μs -2.7%
casing/unitCasing/8000 209.7 μs 205.7 μs -1.9%
casing/unitCasing/10000 263.4 μs 255.7 μs -2.9%
casing/unitCasing/12000 314.5 μs 307.5 μs -2.2%
casing/headList/2000 241.7 μs 239.7 μs -0.8%
casing/headList/4000 503.8 μs 498.7 μs -1.0%
casing/headList/6000 786.2 μs 779.1 μs -0.9%
casing/headList/8000 1.095 ms 1.083 ms -1.1%
casing/headList/10000 1.443 ms 1.432 ms -0.8%
casing/headList/12000 1.832 ms 1.825 ms -0.4%
casing/headListCasing/2000 170.1 μs 167.6 μs -1.5%
casing/headListCasing/4000 369.0 μs 363.4 μs -1.5%
casing/headListCasing/6000 596.4 μs 588.8 μs -1.3%
casing/headListCasing/8000 886.0 μs 861.2 μs -2.8%
casing/headListCasing/10000 1.230 ms 1.191 ms -3.2%
casing/headListCasing/12000 1.615 ms 1.559 ms -3.5%
casing/bool/2000 56.53 μs 48.91 μs -13.5%
casing/bool/4000 113.2 μs 101.0 μs -10.8%
casing/bool/6000 165.6 μs 150.8 μs -8.9%
casing/bool/8000 220.8 μs 200.4 μs -9.2%
casing/bool/10000 273.7 μs 253.8 μs -7.3%
casing/bool/12000 327.4 μs 296.3 μs -9.5%
casing/bool 55.12 μs 52.07 μs -5.5%
casing/bool 109.6 μs 107.6 μs -1.8%
casing/bool 164.2 μs 161.0 μs -1.9%
casing/bool 217.8 μs 208.8 μs -4.1%
casing/bool 273.1 μs 266.8 μs -2.3%
casing/bool 326.0 μs 319.5 μs -2.0%
casing/integer/2000 62.08 μs 61.20 μs -1.4%
casing/integer/4000 123.9 μs 121.4 μs -2.0%
casing/integer/6000 195.5 μs 180.8 μs -7.5%
casing/integer/8000 246.2 μs 235.9 μs -4.2%
casing/integer/10000 324.8 μs 297.8 μs -8.3%
casing/integer/12000 385.2 μs 368.3 μs -4.4%
casing/list/2000 140.3 μs 141.6 μs +0.9%
casing/list/4000 324.1 μs 324.1 μs 0.0%
casing/list/6000 541.3 μs 539.1 μs -0.4%
casing/list/8000 811.7 μs 809.3 μs -0.3%
casing/list/10000 1.160 ms 1.158 ms -0.2%
casing/list/12000 1.592 ms 1.585 ms -0.4%
casing/list 139.0 μs 139.0 μs 0.0%
casing/list 320.2 μs 320.3 μs +0.0%
casing/list 545.4 μs 539.1 μs -1.2%
casing/list 803.4 μs 807.1 μs +0.5%
casing/list 1.147 ms 1.149 ms +0.2%
casing/list 1.588 ms 1.577 ms -0.7%
fa40064 0d38a8a Change
TOTAL 59.57 ms 58.85 ms -1.2%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'casing' on 'fa40064e63' (base) and '0d38a8ad95' (PR)

Results table
Script fa40064 0d38a8a Change
casing/pairFstSnd/2000 559.0 μs 546.3 μs -2.3%
casing/pairFstSnd/4000 1.236 ms 1.211 ms -2.0%
casing/pairFstSnd/6000 2.076 ms 2.036 ms -1.9%
casing/pairFstSnd/8000 2.969 ms 2.922 ms -1.6%
casing/pairFstSnd/10000 3.933 ms 3.873 ms -1.5%
casing/pairFstSnd/12000 4.789 ms 4.702 ms -1.8%
casing/pairCasing/2000 376.1 μs 361.1 μs -4.0%
casing/pairCasing/4000 894.6 μs 868.4 μs -2.9%
casing/pairCasing/6000 1.608 ms 1.562 ms -2.9%
casing/pairCasing/8000 2.405 ms 2.352 ms -2.2%
casing/pairCasing/10000 3.283 ms 3.219 ms -1.9%
casing/pairCasing/12000 4.155 ms 4.078 ms -1.9%
casing/chooseUnit/2000 223.6 μs 220.6 μs -1.3%
casing/chooseUnit/4000 494.6 μs 494.3 μs -0.1%
casing/chooseUnit/6000 816.7 μs 810.7 μs -0.7%
casing/chooseUnit/8000 1.193 ms 1.189 ms -0.3%
casing/chooseUnit/10000 1.679 ms 1.678 ms -0.1%
casing/chooseUnit/12000 2.255 ms 2.254 ms -0.0%
casing/unitCasing/2000 52.89 μs 50.60 μs -4.3%
casing/unitCasing/4000 105.5 μs 100.00 μs -5.2%
casing/unitCasing/6000 158.1 μs 149.0 μs -5.8%
casing/unitCasing/8000 210.5 μs 200.1 μs -4.9%
casing/unitCasing/10000 263.0 μs 247.4 μs -5.9%
casing/unitCasing/12000 314.6 μs 296.8 μs -5.7%
casing/headList/2000 242.0 μs 238.0 μs -1.7%
casing/headList/4000 503.8 μs 495.7 μs -1.6%
casing/headList/6000 787.4 μs 774.7 μs -1.6%
casing/headList/8000 1.099 ms 1.080 ms -1.7%
casing/headList/10000 1.446 ms 1.427 ms -1.3%
casing/headList/12000 1.833 ms 1.813 ms -1.1%
casing/headListCasing/2000 172.8 μs 165.8 μs -4.1%
casing/headListCasing/4000 371.0 μs 357.7 μs -3.6%
casing/headListCasing/6000 597.5 μs 580.4 μs -2.9%
casing/headListCasing/8000 889.1 μs 849.0 μs -4.5%
casing/headListCasing/10000 1.228 ms 1.177 ms -4.2%
casing/headListCasing/12000 1.616 ms 1.548 ms -4.2%
casing/bool/2000 56.55 μs 48.63 μs -14.0%
casing/bool/4000 111.7 μs 99.19 μs -11.2%
casing/bool/6000 167.9 μs 146.9 μs -12.5%
casing/bool/8000 223.0 μs 194.7 μs -12.7%
casing/bool/10000 276.5 μs 244.6 μs -11.5%
casing/bool/12000 331.2 μs 293.5 μs -11.4%
casing/bool 54.84 μs 51.85 μs -5.5%
casing/bool 109.5 μs 103.5 μs -5.5%
casing/bool 166.4 μs 154.8 μs -7.0%
casing/bool 217.9 μs 205.2 μs -5.8%
casing/bool 273.3 μs 257.6 μs -5.7%
casing/bool 321.7 μs 308.1 μs -4.2%
casing/integer/2000 62.61 μs 60.80 μs -2.9%
casing/integer/4000 123.6 μs 120.6 μs -2.4%
casing/integer/6000 195.3 μs 181.4 μs -7.1%
casing/integer/8000 256.9 μs 240.1 μs -6.5%
casing/integer/10000 309.7 μs 300.1 μs -3.1%
casing/integer/12000 375.2 μs 362.3 μs -3.4%
casing/list/2000 144.0 μs 134.4 μs -6.7%
casing/list/4000 323.9 μs 314.1 μs -3.0%
casing/list/6000 541.3 μs 524.8 μs -3.0%
casing/list/8000 811.9 μs 787.9 μs -3.0%
casing/list/10000 1.161 ms 1.135 ms -2.2%
casing/list/12000 1.589 ms 1.563 ms -1.6%
casing/list 140.8 μs 136.0 μs -3.4%
casing/list 325.1 μs 314.9 μs -3.1%
casing/list 542.3 μs 532.5 μs -1.8%
casing/list 810.2 μs 795.0 μs -1.9%
casing/list 1.152 ms 1.136 ms -1.4%
casing/list 1.583 ms 1.561 ms -1.4%
fa40064 0d38a8a Change
TOTAL 59.59 ms 58.24 ms -2.3%

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@effectfully effectfully

Labels
Builtins Evaluation Performance
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@effectfully