MilkBlock:im_main - Branch - egraphs-good/egglog

struct LazyMapOfIndexSet:

#708

Comparing

MilkBlock:im_main

(

8d6167d

) with

main

(

5678c6c

)

×2.9

Improvement: 2

Untouched: 18

Skipped: 190

Benchmarks

210 total

tests[repro-665-set-union]

benches/ci_benchmarking.rs

×2.9

1,031.8 ms358.1 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+44%

781.7 ms541 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+1%

1.5 s1.5 s

tests[typeinfer]

benches/ci_benchmarking.rs

+1%

323.4 ms321.6 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.9 ms8.9 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

99.9 ms99.8 ms

tests[cykjson]

benches/ci_benchmarking.rs

492.4 ms492.7 ms

tests[cykjson]

benches/ci_benchmarking.rs

331.2 ms331.5 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[herbie]

benches/ci_benchmarking.rs

287.6 ms288.7 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

136 ms136.5 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

12.8 ms12.9 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

-1%

9.1 s9.2 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

-1%

2.4 s2.5 s

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

263.9 ms266.1 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

8.5 s8.5 s

tests[herbie]

benches/ci_benchmarking.rs

-1%

259.6 ms261.8 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

8.3 s8.4 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

-1%

6.5 s6.6 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

-2%

2.6 s2.6 s

The benchmarks below were skipped, so their baseline results are used instead. If they were deleted in your codebase, archive them to remove them from the performance reports.
Learn more about archiving benchmarks

tests[array]

benches/ci_benchmarking.rs

Skipped

27.2 ms*

tests[bdd]

benches/ci_benchmarking.rs

Skipped

14.7 ms*

tests[print-function]

benches/ci_benchmarking.rs

Skipped

1.4 ms*

tests[bitwise]

benches/ci_benchmarking.rs

Skipped

930.2 µs*

tests[bool]

benches/ci_benchmarking.rs

Skipped

1.8 ms*

Commits

Click on a commit to change the comparison range

Base

main

5678c6c

×2.4

struct LazyMapOfIndexSet:

dc66571

6 months ago

by MineralSteins

support lazy remove

6d51fd5

6 months ago

by MineralSteins

+5.37%

with LAZY_BOUND

38a041d

6 months ago

by MineralSteins

+0.23%

nit

d10d939

6 months ago

by MineralSteins

×2.9

rename & clear empty set & swith impl to hashset

8d6167d

6 months ago

by MineralSteins

Home Terms Privacy Docs