saulshanabrook:extract-cost-model - Branch - egraphs-good/egglog

Support Different Extractors in Egglog

#761Closed

Comparing

saulshanabrook:extract-cost-model

(

573ee44

) with

main

(

818e4ac

)

Untouched: 20

Skipped: 190

Benchmarks

210 total

tests[herbie-tutorial]

benches/ci_benchmarking.rs

+1%

11.1 ms11 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

-1%

2.4 s2.4 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-1%

1.7 s1.7 s

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

307.1 ms310.5 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-1%

96.7 ms97.5 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+1%

1 s1 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s2.5 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.5 s8.5 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

731.5 ms733.9 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

8.3 s8.3 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

97.9 ms97.8 ms

tests[herbie]

benches/ci_benchmarking.rs

301.4 ms300.9 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[herbie]

benches/ci_benchmarking.rs

273.4 ms273.5 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.8 s6.8 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.9 ms8.9 ms

tests[typeinfer]

benches/ci_benchmarking.rs

277.7 ms277.8 ms

tests[cykjson]

benches/ci_benchmarking.rs

316.6 ms316.7 ms

tests[cykjson]

benches/ci_benchmarking.rs

489.5 ms489.5 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.4 s8.4 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

818e4ac

-0.21%

Merge egraphs-good/main into extract-cost-model

cde1fd5

8 months ago

by saulshanabrook

+0.12%

Revert rust methods to be the old versions

55f0321

8 months ago

by saulshanabrook

-0.04%

Change to only allow setting costs in rust

573ee44

8 months ago

by saulshanabrook

Home Terms Privacy Docs