Benchmarks

antiunifyIgnored

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

7 months ago

, last run

10 hours ago

351

2.2 ms

arrayIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

26.1 ms

bddIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

16.6 ms

before-proofsIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.3 ms

bignumIgnored

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

6 months ago

, last run

10 hours ago

272

607.3 µs

birewriteIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.2 ms

bitwiseIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

566.8 µs

boolIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.2 ms

calcIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

5.2 ms

combinatorsIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

24.5 ms

combined-nestedIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

655.2 µs

container-rebuildIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.6 ms

cykIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

11.5 ms

cykjson

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

7 months ago

, last acknowledgement

3 months ago

351

457.1 ms

datatypesIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

444.1 µs

deleteIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

388.4 µs

eggcc-extraction

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

7 months ago

, last acknowledgement

3 months ago

352

2.2 s

eqsat-basicIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.4 ms

eqsat-basic-multisetIgnored

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

7 months ago

, last run

10 hours ago

294

3.7 ms

eqsolveIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

37.3 ms

extract-vec-bench

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

5 months ago

, last acknowledgement

3 months ago

164

107.7 ms

f64Ignored

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

7 months ago

, last acknowledgement

7 months ago

351

799.1 µs

fail_wrong_assertionIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1 ms

fibonacciIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1 ms

fibonacci-demandIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

2 ms

fusionIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

37.9 ms

herbie

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

7 months ago

, last run

10 hours ago

349

286.3 ms

herbie-tutorialIgnored

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

7 months ago

, last acknowledgement

7 months ago

348

9 ms

i64Ignored

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

7 months ago

, last acknowledgement

7 months ago

351

245.5 µs

includeIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

880.4 µs

integer_mathIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

16.7 ms

intersectionIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.6 ms

intervalIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.5 ms

knapsackIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

6.9 ms

lambda

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

7 months ago

, last run

10 hours ago

352

121.6 ms

levenshtein-distanceIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

18.7 ms

listIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

4.3 ms

looking_up_globalIgnored

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

6 months ago

, last run

10 hours ago

221

290.9 µs

looking_up_nonconstructor_in_rewrite_goodIgnored

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

6 months ago

, last run

10 hours ago

215

426.3 µs

mapIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

419 µs

mathIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

46.8 ms

math-microbenchmark

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

7 months ago

, last acknowledgement

3 months ago

352

16.7 s

matrixIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

11.3 ms

merge-during-rebuildIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

660.8 µs

merge-saturatesIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

2.4 ms

merge_readIgnored

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

5 months ago

, last run

10 hours ago

209

278 µs

multisetIgnored

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

7 months ago

, last run

10 hours ago

294

2.6 ms

name-resolutionIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

788 µs

pathIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

854.7 µs

path-unionIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1 ms

pathproofIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.3 ms

points-toIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.8 ms

primitivesIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

458.3 µs

primsIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

3.9 ms

push-popIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

449.2 µs

python_array_optimize

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

7 months ago

, last acknowledgement

2 months ago

302

7.2 s

rat-pow-eval

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

4 months ago

, last run

10 hours ago

2.5 ms

repro-defineIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

509.9 µs

repro-desugar-143Ignored

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

7 months ago

, last acknowledgement

7 months ago

351

9.3 ms

repro-empty-queryIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

419.4 µs

repro-equal-constantIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

465.7 µs

repro-equal-constant2Ignored

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

7 months ago

, last acknowledgement

7 months ago

351

450.2 µs

repro-noteqbugIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

567.7 µs

repro-primitive-queryIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

514.7 µs

repro-querybugIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

667 µs

repro-querybug2Ignored

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

7 months ago

, last acknowledgement

7 months ago

351

466.3 µs

repro-querybug3Ignored

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

7 months ago

, last acknowledgement

7 months ago

351

1.4 ms

repro-querybug4Ignored

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

7 months ago

, last acknowledgement

7 months ago

351

490.8 µs

repro-should-saturateIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

422.6 µs

repro-silly-panicIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

576.8 µs

repro-typechecking-scheduleIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

251.7 µs

repro-unsoundIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

502.5 ms

repro-unsound-htutorialIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

648.1 µs

repro-vec-unequalIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

598.3 µs

resolutionIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

4 ms

rw-analysisIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

39.5 ms

schedule-demoIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

2.2 ms

setIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

2 ms

set_sort_functionIgnored

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

5 months ago

, last run

10 hours ago

213

364.5 µs

stratifiedIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

799.6 µs

stresstest_large_expr

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

7 months ago

, last run

10 hours ago

297

2.2 s

stringIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

356.5 µs

string_quotesIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

291.9 µs

subsumeIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1.2 ms

test-combinedIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

1 ms

test-combined-stepsIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

3 ms

towers-of-hanoiIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

3.9 ms

tricky-type-checkingIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

12.6 ms

type-constraints-testsIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

379.9 µs

typecheckIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

6.2 ms

typeinfer

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

7 months ago

, last run

10 hours ago

352

435.5 ms

unification-points-toIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

9.1 ms

unifyIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

845 µs

unstable-fnIgnored

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

7 months ago

, last acknowledgement

7 months ago

350

6.9 ms

untilIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

2.8 ms

vecIgnored

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

7 months ago

, last acknowledgement

7 months ago

351

824 µs

Home Terms Privacy Docs