egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Rebuild only when union find changes
#848
Comparing
oflatt-rebuild-on-read
(
f272189
) with
main
(
21b99b6
)
CodSpeed Performance Gauge
+17%
Improvement
10
Untouched
28
New
2
Skipped
190
Different runtime environments detected
Some benchmarks with significant performance changes were compared across different runtime environments, which may affect the accuracy of the results.
Learn more about regression causes
.
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Improvement
New
Untouched
Skipped
230 total
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+17%
256.3 ms
218.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+15%
275.4 ms
238.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+11%
622.2 µs
559.2 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
78.6 ms
71.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
37.1 ms
34 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
78.4 ms
72 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
239.2 ms
219.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
275.1 ms
253.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+7%
6.9 s
6.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
21.4 ms
20.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A
586.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A
532.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
1.1 s
1 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
23.2 ms
22.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+5%
412.5 µs
394.1 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+4%
5.6 s
5.3 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+4%
717 ms
692.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
38.7 ms
37.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+3%
31.5 ms
30.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
11 ms
10.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
8.2 ms
8.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
287.4 ms
283.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
289 ms
286 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
288.6 ms
286.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.1 s
2 s
1
2
3
4
5
...
10
Commits
Click on a commit to change the comparison range
Base
main
21b99b6
+0.01%
luminal llama benchmark
2fed87b
2 days ago
by oflatt
-0.08%
luminal in workflow
e489492
2 days ago
by oflatt
+17.39%
rebuild when uf changes optimization
da26d7c
2 days ago
by oflatt
-0.01%
snapshot
61ee4e9
2 days ago
by oflatt
0%
luminal test with schedule
935de4b
2 days ago
by oflatt
+0.01%
snapshot and comments
f272189
2 days ago
by oflatt
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs