fix bag merging during topological sort for tree decomposition
#880Comparing
yihozhang-fix-chain-decomp
(fba0708
) withmain
(629b0b2
)-90%
- Improvement
- 2
- Regression
- 2
- Untouched
- 46
- Skipped
- 190
Benchmarks
240 total
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs-99%
2.9 s349.9 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs-99%
2.4 s279.2 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs+11%
963.4 ms871.6 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs+9%
855.8 ms785 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs+4%
351.7 µs338 µs
tests[repro-665-set-union]
benches/ci_benchmarking.rs+3%
982.1 ms956 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs+1%
67.5 ms66.7 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs+1%
7.8 s7.7 s
tests[python_array_optimize]
benches/ci_benchmarking.rs+1%
1.6 s1.6 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs0%
7.7 ms7.6 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
209.5 ms208.5 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs0%
10 s9.9 s
tests[rectangle]
benches/ci_benchmarking.rs0%
10.9 s10.9 s
tests[cykjson]
benches/ci_benchmarking.rs0%
314.5 ms313.6 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.7 s1.7 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
79 ms78.9 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
24.5 ms24.4 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.6 s1.6 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs0%
539.6 µs539.2 µs
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
127.3 ms127.2 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
4.4 s4.4 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs0%
624.8 ms624.6 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
280.7 ms280.7 ms
tests[cykjson]
benches/ci_benchmarking.rs0%
440.1 ms440.1 ms
tests[typeinfer]
benches/ci_benchmarking.rs0%
107.5 ms107.5 ms
Commits
Click on a commit to change the comparison rangeBase
main
629b0b2
-90.33%
fix bag merging during topological sort for tree decomposition
fba0708
16 hours ago
by yihozhang