egraphs-good
egglog
BlogDocsChangelog

Compare Runs

Base
struct LazyMapOfIndexSet:
#708
MilkBlock:im_main
6 months ago
CPU SimulationWall Time
Head
struct LazyMapOfIndexSet:
#708
MilkBlock:im_main
6 months ago
CPU SimulationWall Time
CodSpeed Performance Gauge
-12%
Improvement
2
Regression
1
Untouched
207

Benchmarks

210 total
tests[map]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
795.7 µs900.4 µs
tests[eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+7%
2.4 ms2.2 ms
tests[looking_up_global]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
574.7 µs544.3 µs
tests[repro-define]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
1,003.1 µs973.9 µs
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
1.8 ms1.8 ms
tests[delete]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
646.7 µs631.3 µs
tests[repro-typechecking-schedule]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
336.8 µs329.4 µs
tests[type-constraints-tests]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
452.1 µs442.4 µs
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
3 s2.9 s
tests[looking_up_nonconstructor_in_rewrite_good]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
546.5 µs535.9 µs
tests[repro-empty-query]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
690 µs676.9 µs
tests[complex-merge-func]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.3 ms1.2 ms
tests[before-proofs]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
2.7 ms2.7 ms
tests[combined-nested]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.1 ms1.1 ms
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.6 ms1.6 ms
tests[unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.4 ms1.4 ms
tests[fusion]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
26.9 ms26.6 ms
tests[repro-noteqbug]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1 ms1 ms
tests[calc]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
9.4 ms9.3 ms
tests[eqsat-basic-multiset]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
5.3 ms5.3 ms
tests[combinators]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
21.9 ms21.6 ms
tests[stratified]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1.7 ms1.6 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
353.6 ms348.8 ms
tests[fibonacci-demand]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
3.3 ms3.2 ms
tests[i64]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
415.8 µs410.6 µs
© 2026 CodSpeed Technology
Home Terms Privacy Docs