rust-rule-benchmarking-tableaction-cache - Branch - MilkBlock/egglog

Rust rule benchmarking tableaction cache

Merging

rust-rule-benchmarking-tableaction-cache

into

rust-rule-benchmarking

N/A

New: 19

Benchmarks

19 total

tests[math-microbenchmark]

benches/ci_benchmarking.rs

N/A

N/A8.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

N/A

N/A5.6 s

tests[taylor51]

benches/ci_benchmarking.rs

N/A

N/A5.3 s

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

N/A

N/A36.6 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

N/A

N/A1.6 s

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

N/A

N/A296.7 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

N/A

N/A2 s

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

N/A

N/A623.7 µs

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

N/A

N/A253.1 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

N/A

N/A735.5 ms

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

N/A

N/A403.4 ms

tests[cykjson]

benches/ci_benchmarking.rs

N/A

N/A531.1 ms

tests[typeinfer]

benches/ci_benchmarking.rs

N/A

N/A239.5 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

N/A

N/A78.8 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

N/A

N/A23.2 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

N/A

N/A8.3 ms

tests[herbie]

benches/ci_benchmarking.rs

N/A

N/A253.5 ms

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

N/A

N/A41.5 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

N/A

N/A20.5 ms

Commits

Click on a commit to change the comparison range

No baseline data is yet availableOnce your main branch has generated a first performance report, you will see the list of commits and their performance impact here.

Home Terms Privacy Docs