Benchmarks

Blog Docs

Time allocation

High Visibility

antiunifybenches/example_benchmarks.rs::benches::criterion_benchmark::antiunifycreated

1 month ago

, last run

4 days ago

109

1.9 ms

arraybenches/example_benchmarks.rs::benches::criterion_benchmark::arraycreated

1 month ago

, last acknowledgement

1 month ago

109

29.1 ms

bddbenches/example_benchmarks.rs::benches::criterion_benchmark::bddcreated

1 month ago

, last acknowledgement

1 month ago

109

16.9 ms

before-proofsbenches/example_benchmarks.rs::benches::criterion_benchmark::before-proofscreated

1 month ago

, last acknowledgement

1 month ago

109

1.4 ms

bignumbenches/example_benchmarks.rs::benches::criterion_benchmark::bignumcreated

24 days ago

, last run

4 days ago

620.8 µs

birewritebenches/example_benchmarks.rs::benches::criterion_benchmark::birewritecreated

1 month ago

, last acknowledgement

1 month ago

109

1.1 ms

bitwisebenches/example_benchmarks.rs::benches::criterion_benchmark::bitwisecreated

1 month ago

, last acknowledgement

1 month ago

109

593.3 µs

boolbenches/example_benchmarks.rs::benches::criterion_benchmark::boolcreated

1 month ago

, last acknowledgement

1 month ago

109

1.2 ms

calcbenches/example_benchmarks.rs::benches::criterion_benchmark::calccreated

1 month ago

, last acknowledgement

1 month ago

109

5.3 ms

combinatorsbenches/example_benchmarks.rs::benches::criterion_benchmark::combinatorscreated

1 month ago

, last acknowledgement

1 month ago

109

19.2 ms

combined-nestedbenches/example_benchmarks.rs::benches::criterion_benchmark::combined-nestedcreated

1 month ago

, last acknowledgement

1 month ago

109

648.5 µs

container-rebuildbenches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuildcreated

1 month ago

, last acknowledgement

1 month ago

109

1.6 ms

cykbenches/example_benchmarks.rs::benches::criterion_benchmark::cykcreated

1 month ago

, last acknowledgement

1 month ago

109

11.6 ms

cykjsonbenches/example_benchmarks.rs::benches::criterion_benchmark::cykjsoncreated

1 month ago

, last acknowledgement

24 days ago

109

388.1 ms

datatypesbenches/example_benchmarks.rs::benches::criterion_benchmark::datatypescreated

1 month ago

, last acknowledgement

1 month ago

109

413.9 µs

deletebenches/example_benchmarks.rs::benches::criterion_benchmark::deletecreated

1 month ago

, last acknowledgement

1 month ago

109

428.3 µs

eggcc-extractionbenches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extractioncreated

1 month ago

, last run

4 days ago

110

4.5 s

eqsat-basicbenches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basiccreated

1 month ago

, last acknowledgement

1 month ago

109

1.4 ms

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

1 month ago

, last run

4 days ago

3.8 ms

eqsolvebenches/example_benchmarks.rs::benches::criterion_benchmark::eqsolvecreated

1 month ago

, last acknowledgement

1 month ago

109

32 ms

f64benches/example_benchmarks.rs::benches::criterion_benchmark::f64created

1 month ago

, last acknowledgement

1 month ago

109

821.5 µs

fail_wrong_assertionbenches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertioncreated

1 month ago

, last acknowledgement

1 month ago

109

1 ms

fibonaccibenches/example_benchmarks.rs::benches::criterion_benchmark::fibonaccicreated

1 month ago

, last acknowledgement

1 month ago

109

1.5 ms

fibonacci-demandbenches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demandcreated

1 month ago

, last acknowledgement

1 month ago

109

2 ms

fusionbenches/example_benchmarks.rs::benches::criterion_benchmark::fusioncreated

1 month ago

, last acknowledgement

1 month ago

109

45.8 ms

herbiebenches/example_benchmarks.rs::benches::criterion_benchmark::herbiecreated

1 month ago

, last run

4 days ago

110

307.3 ms

herbie-tutorialbenches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorialcreated

1 month ago

, last acknowledgement

1 month ago

109

13.1 ms

i64benches/example_benchmarks.rs::benches::criterion_benchmark::i64created

1 month ago

, last acknowledgement

1 month ago

109

259.7 µs

includebenches/example_benchmarks.rs::benches::criterion_benchmark::includecreated

1 month ago

, last acknowledgement

1 month ago

109

849.9 µs

integer_mathbenches/example_benchmarks.rs::benches::criterion_benchmark::integer_mathcreated

