MilkBlock:im_main - Branch - egraphs-good/egglog

struct LazyMapOfIndexSet:

#708

Comparing

MilkBlock:im_main

(

d10d939

) with

main

(

b066a52

)

-5%

Improvements: 6

Regressions: 1

Untouched: 203

Benchmarks

Failed

tests[string_quotes]

benches/ci_benchmarking.rs

Regression

-5%

459.1 µs484.7 µs

Improved

tests[repro-665-set-union]

benches/ci_benchmarking.rs

×2.4

1,150.3 ms485.5 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+39%

817.1 ms587.8 ms

tests[interval]

benches/ci_benchmarking.rs

+28%

3.3 ms2.6 ms

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

+28%

704.8 µs551 µs

tests[delete]

benches/ci_benchmarking.rs

+6%

685.9 µs646.2 µs

tests[repro-equal-constant]

benches/ci_benchmarking.rs

+5%

648.4 µs615.2 µs

Passed

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

+4%

925.7 µs886.6 µs

tests[i64]

benches/ci_benchmarking.rs

+4%

333.6 µs321 µs

tests[repro-querybug2]

benches/ci_benchmarking.rs

+3%

887.3 µs859.7 µs

tests[print-function]

benches/ci_benchmarking.rs

+3%

2.7 ms2.6 ms

tests[include]

benches/ci_benchmarking.rs

+2%

1.9 ms1.8 ms

tests[bool]

benches/ci_benchmarking.rs

+2%

2.3 ms2.2 ms

tests[intersection]

benches/ci_benchmarking.rs

+2%

4.9 ms4.8 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

+2%

8.9 s8.8 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+2%

1.6 s1.6 s

tests[before-proofs]

benches/ci_benchmarking.rs

+2%

2.7 ms2.7 ms

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

+2%

671.3 µs659.5 µs

tests[looking_up_global]

benches/ci_benchmarking.rs

+2%

549.1 µs539.5 µs

tests[test-combined]

benches/ci_benchmarking.rs

+2%

2.1 ms2.1 ms

tests[bignum]

benches/ci_benchmarking.rs

+2%

1.1 ms1.1 ms

tests[delete]

benches/ci_benchmarking.rs

+2%

670.1 µs659.7 µs

tests[combined-nested]

benches/ci_benchmarking.rs

+2%

1.1 ms1.1 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

+2%

2.3 ms2.3 ms

tests[birewrite]

benches/ci_benchmarking.rs

+1%

2.5 ms2.5 ms

tests[subsume-relation]

benches/ci_benchmarking.rs

+1%

1.4 ms1.4 ms

tests[repro-unsound]

benches/ci_benchmarking.rs

+1%

317.6 ms313.4 ms

tests[tricky-type-checking]

benches/ci_benchmarking.rs

+1%

15.1 ms14.9 ms

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

+1%

1.6 ms1.6 ms

tests[type-constraints-tests]

benches/ci_benchmarking.rs

+1%

580.8 µs574.1 µs

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

+1%

1 ms1 ms

tests[repro-querybug4]

benches/ci_benchmarking.rs

+1%

796.3 µs787.7 µs

tests[primitives]

benches/ci_benchmarking.rs

+1%

747.7 µs739.9 µs

tests[repro-querybug]

benches/ci_benchmarking.rs

+1%

1.1 ms1.1 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

+1%

2 ms1.9 ms

tests[repro-primitive-query]

benches/ci_benchmarking.rs

+1%

836.8 µs829.8 µs

tests[typeinfer]

benches/ci_benchmarking.rs

+1%

354.6 ms351.7 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

+1%

431.8 µs428.5 µs

tests[bignum]

benches/ci_benchmarking.rs

+1%

1.1 ms1.1 ms

tests[vec]

benches/ci_benchmarking.rs

+1%

2.4 ms2.4 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

+1%

849.6 µs843.6 µs

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

+1%

544.2 µs540.4 µs

tests[repro-desugar-143]

benches/ci_benchmarking.rs

+1%

13.1 ms13.1 ms

tests[complex-merge-prim]

benches/ci_benchmarking.rs

+1%

904.9 µs898.9 µs

tests[eggcc-extraction]

benches/ci_benchmarking.rs

+1%

2.9 s2.9 s

tests[f64]

benches/ci_benchmarking.rs

+1%

1.4 ms1.4 ms

tests[repro-noteqbug]

benches/ci_benchmarking.rs

+1%

917.9 µs912.8 µs

tests[looking_up_global]

benches/ci_benchmarking.rs

+1%

567.7 µs564.8 µs

tests[fibonacci]

benches/ci_benchmarking.rs

1.4 ms1.4 ms

tests[stratified]

benches/ci_benchmarking.rs

1.2 ms1.2 ms

tests[lambda]

benches/ci_benchmarking.rs

110.7 ms110.2 ms

tests[map]

benches/ci_benchmarking.rs

789 µs785.6 µs

tests[subsume]

benches/ci_benchmarking.rs

1.7 ms1.7 ms

tests[antiunify]

benches/ci_benchmarking.rs

3.1 ms3.1 ms

tests[knapsack]

benches/ci_benchmarking.rs

11.1 ms11 ms

tests[list]

benches/ci_benchmarking.rs

7 ms7 ms

tests[looking_up_nonconstructor_in_rewrite_good]

benches/ci_benchmarking.rs

641 µs638.8 µs

tests[test-combined-steps]

benches/ci_benchmarking.rs

5.5 ms5.5 ms

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

708.7 µs706.4 µs

tests[f64]

benches/ci_benchmarking.rs

1.4 ms1.4 ms

tests[set]

benches/ci_benchmarking.rs

3.6 ms3.6 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

145.5 ms145.1 ms

tests[interval]

benches/ci_benchmarking.rs

2 ms2 ms

tests[print-function]

benches/ci_benchmarking.rs

1.4 ms1.4 ms

tests[path]

benches/ci_benchmarking.rs

1.3 ms1.2 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

9.3 ms9.3 ms

tests[until]

benches/ci_benchmarking.rs

4.5 ms4.5 ms

tests[container-rebuild]

benches/ci_benchmarking.rs

5.3 ms5.3 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

7.5 s7.5 s

tests[prims]

benches/ci_benchmarking.rs

4 ms4 ms

tests[matrix]

benches/ci_benchmarking.rs

13.9 ms13.9 ms

tests[birewrite]

benches/ci_benchmarking.rs

1.9 ms1.9 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

28.6 ms28.6 ms

tests[naturals]

benches/ci_benchmarking.rs

3.5 ms3.5 ms

tests[bdd]

benches/ci_benchmarking.rs

17.9 ms17.8 ms

tests[string_quotes]

benches/ci_benchmarking.rs

500.9 µs500 µs

tests[rw-analysis]

benches/ci_benchmarking.rs

36 ms35.9 ms

tests[intersection]

benches/ci_benchmarking.rs

2.9 ms2.9 ms

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

3.4 ms3.4 ms

tests[combinators]

benches/ci_benchmarking.rs

21.9 ms21.8 ms

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

5.3 ms5.3 ms

tests[repro-equal-constant]

benches/ci_benchmarking.rs

697.7 µs696.8 µs

tests[bitwise]

benches/ci_benchmarking.rs

915.3 µs914.2 µs

tests[unstable-fn]

benches/ci_benchmarking.rs

6.6 ms6.6 ms

tests[calc]

benches/ci_benchmarking.rs

6.1 ms6.1 ms

tests[test-combined-steps]

benches/ci_benchmarking.rs

3.1 ms3.1 ms

tests[cyk]

benches/ci_benchmarking.rs

27.5 ms27.5 ms

tests[rat-pow-eval]

benches/ci_benchmarking.rs

4.8 ms4.8 ms

