oflatt-3mm - Branch - egraphs-good/egglog - CodSpeed

Blog Docs Changelog

Add eggcc 2mm test file

Comparing

oflatt-3mm

(

302b593

) with

main

(

21b99b6

)

0%

Untouched: 38

New: 2

Skipped: 190

Benchmarks

230 total

tests[eggcc-2mm]

benches/ci_benchmarking.rs

N/A

N/A17.7 s

tests[eggcc-2mm]

benches/ci_benchmarking.rs

N/A

N/A12.6 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+3%

1.1 s1 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

78.6 ms78 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

+1%

298 ms295.7 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

6.9 s6.9 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

0%

11 ms10.9 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

0%

14.5 ms14.5 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

0%

275.4 ms274.4 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

0%

287.4 ms286.5 ms

tests[typeinfer]

benches/ci_benchmarking.rs

0%

275.1 ms274.7 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

0%

37.1 ms37 ms

tests[taylor51]

benches/ci_benchmarking.rs

0%

5.3 s5.3 s

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

0%

256.3 ms256.2 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

0%

8.6 s8.6 s

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

0%

39.6 ms39.6 ms

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

0%

403.5 ms403.5 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

0%

622.2 µs622.2 µs

tests[cykjson]

benches/ci_benchmarking.rs

0%

531.3 ms531.3 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

2.1 s2.1 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

5.6 s5.6 s

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

0%

23.3 ms23.3 ms

tests[typeinfer]

benches/ci_benchmarking.rs

0%

239.2 ms239.3 ms

tests[herbie]

benches/ci_benchmarking.rs

0%

250.6 ms250.7 ms

tests[cykjson]

benches/ci_benchmarking.rs

0%

365 ms365.2 ms

Commits

Click on a commit to change the comparison range

Base

main

21b99b6

+0.09%

3mm egg file

0831aee

1 month ago

by oflatt

-0.09%

2mm is much faster

b43fce9

10 days ago

by oflatt

-5.68%

snapshot

1919730

10 days ago

by oflatt

+5.58%

don't run eggcc in parallel mode

302b593

8 days ago

by oflatt

© 2026 CodSpeed Technology

Home Terms Privacy Docs