egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Tree decomposition
#785
Comparing
yihozhang-decomp
(
c77bfec
) with
main
(
afd5c07
)
CodSpeed Performance Gauge
-36%
Improvement
1
Regression
15
Untouched
12
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
Regression
Improvement
Untouched
Skipped
218 total
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-36%
253.9 ms
396 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-34%
289.4 ms
436 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-26%
239.8 ms
323.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-26%
274.3 ms
369.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-20%
7 s
8.7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-19%
5.6 s
6.9 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-13%
11 ms
12.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
8.3 ms
9.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
269.9 ms
307 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
37.8 ms
42.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-11%
36.5 ms
41 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-10%
253 ms
282.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-9%
20.5 ms
22.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-9%
21.4 ms
23.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-5%
9.2 s
9.7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
2 s
1.9 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
531.1 ms
513.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1 s
1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
733.1 ms
734.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
78.8 ms
79.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
78.3 ms
78.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
1.7 s
1.7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
5.3 s
5.4 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
4.2 s
4.3 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
370.1 ms
377.5 ms
1
2
3
4
5
...
9
Commits
Click on a commit to change the comparison range
Base
main
afd5c07
-79.22%
Refactor column-variable mapping and subquery_vars
e8abd0b
18 days ago
by yihozhang
+19.83%
nits
fddff5b
16 days ago
by yihozhang
+21.92%
local optimum
9467403
2 days ago
by yihozhang
+0.13%
nits
b567692
2 days ago
by yihozhang
+1.29%
clean up and remove AtomToBag
bf1b208
2 days ago
by yihozhang
-0.01%
remove bag
96097db
2 days ago
by yihozhang
+0.31%
used_in_rhs optimization
5da823b
2 days ago
by yihozhang
-0.11%
materialization is intersected 0 times
c77bfec
2 days ago
by yihozhang
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs