Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

eggcc benchmarks

#527
Comparing
oflatt-eggcc-benchmarks
(
02a7663
) with
oflatt-eggcc-benchmarks
(
b10b34c
)
CodSpeed Performance Gauge
N/A
Improvements
0
Regressions
0
Untouched
0
New
0
Dropped
96
Ignored
0

Benchmarks

Failed

vecMissing
benches/ci_benchmarking.rs::benches::bench::vec
CodSpeed Performance Gauge
N/A
825.9 µs
N/A
untilMissing
benches/ci_benchmarking.rs::benches::bench::until
CodSpeed Performance Gauge
N/A
2.8 ms
N/A
unstable-fnMissing
benches/ci_benchmarking.rs::benches::bench::unstable-fn
CodSpeed Performance Gauge
N/A
6.9 ms
N/A
unifyMissing
benches/ci_benchmarking.rs::benches::bench::unify
CodSpeed Performance Gauge
N/A
837.2 µs
N/A
unification-points-toMissing
benches/ci_benchmarking.rs::benches::bench::unification-points-to
CodSpeed Performance Gauge
N/A
9.1 ms
N/A
typeinferMissing
benches/ci_benchmarking.rs::benches::bench::typeinfer
CodSpeed Performance Gauge
N/A
435.3 ms
N/A
typecheckMissing
benches/ci_benchmarking.rs::benches::bench::typecheck
CodSpeed Performance Gauge
N/A
6.2 ms
N/A
type-constraints-testsMissing
benches/ci_benchmarking.rs::benches::bench::type-constraints-tests
CodSpeed Performance Gauge
N/A
379 µs
N/A
tricky-type-checkingMissing
benches/ci_benchmarking.rs::benches::bench::tricky-type-checking
CodSpeed Performance Gauge
N/A
12.6 ms
N/A
towers-of-hanoiMissing
benches/ci_benchmarking.rs::benches::bench::towers-of-hanoi
CodSpeed Performance Gauge
N/A
3.9 ms
N/A
test-combined-stepsMissing
benches/ci_benchmarking.rs::benches::bench::test-combined-steps
CodSpeed Performance Gauge
N/A
3 ms
N/A
test-combinedMissing
benches/ci_benchmarking.rs::benches::bench::test-combined
CodSpeed Performance Gauge
N/A
1 ms
N/A
subsumeMissing
benches/ci_benchmarking.rs::benches::bench::subsume
CodSpeed Performance Gauge
N/A
1.2 ms
N/A
string_quotesMissing
benches/ci_benchmarking.rs::benches::bench::string_quotes
CodSpeed Performance Gauge
N/A
292.2 µs
N/A
stringMissing
benches/ci_benchmarking.rs::benches::bench::string
CodSpeed Performance Gauge
N/A
362 µs
N/A
stresstest_large_exprMissing
benches/ci_benchmarking.rs::benches::bench::stresstest_large_expr
CodSpeed Performance Gauge
N/A
2.2 s
N/A
stratifiedMissing
benches/ci_benchmarking.rs::benches::bench::stratified
CodSpeed Performance Gauge
N/A
803.7 µs
N/A
set_sort_functionMissing
benches/ci_benchmarking.rs::benches::bench::set_sort_function
CodSpeed Performance Gauge
N/A
364.1 µs
N/A
setMissing
benches/ci_benchmarking.rs::benches::bench::set
CodSpeed Performance Gauge
N/A
2 ms
N/A
schedule-demoMissing
benches/ci_benchmarking.rs::benches::bench::schedule-demo
CodSpeed Performance Gauge
N/A
2.2 ms
N/A
rw-analysisMissing
benches/ci_benchmarking.rs::benches::bench::rw-analysis
CodSpeed Performance Gauge
N/A
39.5 ms
N/A
resolutionMissing
benches/ci_benchmarking.rs::benches::bench::resolution
CodSpeed Performance Gauge
N/A
4 ms
N/A
repro-vec-unequalMissing
benches/ci_benchmarking.rs::benches::bench::repro-vec-unequal
CodSpeed Performance Gauge
N/A
597.8 µs
N/A
repro-unsound-htutorialMissing
benches/ci_benchmarking.rs::benches::bench::repro-unsound-htutorial
CodSpeed Performance Gauge
N/A
646.9 µs
N/A
repro-unsoundMissing
benches/ci_benchmarking.rs::benches::bench::repro-unsound
CodSpeed Performance Gauge
N/A
504.3 ms
N/A
repro-typechecking-scheduleMissing
benches/ci_benchmarking.rs::benches::bench::repro-typechecking-schedule
CodSpeed Performance Gauge
N/A
250.8 µs
N/A
repro-silly-panicMissing
benches/ci_benchmarking.rs::benches::bench::repro-silly-panic
CodSpeed Performance Gauge
N/A
576.9 µs
N/A
repro-should-saturateMissing
benches/ci_benchmarking.rs::benches::bench::repro-should-saturate
CodSpeed Performance Gauge
N/A
422.4 µs
N/A
repro-querybug4Missing
benches/ci_benchmarking.rs::benches::bench::repro-querybug4
CodSpeed Performance Gauge
N/A
497.5 µs
N/A
repro-querybug3Missing
benches/ci_benchmarking.rs::benches::bench::repro-querybug3
CodSpeed Performance Gauge
N/A
1.4 ms
N/A
repro-querybug2Missing
benches/ci_benchmarking.rs::benches::bench::repro-querybug2
CodSpeed Performance Gauge
N/A
465.7 µs
N/A
repro-querybugMissing
benches/ci_benchmarking.rs::benches::bench::repro-querybug
CodSpeed Performance Gauge
N/A
667.1 µs
N/A
repro-primitive-queryMissing
benches/ci_benchmarking.rs::benches::bench::repro-primitive-query
CodSpeed Performance Gauge
N/A
512.9 µs
N/A
repro-noteqbugMissing
benches/ci_benchmarking.rs::benches::bench::repro-noteqbug
CodSpeed Performance Gauge
N/A
567.7 µs
N/A
repro-equal-constant2Missing
benches/ci_benchmarking.rs::benches::bench::repro-equal-constant2
CodSpeed Performance Gauge
N/A
448.2 µs
N/A
repro-equal-constantMissing
benches/ci_benchmarking.rs::benches::bench::repro-equal-constant
CodSpeed Performance Gauge
N/A
457.7 µs
N/A
repro-empty-queryMissing
benches/ci_benchmarking.rs::benches::bench::repro-empty-query
CodSpeed Performance Gauge
N/A
420.5 µs
N/A
repro-desugar-143Missing
benches/ci_benchmarking.rs::benches::bench::repro-desugar-143
CodSpeed Performance Gauge
N/A
9.3 ms
N/A
repro-defineMissing
benches/ci_benchmarking.rs::benches::bench::repro-define
CodSpeed Performance Gauge
N/A
511.3 µs
N/A
rat-pow-evalMissing
benches/ci_benchmarking.rs::benches::bench::rat-pow-eval
CodSpeed Performance Gauge
N/A
2.5 ms
N/A
python_array_optimizeMissing
benches/ci_benchmarking.rs::benches::bench::python_array_optimize
CodSpeed Performance Gauge
N/A
7.2 s
N/A
push-popMissing
benches/ci_benchmarking.rs::benches::bench::push-pop
CodSpeed Performance Gauge
N/A
454.9 µs
N/A
primsMissing
benches/ci_benchmarking.rs::benches::bench::prims
CodSpeed Performance Gauge
N/A
3.9 ms
N/A
primitivesMissing
benches/ci_benchmarking.rs::benches::bench::primitives
CodSpeed Performance Gauge
N/A
458.5 µs
N/A
points-toMissing
benches/ci_benchmarking.rs::benches::bench::points-to
CodSpeed Performance Gauge
N/A
1.8 ms
N/A
pathproofMissing
benches/ci_benchmarking.rs::benches::bench::pathproof
CodSpeed Performance Gauge
N/A
1.3 ms
N/A
path-unionMissing
benches/ci_benchmarking.rs::benches::bench::path-union
CodSpeed Performance Gauge
N/A
1 ms
N/A
pathMissing
benches/ci_benchmarking.rs::benches::bench::path
CodSpeed Performance Gauge
N/A
858.3 µs
N/A
name-resolutionMissing
benches/ci_benchmarking.rs::benches::bench::name-resolution
CodSpeed Performance Gauge
N/A
783 µs
N/A
multisetMissing
benches/ci_benchmarking.rs::benches::bench::multiset
CodSpeed Performance Gauge
N/A
2.6 ms
N/A
merge_readMissing
benches/ci_benchmarking.rs::benches::bench::merge_read
CodSpeed Performance Gauge
N/A
271.4 µs
N/A
merge-saturatesMissing
benches/ci_benchmarking.rs::benches::bench::merge-saturates
CodSpeed Performance Gauge
N/A
2.4 ms
N/A
merge-during-rebuildMissing
benches/ci_benchmarking.rs::benches::bench::merge-during-rebuild
CodSpeed Performance Gauge
N/A
664.9 µs
N/A
matrixMissing
benches/ci_benchmarking.rs::benches::bench::matrix
CodSpeed Performance Gauge
N/A
11.3 ms
N/A
math-microbenchmarkMissing
benches/ci_benchmarking.rs::benches::bench::math-microbenchmark
CodSpeed Performance Gauge
N/A
16.7 s
N/A
mathMissing
benches/ci_benchmarking.rs::benches::bench::math
CodSpeed Performance Gauge
N/A
46.9 ms
N/A
mapMissing
benches/ci_benchmarking.rs::benches::bench::map
CodSpeed Performance Gauge
N/A
420.3 µs
N/A
looking_up_nonconstructor_in_rewrite_goodMissing
benches/ci_benchmarking.rs::benches::bench::looking_up_nonconstructor_in_rewrite_good
CodSpeed Performance Gauge
N/A
426 µs
N/A
looking_up_globalMissing
benches/ci_benchmarking.rs::benches::bench::looking_up_global
CodSpeed Performance Gauge
N/A
291.8 µs
N/A
listMissing
benches/ci_benchmarking.rs::benches::bench::list
CodSpeed Performance Gauge
N/A
4.3 ms
N/A
levenshtein-distanceMissing
benches/ci_benchmarking.rs::benches::bench::levenshtein-distance
CodSpeed Performance Gauge
N/A
18.7 ms
N/A
lambdaMissing
benches/ci_benchmarking.rs::benches::bench::lambda
CodSpeed Performance Gauge
N/A
121.7 ms
N/A
knapsackMissing
benches/ci_benchmarking.rs::benches::bench::knapsack
CodSpeed Performance Gauge
N/A
6.9 ms
N/A
intervalMissing
benches/ci_benchmarking.rs::benches::bench::interval
CodSpeed Performance Gauge
N/A
1.5 ms
N/A
intersectionMissing
benches/ci_benchmarking.rs::benches::bench::intersection
CodSpeed Performance Gauge
N/A
1.6 ms
N/A
integer_mathMissing
benches/ci_benchmarking.rs::benches::bench::integer_math
CodSpeed Performance Gauge
N/A
16.7 ms
N/A
includeMissing
benches/ci_benchmarking.rs::benches::bench::include
CodSpeed Performance Gauge
N/A
883.5 µs
N/A
i64Missing
benches/ci_benchmarking.rs::benches::bench::i64
CodSpeed Performance Gauge
N/A
244.3 µs
N/A
herbie-tutorialMissing
benches/ci_benchmarking.rs::benches::bench::herbie-tutorial
CodSpeed Performance Gauge
N/A
9 ms
N/A
herbieMissing
benches/ci_benchmarking.rs::benches::bench::herbie
CodSpeed Performance Gauge
N/A
286.2 ms
N/A
fusionMissing
benches/ci_benchmarking.rs::benches::bench::fusion
CodSpeed Performance Gauge
N/A
38 ms
N/A
fibonacci-demandMissing
benches/ci_benchmarking.rs::benches::bench::fibonacci-demand
CodSpeed Performance Gauge
N/A
2 ms
N/A
fibonacciMissing
benches/ci_benchmarking.rs::benches::bench::fibonacci
CodSpeed Performance Gauge
N/A
1 ms
N/A
fail_wrong_assertionMissing
benches/ci_benchmarking.rs::benches::bench::fail_wrong_assertion
CodSpeed Performance Gauge
N/A
1 ms
N/A
f64Missing
benches/ci_benchmarking.rs::benches::bench::f64
CodSpeed Performance Gauge
N/A
792.9 µs
N/A
extract-vec-benchMissing
benches/ci_benchmarking.rs::benches::bench::extract-vec-bench
CodSpeed Performance Gauge
N/A
107.9 ms
N/A
eqsolveMissing
benches/ci_benchmarking.rs::benches::bench::eqsolve
CodSpeed Performance Gauge
N/A
37.3 ms
N/A
eqsat-basic-multisetMissing
benches/ci_benchmarking.rs::benches::bench::eqsat-basic-multiset
CodSpeed Performance Gauge
N/A
3.8 ms
N/A
eqsat-basicMissing
benches/ci_benchmarking.rs::benches::bench::eqsat-basic
CodSpeed Performance Gauge
N/A
1.4 ms
N/A
eggcc-extractionMissing
benches/ci_benchmarking.rs::benches::bench::eggcc-extraction
CodSpeed Performance Gauge
N/A
2.2 s
N/A
deleteMissing
benches/ci_benchmarking.rs::benches::bench::delete
CodSpeed Performance Gauge
N/A
394.5 µs
N/A
datatypesMissing
benches/ci_benchmarking.rs::benches::bench::datatypes
CodSpeed Performance Gauge
N/A
442.7 µs
N/A
cykjsonMissing
benches/ci_benchmarking.rs::benches::bench::cykjson
CodSpeed Performance Gauge
N/A
456.2 ms
N/A
cykMissing
benches/ci_benchmarking.rs::benches::bench::cyk
CodSpeed Performance Gauge
N/A
11.5 ms
N/A
container-rebuildMissing
benches/ci_benchmarking.rs::benches::bench::container-rebuild
CodSpeed Performance Gauge
N/A
1.6 ms
N/A
combined-nestedMissing
benches/ci_benchmarking.rs::benches::bench::combined-nested
CodSpeed Performance Gauge
N/A
659.6 µs
N/A
combinatorsMissing
benches/ci_benchmarking.rs::benches::bench::combinators
CodSpeed Performance Gauge
N/A
24.6 ms
N/A
calcMissing
benches/ci_benchmarking.rs::benches::bench::calc
CodSpeed Performance Gauge
N/A
5.2 ms
N/A
boolMissing
benches/ci_benchmarking.rs::benches::bench::bool
CodSpeed Performance Gauge
N/A
1.2 ms
N/A
bitwiseMissing
benches/ci_benchmarking.rs::benches::bench::bitwise
CodSpeed Performance Gauge
N/A
563.3 µs
N/A
birewriteMissing
benches/ci_benchmarking.rs::benches::bench::birewrite
CodSpeed Performance Gauge
N/A
1.2 ms
N/A
bignumMissing
benches/ci_benchmarking.rs::benches::bench::bignum
CodSpeed Performance Gauge
N/A
606.7 µs
N/A
before-proofsMissing
benches/ci_benchmarking.rs::benches::bench::before-proofs
CodSpeed Performance Gauge
N/A
1.3 ms
N/A
bddMissing
benches/ci_benchmarking.rs::benches::bench::bdd
CodSpeed Performance Gauge
N/A
16.6 ms
N/A
arrayMissing
benches/ci_benchmarking.rs::benches::bench::array
CodSpeed Performance Gauge
N/A
26 ms
N/A
antiunifyMissing
benches/ci_benchmarking.rs::benches::bench::antiunify
CodSpeed Performance Gauge
N/A
2.2 ms
N/A

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.
© 2025 CodSpeed Technology
Home Terms PrivacyDocs