Benchmarks

antiunify

Instrumentation

Ignored

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

11 months ago

, last run

3 days ago

586

2.7 ms

array

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

27 ms

bdd

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

14.3 ms

before-proofs

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.9 ms

bignum

Instrumentation

Ignored

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

10 months ago

, last run

3 days ago

507

1.1 ms

birewrite

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.9 ms

bitwise

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

914.8 µs

bool

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.8 ms

calc

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

6.1 ms

combinators

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

20.1 ms

combined-nested

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

927.3 µs

complex-merge-func

Instrumentation

Ignored

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

3 months ago

, last run

3 days ago

191

1.1 ms

complex-merge-prim

Instrumentation

Ignored

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

3 months ago

, last run

3 days ago

191

910.5 µs

container-rebuild

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2.8 ms

cyk

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

22.6 ms

cykjson

Instrumentation

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

11 months ago

, last acknowledgement

7 months ago

586

473.7 ms

datatypes

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

784.1 µs

delete

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

666.1 µs

eggcc-extraction

Instrumentation

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

11 months ago

, last acknowledgement

7 months ago

587

2.8 s

eqsat-basic

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.9 ms

eqsat-basic-multiset

Instrumentation

Ignored

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

11 months ago

, last run

3 days ago

529

4.2 ms

eqsolve

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

31.9 ms

extract-vec-bench

Instrumentation

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

9 months ago

, last acknowledgement

7 months ago

399

100.6 ms

f64

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.3 ms

fail_wrong_assertion

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.6 ms

fibonacci

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.2 ms

fibonacci-demand

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2.3 ms

fusion

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

22.6 ms

herbie

Instrumentation

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

11 months ago

, last run

3 days ago

584

262.2 ms

herbie-tutorial

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

583

9.3 ms

i64

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

421.5 µs

include

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.3 ms

integer_math

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

13.3 ms

intersection

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2.9 ms

interval

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2 ms

knapsack

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

7.8 ms

lambda

Instrumentation

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

11 months ago

, last run

3 days ago

587

81.5 ms

levenshtein-distance

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

19.5 ms

list

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

4.9 ms

looking_up_global

Instrumentation

Ignored

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

10 months ago

, last run

3 days ago

456

573.6 µs

looking_up_nonconstructor_in_rewrite_good

Instrumentation

Ignored

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

9 months ago

, last run

3 days ago

450

638.8 µs

map

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

795.3 µs

math

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

38.6 ms

math-microbenchmark

Instrumentation

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

11 months ago

, last acknowledgement

7 months ago

587

8.7 s

matrix

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

10.1 ms

merge-during-rebuild

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.3 ms

merge-saturates

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

3.3 ms

merge_read

Instrumentation

Ignored

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

9 months ago

, last run

3 days ago

444

504.6 µs

multiset

Instrumentation

Ignored

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

11 months ago

, last run

3 days ago

529

3.5 ms

name-resolution

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.3 ms

naturals

Instrumentation

Ignored

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

3 months ago

, last run

3 days ago

191

3.5 ms

path

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.3 ms

path-union

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.5 ms

pathproof

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.7 ms

points-to

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2.8 ms

primitives

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

747 µs

prims

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

4 ms

print-function

Instrumentation

benches/example_benchmarks.rs::benches::criterion_benchmark::print-functioncreated

1 month ago

, last run

3 days ago

1.4 ms

push-pop

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

814.6 µs

python_array_optimize

Instrumentation

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

11 months ago

, last acknowledgement

5 months ago

537

4.9 s

rat-pow-eval

Instrumentation

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

8 months ago

, last run

3 days ago

327

3.8 ms

repro-define

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

874.7 µs

repro-desugar-143

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

10.4 ms

repro-empty-query

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

661.2 µs

repro-equal-constant

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

699.5 µs

repro-equal-constant2

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

712.1 µs

repro-new-backend-delete

Instrumentation

Ignored

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

3 months ago

, last run

3 days ago

191

538.5 µs

repro-new-backend-prims

Instrumentation

Ignored

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

3 months ago

, last run

3 days ago

191

830.5 µs

repro-new-backend-python-vec

Instrumentation

Ignored

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

4 months ago

, last run

3 days ago

193

180.7 ms

repro-noteqbug

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

901.4 µs

repro-primitive-query

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

762.8 µs

repro-querybug

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.1 ms

repro-querybug2

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

754.6 µs

repro-querybug3

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2 ms

repro-querybug4

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

783.7 µs

repro-should-saturate

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

617 µs

repro-silly-panic

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

953.2 µs

repro-typechecking-schedule

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

428.7 µs

repro-unsound

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

391.9 ms

repro-unsound-htutorial

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1 ms

repro-vec-unequal

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1 ms

resolution

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

4.8 ms

rw-analysis

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

31.1 ms

schedule-demo

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2.3 ms

set

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

2.9 ms

set_sort_function

Instrumentation

Ignored

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

9 months ago

, last run

3 days ago

448

722.8 µs

stratified

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.2 ms

stresstest_large_expr

Instrumentation

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

10 months ago

, last run

3 days ago

532

1.6 s

string

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

623 µs

string_quotes

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

505.2 µs

subsume

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.7 ms

subsume-relation

Instrumentation

Ignored

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

3 months ago

, last run

3 days ago

211

1 ms

test-combined

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.5 ms

test-combined-steps

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

3 ms

towers-of-hanoi

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

3.5 ms

tricky-type-checking

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

12.8 ms

type-constraints-tests

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

588.9 µs

typecheck

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

7 ms

typeinfer

Instrumentation

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

11 months ago

, last run

3 days ago

587

271 ms

unification-points-to

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

10.7 ms

unify

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.2 ms

unstable-fn

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

585

6.6 ms

until

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

3.3 ms

vec

Instrumentation

Ignored

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

11 months ago

, last acknowledgement

11 months ago

586

1.9 ms

Home Terms Privacy Docs