Benchmarks

antiunifyIgnored

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

5 months ago

, last run

1 month ago

307

1.8 ms

arrayIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

26.1 ms

bddIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

16.6 ms

before-proofsIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.2 ms

bignumIgnored

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

4 months ago

, last run

1 month ago

228

578.6 µs

birewriteIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1 ms

bitwiseIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

564.9 µs

boolIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.1 ms

calcIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

5.1 ms

combinatorsIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

18.8 ms

combined-nestedIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

622.5 µs

container-rebuildIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.6 ms

cykIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

11.4 ms

cykjson

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

5 months ago

, last acknowledgement

22 days ago

307

378.1 ms

datatypesIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

380.8 µs

deleteIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

388.5 µs

eggcc-extraction

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

5 months ago

, last acknowledgement

22 days ago

308

2.2 s

eqsat-basicIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.3 ms

eqsat-basic-multisetIgnored

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

5 months ago

, last run

1 month ago

250

3.5 ms

eqsolveIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

31.1 ms

extract-vec-bench

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

3 months ago

, last acknowledgement

22 days ago

120

74 ms

f64Ignored

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

5 months ago

, last acknowledgement

5 months ago

307

784.5 µs

fail_wrong_assertionIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

979.4 µs

fibonacciIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

942.8 µs

fibonacci-demandIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.8 ms

fusionIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

36.6 ms

herbie

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

5 months ago

, last run

1 month ago

305

286.3 ms

herbie-tutorialIgnored

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

5 months ago

, last acknowledgement

5 months ago

304

8.7 ms

i64Ignored

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

5 months ago

, last acknowledgement

5 months ago

307

222.8 µs

includeIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

793.3 µs

integer_mathIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

12.2 ms

intersectionIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.5 ms

intervalIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.4 ms

knapsackIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

5.8 ms

lambda

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

5 months ago

, last run

1 month ago

308

121.6 ms

levenshtein-distanceIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

17.3 ms

listIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

4.1 ms

looking_up_globalIgnored

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

4 months ago

, last run

1 month ago

177

277.2 µs

looking_up_nonconstructor_in_rewrite_goodIgnored

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

4 months ago

, last run

1 month ago

171

422.1 µs

mapIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

417 µs

mathIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

35.1 ms

math-microbenchmark

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

5 months ago

, last acknowledgement

22 days ago

308

4.3 s

matrixIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

11 ms

merge-during-rebuildIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

612 µs

merge-saturatesIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

2 ms

merge_readIgnored

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

3 months ago

, last run

1 month ago

165

260.8 µs

multisetIgnored

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

5 months ago

, last run

1 month ago

250

2.5 ms

name-resolutionIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

720.1 µs

pathIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

768.8 µs

path-unionIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

896.6 µs

pathproofIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.1 ms

points-toIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.7 ms

primitivesIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

457 µs

primsIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

3.6 ms

push-popIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

448.7 µs

python_array_optimize

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

5 months ago

, last acknowledgement

22 days ago

258

3.9 s

rat-pow-eval

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

2 months ago

, last run

1 month ago

2.5 ms

repro-defineIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

480.5 µs

repro-desugar-143Ignored

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

5 months ago

, last acknowledgement

5 months ago

307

8.6 ms

repro-empty-queryIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

407.5 µs

repro-equal-constantIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

450 µs

repro-equal-constant2Ignored

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

5 months ago

, last acknowledgement

5 months ago

307

435.4 µs

repro-noteqbugIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

553.2 µs

repro-primitive-queryIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

486.8 µs

repro-querybugIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

628.3 µs

repro-querybug2Ignored

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

5 months ago

, last acknowledgement

5 months ago

307

441.1 µs

repro-querybug3Ignored

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

5 months ago

, last acknowledgement

5 months ago

307

1.3 ms

repro-querybug4Ignored

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

5 months ago

, last acknowledgement

5 months ago

307

472 µs

repro-should-saturateIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

413.9 µs

repro-silly-panicIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

556.1 µs

repro-typechecking-scheduleIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

249.5 µs

repro-unsoundIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

247.8 ms

repro-unsound-htutorialIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

599.4 µs

repro-vec-unequalIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

567 µs

resolutionIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

3.9 ms

rw-analysisIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

38.7 ms

schedule-demoIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

2.1 ms

setIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

2 ms

set_sort_functionIgnored

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

3 months ago

, last run

1 month ago

169

339 µs

stratifiedIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

700.4 µs

stresstest_large_expr

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

5 months ago

, last run

1 month ago

253

2.1 s

stringIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

355.6 µs

string_quotesIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

278.8 µs

subsumeIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

1.1 ms

test-combinedIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

903.2 µs

test-combined-stepsIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

2.7 ms

towers-of-hanoiIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

3.4 ms

tricky-type-checkingIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

12.5 ms

type-constraints-testsIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

375.3 µs

typecheckIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

5.8 ms

typeinfer

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

5 months ago

, last run

1 month ago

308

436.1 ms

unification-points-toIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

8.1 ms

unifyIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

794.6 µs

unstable-fnIgnored

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

5 months ago

, last acknowledgement

5 months ago

306

6.1 ms

untilIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

2.6 ms

vecIgnored

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

5 months ago

, last acknowledgement

5 months ago

307

826 µs

Home Terms Privacy Docs