Proof optimization- consolidate proof and view/UF tables
#850Comparing
oflatt-proof-optimization
(ef00588
) withmain
(b27cd22
)+43%
- Improvement
- 6
- Untouched
- 34
- Skipped
- 190
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
230 total
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs+43%
238.1 ms165.9 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs+42%
218.4 ms153.6 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs+38%
34 ms24.6 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs+36%
35.7 ms26.2 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs+30%
20.4 ms15.7 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs+23%
22.1 ms18 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs+3%
387.1 µs377.4 µs
tests[herbie-tutorial]
benches/ci_benchmarking.rs+1%
10.7 ms10.6 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs+1%
1.9 s1.9 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs+1%
14.6 ms14.5 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
286.9 ms285.5 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs0%
31.1 ms31 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
4.3 s4.2 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs0%
559.3 µs558.7 µs
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
8.1 ms8.1 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
5.3 s5.3 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
71.4 ms71.4 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
5.3 s5.3 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
2 s2 s
tests[herbie]
benches/ci_benchmarking.rs0%
250.6 ms250.6 ms
tests[luminal-llama]
benches/ci_benchmarking.rs0%
532.7 ms532.6 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
402.4 ms402.4 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs0%
39.6 ms39.6 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs0%
23.3 ms23.3 ms
Commits
Click on a commit to change the comparison rangeBase
main
b27cd22
+43.49%
remove a parse flag
ef00588
4 days ago
by oflatt