tests[rat-pow-eval]

benches/ci_benchmarking.rs

3.8 ms3.8 ms

tests[subsume-relation]

benches/ci_benchmarking.rs

1 ms1 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

100.1 ms100 ms

tests[bool]

benches/ci_benchmarking.rs

1.8 ms1.8 ms

tests[vec]

benches/ci_benchmarking.rs

1.9 ms1.9 ms

tests[list]

benches/ci_benchmarking.rs

4.9 ms4.9 ms

tests[resolution]

benches/ci_benchmarking.rs

4.8 ms4.8 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.8 s2.8 s

tests[complex-merge-func]

benches/ci_benchmarking.rs

1.1 ms1.1 ms

tests[unification-points-to]

benches/ci_benchmarking.rs

10.7 ms10.7 ms

tests[stratified]

benches/ci_benchmarking.rs

1.7 ms1.7 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.5 s1.5 s

tests[merge_read]

benches/ci_benchmarking.rs

505.2 µs505 µs

tests[schedule-demo]

benches/ci_benchmarking.rs

2.4 ms2.4 ms

tests[repro-new-backend-python-vec]

benches/ci_benchmarking.rs

180.5 ms180.5 ms

tests[resolution]

benches/ci_benchmarking.rs

6.5 ms6.5 ms

tests[merge-saturates]

benches/ci_benchmarking.rs

9.1 ms9.1 ms

tests[typecheck]

benches/ci_benchmarking.rs

10 ms10 ms

tests[repro-silly-panic]

benches/ci_benchmarking.rs

1.2 ms1.2 ms

tests[test-combined]

benches/ci_benchmarking.rs

1.5 ms1.5 ms

tests[unification-points-to]

benches/ci_benchmarking.rs

15.9 ms15.9 ms

tests[repro-primitive-query]

benches/ci_benchmarking.rs

741.9 µs742.2 µs

tests[cykjson]

benches/ci_benchmarking.rs

477.5 ms477.8 ms

tests[naturals]

benches/ci_benchmarking.rs

6 ms6 ms

tests[include]

benches/ci_benchmarking.rs

1.3 ms1.3 ms

tests[antiunify]

benches/ci_benchmarking.rs

2.7 ms2.7 ms

tests[calc]

benches/ci_benchmarking.rs

9.4 ms9.4 ms

tests[before-proofs]

benches/ci_benchmarking.rs

1.9 ms1.9 ms

tests[fusion]

benches/ci_benchmarking.rs

26.9 ms26.9 ms

tests[repro-define]

benches/ci_benchmarking.rs

870.2 µs871 µs

tests[primitives]

benches/ci_benchmarking.rs

667.5 µs668.1 µs

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

537.8 µs538.4 µs

tests[unstable-fn]

benches/ci_benchmarking.rs

10.6 ms10.7 ms

tests[repro-new-backend-python-vec]

benches/ci_benchmarking.rs

245.5 ms245.8 ms

tests[until]

benches/ci_benchmarking.rs

3.3 ms3.3 ms

tests[repro-silly-panic]

benches/ci_benchmarking.rs

952.3 µs953.5 µs

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1.4 ms1.4 ms

tests[subsume]

benches/ci_benchmarking.rs

2 ms2 ms

tests[typecheck]

benches/ci_benchmarking.rs

6.9 ms6.9 ms

tests[math]

benches/ci_benchmarking.rs

35.7 ms35.8 ms

tests[name-resolution]

benches/ci_benchmarking.rs

1.8 ms1.8 ms

tests[eqsat-basic-multiset]

benches/ci_benchmarking.rs

4.2 ms4.2 ms

tests[path]

benches/ci_benchmarking.rs

1.7 ms1.7 ms

tests[repro-vec-unequal]

benches/ci_benchmarking.rs

1 ms1 ms

tests[unify]

benches/ci_benchmarking.rs

1.2 ms1.2 ms

tests[points-to]

benches/ci_benchmarking.rs

