egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Better subset representation with BitSet
#847
Comparing
better-subset
(
8183aa6
) with
reuse-indices
(
8fb58d2
)
CodSpeed Performance Gauge
-8%
Regression
2
Untouched
44
Skipped
190
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Regression
Untouched
Skipped
236 total
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-8%
25.6 ms
27.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
78.3 ms
83.6 ms
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%
350.4 µs
342.3 µs
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%
549.3 µs
536.9 µ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
+2%
291.4 ms
285.7 ms
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
+2%
35.6 ms
35 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
12.3 s
12.2 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
76.7 ms
76.7 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
Wall Time instrument
to collect wall time performance metrics.
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
743.1 ms
744.2 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
0%
294.1 ms
294.6 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%
961.5 ms
963.4 ms
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
0%
625.8 ms
627.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
11 s
11.1 s
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
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
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[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
601.2 ms
608.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
8.6 ms
8.7 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
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
23.4 ms
23.7 ms
Uses the
Wall Time instrument
to collect wall time 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_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
37.8 ms
38.5 ms
1
2
3
4
5
...
10
Commits
Click on a commit to change the comparison range
Base
reuse-indices
8fb58d2
-8.44%
aggressively use bitset
8183aa6
8 days ago
by yihozhang
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs