Benchmarks

antiunifyIgnored

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

2 months ago

, last run

6 days ago

197

1.9 ms

arrayIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

26.1 ms

bddIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

16.6 ms

before-proofsIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.3 ms

bignumIgnored

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

2 months ago

, last run

6 days ago

118

553.3 µs

birewriteIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.1 ms

bitwiseIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

542.3 µs

boolIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.1 ms

calcIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

5.1 ms

combinatorsIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

18.7 ms

combined-nestedIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

602.4 µs

container-rebuildIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.5 ms

cykIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

11.2 ms

cykjson

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

2 months ago

, last acknowledgement

2 months ago

197

377.4 ms

datatypesIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

364.8 µs

deleteIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

390.4 µs

eggcc-extraction

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

2 months ago

, last run

6 days ago

198

2.2 s

eqsat-basicIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.3 ms

eqsat-basic-multisetIgnored

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

2 months ago

, last run

6 days ago

140

3.6 ms

eqsolveIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

31.1 ms

extract-vec-bench

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

11 days ago

, last run

6 days ago

76.8 ms

f64Ignored

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

2 months ago

, last acknowledgement

2 months ago

197

732.7 µs

fail_wrong_assertionIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

926 µs

fibonacciIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

936.2 µs

fibonacci-demandIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.8 ms

fusionIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

35.8 ms

herbie

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

2 months ago

, last run

6 days ago

195

287.6 ms

herbie-tutorialIgnored

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

2 months ago

, last acknowledgement

2 months ago

194

8.6 ms

i64Ignored

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

2 months ago

, last acknowledgement

2 months ago

197

235.5 µs

includeIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

791.4 µs

integer_mathIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

12.5 ms

intersectionIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.4 ms

intervalIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.5 ms

knapsackIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

5.8 ms

lambda

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

2 months ago

, last run

6 days ago

198

121.4 ms

levenshtein-distanceIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

17.2 ms

listIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

4.1 ms

looking_up_globalIgnored

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

2 months ago

, last run

6 days ago

268 µs

looking_up_nonconstructor_in_rewrite_goodIgnored

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

29 days ago

, last run

6 days ago

425.8 µs

mapIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

403.6 µs

mathIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

35.4 ms

math-microbenchmark

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

2 months ago

, last run

6 days ago

198

4.2 s

matrixIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

11.2 ms

merge-during-rebuildIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

586.1 µs

merge-saturatesIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

2 ms

merge_readIgnored

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

20 days ago

, last run

6 days ago

257.5 µs

multisetIgnored

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

2 months ago

, last run

6 days ago

140

2.4 ms

name-resolutionIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

714.2 µs

pathIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

759.2 µs

path-unionIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

883.8 µs

pathproofIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.1 ms

points-toIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.7 ms

primitivesIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

432.7 µs

primsIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

3.6 ms

push-popIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

424.2 µs

python_array_optimize

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

2 months ago

, last run

6 days ago

148

3.8 s

repro-defineIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

477.2 µs

repro-desugar-143Ignored

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

2 months ago

, last acknowledgement

2 months ago

197

8.3 ms

repro-empty-queryIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

408.6 µs

repro-equal-constantIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

441.9 µs

repro-equal-constant2Ignored

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

2 months ago

, last acknowledgement

2 months ago

197

429.9 µs

repro-noteqbugIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

527.6 µs

repro-primitive-queryIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

470.2 µs

repro-querybugIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

640.8 µs

repro-querybug2Ignored

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

2 months ago

, last acknowledgement

2 months ago

197

445.4 µs

repro-querybug3Ignored

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

2 months ago

, last acknowledgement

2 months ago

197

1.2 ms

repro-querybug4Ignored

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

2 months ago

, last acknowledgement

2 months ago

197

472 µs

repro-should-saturateIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

411.2 µs

repro-silly-panicIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

563.8 µs

repro-typechecking-scheduleIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

245.3 µs

repro-unsoundIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

250 ms

repro-unsound-htutorialIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

589.7 µs

repro-vec-unequalIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

543.1 µs

resolutionIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

3.9 ms

rw-analysisIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

38 ms

schedule-demoIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

2 ms

setIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.9 ms

set_sort_functionIgnored

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

20 days ago

, last run

6 days ago

323 µs

stratifiedIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

688.8 µs

stresstest_large_expr

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

2 months ago

, last run

6 days ago

143

2.2 s

stringIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

339.2 µs

string_quotesIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

271.2 µs

subsumeIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

1.1 ms

test-combinedIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

883.2 µs

test-combined-stepsIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

2.7 ms

towers-of-hanoiIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

3.4 ms

tricky-type-checkingIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

12.4 ms

type-constraints-testsIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

383.9 µs

typecheckIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

6.2 ms

typeinfer

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

2 months ago

, last run

6 days ago

198

427.9 ms

unification-points-toIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

7.9 ms

unifyIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

794.7 µs

unstable-fnIgnored

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

2 months ago

, last acknowledgement

2 months ago

196

6 ms

untilIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

2.5 ms

vecIgnored

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

2 months ago

, last acknowledgement

2 months ago

197

777.2 µs

Home Terms Privacy Docs