egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Better subset representation with BitSet
#847
Comparing
better-subset
(
1047c16
) with
reuse-indices
(
7cb7500
)
CodSpeed Performance Gauge
-7%
Regression
1
Untouched
43
Skipped
190
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Regression
Untouched
Skipped
234 total
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-7%
4.4 s
4.7 s
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%
36.3 ms
35.1 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
+2%
609.4 µs
598.9 µs
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
+2%
414.8 µs
408.2 µs
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%
289.5 ms
287.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
999.3 ms
992.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
12.6 s
12.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
83.4 ms
83.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
279.2 ms
279.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s
1.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
41.1 ms
41.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.5 s
8.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.4 s
5.4 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
647.1 ms
650.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
293.3 ms
294.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
8.7 ms
8.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
1.8 s
1.8 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
24.5 ms
24.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
26.6 ms
27 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
9.3 s
9.4 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
44.4 ms
45.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
11.5 s
11.7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
41 ms
41.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
1.8 s
1.8 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
85.2 ms
86.8 ms
1
2
3
4
5
...
10
Commits
Click on a commit to change the comparison range
Base
reuse-indices
7cb7500
-6.7%
aggressively use bitset
1047c16
2 days ago
by yihozhang
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs