Benchmarks

antiunify

Instrumentation

Ignored

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

9 months ago

, last run

11 days ago

521

2.8 ms

array

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

29.9 ms

bdd

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

14.9 ms

before-proofs

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2 ms

bignum

Instrumentation

Ignored

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

9 months ago

, last run

11 days ago

442

1 ms

birewrite

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.9 ms

bitwise

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

827.8 µs

bool

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.6 ms

calc

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

5.9 ms

combinators

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

20.9 ms

combined-nested

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

923.1 µs

complex-merge-func

Instrumentation

Ignored

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

2 months ago

, last run

11 days ago

126

1.1 ms

complex-merge-prim

Instrumentation

Ignored

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

2 months ago

, last run

11 days ago

126

872.3 µs

container-rebuild

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2.7 ms

cyk

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

23 ms

cykjson

Instrumentation

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

9 months ago

, last acknowledgement

5 months ago

521

914.4 ms

datatypes

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

781.7 µs

delete

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

659 µs

eggcc-extraction

Instrumentation

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

9 months ago

, last acknowledgement

5 months ago

522

3.9 s

eqsat-basic

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.9 ms

eqsat-basic-multiset

Instrumentation

Ignored

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

9 months ago

, last run

11 days ago

464

4 ms

eqsolve

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

39.2 ms

extract-vec-bench

Instrumentation

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

7 months ago

, last acknowledgement

5 months ago

334

103.8 ms

f64

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.2 ms

fail_wrong_assertion

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.5 ms

fibonacci

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.2 ms

fibonacci-demand

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2.6 ms

fusion

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

23.4 ms

herbie

Instrumentation

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

9 months ago

, last run

11 days ago

519

285.5 ms

herbie-tutorial

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

518

9.2 ms

i64

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

409.6 µs

include

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.3 ms

integer_math

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

14.2 ms

intersection

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

3 ms

interval

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2 ms

knapsack

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

7.9 ms

lambda

Instrumentation

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

9 months ago

, last run

11 days ago

522

86.4 ms

levenshtein-distance

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

19.4 ms

list

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

4.8 ms

looking_up_global

Instrumentation

Ignored

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

8 months ago

, last run

11 days ago

391

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

11 days ago

385

641.2 µs

map

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

785.4 µs

math

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

44 ms

math-microbenchmark

Instrumentation

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

9 months ago

, last acknowledgement

5 months ago

522

10.7 s

matrix

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

10.8 ms

merge-during-rebuild

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.3 ms

merge-saturates

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

3.4 ms

merge_read

Instrumentation

Ignored

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

7 months ago

, last run

11 days ago

379

504.1 µs

multiset

Instrumentation

Ignored

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

9 months ago

, last run

11 days ago

464

3 ms

name-resolution

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.3 ms

naturals

Instrumentation

Ignored

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

2 months ago

, last run

11 days ago

126

3.7 ms

path

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.3 ms

path-union

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.4 ms

pathproof

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.7 ms

points-to

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2.8 ms

primitives

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

670.4 µs

prims

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

4 ms

push-pop

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

819.1 µs

python_array_optimize

Instrumentation

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

9 months ago

, last acknowledgement

4 months ago

472

4.9 s

rat-pow-eval

Instrumentation

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

6 months ago

, last run

11 days ago

262

3.5 ms

repro-define

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

889.6 µs

repro-desugar-143

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

10.7 ms

repro-empty-query

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

661.7 µs

repro-equal-constant

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

679.4 µs

repro-equal-constant2

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

698.4 µs

repro-new-backend-delete

Instrumentation

Ignored

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

2 months ago

, last run

11 days ago

126

539.7 µs

repro-new-backend-prims

Instrumentation

Ignored

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

2 months ago

, last run

11 days ago

126

807.6 µs

repro-new-backend-python-vec

Instrumentation

Ignored

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

2 months ago

, last run

11 days ago

128

162.8 ms

repro-noteqbug

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

880.5 µs

repro-primitive-query

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

733.4 µs

repro-querybug

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1 ms

repro-querybug2

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

762.4 µs

repro-querybug3

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2 ms

repro-querybug4

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

780.5 µs

repro-should-saturate

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

614.9 µs

repro-silly-panic

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

946.8 µs

repro-typechecking-schedule

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

418.2 µs

repro-unsound

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

437.1 ms

repro-unsound-htutorial

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1 ms

repro-vec-unequal

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1 ms

resolution

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

4.9 ms

rw-analysis

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

30.9 ms

schedule-demo

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2.4 ms

set

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

2.5 ms

set_sort_function

Instrumentation

Ignored

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

7 months ago

, last run

11 days ago

383

728 µs

stratified

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.2 ms

stresstest_large_expr

Instrumentation

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

9 months ago

, last run

11 days ago

467

1.5 s

string

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

581.8 µs

string_quotes

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

506.6 µs

subsume

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.7 ms

subsume-relation

Instrumentation

Ignored

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

2 months ago

, last run

11 days ago

146

1 ms

test-combined

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.5 ms

test-combined-steps

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

3.1 ms

towers-of-hanoi

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

3.5 ms

tricky-type-checking

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

12.8 ms

type-constraints-tests

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

560.5 µs

typecheck

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

7.1 ms

typeinfer

Instrumentation

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

9 months ago

, last run

11 days ago

522

310.4 ms

unification-points-to

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

10.7 ms

unify

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.2 ms

unstable-fn

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

520

7.1 ms

until

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

3.3 ms

vec

Instrumentation

Ignored

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

9 months ago

, last acknowledgement

9 months ago

521

1.7 ms

Home Terms Privacy Docs