Better subset representation with BitSet
#847Comparing
better-subset
(7aeb1f6
) withreuse-indices
(8fb58d2
)-5%
- Regression
- 1
- Untouched
- 45
- Skipped
- 190
Benchmarks
236 total
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs-5%
14 ms14.8 ms
tests[typeinfer]
benches/ci_benchmarking.rs-5%
272.6 ms285.6 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs-4%
340.3 ms354.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs-4%
223.4 ms232.1 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs-4%
1.6 s1.6 s
tests[python_array_optimize]
benches/ci_benchmarking.rs-3%
5 s5.2 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs-3%
6.1 s6.3 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs-3%
19.1 ms19.8 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs-3%
6.8 s7.1 s
tests[taylor51]
benches/ci_benchmarking.rs-3%
4.4 s4.6 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs-3%
350.4 µs360.3 µs
tests[cykjson]
benches/ci_benchmarking.rs-3%
542.4 ms557.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs-3%
11.4 ms11.8 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs-3%
275.8 ms283.1 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs-2%
419 ms429.8 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs-2%
238.7 ms244.3 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs-2%
25.6 ms26.2 ms
tests[herbie]
benches/ci_benchmarking.rs-2%
228 ms232.9 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs-2%
5.1 s5.2 s
tests[cykjson]
benches/ci_benchmarking.rs-2%
421.3 ms429.9 ms
tests[herbie]
benches/ci_benchmarking.rs-2%
273.4 ms278.8 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs-2%
37.8 ms38.5 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs-2%
1.8 s1.8 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs-2%
78.3 ms79.7 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs-2%
1.6 s1.6 s
Commits
Click on a commit to change the comparison rangeBase
reuse-indices
8fb58d2
-8.44%
aggressively use bitset
8183aa6
3 months ago
by yihozhang+3.21%
correct time to convert from bitvec to sparse
7aeb1f6
2 months ago
by yihozhang