This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Here is the ratio for each valid row calculated as **MLton1 / MLton0** (which measures the relative change from MLton0 to MLton1), followed by the overall geometric mean. Non-numeric rows (e.g., `* *`) have been excluded from the calculation. | |
| ### Individual Ratios | |
| | MLton0 | MLton1 | Ratio (MLton1 / MLton0) | | |
| | --- | --- | --- | | |
| | 31.07 | 31.01 | 0.9981 | | |
| | 25.11 | 25.16 | 1.0020 | | |
| | 32.54 | 32.61 | 1.0022 | | |
| | 21.22 | 20.11 | 0.9477 | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| MLton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy always -pre-flatten-resolve-policy local -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10 -pre-flatten-phase late -pre-flatten-transfer-policy tail_only | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 1.00 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Lton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy always -pre-flatten-resolve-policy local -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10 | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 1.00 | |
| boyer 1.00 0.93 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| MLton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy local -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10 | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 1.00 | |
| boyer 1.00 1.00 | |
| checksum 1.00 1.00 | |
| count-graphs 1.00 0.94 | |
| DLXSimulator 1.00 1.00 | |
| even-odd 1.00 0.99 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| MLton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10 | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 0.97 | |
| boyer 1.00 1.01 | |
| checksum 1.00 0.99 | |
| count-graphs 1.00 0.93 | |
| DLXSimulator 1.00 1.00 | |
| even-odd 1.00 1.00 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Lton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy con -pre-flatten-recursive-steps 10 -shallow-flatten-max-iters 1 | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 0.99 | |
| boyer 1.00 1.07 | |
| checksum 1.00 1.01 | |
| count-graphs 1.00 0.93 | |
| DLXSimulator 1.00 1.01 | |
| even-odd 1.00 1.00 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| MLton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy con -pre-flatten-post-steps shrink,flatten,shrink -pre-flatten-recursive-steps 10 -shallow-flatten-max-iters 1 | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 0.98 | |
| boyer 1.00 0.99 | |
| checksum 1.00 1.00 | |
| count-graphs 1.00 0.91 | |
| DLXSimulator 1.00 1.07 | |
| even-odd 1.00 0.99 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| MLton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy con -pre-flatten-post-steps shrink,flatten,shrink -pre-flatten-recursive-steps 10 | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 0.98 | |
| boyer 1.00 1.06 | |
| checksum 1.00 0.99 | |
| count-graphs 1.00 0.92 | |
| DLXSimulator 1.00 1.04 | |
| even-odd 1.00 1.00 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| MLton0 -- ../../build/bin/mlton | |
| MLton1 -- ../../build/bin/mlton -shallow-flatten-max-iters 1 | |
| run time ratio | |
| benchmark MLton0 MLton1 | |
| barnes-hut 1.00 1.01 | |
| boyer 1.00 1.01 | |
| checksum 1.00 1.00 | |
| count-graphs 1.00 1.00 | |
| DLXSimulator 1.00 1.00 | |
| even-odd 1.00 1.00 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* MLton [mpl] 20260406.124910-g78555d580-dirty *) | |
| (* control flags: *) | |
| (* align: 8 *) | |
| (* atMLtons: (@MLton, --) *) | |
| (* bounceRssaLimit: Some 8 *) | |
| (* bounceRssaLiveCutoff: Some 12 *) | |
| (* bounceRssaLoopCutoff: Some 40 *) | |
| (* bounceRssaUsageCutoff: Some 15 *) | |
| (* chunkBatch: 32768 *) | |
| (* chunkify: coalesce4096 *) |
NewerOlder