1 month ago

, last acknowledgement

1 month ago

109

12.7 ms

intersectionbenches/example_benchmarks.rs::benches::criterion_benchmark::intersectioncreated

1 month ago

, last acknowledgement

1 month ago

109

1.6 ms

intervalbenches/example_benchmarks.rs::benches::criterion_benchmark::intervalcreated

1 month ago

, last acknowledgement

1 month ago

109

2.5 ms

knapsackbenches/example_benchmarks.rs::benches::criterion_benchmark::knapsackcreated

1 month ago

, last acknowledgement

1 month ago

109

5.9 ms

lambdabenches/example_benchmarks.rs::benches::criterion_benchmark::lambdacreated

1 month ago

, last run

4 days ago

110

158.6 ms

levenshtein-distancebenches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distancecreated

1 month ago

, last acknowledgement

1 month ago

109

17.4 ms

listbenches/example_benchmarks.rs::benches::criterion_benchmark::listcreated

1 month ago

, last acknowledgement

1 month ago

109

4.6 ms

mapbenches/example_benchmarks.rs::benches::criterion_benchmark::mapcreated

1 month ago

, last acknowledgement

1 month ago

109

445.7 µs

mathbenches/example_benchmarks.rs::benches::criterion_benchmark::mathcreated

1 month ago

, last acknowledgement

1 month ago

109

37.8 ms

math-microbenchmarkbenches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmarkcreated

1 month ago

, last run

4 days ago

110

4.3 s

matrixbenches/example_benchmarks.rs::benches::criterion_benchmark::matrixcreated

1 month ago

, last acknowledgement

1 month ago

109

11.7 ms

merge-during-rebuildbenches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuildcreated

1 month ago

, last acknowledgement

1 month ago

109

656.3 µs

merge-saturatesbenches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturatescreated

1 month ago

, last acknowledgement

1 month ago

109

3 ms

multisetbenches/example_benchmarks.rs::benches::criterion_benchmark::multisetcreated

1 month ago

, last run

4 days ago

2.5 ms

name-resolutionbenches/example_benchmarks.rs::benches::criterion_benchmark::name-resolutioncreated

1 month ago

, last acknowledgement

1 month ago

109

797.9 µs

pathbenches/example_benchmarks.rs::benches::criterion_benchmark::pathcreated

1 month ago

, last acknowledgement

1 month ago

109

826.6 µs

path-unionbenches/example_benchmarks.rs::benches::criterion_benchmark::path-unioncreated

1 month ago

, last acknowledgement

1 month ago

109

934 µs

pathproofbenches/example_benchmarks.rs::benches::criterion_benchmark::pathproofcreated

1 month ago

, last acknowledgement

1 month ago

109

1.2 ms

points-tobenches/example_benchmarks.rs::benches::criterion_benchmark::points-tocreated

1 month ago

, last acknowledgement

1 month ago

109

1.8 ms

primitivesbenches/example_benchmarks.rs::benches::criterion_benchmark::primitivescreated

1 month ago

, last acknowledgement

1 month ago

109

475.6 µs

primsbenches/example_benchmarks.rs::benches::criterion_benchmark::primscreated

1 month ago

, last acknowledgement

1 month ago

109

5 ms

push-popbenches/example_benchmarks.rs::benches::criterion_benchmark::push-popcreated

1 month ago

, last acknowledgement

1 month ago

109

458.2 µs

python_array_optimizebenches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimizecreated

1 month ago

, last run

4 days ago

6.9 s

rationalbenches/example_benchmarks.rs::benches::criterion_benchmark::rationalcreated

1 month ago

, last acknowledgement

1 month ago

109

687.1 µs

repro-definebenches/example_benchmarks.rs::benches::criterion_benchmark::repro-definecreated

1 month ago

, last acknowledgement

1 month ago

109

525.3 µs

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

1 month ago

, last acknowledgement

1 month ago

109

9.1 ms

repro-empty-querybenches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-querycreated

1 month ago

, last acknowledgement

1 month ago

109

448.9 µs

repro-equal-constantbenches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constantcreated

1 month ago

, last acknowledgement

1 month ago

109

489.9 µs

repro-equal-constant2benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2created

1 month ago

, last acknowledgement

1 month ago

109

479.6 µs

repro-noteqbugbenches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbugcreated

1 month ago

, last acknowledgement

1 month ago

109

567 µs

repro-primitive-querybenches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-querycreated

1 month ago

, last acknowledgement

1 month ago

109

526 µs

repro-querybugbenches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybugcreated

