Skip to content

Add Strict to nofib examples #7204

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 2 commits into
base: master
Choose a base branch
from
Open

Add Strict to nofib examples #7204

wants to merge 2 commits into from

Conversation

kwxm
Copy link
Contributor

@kwxm kwxm commented Jul 11, 2025

The nofib examples were written a number of years ago. We're now recommending that Plinth programs should use {-# LANGUAGE Strict #-} but they don't include it. I just want to see if that makes any difference.

@kwxm kwxm added Do not merge EXPERIMENT Experiments that we probably don't want to merge No Changelog Required Add this to skip the Changelog Check labels Jul 11, 2025
@kwxm kwxm temporarily deployed to github-pages July 11, 2025 19:57 — with GitHub Actions Inactive
@kwxm
Copy link
Contributor Author

kwxm commented Jul 11, 2025

/benchmark nofib

1 similar comment
@kwxm
Copy link
Contributor Author

kwxm commented Jul 11, 2025

/benchmark nofib

@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

github-actions bot commented Jul 11, 2025 •
edited
Loading

PR Preview Action v1.6.2

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

Built to branch gh-pages at 2025-07-11 21:18 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

@kwxm kwxm temporarily deployed to github-pages July 11, 2025 21:16 — with GitHub Actions Inactive
@kwxm
Copy link
Contributor Author

kwxm commented Jul 11, 2025

/benchmark nofib

1 similar comment
@kwxm
Copy link
Contributor Author

kwxm commented Jul 11, 2025

/benchmark nofib

@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 '56e0834ff' (base) and 'b92ae000b' (PR)

Results table
Script 56e0834 b92ae00 Change
clausify/formula1 2.013 ms 2.011 ms -0.1%
clausify/formula2 2.684 ms 2.690 ms +0.2%
clausify/formula3 7.429 ms 7.454 ms +0.3%
clausify/formula4 16.27 ms 16.30 ms +0.2%
clausify/formula5 35.99 ms 36.00 ms +0.0%
knights/4x4 11.96 ms 11.93 ms -0.3%
knights/6x6 28.27 ms 28.23 ms -0.1%
knights/8x8 48.41 ms 48.56 ms +0.3%
primetest/05digits 4.725 ms 4.733 ms +0.2%
primetest/10digits 9.371 ms 9.401 ms +0.3%
primetest/30digits 27.43 ms 27.44 ms +0.0%
primetest/50digits 44.73 ms 44.73 ms 0.0%
queens4x4/bt 3.464 ms 3.459 ms -0.1%
queens4x4/bm 4.393 ms 4.386 ms -0.2%
queens4x4/bjbt1 4.192 ms 4.182 ms -0.2%
queens4x4/bjbt2 3.922 ms 3.919 ms -0.1%
queens4x4/fc 8.679 ms 8.718 ms +0.4%
queens5x5/bt 47.12 ms 47.25 ms +0.3%
queens5x5/bm 50.90 ms 50.84 ms -0.1%
queens5x5/bjbt1 55.71 ms 55.71 ms 0.0%
queens5x5/bjbt2 53.16 ms 53.07 ms -0.2%
queens5x5/fc 109.8 ms 109.7 ms -0.1%
56e0834 b92ae00 Change
TOTAL 580.6 ms 580.7 ms +0.0%

@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 '56e0834ff' (base) and 'b92ae000b' (PR)

Results table
Script 56e0834 b92ae00 Change
clausify/formula1 1.994 ms 2.006 ms +0.6%
clausify/formula2 2.674 ms 2.690 ms +0.6%
clausify/formula3 7.405 ms 7.459 ms +0.7%
clausify/formula4 16.15 ms 16.24 ms +0.6%
clausify/formula5 35.77 ms 35.96 ms +0.5%
knights/4x4 11.81 ms 11.92 ms +0.9%
knights/6x6 27.91 ms 28.13 ms +0.8%
knights/8x8 48.09 ms 48.39 ms +0.6%
primetest/05digits 4.658 ms 4.720 ms +1.3%
primetest/10digits 9.248 ms 9.410 ms +1.8%
primetest/30digits 26.96 ms 27.47 ms +1.9%
primetest/50digits 43.87 ms 44.55 ms +1.6%
queens4x4/bt 3.429 ms 3.461 ms +0.9%
queens4x4/bm 4.358 ms 4.393 ms +0.8%
queens4x4/bjbt1 4.156 ms 4.188 ms +0.8%
queens4x4/bjbt2 3.886 ms 3.907 ms +0.5%
queens4x4/fc 8.632 ms 8.687 ms +0.6%
queens5x5/bt 46.79 ms 47.22 ms +0.9%
queens5x5/bm 50.58 ms 50.91 ms +0.7%
queens5x5/bjbt1 55.00 ms 55.61 ms +1.1%
queens5x5/bjbt2 52.67 ms 52.96 ms +0.6%
queens5x5/fc 108.7 ms 109.4 ms +0.6%
56e0834 b92ae00 Change
TOTAL 574.7 ms 579.7 ms +0.9%

