Benchmarks

antiunifyIgnored

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

8 months ago

, last run

11 days ago

414

2.2 ms

arrayIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

26.2 ms

bddIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

16.7 ms

before-proofsIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.4 ms

bignumIgnored

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

7 months ago

, last run

11 days ago

335

616.6 µs

birewriteIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.2 ms

bitwiseIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

578.1 µs

boolIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.2 ms

calcIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

5.2 ms

combinatorsIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

24.8 ms

combined-nestedIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

670.5 µs

container-rebuildIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.6 ms

cykIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

11.3 ms

cykjson

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

8 months ago

, last acknowledgement

4 months ago

414

457.6 ms

datatypesIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

453.7 µs

deleteIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

393.8 µs

eggcc-extraction

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

8 months ago

, last acknowledgement

4 months ago

415

2.2 s

eqsat-basicIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.4 ms

eqsat-basic-multisetIgnored

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

8 months ago

, last run

11 days ago

357

3.8 ms

eqsolveIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

37 ms

extract-vec-bench

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

6 months ago

, last acknowledgement

4 months ago

227

107.4 ms

f64Ignored

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

8 months ago

, last acknowledgement

8 months ago

414

797.6 µs

fail_wrong_assertionIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1 ms

fibonacciIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1 ms

fibonacci-demandIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

2 ms

fusionIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

37.8 ms

herbie

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

8 months ago

, last run

11 days ago

412

288 ms

herbie-tutorialIgnored

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

8 months ago

, last acknowledgement

8 months ago

411

9 ms

i64Ignored

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

8 months ago

, last acknowledgement

8 months ago

414

252.7 µs

includeIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

898.2 µs

integer_mathIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

16.9 ms

intersectionIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.6 ms

intervalIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.5 ms

knapsackIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

6.9 ms

lambda

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

8 months ago

, last run

11 days ago

415

121.6 ms

levenshtein-distanceIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

18.7 ms

listIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

4.3 ms

looking_up_globalIgnored

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

7 months ago

, last run

11 days ago

284

293.2 µ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

11 days ago

278

428.6 µs

mapIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

428 µs

mathIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

47.2 ms

math-microbenchmark

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

8 months ago

, last acknowledgement

4 months ago

415

16.7 s

matrixIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

11.3 ms

merge-during-rebuildIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

666.8 µs

merge-saturatesIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

2.4 ms

merge_readIgnored

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

6 months ago

, last run

11 days ago

272

282.2 µs

multisetIgnored

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

8 months ago

, last run

11 days ago

357

2.6 ms

name-resolutionIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

798.9 µs

pathIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

868.3 µs

path-unionIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1 ms

pathproofIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.3 ms

points-toIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.8 ms

primitivesIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

462 µs

primsIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

3.9 ms

push-popIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

466.3 µs

python_array_optimize

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

8 months ago

, last acknowledgement

2 months ago

365

7.2 s

rat-pow-eval

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

5 months ago

, last run

11 days ago

155

2.5 ms

repro-defineIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

516.6 µs

repro-desugar-143Ignored

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

8 months ago

, last acknowledgement

8 months ago

414

9.3 ms

repro-empty-queryIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

423.1 µs

repro-equal-constantIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

461.7 µs

repro-equal-constant2Ignored

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

8 months ago

, last acknowledgement

8 months ago

414

456.1 µs

repro-noteqbugIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

573.7 µs

repro-primitive-queryIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

518.2 µs

repro-querybugIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

673.9 µs

repro-querybug2Ignored

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

8 months ago

, last acknowledgement

8 months ago

414

471.3 µs

repro-querybug3Ignored

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

8 months ago

, last acknowledgement

8 months ago

414

1.4 ms

repro-querybug4Ignored

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

8 months ago

, last acknowledgement

8 months ago

414

498.6 µs

repro-should-saturateIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

429.3 µs

repro-silly-panicIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

584.8 µs

repro-typechecking-scheduleIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

252.1 µs

repro-unsoundIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

504.3 ms

repro-unsound-htutorialIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

653.1 µs

repro-vec-unequalIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

608.4 µs

resolutionIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

4 ms

rw-analysisIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

39.6 ms

schedule-demoIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

2.2 ms

setIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

2.1 ms

set_sort_functionIgnored

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

6 months ago

, last run

11 days ago

276

368.8 µs

stratifiedIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

808.4 µs

stresstest_large_expr

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

7 months ago

, last run

11 days ago

360

2.2 s

stringIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

358.8 µs

string_quotesIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

294 µs

subsumeIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.2 ms

subsume-relationIgnored

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

14 days ago

, last run

11 days ago

510.1 µs

test-combinedIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

1.1 ms

test-combined-stepsIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

3 ms

towers-of-hanoiIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

3.9 ms

tricky-type-checkingIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

12.6 ms

type-constraints-testsIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

384.9 µs

typecheckIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

6.2 ms

typeinfer

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

8 months ago

, last run

11 days ago

415

433.7 ms

unification-points-toIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

9.1 ms

unifyIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

864 µs

unstable-fnIgnored

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

8 months ago

, last acknowledgement

8 months ago

413

6.9 ms

untilIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

2.8 ms

vecIgnored

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

8 months ago

, last acknowledgement

8 months ago

414

832.1 µs

Home Terms Privacy Docs