leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/9099ce59-5006-4622-9183-b97b314fd27e) for commit d7426a830e3b8d3d17db817530673803abcb0f8f.Found no runs to compare against.

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/7a5ad894-3340-475b-9886-904fc03bb09e) for commit 4783d35d3fba6eda1fddb2d8906b9d25ccdcb0b1.Found no runs to compare against.

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/983151d2-e846-4e5e-a3a8-378f9179731b) for commit 551b19ac5b24349df8eff1b7f2fb5ac48e8f78c4.Found no runs to compare against.

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/30ef625b-ca7c-4041-8c14-b0268881d8ec) for commit 34634b63282b3595990f89bee60528061f7128e7.Found no runs to compare against.

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/2a059797-5462-48ab-9571-c607863cacd7) for commit de7ce99557a83f349510fc5b98f8716ee04206d3. There were [significant changes](https://speed.lean-lang.org/lean4/compare/0bb1f818-ebc9-4fd4-b319-2074989addaa/to/2a059797-5462-48ab-9571-c607863cacd7) against commit b1a306cf696ead9724e9d3879885d4e119800fe6: ```diff Benchmark Metric Change ========================================================================= + bv_decide_large_aig.lean task-clock -11.1% (-115.8 σ) + bv_decide_large_aig.lean wall-clock -11.0%...

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/2a059797-5462-48ab-9571-c607863cacd7) for commit de7ce99557a83f349510fc5b98f8716ee04206d3. There were [significant changes](https://speed.lean-lang.org/lean4/compare/0bb1f818-ebc9-4fd4-b319-2074989addaa/to/2a059797-5462-48ab-9571-c607863cacd7) against commit b1a306cf696ead9724e9d3879885d4e119800fe6: ```diff Benchmark Metric Change ========================================================================= + bv_decide_large_aig.lean task-clock -11.1% (-115.8 σ) + bv_decide_large_aig.lean wall-clock -11.0%...

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/52ae3dce-7176-4e4e-a79d-a87cf641ed6d) for commit 4a707ff756edf06a7686c71c6a031a87d0904344. The entire run failed. Found no significant differences.

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/73bd28a2-a7ba-4915-9587-9715812b9f84) for commit 7423776a3b3808d4c1dcfbe7dbf2f9c5f5eb9fc9. There were [significant changes](https://speed.lean-lang.org/lean4/compare/0bb1f818-ebc9-4fd4-b319-2074989addaa/to/73bd28a2-a7ba-4915-9587-9715812b9f84) against commit b1a306cf696ead9724e9d3879885d4e119800fe6: ```diff Benchmark Metric Change ============================================================= - channel.lean bounded0_spsc 3.8% (26.5 σ) + stdlib grind canon...

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/a728bf4f-b069-4f28-ab7a-14cd344a2ed5) for commit 3c07c1b752ce17f300f12d5678a6f40df0bf6ea5. There were [significant changes](https://speed.lean-lang.org/lean4/compare/0bb1f818-ebc9-4fd4-b319-2074989addaa/to/a728bf4f-b069-4f28-ab7a-14cd344a2ed5) against commit b1a306cf696ead9724e9d3879885d4e119800fe6: ```diff Benchmark Metric Change ========================================================= + bv_decide_inequality.lean task-clock -4.0% (-22.6 σ) + bv_decide_inequality.lean wall-clock -4.0%...

Here are the [benchmark results](https://speed.lean-lang.org/lean4/run-detail/3a077e1f-79ac-4778-85c5-c71db542cd89) for commit aa82327492b46daeaa148065cda1f1b33963cfd7. There were [significant changes](https://speed.lean-lang.org/lean4/compare/ed6b7f32-1e40-4382-a6e7-0d823dc58f32/to/3a077e1f-79ac-4778-85c5-c71db542cd89) against commit fe1b40703131756bb6af786f4c2c131a09bf0a01: ```diff Benchmark Metric Change ========================================= + stdlib task-clock -1.3% (-39.2 σ) ```