oflatt-proofs-encoding-2 - Branch - egraphs-good/egglog

Proof encoding in egglog itself

#770

Comparing

oflatt-proofs-encoding-2

(

80031f9

) with

main

(

f028092

)

-10%

Regression: 5

Untouched: 17

Skipped: 190

No successful run was found on main ( 57fdb7d) during the generation of this report, so f028092 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.

Benchmarks

212 total

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-10%

1.6 s1.7 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-10%

76 ms84.2 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-8%

1.7 s1.9 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-8%

79.1 ms85.6 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-5%

10.7 ms11.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

7 s7 s

tests[cykjson]

benches/ci_benchmarking.rs

530.2 ms531.4 ms

tests[taylor51]

benches/ci_benchmarking.rs

5.2 s5.2 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s5.7 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s2.1 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.1 s9.1 s

tests[taylor51]

benches/ci_benchmarking.rs

-1%

4.3 s4.3 s

tests[cykjson]

benches/ci_benchmarking.rs

-1%

366.8 ms369.6 ms

tests[herbie]

benches/ci_benchmarking.rs

-1%

257.9 ms260.5 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

-1%

1.9 s1.9 s

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

237.9 ms240.5 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-1%

1 s1 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-1%

718.4 ms729 ms

tests[herbie]

benches/ci_benchmarking.rs

-2%

296.1 ms303.2 ms

tests[typeinfer]

benches/ci_benchmarking.rs

-3%

280.3 ms287.6 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-5%

8.2 ms8.6 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*

Commits

Click on a commit to change the comparison range

Base

main

f028092

-9.91%

nits

19873c4

9 days ago

by oflatt

respond to first round feedback from @ezrosent

80031f9

3 days ago

by oflatt

Home Terms Privacy Docs