oflatt-extract-w-proof - Branch - egraphs-good/egglog

Proofs for extraction

#813

Comparing

oflatt-extract-w-proof

(

a4b2eff

) with

oflatt-better-proof-testing

(

7d74c8f

)

Untouched: 18

Skipped: 194

Benchmarks

194 total

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

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[array]

benches/ci_benchmarking.rs

Skipped

27.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bdd]

benches/ci_benchmarking.rs

Skipped

14.7 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[print-function]

benches/ci_benchmarking.rs

Skipped

1.4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bitwise]

benches/ci_benchmarking.rs

Skipped

930.2 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bool]

benches/ci_benchmarking.rs

Skipped

1.8 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[birewrite]

benches/ci_benchmarking.rs

Skipped

1.9 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[antiunify]

benches/ci_benchmarking.rs

Skipped

2.8 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

Skipped

715 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-empty-query]

benches/ci_benchmarking.rs

Skipped

688 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bignum]

benches/ci_benchmarking.rs

Skipped

1.1 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[combinators]

benches/ci_benchmarking.rs

Skipped

20.4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[before-proofs]

benches/ci_benchmarking.rs

Skipped

2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[push-pop]

benches/ci_benchmarking.rs

Skipped

821 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[rat-pow-eval]

benches/ci_benchmarking.rs

Skipped

3.9 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

Skipped

824.4 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[cyk]

benches/ci_benchmarking.rs

Skipped

13.7 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

Skipped

544.7 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[prims]

benches/ci_benchmarking.rs

Skipped

4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-desugar-143]

benches/ci_benchmarking.rs

Skipped

9.3 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[combined-nested]

benches/ci_benchmarking.rs

Skipped

936.8 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-equal-constant]

benches/ci_benchmarking.rs

Skipped

702.8 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-define]

benches/ci_benchmarking.rs

Skipped

881.6 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[complex-merge-func]

benches/ci_benchmarking.rs

Skipped

1.1 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[calc]

benches/ci_benchmarking.rs

Skipped

6.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-noteqbug]

benches/ci_benchmarking.rs

Skipped

921.8 µs*

Commits

Click on a commit to change the comparison range

Base

oflatt-better-proof-testing

7d74c8f

-0.2%

remove annoying comments

7936b4c

8 days ago

by oflatt

+0.26%

internal-term

b66f338

1 day ago

by oflatt

-0.03%

nits

d96b479

1 day ago

by oflatt

+0.03%

snap

a4b2eff

1 day ago

by oflatt

Home Terms Privacy Docs