MilkBlock:codex/math-microbench-pr - Branch - egraphs-good/egglog

[codex] fold math microbenchmark into rust_api_benchmarking

#846

Comparing

MilkBlock:codex/math-microbench-pr

(

c5d23e7

) with

main

(

21b99b6

)

Untouched: 38

Skipped: 190

Benchmarks

228 total

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

+1%

298 ms295.4 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

+1%

6.9 s6.9 s

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

+1%

38.7 ms38.6 ms

tests[typeinfer]

benches/ci_benchmarking.rs

275.1 ms273.8 ms

tests[herbie]

benches/ci_benchmarking.rs

289 ms287.6 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

275.4 ms274.2 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11 ms10.9 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

78.6 ms78.5 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

37.1 ms37 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

256.3 ms256.2 ms

tests[cykjson]

benches/ci_benchmarking.rs

365 ms364.9 ms

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s5.3 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

403.5 ms403.5 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

23.3 ms23.3 ms

tests[cykjson]

benches/ci_benchmarking.rs

531.3 ms531.3 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s5.6 s

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

39.6 ms39.6 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s2.1 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.2 ms8.2 ms

tests[typeinfer]

benches/ci_benchmarking.rs

239.2 ms239.3 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

21.4 ms21.4 ms

tests[taylor51]

benches/ci_benchmarking.rs

4.2 s4.2 s

tests[herbie]

benches/ci_benchmarking.rs

250.6 ms250.9 ms

Commits

Click on a commit to change the comparison range

Base

main

21b99b6

-0.37%

bench: fold math microbenchmark into rust_api_benchmarking

c5d23e7

5 days ago

by MilkBlock

Home Terms Privacy Docs