Run comparison - egraphs-good/egglog

Comparing commit dc66571 with commit 6d51fd5

CPU SimulationWall Time

Base run on MilkBlock:im_main at dc66571 ( pull_request) compared to MilkBlock:im_main at 6d51fd5 ( pull_request) from 3 months ago

-12%

Improvement: 2

Regression: 1

Untouched: 207

Benchmarks

210 total

tests[map]

benches/ci_benchmarking.rs

-12%

795.7 µs900.4 µs

tests[eqsat-basic]

benches/ci_benchmarking.rs

+7%

2.4 ms2.2 ms

tests[looking_up_global]

benches/ci_benchmarking.rs

+6%

574.7 µs544.3 µs

tests[repro-define]

benches/ci_benchmarking.rs

+3%

1,003.1 µs973.9 µs

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

+3%

1.8 ms1.8 ms

tests[delete]

benches/ci_benchmarking.rs

+2%

646.7 µs631.3 µs

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

+2%

336.8 µs329.4 µs

tests[type-constraints-tests]

benches/ci_benchmarking.rs

+2%

452.1 µs442.4 µs

tests[eggcc-extraction]

benches/ci_benchmarking.rs

+2%

3 s2.9 s

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

+2%

546.5 µs535.9 µs

tests[repro-empty-query]

benches/ci_benchmarking.rs

+2%

690 µs676.9 µs

tests[complex-merge-func]

benches/ci_benchmarking.rs

+2%

1.3 ms1.2 ms

tests[before-proofs]

benches/ci_benchmarking.rs

+2%

2.7 ms2.7 ms

tests[combined-nested]

benches/ci_benchmarking.rs

+2%

1.1 ms1.1 ms

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

+2%

1.6 ms1.6 ms

tests[unify]

benches/ci_benchmarking.rs

+2%

1.4 ms1.4 ms

tests[fusion]

benches/ci_benchmarking.rs

+1%

26.9 ms26.6 ms

tests[repro-noteqbug]

benches/ci_benchmarking.rs

+1%

1 ms1 ms

tests[calc]

benches/ci_benchmarking.rs

+1%

9.4 ms9.3 ms

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

+1%

5.3 ms5.3 ms

tests[combinators]

benches/ci_benchmarking.rs

+1%

21.9 ms21.6 ms

tests[stratified]

benches/ci_benchmarking.rs

+1%

1.7 ms1.6 ms

tests[typeinfer]

benches/ci_benchmarking.rs

+1%

353.6 ms348.8 ms

tests[fibonacci-demand]

benches/ci_benchmarking.rs

+1%

3.3 ms3.2 ms

tests[i64]

benches/ci_benchmarking.rs

+1%

415.8 µs410.6 µs

Home Terms Privacy Docs