@kwxm
Copy link
Contributor Author

kwxm commented Jul 12, 2025

/benchmark nofib

@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 '56e0834ff' (base) and 'b92ae000b' (PR)

Results table
Script 56e0834 b92ae00 Change
clausify/formula1 2.003 ms 2.019 ms +0.8%
clausify/formula2 2.676 ms 2.696 ms +0.7%
clausify/formula3 7.387 ms 7.459 ms +1.0%
clausify/formula4 16.13 ms 16.29 ms +1.0%
clausify/formula5 35.80 ms 35.99 ms +0.5%
knights/4x4 11.81 ms 11.96 ms +1.3%
knights/6x6 27.96 ms 28.19 ms +0.8%
knights/8x8 48.23 ms 48.58 ms +0.7%
primetest/05digits 4.692 ms 4.743 ms +1.1%
primetest/10digits 9.290 ms 9.394 ms +1.1%
primetest/30digits 27.10 ms 27.38 ms +1.0%
primetest/50digits 44.14 ms 44.55 ms +0.9%
queens4x4/bt 3.436 ms 3.467 ms +0.9%
queens4x4/bm 4.370 ms 4.400 ms +0.7%
queens4x4/bjbt1 4.154 ms 4.198 ms +1.1%
queens4x4/bjbt2 3.883 ms 3.925 ms +1.1%
queens4x4/fc 8.634 ms 8.706 ms +0.8%
queens5x5/bt 46.86 ms 47.36 ms +1.1%
queens5x5/bm 50.61 ms 51.12 ms +1.0%
queens5x5/bjbt1 55.25 ms 55.75 ms +0.9%
queens5x5/bjbt2 52.72 ms 53.01 ms +0.6%
queens5x5/fc 109.1 ms 110.0 ms +0.8%
56e0834 b92ae00 Change
TOTAL 576.2 ms 581.2 ms +0.9%

@kwxm
Copy link
Contributor Author

kwxm commented Jul 12, 2025

/benchmark nofib

@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 '56e0834ff' (base) and 'b92ae000b' (PR)

Results table
Script 56e0834 b92ae00 Change
clausify/formula1 2.019 ms 2.018 ms -0.0%
clausify/formula2 2.709 ms 2.688 ms -0.8%
clausify/formula3 7.474 ms 7.446 ms -0.4%
clausify/formula4 16.33 ms 16.29 ms -0.2%
clausify/formula5 36.08 ms 36.09 ms +0.0%
knights/4x4 11.98 ms 11.95 ms -0.3%
knights/6x6 28.24 ms 28.33 ms +0.3%
knights/8x8 48.49 ms 48.57 ms +0.2%
primetest/05digits 4.759 ms 4.740 ms -0.4%
primetest/10digits 9.412 ms 9.391 ms -0.2%
primetest/30digits 27.48 ms 27.45 ms -0.1%
primetest/50digits 44.73 ms 44.74 ms +0.0%
queens4x4/bt 3.483 ms 3.456 ms -0.8%
queens4x4/bm 4.415 ms 4.395 ms -0.5%
queens4x4/bjbt1 4.209 ms 4.193 ms -0.4%
queens4x4/bjbt2 3.931 ms 3.916 ms -0.4%
queens4x4/fc 8.732 ms 8.703 ms -0.3%
queens5x5/bt 47.28 ms 47.22 ms -0.1%
queens5x5/bm 51.09 ms 51.10 ms +0.0%
queens5x5/bjbt1 55.71 ms 55.71 ms 0.0%
queens5x5/bjbt2 53.32 ms 53.16 ms -0.3%
queens5x5/fc 110.1 ms 109.7 ms -0.4%
56e0834 b92ae00 Change
TOTAL 582.0 ms 581.3 ms -0.1%

