Benchmarks

antiunifyIgnored

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

6 months ago

, last run

14 days ago

328

2.2 ms

arrayIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

26 ms

bddIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

16.6 ms

before-proofsIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.3 ms

bignumIgnored

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

6 months ago

, last run

14 days ago

249

605.6 µs

birewriteIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.2 ms

bitwiseIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

567 µs

boolIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.2 ms

calcIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

5.2 ms

combinatorsIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

24.5 ms

combined-nestedIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

658.6 µs

container-rebuildIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.5 ms

cykIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

11.5 ms

cykjson

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

6 months ago

, last acknowledgement

2 months ago

328

457.6 ms

datatypesIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

441.8 µs

deleteIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

386.8 µs

eggcc-extraction

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

6 months ago

, last acknowledgement

2 months ago

329

2.2 s

eqsat-basicIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.4 ms

eqsat-basic-multisetIgnored

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

6 months ago

, last run

14 days ago

271

3.7 ms

eqsolveIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

37.5 ms

extract-vec-bench

benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-benchcreated

4 months ago

, last acknowledgement

2 months ago

141

106.7 ms

f64Ignored

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

6 months ago

, last acknowledgement

6 months ago

328

797.1 µs

fail_wrong_assertionIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1 ms

fibonacciIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1 ms

fibonacci-demandIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

2 ms

fusionIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

38 ms

herbie

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

6 months ago

, last run

14 days ago

326

286.3 ms

herbie-tutorialIgnored

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

6 months ago

, last acknowledgement

6 months ago

325

9 ms

i64Ignored

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

6 months ago

, last acknowledgement

6 months ago

328

244.4 µs

includeIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

884 µs

integer_mathIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

16.7 ms

intersectionIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.6 ms

intervalIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.5 ms

knapsackIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

6.9 ms

lambda

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

6 months ago

, last run

14 days ago

329

121.6 ms

levenshtein-distanceIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

18.7 ms

listIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

4.3 ms

looking_up_globalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_globalcreated

5 months ago

, last run

14 days ago

198

292.6 µs

looking_up_nonconstructor_in_rewrite_goodIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_goodcreated

5 months ago

, last run

14 days ago

192

424 µs

mapIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

418.9 µs

mathIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

46.7 ms

math-microbenchmark

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

6 months ago

, last acknowledgement

2 months ago

329

16.7 s

matrixIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

11.3 ms

merge-during-rebuildIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

665.3 µs

merge-saturatesIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

2.4 ms

merge_readIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::merge_readcreated

5 months ago

, last run

14 days ago

186

273.4 µs

multisetIgnored

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

6 months ago

, last run

14 days ago

271

2.6 ms

name-resolutionIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

793.9 µs

pathIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

861.8 µs

path-unionIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1 ms

pathproofIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.3 ms

points-toIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.8 ms

primitivesIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

458.4 µs

primsIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

3.9 ms

push-popIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

455.7 µs

python_array_optimize

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

6 months ago

, last acknowledgement

1 month ago

279

7.2 s

rat-pow-eval

benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-evalcreated

4 months ago

, last run

14 days ago

2.5 ms

repro-defineIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

515.2 µs

repro-desugar-143Ignored

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

6 months ago

, last acknowledgement

6 months ago

328

9.3 ms

repro-empty-queryIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

416.6 µs

repro-equal-constantIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

459.2 µs

repro-equal-constant2Ignored

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

6 months ago

, last acknowledgement

6 months ago

328

448.3 µs

repro-noteqbugIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

575.9 µs

repro-primitive-queryIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

509.4 µs

repro-querybugIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

668.6 µs

repro-querybug2Ignored

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

6 months ago

, last acknowledgement

6 months ago

328

471.8 µs

repro-querybug3Ignored

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

6 months ago

, last acknowledgement

6 months ago

328

1.4 ms

repro-querybug4Ignored

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

6 months ago

, last acknowledgement

6 months ago

328

496.5 µs

repro-should-saturateIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

422.7 µs

repro-silly-panicIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

582.2 µs

repro-typechecking-scheduleIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

251 µs

repro-unsoundIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

504.2 ms

repro-unsound-htutorialIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

646.5 µs

repro-vec-unequalIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

605.9 µs

resolutionIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

4 ms

rw-analysisIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

39.5 ms

schedule-demoIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

2.2 ms

setIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

2 ms

set_sort_functionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_functioncreated

5 months ago

, last run

14 days ago

190

364.6 µs

stratifiedIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

800.8 µs

stresstest_large_expr

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

6 months ago

, last run

14 days ago

274

2.2 s

stringIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

359.9 µs

string_quotesIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

291.9 µs

subsumeIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1.2 ms

test-combinedIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

1 ms

test-combined-stepsIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

3 ms

towers-of-hanoiIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

3.9 ms

tricky-type-checkingIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

12.5 ms

type-constraints-testsIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

379 µs

typecheckIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

6.2 ms

typeinfer

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

6 months ago

, last run

14 days ago

329

435.1 ms

unification-points-toIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

9.1 ms

unifyIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

845.3 µs

unstable-fnIgnored

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

6 months ago

, last acknowledgement

6 months ago

327

6.9 ms

untilIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

2.8 ms

vecIgnored

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

6 months ago

, last acknowledgement

6 months ago

328

829.3 µs

Home Terms Privacy Docs