2.8 ms2.8 ms

tests[repro-typechecking-schedule]

benches/ci_benchmarking.rs

339.6 µs340.3 µs

tests[towers-of-hanoi]

benches/ci_benchmarking.rs

4 ms4 ms

tests[schedule-demo]

benches/ci_benchmarking.rs

4.4 ms4.4 ms

tests[fibonacci-demand]

benches/ci_benchmarking.rs

3.3 ms3.3 ms

tests[eqsat-basic]

benches/ci_benchmarking.rs

1.8 ms1.8 ms

tests[cyk]

benches/ci_benchmarking.rs

22.6 ms22.6 ms

tests[repro-querybug2]

benches/ci_benchmarking.rs

753.3 µs755 µs

tests[matrix]

benches/ci_benchmarking.rs

10.1 ms10.1 ms

tests[repro-define]

benches/ci_benchmarking.rs

997 µs999.4 µs

tests[datatypes]

benches/ci_benchmarking.rs

703.1 µs704.7 µs

tests[rw-analysis]

benches/ci_benchmarking.rs

31.2 ms31.3 ms

tests[bitwise]

benches/ci_benchmarking.rs

925.9 µs928.4 µs

tests[repro-querybug3]

benches/ci_benchmarking.rs

2.4 ms2.4 ms

tests[eqsolve]

benches/ci_benchmarking.rs

32.1 ms32.2 ms

tests[integer_math]

benches/ci_benchmarking.rs

13.3 ms13.4 ms

tests[container-rebuild]

benches/ci_benchmarking.rs

2.7 ms2.8 ms

tests[set]

benches/ci_benchmarking.rs

2.9 ms2.9 ms

tests[repro-querybug3]

benches/ci_benchmarking.rs

2 ms2 ms

tests[tricky-type-checking]

benches/ci_benchmarking.rs

12.8 ms12.9 ms

tests[string]

benches/ci_benchmarking.rs

620 µs622 µs

tests[push-pop]

benches/ci_benchmarking.rs

812.7 µs815.4 µs

tests[merge-saturates]

benches/ci_benchmarking.rs

3.3 ms3.3 ms

tests[multiset]

benches/ci_benchmarking.rs

3.5 ms3.6 ms

tests[typeinfer]

benches/ci_benchmarking.rs

265.3 ms266.3 ms

tests[path-union]

benches/ci_benchmarking.rs

2 ms2 ms

tests[repro-should-saturate]

benches/ci_benchmarking.rs

612.9 µs615.1 µs

tests[repro-querybug4]

benches/ci_benchmarking.rs

904.4 µs907.6 µs

tests[math]

benches/ci_benchmarking.rs

38.6 ms38.7 ms

tests[repro-unsound-htutorial]

benches/ci_benchmarking.rs

1.1 ms1.1 ms

tests[datatypes]

benches/ci_benchmarking.rs

767.9 µs770.8 µs

tests[points-to]

benches/ci_benchmarking.rs

4 ms4 ms

tests[merge-during-rebuild]

benches/ci_benchmarking.rs

1.3 ms1.3 ms

tests[prims]

benches/ci_benchmarking.rs

5.5 ms5.5 ms

tests[pathproof]

benches/ci_benchmarking.rs

1.7 ms1.7 ms

tests[knapsack]

benches/ci_benchmarking.rs

7.8 ms7.8 ms

tests[fibonacci-demand]

benches/ci_benchmarking.rs

2.3 ms2.3 ms

tests[complex-merge-prim]

benches/ci_benchmarking.rs

945.6 µs950.1 µs

tests[repro-querybug]

benches/ci_benchmarking.rs

1.3 ms1.3 ms

tests[herbie]

benches/ci_benchmarking.rs

260 ms261.3 ms

tests[complex-merge-func]

benches/ci_benchmarking.rs

-1%

1.3 ms1.3 ms

tests[unify]

benches/ci_benchmarking.rs

-1%

