yihozhang-decomp - Branch - egraphs-good/egglog

Tree decomposition

#785

Comparing

yihozhang-decomp

(

0f8be64

) with

main

(

8a02388

)

-48%

Regression: 1

Untouched: 2

Skipped: 209

Benchmarks

212 total

tests[typeinfer]

benches/ci_benchmarking.rs

-48%

234.4 ms451.6 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

716.5 ms718.8 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

76.1 ms76.4 ms

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*

tests[birewrite]

benches/ci_benchmarking.rs

Skipped

1.9 ms*

tests[antiunify]

benches/ci_benchmarking.rs

Skipped

2.8 ms*

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

Skipped

715 µs*

tests[repro-empty-query]

benches/ci_benchmarking.rs

Skipped

688 µs*

tests[bignum]

benches/ci_benchmarking.rs

Skipped

1.1 ms*

tests[combinators]

benches/ci_benchmarking.rs

Skipped

20.4 ms*

tests[before-proofs]

benches/ci_benchmarking.rs

Skipped

2 ms*

tests[push-pop]

benches/ci_benchmarking.rs

Skipped

821 µs*

tests[rat-pow-eval]

benches/ci_benchmarking.rs

Skipped

3.9 ms*

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

Skipped

824.4 µs*

tests[cyk]

benches/ci_benchmarking.rs

Skipped

13.7 ms*

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

Skipped

544.7 µs*

tests[prims]

benches/ci_benchmarking.rs

Skipped

4 ms*

tests[repro-desugar-143]

benches/ci_benchmarking.rs

Skipped

9.3 ms*

tests[combined-nested]

benches/ci_benchmarking.rs

Skipped

936.8 µs*

tests[repro-equal-constant]

benches/ci_benchmarking.rs

Skipped

702.8 µs*

tests[repro-define]

benches/ci_benchmarking.rs

Skipped

881.6 µs*

Commits

Click on a commit to change the comparison range

Base

refactor-query-planning

8a02388

-0.35%

Added result block and basic_eqsat seems passing.

d4dd113

12 days ago

by yihozhang

-47.74%

skipping empty bags; cyk working

0f8be64

11 days ago

by yihozhang

Home Terms Privacy Docs