Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

Tree decomposition

#785Merged
Comparing
yihozhang-decomp
(
9345f32
) with
main
(
b27cd22
)
CodSpeed Performance Gauge
-22%
Improvement
8
Regression
12
Untouched
20
New
6
Skipped
190

Benchmarks

236 total
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-22%
584.7 ms745.4 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-13%
35.7 ms40.8 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
22.1 ms25.2 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
532.7 ms607 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
20.4 ms23.2 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-10%
238.1 ms264.2 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-10%
34 ms37.6 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-9%
71.4 ms78.1 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-7%
10.7 ms11.6 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-7%
218.4 ms233.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
8.1 ms8.6 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
72 ms76.5 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+31%
23.3 ms17.8 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+22%
14.6 ms11.9 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+16%
2 s1.8 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+11%
387.1 µs347.9 µs
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+11%
694.7 ms626.9 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+8%
250.6 ms231.5 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+7%
5.3 s5 s
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
285.7 ms270.4 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A6.7 s
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A11.6 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A1.7 s
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A12.3 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A8.9 s

Commits

Click on a commit to change the comparison range
Base
main
b27cd22
-21.55%
nits
9345f32
11 days ago
by yihozhang
© 2026 CodSpeed Technology
Home Terms Privacy Docs