saulshanabrook:codspeed - Branch - egraphs-good/egglog

Blog Docs

Benchmark examples with codspeed(#443)

Merged

Merging

saulshanabrook:codspeed

into

main

N/A

IMPROVEMENTS: 0

REGRESSIONS: 0

UNTOUCHED: 0

NEW: 6

DROPPED: 0

IGNORED: 81

Benchmarks

New

cykjson

benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson

N/A

338.4 ms

eggcc-extraction

benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction

N/A

5.5 s

herbie

benches/example_benchmarks.rs::benches::criterion_benchmark::herbie

N/A

286.2 ms

lambda

benches/example_benchmarks.rs::benches::criterion_benchmark::lambda

N/A

145 ms

math-microbenchmark

benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark

N/A

4.2 s

typeinfer

benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer

N/A

400.7 ms

Ignored

antiunifyIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify

N/A

2.1 ms

arrayIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::array

N/A

26.8 ms

bddIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::bdd

N/A

15.2 ms

before-proofsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs

N/A

1.6 ms

birewriteIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite

N/A

1.3 ms

bitwiseIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise

N/A

678.3 µs

boolIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::bool

N/A

1.4 ms

calcIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::calc

N/A

5.4 ms

combinatorsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::combinators

N/A

18.4 ms

combined-nestedIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested

N/A

1 ms

container-rebuildIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild

N/A

2 ms

cykIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::cyk

N/A

11.2 ms

datatypesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes

N/A

582.1 µs

deleteIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::delete

N/A

642.5 µs

eqsat-basicIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic

N/A

1.6 ms

eqsolveIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve

N/A

31.1 ms

f64Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::f64

N/A

935.7 µs

fail_wrong_assertionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion

N/A

1.3 ms

fibonacciIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci

N/A

1.6 ms

fibonacci-demandIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand

N/A

2.1 ms

fusionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fusion

N/A

43.7 ms

herbie-tutorialIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial

N/A

12.7 ms

i64Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::i64

N/A

350.2 µs

includeIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::include

N/A

1.2 ms

integer_mathIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math

N/A

12.2 ms

intersectionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::intersection

N/A

1.9 ms

intervalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::interval

N/A

2.7 ms

knapsackIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack

N/A

5.7 ms

levenshtein-distanceIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance

N/A

15.1 ms

listIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::list

N/A

4.8 ms

mapIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::map

N/A

650.5 µs

mathIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::math

N/A

36.7 ms

matrixIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::matrix

N/A

11.5 ms

merge-during-rebuildIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild

N/A

1 ms

merge-saturatesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates

N/A

3 ms

name-resolutionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution

N/A

1.2 ms

pathIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::path

N/A

1 ms

path-unionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::path-union

N/A

1.1 ms

pathproofIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof

N/A

1.5 ms

points-toIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::points-to

N/A

2 ms

primitivesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::primitives

N/A

523.4 µs

primsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::prims

N/A

5.4 ms

push-popIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop

N/A

648 µs

rationalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::rational

N/A

890.2 µs

repro-defineIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define

N/A

693.2 µs

repro-desugar-143Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143

N/A

8.6 ms

repro-empty-queryIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query

N/A

618.4 µs

repro-equal-constantIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant

N/A

670 µs

repro-equal-constant2Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2

N/A

654.4 µs

repro-noteqbugIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug

N/A

745.2 µs

repro-primitive-queryIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query

N/A

681.2 µs

repro-querybugIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug

N/A

929.3 µs

repro-querybug2Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2

N/A

669.1 µs

repro-querybug3Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3

N/A

2 ms

repro-querybug4Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4

N/A

711.8 µs

repro-should-saturateIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate

N/A

650.2 µs

repro-silly-panicIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic

N/A

918.8 µs

repro-typechecking-scheduleIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule

N/A

462.1 µs

repro-unsoundIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound

N/A

269.3 ms

repro-unsound-htutorialIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial

N/A

847.3 µs

repro-vec-unequalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal

N/A

768.6 µs

resolutionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::resolution

N/A

4.1 ms

rw-analysisIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis

N/A

39.8 ms

schedule-demoIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo

N/A

2.2 ms

semi_naive_set_functionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::semi_naive_set_function

N/A

41.5 ms

setIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::set

N/A

2.7 ms

stratifiedIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::stratified

N/A

901.7 µs

stringIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::string

N/A

539.3 µs

string_quotesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes

N/A

477.1 µs

subsumeIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::subsume

N/A

1.5 ms

test-combinedIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined

N/A

1.3 ms

test-combined-stepsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps

N/A

2.9 ms

towers-of-hanoiIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi

N/A

5.3 ms

tricky-type-checkingIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking

N/A

11.6 ms

type-constraints-testsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests

N/A

578.4 µs

typecheckIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck

N/A

5.8 ms

unification-points-toIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to

N/A

7.8 ms

unifyIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::unify

N/A

1.1 ms

unstable-fnIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn

N/A

5.7 ms

untilIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::until

N/A

2.7 ms

vecIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::vec

N/A

975.2 µs

Commits

Click on a commit to change the comparison range

No baseline data is yet availableOnce your main branch has generated a first performance report, you will see the list of commits and their performance impact here.

ResourcesHome Pricing Docs Blog GitHub Changelog

Getting StartedSample repository Explore repositories Support

AboutCareers Twitter Discord Contact Us Terms of Service Privacy Policy