MilkBlock:rust-rule-benchmarking - Branch - egraphs-good/egglog

Rust rule benchmarking

#828Merged

Comparing

MilkBlock:rust-rule-benchmarking

(

6ba107f

) with

main

(

8972a09

)

Untouched: 28

New: 10

Skipped: 190

Benchmarks

228 total

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

N/A

N/A286.3 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

N/A

N/A304 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

N/A

N/A21.1 ms

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

N/A

N/A637.1 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

N/A

N/A482.7 µs

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

N/A

N/A873 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

N/A

N/A305.7 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

N/A

N/A713.3 µs

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

N/A

N/A403.5 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

N/A

N/A32.4 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

+1%

1.9 s1.9 s

tests[taylor51]

benches/ci_benchmarking.rs

4.3 s4.3 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s1.7 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.1 s9.1 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

37.7 ms37.7 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.2 ms11.2 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

253 ms252.8 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

36.5 ms36.5 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2 s2 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

78.7 ms78.7 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[cykjson]

benches/ci_benchmarking.rs

531 ms531 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.3 ms8.3 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s5.6 s

Commits

Click on a commit to change the comparison range

Base

main

8972a09

-0.07%

Merge branch 'egraphs-good:main' into rust-rule-benchmarking

ed89e85

20 days ago

by MilkBlock

+0.06%

fib bench

b9b2bde

19 days ago

by MineralSteins

-0.07%

rename fib to rust_rule_fib & add to build.yml

34fa0c2

19 days ago

by MineralSteins

+0.02%

bench(rust_rule): add tableaction hot-path benchmark

50b48dc

18 days ago

by MineralSteins

+0.02%

bench(rust_rule): add insert-loop hot-path benchmark

53b15c4

18 days ago

by MineralSteins

-0.21%

bench(rust_rule): fix hot-path benches (no read-after-write)

caaae86

18 days ago

by MineralSteins

+0.22%

bench(rust_rule): restore match_overhead benches

b838bea

17 days ago

by MineralSteins

-0.19%

add new bench to build.yml

6ba107f

17 days ago

by MineralSteins

Home Terms Privacy Docs