Benchmarks

antiunify

Instrumentation

Ignored

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

10 months ago

, last run

3 days ago

544

2.8 ms

array

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

27.1 ms

bdd

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

14.5 ms

before-proofs

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

2 ms

bignum

Instrumentation

Ignored

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

9 months ago

, last run

3 days ago

465

1.1 ms

birewrite

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.9 ms

bitwise

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

943.4 µs

bool

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.9 ms

calc

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

6.3 ms

combinators

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

20.8 ms

combined-nested

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

948.4 µs

complex-merge-func

Instrumentation

Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-funccreated

2 months ago

, last run

3 days ago

149

1.1 ms

complex-merge-prim

Instrumentation

Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-primcreated

2 months ago

, last run

3 days ago

149

915.9 µs

container-rebuild

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

2.8 ms

cyk

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

23 ms

cykjson

Instrumentation

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

10 months ago

, last acknowledgement

6 months ago

544

475.1 ms

datatypes

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

797.8 µs

delete

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

672.6 µs

eggcc-extraction

Instrumentation

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

10 months ago

, last acknowledgement

6 months ago

545

2.8 s

eqsat-basic

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.9 ms

eqsat-basic-multiset

Instrumentation

Ignored

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

10 months ago

, last run

3 days ago

487

4.3 ms

eqsolve

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

31.7 ms

extract-vec-bench

Instrumentation

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

8 months ago

, last acknowledgement

6 months ago

357

105 ms

f64

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.4 ms

fail_wrong_assertion

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.6 ms

fibonacci

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.2 ms

fibonacci-demand

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

2.4 ms

fusion

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

22.9 ms

herbie

Instrumentation

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

10 months ago

, last run

3 days ago

542

265 ms

herbie-tutorial

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

541

9.5 ms

i64

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

426.2 µs

include

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.4 ms

integer_math

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

13.6 ms

intersection

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

3 ms

interval

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

2.1 ms

knapsack

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

7.9 ms

lambda

Instrumentation

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

10 months ago

, last run

3 days ago

545

82.5 ms

levenshtein-distance

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

19.7 ms

list

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

5 ms

looking_up_global

Instrumentation

Ignored

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

9 months ago

, last run

3 days ago

414

588.6 µs

looking_up_nonconstructor_in_rewrite_good

Instrumentation

Ignored

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

8 months ago

, last run

3 days ago

408

655.7 µs

map

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

813.3 µs

math

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

38.7 ms

math-microbenchmark

Instrumentation

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

10 months ago

, last acknowledgement

6 months ago

545

9 s

matrix

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

10.3 ms

merge-during-rebuild

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.3 ms

merge-saturates

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

3.4 ms

merge_read

Instrumentation

Ignored

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

8 months ago

, last run

3 days ago

402

504.7 µs

multiset

Instrumentation

Ignored

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

10 months ago

, last run

3 days ago

487

3.6 ms

name-resolution

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.4 ms

naturals

Instrumentation

Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::naturalscreated

2 months ago

, last run

3 days ago

149

3.6 ms

path

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.3 ms

path-union

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.5 ms

pathproof

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.8 ms

points-to

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

2.9 ms

primitives

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

760.5 µs

prims

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

4.1 ms

push-pop

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

838.8 µs

python_array_optimize

Instrumentation

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

10 months ago

, last acknowledgement

5 months ago

495

4.9 s

rat-pow-eval

Instrumentation

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

7 months ago

, last run

3 days ago

285

3.8 ms

repro-define

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

882.3 µs

repro-desugar-143

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

10.6 ms

repro-empty-query

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

671.2 µs

repro-equal-constant

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

710.8 µs

repro-equal-constant2

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

718.2 µs

repro-new-backend-delete

Instrumentation

Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-deletecreated

2 months ago

, last run

3 days ago

149

545.3 µs

repro-new-backend-prims

Instrumentation

Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-primscreated

2 months ago

, last run

3 days ago

149

841.4 µs

repro-new-backend-python-vec

Instrumentation

Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-python-veccreated

3 months ago

, last run

3 days ago

151

183.4 ms

repro-noteqbug

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

914.1 µs

repro-primitive-query

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

766.1 µs

repro-querybug

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.1 ms

repro-querybug2

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

770.2 µs

repro-querybug3

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

2 ms

repro-querybug4

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

802.5 µs

repro-should-saturate

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

635.3 µs

repro-silly-panic

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

975.8 µs

repro-typechecking-schedule

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

434.6 µs

repro-unsound

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

399 ms

repro-unsound-htutorial

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1 ms

repro-vec-unequal

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1 ms

resolution

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

4.9 ms

rw-analysis

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

31.5 ms

schedule-demo

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

2.4 ms

set

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

3 ms

set_sort_function

Instrumentation

Ignored

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

8 months ago

, last run

3 days ago

406

741.3 µs

stratified

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.2 ms

stresstest_large_expr

Instrumentation

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

9 months ago

, last run

3 days ago

490

1.6 s

string

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

636.7 µs

string_quotes

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

513.5 µs

subsume

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.7 ms

subsume-relation

Instrumentation

Ignored

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

2 months ago

, last run

3 days ago

169

1 ms

test-combined

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.5 ms

test-combined-steps

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

3.2 ms

towers-of-hanoi

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

3.5 ms

tricky-type-checking

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

13 ms

type-constraints-tests

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

597.5 µs

typecheck

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

7.1 ms

typeinfer

Instrumentation

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

10 months ago

, last run

3 days ago

545

274.8 ms

unification-points-to

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

10.9 ms

unify

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.2 ms

unstable-fn

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

543

6.7 ms

until

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

3.3 ms

vec

Instrumentation

Ignored

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

10 months ago

, last acknowledgement

10 months ago

544

1.9 ms

Home Terms Privacy Docs