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

Tree decomposition

#785
Comparing
yihozhang-decomp
(
7ca8ee8
) with
main
(
21bd8c6
)
CodSpeed Performance Gauge
-12%
Improvement
8
Regression
10
Untouched
20
New
6
Skipped
190

Benchmarks

234 total
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
38.8 ms44.1 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
23.4 ms*26.6 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-11%
21.5 ms24.3 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-10%
274.7 ms*304.6 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-9%
37.3 ms40.9 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-9%
78.4 ms*85.8 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
257.2 ms273.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
8.3 ms8.8 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-5%
78.8 ms83.2 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-5%
287.1 ms*303.1 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+18%
32.4 ms27.3 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+14%
2.1 s1.8 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+13%
21.1 ms*18.7 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+13%
733.4 ms651.2 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+8%
253.7 ms235 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+7%
464.2 µs*434.9 µs
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
5.6 s5.3 s
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
288.2 ms273 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A20.8 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A26.1 s
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A12.6 s
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A11.5 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A3 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A3.2 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+4%
713.5 µs*684.6 µs

Commits

Click on a commit to change the comparison range
Base
main
21bd8c6
-25.27%
Fix concurrent insertion into materialization. nits
62240e2
16 days ago
by yihozhang
+2.24%
fix test
b6b100e
16 days ago
by yihozhang
-4.1%
fix nits
e8b1246
16 days ago
by yihozhang
+12.25%
Merge branch 'main' into yihozhang-decomp
7e8fdb1
4 days ago
by yihozhang
+1.11%
cleanup
13d40b2
4 days ago
by yihozhang
0%
Eliminate ear bags
ea417e3
2 days ago
by yihozhang
-6.4%
an EVEN BETTER heuristics??
4a64919
2 days ago
by yihozhang
+3.85%
clean up and a better way to count ears
bcd6b13
2 days ago
by yihozhang
-1.47%
add two tests
033a70d
1 day ago
by yihozhang
+5.67%
nits and cleanup
f45ba11
1 day ago
by yihozhang
-4.12%
add benchmarks
816131a
1 day ago
by yihozhang
+3.81%
rename snapshot
38b3fc3
1 day ago
by yihozhang
+0.37%
sort_plan_by_size is where the slowdown is from
7ca8ee8
14 hours ago
by yihozhang
© 2026 CodSpeed Technology
Home Terms Privacy Docs