Cardinality-aware tree decomposition
#900Comparing
yihozhang-constant-fold-bound-vars
(63078fe
) withmain
(8c1c70b
)+6%
- Improvement
- 10
- Regression
- 5
- Untouched
- 10
- New
- 1
- Skipped
- 215
No successful run was found on main ( 36de434) during the generation of this report, so 8c1c70b was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.
Different runtime environments detected
Some benchmarks with significant performance changes were compared across different runtime environments, which may affect the accuracy of the results. Learn more about regression causes.Benchmarks
241 total
tests[herbie]
benches/ci_benchmarking.rs-30%
168.3 ms241 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs-12%
12.7 ms14.4 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs-8%
10 s10.8 s
tests[python_array_optimize]
benches/ci_benchmarking.rs-7%
1.5 s1.7 s
tests[typeinfer]
benches/ci_benchmarking.rs-5%
108.1 ms114.4 ms
tests[cykjson]
benches/ci_benchmarking.rs+62%
440.2 ms272.3 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs+38%
280.7 ms203.8 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs+15%
2.9 s2.6 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs+13%
1.5 s1.4 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs+12%
16.3 ms14.6 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs+10%
34.6 ms31.4 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs+9%
963.9 ms883.7 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs+9%
24.9 ms22.9 ms
tests[luminal-llama]
benches/ci_benchmarking.rs+6%
539.3 ms510.3 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs+5%
76.3 ms72.6 ms
tests[repro-herbie-vanilla]
benches/ci_benchmarking.rsN/A
N/A1.3 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs+4%
128.5 ms123.5 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs+3%
74.3 ms72 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.6 s1.6 s
tests[rectangle]
benches/ci_benchmarking.rs0%
12.1 s12.1 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8 s8 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs0%
627.6 ms627.1 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs0%
286.9 ms288.1 ms
tests[taylor51]
benches/ci_benchmarking.rs-3%
5.3 s5.4 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs-4%
8.4 ms8.8 ms
Commits
Click on a commit to change the comparison rangeBase
main
8c1c70b
+5.81%
factorized bindings for FusedIntersectMat
63078fe
16 hours ago
by yihozhang