1 month ago

, last acknowledgement

1 month ago

109

726.1 µs

repro-querybug2benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2created

1 month ago

, last acknowledgement

1 month ago

109

488.6 µs

repro-querybug3benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3created

1 month ago

, last acknowledgement

1 month ago

109

1.7 ms

repro-querybug4benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4created

1 month ago

, last acknowledgement

1 month ago

109

537 µs

repro-should-saturatebenches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturatecreated

1 month ago

, last acknowledgement

1 month ago

109

456.7 µs

repro-silly-panicbenches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-paniccreated

1 month ago

, last acknowledgement

1 month ago

109

632.1 µs

repro-typechecking-schedulebenches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedulecreated

1 month ago

, last acknowledgement

1 month ago

109

276 µs

repro-unsoundbenches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsoundcreated

1 month ago

, last acknowledgement

1 month ago

109

250.1 ms

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

1 month ago

, last acknowledgement

1 month ago

109

656.8 µs

repro-vec-unequalbenches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequalcreated

1 month ago

, last acknowledgement

1 month ago

109

583.5 µs

resolutionbenches/example_benchmarks.rs::benches::criterion_benchmark::resolutioncreated

1 month ago

, last acknowledgement

1 month ago

109

4 ms

rw-analysisbenches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysiscreated

1 month ago

, last acknowledgement

1 month ago

109

41.9 ms

schedule-demobenches/example_benchmarks.rs::benches::criterion_benchmark::schedule-democreated

1 month ago

, last acknowledgement

1 month ago

109

2.1 ms

semi_naive_set_functionbenches/example_benchmarks.rs::benches::criterion_benchmark::semi_naive_set_functioncreated

1 month ago

, last acknowledgement

1 month ago

103

42.5 ms

setbenches/example_benchmarks.rs::benches::criterion_benchmark::setcreated

1 month ago

, last acknowledgement

1 month ago

109

2.5 ms

stratifiedbenches/example_benchmarks.rs::benches::criterion_benchmark::stratifiedcreated

1 month ago

, last acknowledgement

1 month ago

109

752.3 µs

stresstest_large_exprbenches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_exprcreated

29 days ago

, last run

4 days ago

2.8 s

stringbenches/example_benchmarks.rs::benches::criterion_benchmark::stringcreated

1 month ago

, last acknowledgement

1 month ago

109

374.3 µs

string_quotesbenches/example_benchmarks.rs::benches::criterion_benchmark::string_quotescreated

1 month ago

, last acknowledgement

1 month ago

109

305.6 µs

subsumebenches/example_benchmarks.rs::benches::criterion_benchmark::subsumecreated

1 month ago

, last acknowledgement

1 month ago

109

1.2 ms

test-combinedbenches/example_benchmarks.rs::benches::criterion_benchmark::test-combinedcreated

1 month ago

, last acknowledgement

1 month ago

109

955.2 µs

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

1 month ago

, last acknowledgement

1 month ago

109

2.8 ms

towers-of-hanoibenches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoicreated

1 month ago

, last acknowledgement

1 month ago

109

5.7 ms

tricky-type-checkingbenches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checkingcreated

1 month ago

, last acknowledgement

1 month ago

109

12.5 ms

type-constraints-testsbenches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-testscreated

1 month ago

, last acknowledgement

1 month ago

109

420.6 µs

typecheckbenches/example_benchmarks.rs::benches::criterion_benchmark::typecheckcreated

1 month ago

, last acknowledgement

1 month ago

109

6 ms

typeinferbenches/example_benchmarks.rs::benches::criterion_benchmark::typeinfercreated

1 month ago

, last run

4 days ago

110

431.2 ms

unification-points-tobenches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-tocreated

1 month ago

, last acknowledgement

1 month ago

109

8.2 ms

unifybenches/example_benchmarks.rs::benches::criterion_benchmark::unifycreated

1 month ago

, last acknowledgement

1 month ago

109

828 µs

unstable-fnbenches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fncreated

1 month ago

, last acknowledgement

1 month ago

108

6.3 ms

untilbenches/example_benchmarks.rs::benches::criterion_benchmark::untilcreated

1 month ago

, last acknowledgement

1 month ago

109

2.7 ms

vecbenches/example_benchmarks.rs::benches::criterion_benchmark::veccreated

1 month ago

, last acknowledgement

1 month ago

109

817.3 µs

ResourcesHome Pricing Docs Blog GitHub Changelog

Getting StartedSample repository Explore repositories Support

AboutCareers Twitter Discord Contact Us Terms of Service Privacy Policy