1.4 ms1.4 ms

tests[integer_math]

benches/ci_benchmarking.rs

-1%

14.1 ms14.2 ms

tests[levenshtein-distance]

benches/ci_benchmarking.rs

-1%

19.4 ms19.5 ms

tests[lambda]

benches/ci_benchmarking.rs

-1%

80.7 ms81.2 ms

tests[name-resolution]

benches/ci_benchmarking.rs

-1%

1.3 ms1.3 ms

tests[set_sort_function]

benches/ci_benchmarking.rs

-1%

730 µs734.7 µs

tests[array]

benches/ci_benchmarking.rs

-1%

24.1 ms24.3 ms

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

-1%

817.4 µs822.8 µs

tests[combined-nested]

benches/ci_benchmarking.rs

-1%

931.6 µs937.9 µs

tests[fusion]

benches/ci_benchmarking.rs

-1%

22.4 ms22.5 ms

tests[repro-empty-query]

benches/ci_benchmarking.rs

-1%

678.4 µs683.4 µs

tests[herbie]

benches/ci_benchmarking.rs

-1%

289.8 ms291.9 ms

tests[type-constraints-tests]

benches/ci_benchmarking.rs

-1%

443.3 µs446.6 µs

tests[multiset]

benches/ci_benchmarking.rs

-1%

4.4 ms4.4 ms

tests[bdd]

benches/ci_benchmarking.rs

-1%

14.3 ms14.4 ms

tests[combinators]

benches/ci_benchmarking.rs

-1%

19.8 ms20 ms

tests[path-union]

benches/ci_benchmarking.rs

-1%

1.4 ms1.5 ms

tests[pathproof]

benches/ci_benchmarking.rs

-1%

2 ms2 ms

tests[fibonacci]

benches/ci_benchmarking.rs

-1%

1.2 ms1.2 ms

tests[fail_wrong_assertion]

benches/ci_benchmarking.rs

-1%

1.8 ms1.8 ms

tests[array]

benches/ci_benchmarking.rs

-1%

26.8 ms27.1 ms

tests[cykjson]

benches/ci_benchmarking.rs

-1%

315.9 ms319.4 ms

tests[repro-desugar-143]

benches/ci_benchmarking.rs

-1%

10.3 ms10.4 ms

tests[merge_read]

benches/ci_benchmarking.rs

-1%

445.3 µs450.9 µs

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

8.6 s8.7 s

tests[push-pop]

benches/ci_benchmarking.rs

-1%

875.4 µs887.9 µs

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-1%

14.2 ms14.4 ms

tests[i64]

benches/ci_benchmarking.rs

-2%

412.8 µs419.4 µs

tests[eqsolve]

benches/ci_benchmarking.rs

-2%

27.5 ms27.9 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

-2%

4.8 s4.9 s

tests[repro-empty-query]

benches/ci_benchmarking.rs

-2%

656.4 µs669.2 µs

tests[repro-should-saturate]

benches/ci_benchmarking.rs

-2%

567.6 µs578.7 µs

tests[repro-noteqbug]

benches/ci_benchmarking.rs

-2%

1 ms1.1 ms

tests[repro-unsound]

benches/ci_benchmarking.rs

-2%

384.1 ms393.4 ms

tests[map]

benches/ci_benchmarking.rs

-2%

802.5 µs822.9 µs

tests[string]

benches/ci_benchmarking.rs

-3%

528.6 µs547.8 µs

Commits

Click on a commit to change the comparison range

Base

main

b066a52

×2.4

struct LazyMapOfIndexSet: opt DashMap<Value,IndexSet<Value>> by allowing lazily insert when read

dc66571

3 days ago

by MineralSteins

support lazy remove

6d51fd5

2 days ago

by MineralSteins

+5.37%

with LAZY_BOUND

38a041d

2 days ago

by MineralSteins

+0.23%

nit

d10d939

2 days ago

by MineralSteins

Home Terms Privacy Docs