@kwxm
Copy link
Contributor Author

kwxm commented Jul 12, 2025

/benchmark nofib

@github-actions GitHub Actions
Copy link
Contributor

Click here to check the status of your benchmark.

@kwxm
Copy link
Contributor Author

kwxm commented Jul 12, 2025

/benchmark nofib

@github-actions GitHub Actions
Copy link
Contributor

Comparing benchmark results of 'nofib' on '56e0834ff' (base) and 'b92ae000b' (PR)

Results table
Script 56e0834 b92ae00 Change
clausify/formula1 2.015 ms 2.118 ms +5.1%
clausify/formula2 2.694 ms 2.820 ms +4.7%
clausify/formula3 7.452 ms 7.796 ms +4.6%
clausify/formula4 16.31 ms 17.06 ms +4.6%
clausify/formula5 36.16 ms 37.79 ms +4.5%
knights/4x4 11.95 ms 12.48 ms +4.4%
knights/6x6 28.31 ms 29.67 ms +4.8%
knights/8x8 48.69 ms 51.01 ms +4.8%
primetest/05digits 4.761 ms 4.925 ms +3.4%
primetest/10digits 9.409 ms 9.740 ms +3.5%
primetest/30digits 27.50 ms 28.31 ms +2.9%
primetest/50digits 44.88 ms 46.15 ms +2.8%
queens4x4/bt 3.477 ms 3.596 ms +3.4%
queens4x4/bm 4.415 ms 4.590 ms +4.0%
queens4x4/bjbt1 4.210 ms 4.365 ms +3.7%
queens4x4/bjbt2 3.946 ms 4.085 ms +3.5%
queens4x4/fc 8.745 ms 9.098 ms +4.0%
queens5x5/bt 47.41 ms 49.28 ms +3.9%
queens5x5/bm 51.25 ms 53.17 ms +3.7%
queens5x5/bjbt1 55.81 ms 57.90 ms +3.7%
queens5x5/bjbt2 53.36 ms 55.29 ms +3.6%
queens5x5/fc 110.1 ms 115.1 ms +4.5%
56e0834 b92ae00 Change
TOTAL 582.9 ms 606.3 ms +4.0%

@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 '56e0834ff' (base) and 'b92ae000b' (PR)

Results table
Script 56e0834 b92ae00 Change
clausify/formula1 2.014 ms 2.012 ms -0.1%
clausify/formula2 2.698 ms 2.684 ms -0.5%
clausify/formula3 7.466 ms 7.417 ms -0.7%
clausify/formula4 16.32 ms 16.29 ms -0.2%
clausify/formula5 36.14 ms 35.97 ms -0.5%
knights/4x4 11.99 ms 11.91 ms -0.7%
knights/6x6 28.32 ms 28.17 ms -0.5%
knights/8x8 48.73 ms 48.42 ms -0.6%
primetest/05digits 4.759 ms 4.831 ms +1.5%
primetest/10digits 9.430 ms 9.612 ms +1.9%
primetest/30digits 27.56 ms 27.97 ms +1.5%
primetest/50digits 44.85 ms 45.57 ms +1.6%
queens4x4/bt 3.477 ms 3.445 ms -0.9%
queens4x4/bm 4.416 ms 4.393 ms -0.5%
queens4x4/bjbt1 4.208 ms 4.184 ms -0.6%
queens4x4/bjbt2 3.939 ms 3.911 ms -0.7%
queens4x4/fc 8.749 ms 8.701 ms -0.5%
queens5x5/bt 47.56 ms 47.21 ms -0.7%
queens5x5/bm 51.24 ms 51.05 ms -0.4%
queens5x5/bjbt1 55.88 ms 55.60 ms -0.5%
queens5x5/bjbt2 53.47 ms 53.06 ms -0.8%
queens5x5/fc 110.1 ms 109.8 ms -0.3%
56e0834 b92ae00 Change
TOTAL 583.3 ms 582.2 ms -0.2%

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Do not merge EXPERIMENT Experiments that we probably don't want to merge No Changelog Required Add this to skip the Changelog Check
Projects
None yet
Milestone
No milestone
Development

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