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

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

236 total
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-8%
25.6 ms27.9 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
78.3 ms83.6 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
350.4 µs342.3 µs
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
549.3 µs536.9 µs
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
291.4 ms285.7 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
35.6 ms35 ms
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
12.3 s12.2 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
76.7 ms76.7 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
41.1 ms41.1 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.5 s8.5 s
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
743.1 ms744.2 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
294.1 ms294.6 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
961.5 ms963.4 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.4 s5.4 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
625.8 ms627.9 ms
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
11 s11.1 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
1.8 s1.8 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
1.8 s1.8 s
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
601.2 ms608.1 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
8.6 ms8.7 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
9.3 s9.4 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
23.4 ms23.7 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
1.8 s1.8 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
37.8 ms38.5 ms

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