Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

⚡️ Faster read of constraints on object and related #5677

Merged
merged 4 commits into from
Feb 7, 2025
Merged

Conversation

dubzzz
Copy link
Owner

@dubzzz dubzzz commented Feb 6, 2025

Description

Just making the read of constraints passed to arbitraries orbiting around objects slightly faster.

│ (index) │ Task Name                                                        │ ops/sec     │ Average Time (ns)  │ Margin     │ Samples │
├─────────┼──────────────────────────────────────────────────────────────────┼─────────────┼────────────────────┼────────────┼─────────┤
│ 304     │ 'anything [init] on fast-check@3.23.0'                           │ '36,468'    │ 27421.030000550672 │ '±12.88%'  │ 100     │
│ 305     │ 'anything [init] on fast-check@main'                             │ '41,437'    │ 24132.889992324635 │ '±13.80%'  │ 100     │
│ 306     │ 'anything [init] on fast-check@extra'                            │ '73,204'    │ 13660.310000414029 │ '±18.45%'  │ 100     │

ChecklistDon't delete this checklist and make sure you do the following before opening the PR

  • The name of my PR follows gitmoji specification
  • My PR references one of several related issues (if any)
    • New features or breaking changes must come with an associated Issue or Discussion
    • My PR does not add any new dependency without an associated Issue or Discussion
  • My PR includes bumps details, please run yarn bump and flag the impacts properly
  • My PR adds relevant tests and they would have failed without my PR (when applicable)

Advanced

  • Category: ⚡️ Improve performance
  • Impacts: None expected

Sorry, something went wrong.

Copy link

changeset-bot bot commented Feb 6, 2025

🦋 Changeset detected

Latest commit: 95f8f3a

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
fast-check Minor

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Copy link

pkg-pr-new bot commented Feb 6, 2025

Open in Stackblitz@fast-check/examples

@fast-check/ava

npm i https://pkg.pr.new/@fast-check/ava@5677

fast-check

npm i https://pkg.pr.new/fast-check@5677

@fast-check/jest

npm i https://pkg.pr.new/@fast-check/jest@5677

@fast-check/expect-type

npm i https://pkg.pr.new/@fast-check/expect-type@5677

@fast-check/packaged

npm i https://pkg.pr.new/@fast-check/packaged@5677

@fast-check/poisoning

npm i https://pkg.pr.new/@fast-check/poisoning@5677

@fast-check/vitest

npm i https://pkg.pr.new/@fast-check/vitest@5677

@fast-check/worker

npm i https://pkg.pr.new/@fast-check/worker@5677

commit: 95f8f3a

@dubzzz dubzzz changed the title ⚡️ Faster read of object arbitraries constraints ⚡️ Faster read of constraints on object arbitrary and related Feb 6, 2025
@dubzzz dubzzz changed the title ⚡️ Faster read of constraints on object arbitrary and related ⚡️ Faster read of constraints on object and related Feb 6, 2025
Copy link
Contributor

github-actions bot commented Feb 6, 2025

👋 A preview of the new documentation is available at: http://67a54cf05e7771934154a48e--dubzzz-fast-check.netlify.app

Copy link

codecov bot commented Feb 7, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 94.57%. Comparing base (847d6a4) to head (95f8f3a).
Report is 3 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #5677      +/-   ##
==========================================
- Coverage   94.57%   94.57%   -0.01%     
==========================================
  Files         214      214              
  Lines        9857     9854       -3     
  Branches     2759     2757       -2     
==========================================
- Hits         9322     9319       -3     
  Misses        535      535              
Flag Coverage Δ
unit-tests 94.57% <100.00%> (-0.01%) ⬇️
unit-tests-18.x-Linux 94.57% <100.00%> (-0.01%) ⬇️
unit-tests-20.x-Linux 94.57% <100.00%> (-0.01%) ⬇️
unit-tests-22.x-Linux 94.57% <100.00%> (-0.01%) ⬇️
unit-tests-latest-Linux 94.57% <100.00%> (-0.01%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
…into faster-read-obj
Copy link
Contributor

github-actions bot commented Feb 7, 2025

👋 A preview of the new documentation is available at: http://67a54f229a2ecec2d60a580e--dubzzz-fast-check.netlify.app

@dubzzz
Copy link
Owner Author

dubzzz commented Feb 7, 2025

Benchmark started at: https://github.com/dubzzz/fast-check-benchmarks/actions/runs/13190374756

┌─────────┬──────────────────────────────────────────────────────────────────┬─────────────┬────────────────────┬────────────┬─────────┐
│ (index) │ Task Name                                                        │ ops/sec     │ Average Time (ns)  │ Margin     │ Samples │
├─────────┼──────────────────────────────────────────────────────────────────┼─────────────┼────────────────────┼────────────┼─────────┤
│ 0       │ 'boolean [property] on fast-check@3.23.0'                        │ '8,954'     │ 111677.24000115413 │ '±28.37%'  │ 100     │
│ 1       │ 'boolean [property] on fast-check@main'                          │ '9,541'     │ 104806.92999815801 │ '±22.85%'  │ 100     │
│ 2       │ 'boolean [property] on fast-check@extra'                         │ '10,568'    │ 94620.19999948097  │ '±6.99%'   │ 100     │
│ 3       │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 4       │ 'integer [property] on fast-check@3.23.0'                        │ '9,991'     │ 100088.17999972962 │ '±12.65%'  │ 100     │
│ 5       │ 'integer [property] on fast-check@main'                          │ '10,248'    │ 97575.83000086015  │ '±11.24%'  │ 100     │
│ 6       │ 'integer [property] on fast-check@extra'                         │ '10,769'    │ 92852.93999826536  │ '±6.51%'   │ 100     │
│ 7       │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 8       │ 'maxSafeInteger [property] on fast-check@3.23.0'                 │ '6,967'     │ 143521.80999878328 │ '±10.74%'  │ 100     │
│ 9       │ 'maxSafeInteger [property] on fast-check@main'                   │ '9,175'     │ 108987.44999954943 │ '±9.79%'   │ 100     │
│ 10      │ 'maxSafeInteger [property] on fast-check@extra'                  │ '7,679'     │ 130213.87999993749 │ '±10.17%'  │ 100     │
│ 11      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 12      │ 'float [property] on fast-check@3.23.0'                          │ '8,962'     │ 111579.27000109339 │ '±6.33%'   │ 100     │
│ 13      │ 'float [property] on fast-check@main'                            │ '8,275'     │ 120841.60999918822 │ '±10.68%'  │ 100     │
│ 14      │ 'float [property] on fast-check@extra'                           │ '8,107'     │ 123337.12000050582 │ '±13.55%'  │ 100     │
│ 15      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 16      │ 'double [property] on fast-check@3.23.0'                         │ '6,338'     │ 157771.71999856364 │ '±9.28%'   │ 100     │
│ 17      │ 'double [property] on fast-check@main'                           │ '5,943'     │ 168240.13999925228 │ '±9.08%'   │ 100     │
│ 18      │ 'double [property] on fast-check@extra'                          │ '4,202'     │ 237963.4200001601  │ '±11.74%'  │ 100     │
│ 19      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 20      │ 'bigInt [property] on fast-check@3.23.0'                         │ '4,893'     │ 204350.94000422396 │ '±7.24%'   │ 100     │
│ 21      │ 'bigInt [property] on fast-check@main'                           │ '5,724'     │ 174678.26000065543 │ '±7.56%'   │ 100     │
│ 22      │ 'bigInt [property] on fast-check@extra'                          │ '4,656'     │ 214740.37000036333 │ '±9.63%'   │ 100     │
│ 23      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 24      │ 'date [property] on fast-check@3.23.0'                           │ '8,155'     │ 122618.55999997351 │ '±9.79%'   │ 100     │
│ 25      │ 'date [property] on fast-check@main'                             │ '8,082'     │ 123725.25999846403 │ '±9.59%'   │ 100     │
│ 26      │ 'date [property] on fast-check@extra'                            │ '8,189'     │ 122102.80000057537 │ '±6.65%'   │ 100     │
│ 27      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 28      │ 'string [property] on fast-check@3.23.0'                         │ '4,493'     │ 222552.1499995375  │ '±8.51%'   │ 100     │
│ 29      │ 'string [property] on fast-check@main'                           │ '5,334'     │ 187469.24999868497 │ '±7.77%'   │ 100     │
│ 30      │ 'string [property] on fast-check@extra'                          │ '5,303'     │ 188540.34999851137 │ '±7.29%'   │ 100     │
│ 31      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 32      │ 'string@500 [property] on fast-check@3.23.0'                     │ '344'       │ 2900179.399999324  │ '±2.41%'   │ 100     │
│ 33      │ 'string@500 [property] on fast-check@main'                       │ '348'       │ 2867469.319998636  │ '±2.04%'   │ 100     │
│ 34      │ 'string@500 [property] on fast-check@extra'                      │ '348'       │ 2872420.789998723  │ '±1.93%'   │ 100     │
│ 35      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 36      │ 'string@25k [property] on fast-check@3.23.0'                     │ '4'         │ 208997241.03999963 │ '±3.53%'   │ 100     │
│ 37      │ 'string@25k [property] on fast-check@main'                       │ '4'         │ 209691050.91999868 │ '±3.73%'   │ 100     │
│ 38      │ 'string@25k [property] on fast-check@extra'                      │ '4'         │ 205781944.0899964  │ '±3.79%'   │ 100     │
│ 39      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 40      │ 'string(grapheme-composite) [property] on fast-check@3.23.0'     │ '3,595'     │ 278124.19000372756 │ '±18.48%'  │ 100     │
│ 41      │ 'string(grapheme-composite) [property] on fast-check@main'       │ '4,212'     │ 237406.71999985352 │ '±11.22%'  │ 100     │
│ 42      │ 'string(grapheme-composite) [property] on fast-check@extra'      │ '4,398'     │ 227366.98000400793 │ '±9.90%'   │ 100     │
│ 43      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 44      │ 'string(grapheme-composite)@500 [property] on fast-check@3.23.0' │ '222'       │ 4491905.190001125  │ '±2.45%'   │ 100     │
│ 45      │ 'string(grapheme-composite)@500 [property] on fast-check@main'   │ '227'       │ 4388096.899999073  │ '±2.53%'   │ 100     │
│ 46      │ 'string(grapheme-composite)@500 [property] on fast-check@extra'  │ '224'       │ 4452813.399999868  │ '±2.48%'   │ 100     │
│ 47      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 48      │ 'string(grapheme-composite)@25k [property] on fast-check@3.23.0' │ '3'         │ 307017664.5100024  │ '±3.03%'   │ 100     │
│ 49      │ 'string(grapheme-composite)@25k [property] on fast-check@main'   │ '3'         │ 303471075.0099953  │ '±3.36%'   │ 100     │
│ 50      │ 'string(grapheme-composite)@25k [property] on fast-check@extra'  │ '3'         │ 295615842.8900049  │ '±3.47%'   │ 100     │
│ 51      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 52      │ 'string(grapheme) [property] on fast-check@3.23.0'               │ '3,631'     │ 275382.0799960522  │ '±26.87%'  │ 100     │
│ 53      │ 'string(grapheme) [property] on fast-check@main'                 │ '3,784'     │ 264269.7600001702  │ '±12.53%'  │ 100     │
│ 54      │ 'string(grapheme) [property] on fast-check@extra'                │ '3,943'     │ 253598.60999917143 │ '±9.97%'   │ 100     │
│ 55      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 56      │ 'string(grapheme)@500 [property] on fast-check@3.23.0'           │ '211'       │ 4736398.359999293  │ '±2.06%'   │ 100     │
│ 57      │ 'string(grapheme)@500 [property] on fast-check@main'             │ '218'       │ 4567700.339999865  │ '±2.12%'   │ 100     │
│ 58      │ 'string(grapheme)@500 [property] on fast-check@extra'            │ '219'       │ 4562023.8700002665 │ '±1.82%'   │ 100     │
│ 59      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 60      │ 'string(grapheme)@25k [property] on fast-check@3.23.0'           │ '3'         │ 321173598.15999925 │ '±3.18%'   │ 100     │
│ 61      │ 'string(grapheme)@25k [property] on fast-check@main'             │ '3'         │ 313170050.21999884 │ '±3.16%'   │ 100     │
│ 62      │ 'string(grapheme)@25k [property] on fast-check@extra'            │ '3'         │ 311276953.37999904 │ '±2.90%'   │ 100     │
│ 63      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 64      │ 'array(integer) [property] on fast-check@3.23.0'                 │ '5,767'     │ 173397.43999764323 │ '±28.96%'  │ 100     │
│ 65      │ 'array(integer) [property] on fast-check@main'                   │ '7,023'     │ 142382.17999693006 │ '±9.31%'   │ 100     │
│ 66      │ 'array(integer) [property] on fast-check@extra'                  │ '6,905'     │ 144814.3300024094  │ '±10.13%'  │ 100     │
│ 67      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 68      │ 'array(integer)@500 [property] on fast-check@3.23.0'             │ '527'       │ 1893969.960003742  │ '±2.86%'   │ 100     │
│ 69      │ 'array(integer)@500 [property] on fast-check@main'               │ '529'       │ 1887669.4299996598 │ '±2.43%'   │ 100     │
│ 70      │ 'array(integer)@500 [property] on fast-check@extra'              │ '531'       │ 1882013.3900031215 │ '±2.62%'   │ 100     │
│ 71      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 72      │ 'array(integer)@25k [property] on fast-check@3.23.0'             │ '7'         │ 127470936.909999   │ '±3.70%'   │ 100     │
│ 73      │ 'array(integer)@25k [property] on fast-check@main'               │ '7'         │ 126313589.52000389 │ '±3.73%'   │ 100     │
│ 74      │ 'array(integer)@25k [property] on fast-check@extra'              │ '8'         │ 124705488.11000772 │ '±3.74%'   │ 100     │
│ 75      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 76      │ 'uniqueArray(integer) [property] on fast-check@3.23.0'           │ '5,359'     │ 186592.85000525415 │ '±30.59%'  │ 100     │
│ 77      │ 'uniqueArray(integer) [property] on fast-check@main'             │ '5,063'     │ 197503.70000721887 │ '±22.32%'  │ 100     │
│ 78      │ 'uniqueArray(integer) [property] on fast-check@extra'            │ '5,226'     │ 191336.97999292053 │ '±18.95%'  │ 100     │
│ 79      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 80      │ 'uniqueArray(integer)@500 [property] on fast-check@3.23.0'       │ '354'       │ 2822403.5899946466 │ '±2.94%'   │ 100     │
│ 81      │ 'uniqueArray(integer)@500 [property] on fast-check@main'         │ '344'       │ 2905645.8999973256 │ '±2.46%'   │ 100     │
│ 82      │ 'uniqueArray(integer)@500 [property] on fast-check@extra'        │ '323'       │ 3093234.659997979  │ '±3.37%'   │ 100     │
│ 83      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 84      │ 'anything [property] on fast-check@3.23.0'                       │ '619'       │ 1614451.6699993983 │ '±5.32%'   │ 100     │
│ 85      │ 'anything [property] on fast-check@main'                         │ '610'       │ 1638672.219995642  │ '±6.04%'   │ 100     │
│ 86      │ 'anything [property] on fast-check@extra'                        │ '609'       │ 1641117.9299931973 │ '±6.29%'   │ 100     │
│ 87      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 88      │ 'subarray([1,2,3]) [property] on fast-check@3.23.0'              │ '7,761'     │ 128835.67000739276 │ '±16.26%'  │ 100     │
│ 89      │ 'subarray([1,2,3]) [property] on fast-check@main'                │ '7,532'     │ 132758.46999837086 │ '±16.11%'  │ 100     │
│ 90      │ 'subarray([1,2,3]) [property] on fast-check@extra'               │ '6,585'     │ 151845.79000459053 │ '±10.51%'  │ 100     │
│ 91      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 92      │ 'shuffledSubarray([1,2,3]) [property] on fast-check@3.23.0'      │ '8,585'     │ 116468.77001039684 │ '±11.83%'  │ 100     │
│ 93      │ 'shuffledSubarray([1,2,3]) [property] on fast-check@main'        │ '8,680'     │ 115205.23999352008 │ '±11.16%'  │ 100     │
│ 94      │ 'shuffledSubarray([1,2,3]) [property] on fast-check@extra'       │ '8,590'     │ 116410.4799949564  │ '±10.60%'  │ 100     │
│ 95      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 96      │ 'constant [property] on fast-check@3.23.0'                       │ '12,882'    │ 77624.03999106027  │ '±7.10%'   │ 100     │
│ 97      │ 'constant [property] on fast-check@main'                         │ '11,726'    │ 85279.87999957986  │ '±14.26%'  │ 100     │
│ 98      │ 'constant [property] on fast-check@extra'                        │ '11,651'    │ 85824.29998321459  │ '±13.73%'  │ 100     │
│ 99      │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 100     │ 'constantFrom(a,b,c) [property] on fast-check@3.23.0'            │ '12,298'    │ 81313.95999807864  │ '±6.99%'   │ 100     │
│ 101     │ 'constantFrom(a,b,c) [property] on fast-check@main'              │ '11,361'    │ 88015.62999840826  │ '±13.52%'  │ 100     │
│ 102     │ 'constantFrom(a,b,c) [property] on fast-check@extra'             │ '12,140'    │ 82365.58999982662  │ '±6.91%'   │ 100     │
│ 103     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 104     │ 'mapToConstant([a-z]) [property] on fast-check@3.23.0'           │ '9,657'     │ 103547.4400036037  │ '±14.10%'  │ 100     │
│ 105     │ 'mapToConstant([a-z]) [property] on fast-check@main'             │ '10,098'    │ 99027.86000748165  │ '±13.78%'  │ 100     │
│ 106     │ 'mapToConstant([a-z]) [property] on fast-check@extra'            │ '9,953'     │ 100463.93999946304 │ '±13.39%'  │ 100     │
│ 107     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 108     │ 'mapToConstant([a-z][A-Z][0-9]) [property] on fast-check@3.23.0' │ '8,904'     │ 112305.47999031842 │ '±7.96%'   │ 100     │
│ 109     │ 'mapToConstant([a-z][A-Z][0-9]) [property] on fast-check@main'   │ '9,729'     │ 102785.38999264129 │ '±13.55%'  │ 100     │
│ 110     │ 'mapToConstant([a-z][A-Z][0-9]) [property] on fast-check@extra'  │ '9,834'     │ 101679.32000244036 │ '±13.80%'  │ 100     │
│ 111     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 112     │ 'option(integer) [property] on fast-check@3.23.0'                │ '9,606'     │ 104100.56999418885 │ '±11.32%'  │ 100     │
│ 113     │ 'option(integer) [property] on fast-check@main'                  │ '10,180'    │ 98227.54999971949  │ '±6.30%'   │ 100     │
│ 114     │ 'option(integer) [property] on fast-check@extra'                 │ '9,588'     │ 104293.15999732353 │ '±11.27%'  │ 100     │
│ 115     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 116     │ 'oneof(integer,integer) [property] on fast-check@3.23.0'         │ '9,555'     │ 104656.34999098256 │ '±11.29%'  │ 100     │
│ 117     │ 'oneof(integer,integer) [property] on fast-check@main'           │ '9,599'     │ 104167.05999872647 │ '±11.25%'  │ 100     │
│ 118     │ 'oneof(integer,integer) [property] on fast-check@extra'          │ '9,570'     │ 104490.88000808842 │ '±10.99%'  │ 100     │
│ 119     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 120     │ 'oneof(integer@1,integer@2) [property] on fast-check@3.23.0'     │ '7,612'     │ 131362.4399958644  │ '±6.08%'   │ 100     │
│ 121     │ 'oneof(integer@1,integer@2) [property] on fast-check@main'       │ '6,546'     │ 152756.74001080915 │ '±9.40%'   │ 100     │
│ 122     │ 'oneof(integer@1,integer@2) [property] on fast-check@extra'      │ '9,430'     │ 106033.52999663912 │ '±11.75%'  │ 100     │
│ 123     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 124     │ 'tuple(integer,integer) [property] on fast-check@3.23.0'         │ '8,583'     │ 116505.87999378331 │ '±10.39%'  │ 100     │
│ 125     │ 'tuple(integer,integer) [property] on fast-check@main'           │ '8,616'     │ 116050.68999459036 │ '±10.29%'  │ 100     │
│ 126     │ 'tuple(integer,integer) [property] on fast-check@extra'          │ '8,756'     │ 114199.7599916067  │ '±10.00%'  │ 100     │
│ 127     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 128     │ 'record(integer,integer) [property] on fast-check@3.23.0'        │ '3,562'     │ 280705.83998574875 │ '±10.47%'  │ 100     │
│ 129     │ 'record(integer,integer) [property] on fast-check@main'          │ '3,841'     │ 260341.63000411354 │ '±13.84%'  │ 100     │
│ 130     │ 'record(integer,integer) [property] on fast-check@extra'         │ '3,907'     │ 255898.72999931686 │ '±12.17%'  │ 100     │
│ 131     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 132     │ 'letrec(node) [property] on fast-check@3.23.0'                   │ '5,191'     │ 192618.82000020705 │ '±12.81%'  │ 100     │
│ 133     │ 'letrec(node) [property] on fast-check@main'                     │ '5,247'     │ 190575.14000334777 │ '±9.73%'   │ 100     │
│ 134     │ 'letrec(node) [property] on fast-check@extra'                    │ '5,594'     │ 178749.16000058874 │ '±7.75%'   │ 100     │
│ 135     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 136     │ 'letrec(comment-generator) [property] on fast-check@3.23.0'      │ '2,736'     │ 365393.1000002194  │ '±8.84%'   │ 100     │
│ 137     │ 'letrec(comment-generator) [property] on fast-check@main'        │ '28,422'    │ 35183.73000086285  │ '±12.34%'  │ 100     │
│ 138     │ 'letrec(comment-generator) [property] on fast-check@extra'       │ '29,911'    │ 33431.74000037834  │ '±10.79%'  │ 100     │
│ 139     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 140     │ 'memo(node@2) [property] on fast-check@3.23.0'                   │ '2,032'     │ 492115.7299913466  │ '±10.73%'  │ 100     │
│ 141     │ 'memo(node@2) [property] on fast-check@main'                     │ '2,266'     │ 441255.67000126466 │ '±11.65%'  │ 100     │
│ 142     │ 'memo(node@2) [property] on fast-check@extra'                    │ '2,375'     │ 420959.7700019367  │ '±9.24%'   │ 100     │
│ 143     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 144     │ 'emailAddress [property] on fast-check@3.23.0'                   │ '95'        │ 10484314.300004626 │ '±1.24%'   │ 100     │
│ 145     │ 'emailAddress [property] on fast-check@main'                     │ '724'       │ 1380035.650000209  │ '±6.75%'   │ 100     │
│ 146     │ 'emailAddress [property] on fast-check@extra'                    │ '772'       │ 1294362.250000704  │ '±4.24%'   │ 100     │
│ 147     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 148     │ 'uuid [property] on fast-check@3.23.0'                           │ '3,901'     │ 256281.96999779902 │ '±8.69%'   │ 100     │
│ 149     │ 'uuid [property] on fast-check@main'                             │ '4,006'     │ 249615.1400031522  │ '±8.15%'   │ 100     │
│ 150     │ 'uuid [property] on fast-check@extra'                            │ '3,841'     │ 260328.87999201193 │ '±9.66%'   │ 100     │
│ 151     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 152     │ 'ulid [property] on fast-check@3.23.0'                           │ '4,285'     │ 233339.41001212224 │ '±10.97%'  │ 100     │
│ 153     │ 'ulid [property] on fast-check@main'                             │ '4,758'     │ 210163.34000742063 │ '±9.78%'   │ 100     │
│ 154     │ 'ulid [property] on fast-check@extra'                            │ '4,607'     │ 217018.43000599183 │ '±11.54%'  │ 100     │
│ 155     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 156     │ 'webUrl [property] on fast-check@3.23.0'                         │ '177'       │ 5618222.389996517  │ '±2.40%'   │ 100     │
│ 157     │ 'webUrl [property] on fast-check@main'                           │ '1,184'     │ 844458.5499970708  │ '±10.12%'  │ 100     │
│ 158     │ 'webUrl [property] on fast-check@extra'                          │ '1,288'     │ 776299.310013419   │ '±6.82%'   │ 100     │
│ 159     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 160     │ 'ipV4 [property] on fast-check@3.23.0'                           │ '5,736'     │ 174311.280004913   │ '±12.24%'  │ 100     │
│ 161     │ 'ipV4 [property] on fast-check@main'                             │ '6,031'     │ 165785.68999655545 │ '±8.82%'   │ 100     │
│ 162     │ 'ipV4 [property] on fast-check@extra'                            │ '6,191'     │ 161521.7800042592  │ '±9.26%'   │ 100     │
│ 163     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 164     │ 'ipV6 [property] on fast-check@3.23.0'                           │ '1,722'     │ 580599.9300000258  │ '±6.14%'   │ 100     │
│ 165     │ 'ipV6 [property] on fast-check@main'                             │ '466'       │ 2142392.879992258  │ '±2.97%'   │ 100     │
│ 166     │ 'ipV6 [property] on fast-check@extra'                            │ '460'       │ 2171164.719995577  │ '±3.14%'   │ 100     │
│ 167     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 168     │ 'domain [property] on fast-check@3.23.0'                         │ '181'       │ 5520460.7900069095 │ '±2.08%'   │ 100     │
│ 169     │ 'domain [property] on fast-check@main'                           │ '2,069'     │ 483216.70000674203 │ '±11.66%'  │ 100     │
│ 170     │ 'domain [property] on fast-check@extra'                          │ '2,115'     │ 472663.29000121914 │ '±9.55%'   │ 100     │
│ 171     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 172     │ 'webPath [property] on fast-check@3.23.0'                        │ '2,656'     │ 376471.05999290943 │ '±11.24%'  │ 100     │
│ 173     │ 'webPath [property] on fast-check@main'                          │ '3,493'     │ 286237.49000253156 │ '±10.88%'  │ 100     │
│ 174     │ 'webPath [property] on fast-check@extra'                         │ '3,525'     │ 283678.8000003435  │ '±8.23%'   │ 100     │
│ 175     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 176     │ 'base64String [property] on fast-check@3.23.0'                   │ '4,889'     │ 204506.50000129826 │ '±10.62%'  │ 100     │
│ 177     │ 'base64String [property] on fast-check@main'                     │ '4,292'     │ 232987.10999661125 │ '±16.09%'  │ 100     │
│ 178     │ 'base64String [property] on fast-check@extra'                    │ '4,511'     │ 221638.95000121556 │ '±11.05%'  │ 100     │
│ 179     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 180     │ 'lorem [property] on fast-check@3.23.0'                          │ '3,124'     │ 320094.81000714004 │ '±7.87%'   │ 100     │
│ 181     │ 'lorem [property] on fast-check@main'                            │ '3,311'     │ 301961.0599963926  │ '±7.60%'   │ 100     │
│ 182     │ 'lorem [property] on fast-check@extra'                           │ '3,227'     │ 309819.88000683486 │ '±7.90%'   │ 100     │
│ 183     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 184     │ 'json [property] on fast-check@3.23.0'                           │ '533'       │ 1874082.1599890478 │ '±5.59%'   │ 100     │
│ 185     │ 'json [property] on fast-check@main'                             │ '559'       │ 1786811.9899975136 │ '±5.71%'   │ 100     │
│ 186     │ 'json [property] on fast-check@extra'                            │ '574'       │ 1741911.9799952023 │ '±5.71%'   │ 100     │
│ 187     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 188     │ 'stringMatching(^[a-zA-Z0-9]$) [property] on fast-check@3.23.0'  │ '5,188'     │ 192744.22000045888 │ '±19.80%'  │ 100     │
│ 189     │ 'stringMatching(^[a-zA-Z0-9]$) [property] on fast-check@main'    │ '5,993'     │ 166853.8800009992  │ '±12.68%'  │ 100     │
│ 190     │ 'stringMatching(^[a-zA-Z0-9]$) [property] on fast-check@extra'   │ '5,596'     │ 178698.16999766044 │ '±15.61%'  │ 100     │
│ 191     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 192     │ 'stringMatching(ipV4) [property] on fast-check@3.23.0'           │ '1,860'     │ 537455.7299935259  │ '±8.74%'   │ 100     │
│ 193     │ 'stringMatching(ipV4) [property] on fast-check@main'             │ '2,028'     │ 492964.1500010621  │ '±8.26%'   │ 100     │
│ 194     │ 'stringMatching(ipV4) [property] on fast-check@extra'            │ '1,803'     │ 554538.0899950396  │ '±8.42%'   │ 100     │
│ 195     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 196     │ 'mixedCase(hello) [property] on fast-check@3.23.0'               │ '4,843'     │ 206468.34000363015 │ '±10.10%'  │ 100     │
│ 197     │ 'mixedCase(hello) [property] on fast-check@main'                 │ '4,420'     │ 226200.42999857105 │ '±11.13%'  │ 100     │
│ 198     │ 'mixedCase(hello) [property] on fast-check@extra'                │ '4,115'     │ 242994.6199967526  │ '±10.53%'  │ 100     │
│ 199     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 200     │ 'integer|>filter(true) [property] on fast-check@3.23.0'          │ '9,906'     │ 100945.03999687731 │ '±14.29%'  │ 100     │
│ 201     │ 'integer|>filter(true) [property] on fast-check@main'            │ '9,926'     │ 100741.81000120007 │ '±15.01%'  │ 100     │
│ 202     │ 'integer|>filter(true) [property] on fast-check@extra'           │ '9,951'     │ 100482.56999929436 │ '±15.91%'  │ 100     │
│ 203     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 204     │ 'integer|>map(self) [property] on fast-check@3.23.0'             │ '10,280'    │ 97270.07000590675  │ '±7.16%'   │ 100     │
│ 205     │ 'integer|>map(self) [property] on fast-check@main'               │ '9,966'     │ 100332.79000897892 │ '±14.30%'  │ 100     │
│ 206     │ 'integer|>map(self) [property] on fast-check@extra'              │ '10,154'    │ 98475.12999433093  │ '±13.48%'  │ 100     │
│ 207     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 208     │ 'integer|>chain(integer) [property] on fast-check@3.23.0'        │ '8,099'     │ 123459.17999628    │ '±14.75%'  │ 100     │
│ 209     │ 'integer|>chain(integer) [property] on fast-check@main'          │ '6,119'     │ 163417.73000196554 │ '±20.15%'  │ 100     │
│ 210     │ 'integer|>chain(integer) [property] on fast-check@extra'         │ '6,089'     │ 164208.37000594474 │ '±20.79%'  │ 100     │
│ 211     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 212     │ 'integer|>noBias [property] on fast-check@3.23.0'                │ '12,045'    │ 83021.55000390485  │ '±6.91%'   │ 100     │
│ 213     │ 'integer|>noBias [property] on fast-check@main'                  │ '86,627'    │ 11543.719990877435 │ '±21.34%'  │ 100     │
│ 214     │ 'integer|>noBias [property] on fast-check@extra'                 │ '94,449'    │ 10587.649998487905 │ '±19.06%'  │ 100     │
│ 215     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 216     │ 'integer|>noShrink [property] on fast-check@3.23.0'              │ '9,140'     │ 109399.00999655947 │ '±28.77%'  │ 100     │
│ 217     │ 'integer|>noShrink [property] on fast-check@main'                │ '9,293'     │ 107601.16000194103 │ '±29.29%'  │ 100     │
│ 218     │ 'integer|>noShrink [property] on fast-check@extra'               │ '9,113'     │ 109725.86000571027 │ '±28.96%'  │ 100     │
│ 219     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 220     │ 'boolean [init] on fast-check@3.23.0'                            │ '2,574,068' │ 388.48999654874206 │ '±92.81%'  │ 100     │
│ 221     │ 'boolean [init] on fast-check@main'                              │ '2,645,152' │ 378.0499962158501  │ '±93.39%'  │ 100     │
│ 222     │ 'boolean [init] on fast-check@extra'                             │ '2,701,315' │ 370.19000737927854 │ '±93.97%'  │ 100     │
│ 223     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 224     │ 'integer [init] on fast-check@3.23.0'                            │ '4,733,055' │ 211.2800069153309  │ '±123.76%' │ 100     │
│ 225     │ 'integer [init] on fast-check@main'                              │ '5,041,847' │ 198.34000151604414 │ '±131.27%' │ 100     │
│ 226     │ 'integer [init] on fast-check@extra'                             │ '5,244,388' │ 190.68000954575837 │ '±136.44%' │ 100     │
│ 227     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 228     │ 'maxSafeInteger [init] on fast-check@3.23.0'                     │ '3,875,968' │ 258.0000017769635  │ '±112.96%' │ 100     │
│ 229     │ 'maxSafeInteger [init] on fast-check@main'                       │ '4,212,832' │ 237.3700006864965  │ '±116.87%' │ 100     │
│ 230     │ 'maxSafeInteger [init] on fast-check@extra'                      │ '4,318,162' │ 231.5799961797893  │ '±119.99%' │ 100     │
│ 231     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 232     │ 'float [init] on fast-check@3.23.0'                              │ '1,549,234' │ 645.4799987841398  │ '±74.65%'  │ 100     │
│ 233     │ 'float [init] on fast-check@main'                                │ '1,663,616' │ 601.0999984573573  │ '±77.82%'  │ 100     │
│ 234     │ 'float [init] on fast-check@extra'                               │ '1,540,784' │ 649.019997799769   │ '±74.79%'  │ 100     │
│ 235     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 236     │ 'double [init] on fast-check@3.23.0'                             │ '329,878'   │ 3031.4199975691736 │ '±35.45%'  │ 100     │
│ 237     │ 'double [init] on fast-check@main'                               │ '346,277'   │ 2887.860006885603  │ '±33.86%'  │ 100     │
│ 238     │ 'double [init] on fast-check@extra'                              │ '351,376'   │ 2845.9499962627888 │ '±35.64%'  │ 100     │
│ 239     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 240     │ 'bigInt [init] on fast-check@3.23.0'                             │ '697,354'   │ 1433.9899981860071 │ '±47.56%'  │ 100     │
│ 241     │ 'bigInt [init] on fast-check@main'                               │ '1,951,600' │ 512.3999970965087  │ '±77.23%'  │ 100     │
│ 242     │ 'bigInt [init] on fast-check@extra'                              │ '1,823,420' │ 548.4199896454811  │ '±72.11%'  │ 100     │
│ 243     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 244     │ 'date [init] on fast-check@3.23.0'                               │ '1,437,504' │ 695.6499931402504  │ '±66.59%'  │ 100     │
│ 245     │ 'date [init] on fast-check@main'                                 │ '374,153'   │ 2672.699997201562  │ '±130.88%' │ 100     │
│ 246     │ 'date [init] on fast-check@extra'                                │ '480,799'   │ 2079.869997687638  │ '±113.31%' │ 100     │
│ 247     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 248     │ 'string [init] on fast-check@3.23.0'                             │ '171,925'   │ 5816.459998022765  │ '±24.86%'  │ 100     │
│ 249     │ 'string [init] on fast-check@main'                               │ '194,546'   │ 5140.169997466728  │ '±27.47%'  │ 100     │
│ 250     │ 'string [init] on fast-check@extra'                              │ '206,132'   │ 4851.240005809814  │ '±26.85%'  │ 100     │
│ 251     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 252     │ 'string@500 [init] on fast-check@3.23.0'                         │ '335,674'   │ 2979.080006480217  │ '±36.00%'  │ 100     │
│ 253     │ 'string@500 [init] on fast-check@main'                           │ '440,713'   │ 2269.0499923191965 │ '±38.92%'  │ 100     │
│ 254     │ 'string@500 [init] on fast-check@extra'                          │ '392,757'   │ 2546.1000006180257 │ '±38.64%'  │ 100     │
│ 255     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 256     │ 'string@25k [init] on fast-check@3.23.0'                         │ '371,980'   │ 2688.3099949918687 │ '±36.12%'  │ 100     │
│ 257     │ 'string@25k [init] on fast-check@main'                           │ '418,268'   │ 2390.8100044354796 │ '±37.29%'  │ 100     │
│ 258     │ 'string@25k [init] on fast-check@extra'                          │ '412,604'   │ 2423.63000405021   │ '±37.64%'  │ 100     │
│ 259     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 260     │ 'string(grapheme-composite) [init] on fast-check@3.23.0'         │ '346,419'   │ 2886.669997824356  │ '±36.01%'  │ 100     │
│ 261     │ 'string(grapheme-composite) [init] on fast-check@main'           │ '397,033'   │ 2518.6800002120435 │ '±38.88%'  │ 100     │
│ 262     │ 'string(grapheme-composite) [init] on fast-check@extra'          │ '376,270'   │ 2657.659996766597  │ '±38.32%'  │ 100     │
│ 263     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 264     │ 'string(grapheme-composite)@500 [init] on fast-check@3.23.0'     │ '367,092'   │ 2724.110004492104  │ '±38.65%'  │ 100     │
│ 265     │ 'string(grapheme-composite)@500 [init] on fast-check@main'       │ '402,050'   │ 2487.2499983757734 │ '±38.51%'  │ 100     │
│ 266     │ 'string(grapheme-composite)@500 [init] on fast-check@extra'      │ '482,523'   │ 2072.4399981554598 │ '±41.89%'  │ 100     │
│ 267     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 268     │ 'string(grapheme-composite)@25k [init] on fast-check@3.23.0'     │ '379,263'   │ 2636.689991923049  │ '±38.43%'  │ 100     │
│ 269     │ 'string(grapheme-composite)@25k [init] on fast-check@main'       │ '467,154'   │ 2140.619995770976  │ '±41.41%'  │ 100     │
│ 270     │ 'string(grapheme-composite)@25k [init] on fast-check@extra'      │ '480,256'   │ 2082.219998119399  │ '±41.99%'  │ 100     │
│ 271     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 272     │ 'string(grapheme) [init] on fast-check@3.23.0'                   │ '428,566'   │ 2333.3599988836795 │ '±39.26%'  │ 100     │
│ 273     │ 'string(grapheme) [init] on fast-check@main'                     │ '448,941'   │ 2227.4600039236248 │ '±41.20%'  │ 100     │
│ 274     │ 'string(grapheme) [init] on fast-check@extra'                    │ '503,051'   │ 1987.8700003027918 │ '±43.20%'  │ 100     │
│ 275     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 276     │ 'string(grapheme)@500 [init] on fast-check@3.23.0'               │ '435,268'   │ 2297.4299953784794 │ '±39.49%'  │ 100     │
│ 277     │ 'string(grapheme)@500 [init] on fast-check@main'                 │ '349,297'   │ 2862.890005344525  │ '±60.33%'  │ 100     │
│ 278     │ 'string(grapheme)@500 [init] on fast-check@extra'                │ '494,193'   │ 2023.5000061802566 │ '±42.72%'  │ 100     │
│ 279     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 280     │ 'string(grapheme)@25k [init] on fast-check@3.23.0'               │ '472,083'   │ 2118.2700025383383 │ '±40.52%'  │ 100     │
│ 281     │ 'string(grapheme)@25k [init] on fast-check@main'                 │ '448,366'   │ 2230.3199907764792 │ '±40.06%'  │ 100     │
│ 282     │ 'string(grapheme)@25k [init] on fast-check@extra'                │ '443,649'   │ 2254.030010662973  │ '±39.18%'  │ 100     │
│ 283     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 284     │ 'array(integer) [init] on fast-check@3.23.0'                     │ '1,417,957' │ 705.2399939857423  │ '±68.89%'  │ 100     │
│ 285     │ 'array(integer) [init] on fast-check@main'                       │ '1,505,729' │ 664.1300034243613  │ '±69.42%'  │ 100     │
│ 286     │ 'array(integer) [init] on fast-check@extra'                      │ '1,608,337' │ 621.7599997762591  │ '±72.70%'  │ 100     │
│ 287     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 288     │ 'array(integer)@500 [init] on fast-check@3.23.0'                 │ '1,576,118' │ 634.4699894543737  │ '±66.45%'  │ 100     │
│ 289     │ 'array(integer)@500 [init] on fast-check@main'                   │ '1,716,856' │ 582.4599962215871  │ '±74.91%'  │ 100     │
│ 290     │ 'array(integer)@500 [init] on fast-check@extra'                  │ '1,668,557' │ 599.3199942167848  │ '±74.47%'  │ 100     │
│ 291     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 292     │ 'array(integer)@25k [init] on fast-check@3.23.0'                 │ '1,719,424' │ 581.5900000743568  │ '±72.58%'  │ 100     │
│ 293     │ 'array(integer)@25k [init] on fast-check@main'                   │ '1,957,866' │ 510.75999392196536 │ '±78.32%'  │ 100     │
│ 294     │ 'array(integer)@25k [init] on fast-check@extra'                  │ '1,751,712' │ 570.8700057584792  │ '±71.98%'  │ 100     │
│ 295     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 296     │ 'uniqueArray(integer) [init] on fast-check@3.23.0'               │ '886,265'   │ 1128.3300002105534 │ '±55.33%'  │ 100     │
│ 297     │ 'uniqueArray(integer) [init] on fast-check@main'                 │ '945,224'   │ 1057.9499998129904 │ '±58.36%'  │ 100     │
│ 298     │ 'uniqueArray(integer) [init] on fast-check@extra'                │ '609,934'   │ 1639.5200008992106 │ '±50.71%'  │ 100     │
│ 299     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 300     │ 'uniqueArray(integer)@500 [init] on fast-check@3.23.0'           │ '1,025,125' │ 975.4899947438389  │ '±58.64%'  │ 100     │
│ 301     │ 'uniqueArray(integer)@500 [init] on fast-check@main'             │ '1,005,742' │ 994.290002854541   │ '±58.44%'  │ 100     │
│ 302     │ 'uniqueArray(integer)@500 [init] on fast-check@extra'            │ '820,735'   │ 1218.4199946932495 │ '±58.24%'  │ 100     │
│ 303     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 304     │ 'anything [init] on fast-check@3.23.0'                           │ '36,468'    │ 27421.030000550672 │ '±12.88%'  │ 100     │
│ 305     │ 'anything [init] on fast-check@main'                             │ '41,437'    │ 24132.889992324635 │ '±13.80%'  │ 100     │
│ 306     │ 'anything [init] on fast-check@extra'                            │ '73,204'    │ 13660.310000414029 │ '±18.45%'  │ 100     │
│ 307     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 308     │ 'subarray([1,2,3]) [init] on fast-check@3.23.0'                  │ '1,377,600' │ 725.8999953046441  │ '±68.63%'  │ 100     │
│ 309     │ 'subarray([1,2,3]) [init] on fast-check@main'                    │ '1,924,075' │ 519.73000401631    │ '±80.87%'  │ 100     │
│ 310     │ 'subarray([1,2,3]) [init] on fast-check@extra'                   │ '1,842,774' │ 542.6600005012006  │ '±78.25%'  │ 100     │
│ 311     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 312     │ 'shuffledSubarray([1,2,3]) [init] on fast-check@3.23.0'          │ '1,838,945' │ 543.7900067772716  │ '±76.37%'  │ 100     │
│ 313     │ 'shuffledSubarray([1,2,3]) [init] on fast-check@main'            │ '2,048,928' │ 488.05999802425504 │ '±85.05%'  │ 100     │
│ 314     │ 'shuffledSubarray([1,2,3]) [init] on fast-check@extra'           │ '2,115,999' │ 472.5899954792112  │ '±86.64%'  │ 100     │
│ 315     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 316     │ 'constant [init] on fast-check@3.23.0'                           │ '3,625,158' │ 275.85000381805    │ '±100.32%' │ 100     │
│ 317     │ 'constant [init] on fast-check@main'                             │ '4,424,191' │ 226.0299981571734  │ '±118.03%' │ 100     │
│ 318     │ 'constant [init] on fast-check@extra'                            │ '4,916,179' │ 203.41000170446932 │ '±125.54%' │ 100     │
│ 319     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 320     │ 'constantFrom(a,b,c) [init] on fast-check@3.23.0'                │ '4,234,058' │ 236.17999511770904 │ '±111.70%' │ 100     │
│ 321     │ 'constantFrom(a,b,c) [init] on fast-check@main'                  │ '2,435,223' │ 410.63999524340034 │ '±111.56%' │ 100     │
│ 322     │ 'constantFrom(a,b,c) [init] on fast-check@extra'                 │ '3,691,126' │ 270.9200035315007  │ '±93.67%'  │ 100     │
│ 323     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 324     │ 'mapToConstant([a-z]) [init] on fast-check@3.23.0'               │ '2,491,528' │ 401.36000025086105 │ '±83.14%'  │ 100     │
│ 325     │ 'mapToConstant([a-z]) [init] on fast-check@main'                 │ '1,357,810' │ 736.4799955394119  │ '±67.93%'  │ 100     │
│ 326     │ 'mapToConstant([a-z]) [init] on fast-check@extra'                │ '1,511,967' │ 661.3900058437139  │ '±72.62%'  │ 100     │
│ 327     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 328     │ 'mapToConstant([a-z][A-Z][0-9]) [init] on fast-check@3.23.0'     │ '1,920,012' │ 520.8299960941076  │ '±73.13%'  │ 100     │
│ 329     │ 'mapToConstant([a-z][A-Z][0-9]) [init] on fast-check@main'       │ '1,074,794' │ 930.4100042209029  │ '±62.45%'  │ 100     │
│ 330     │ 'mapToConstant([a-z][A-Z][0-9]) [init] on fast-check@extra'      │ '1,110,148' │ 900.7799997925758  │ '±63.99%'  │ 100     │
│ 331     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 332     │ 'option(integer) [init] on fast-check@3.23.0'                    │ '897,359'   │ 1114.3799987621605 │ '±59.88%'  │ 100     │
│ 333     │ 'option(integer) [init] on fast-check@main'                      │ '40,641'    │ 24605.609994614497 │ '±191.40%' │ 100     │
│ 334     │ 'option(integer) [init] on fast-check@extra'                     │ '1,147,749' │ 871.2700009346008  │ '±64.27%'  │ 100     │
│ 335     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 336     │ 'oneof(integer,integer) [init] on fast-check@3.23.0'             │ '1,633,132' │ 612.3200058937073  │ '±75.10%'  │ 100     │
│ 337     │ 'oneof(integer,integer) [init] on fast-check@main'               │ '1,874,660' │ 533.429995412007   │ '±82.93%'  │ 100     │
│ 338     │ 'oneof(integer,integer) [init] on fast-check@extra'              │ '2,022,694' │ 494.3900008220225  │ '±85.77%'  │ 100     │
│ 339     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 340     │ 'oneof(integer@1,integer@2) [init] on fast-check@3.23.0'         │ '1,796,138' │ 556.74999486655    │ '±78.93%'  │ 100     │
│ 341     │ 'oneof(integer@1,integer@2) [init] on fast-check@main'           │ '2,046,873' │ 488.5499982628972  │ '±86.78%'  │ 100     │
│ 342     │ 'oneof(integer@1,integer@2) [init] on fast-check@extra'          │ '2,088,641' │ 478.78000885248184 │ '±88.44%'  │ 100     │
│ 343     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 344     │ 'tuple(integer,integer) [init] on fast-check@3.23.0'             │ '3,342,022' │ 299.2199989967048  │ '±100.86%' │ 100     │
│ 345     │ 'tuple(integer,integer) [init] on fast-check@main'               │ '4,258,581' │ 234.81999523937702 │ '±118.69%' │ 100     │
│ 346     │ 'tuple(integer,integer) [init] on fast-check@extra'              │ '4,622,994' │ 216.31000563502312 │ '±127.57%' │ 100     │
│ 347     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 348     │ 'record(integer,integer) [init] on fast-check@3.23.0'            │ '1,117,218' │ 895.080006448552   │ '±65.28%'  │ 100     │
│ 349     │ 'record(integer,integer) [init] on fast-check@main'              │ '948,181'   │ 1054.6500037889928 │ '±59.39%'  │ 100     │
│ 350     │ 'record(integer,integer) [init] on fast-check@extra'             │ '1,013,468' │ 986.7100033443422  │ '±60.94%'  │ 100     │
│ 351     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 352     │ 'letrec(node) [init] on fast-check@3.23.0'                       │ '767,300'   │ 1303.2699993345886 │ '±53.99%'  │ 100     │
│ 353     │ 'letrec(node) [init] on fast-check@main'                         │ '613,892'   │ 1628.9499960839748 │ '±53.41%'  │ 100     │
│ 354     │ 'letrec(node) [init] on fast-check@extra'                        │ '662,734'   │ 1508.8999993167818 │ '±50.43%'  │ 100     │
│ 355     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 356     │ 'letrec(comment-generator) [init] on fast-check@3.23.0'          │ '61,244'    │ 16327.880001626909 │ '±12.33%'  │ 100     │
│ 357     │ 'letrec(comment-generator) [init] on fast-check@main'            │ '23,974'    │ 41711.770000401884 │ '±12.44%'  │ 100     │
│ 358     │ 'letrec(comment-generator) [init] on fast-check@extra'           │ '30,279'    │ 33026.02000767365  │ '±10.81%'  │ 100     │
│ 359     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 360     │ 'memo(node@2) [init] on fast-check@3.23.0'                       │ '330,398'   │ 3026.650008978322  │ '±37.10%'  │ 100     │
│ 361     │ 'memo(node@2) [init] on fast-check@main'                         │ '311,506'   │ 3210.209993412718  │ '±33.89%'  │ 100     │
│ 362     │ 'memo(node@2) [init] on fast-check@extra'                        │ '305,422'   │ 3274.149999488145  │ '±34.41%'  │ 100     │
│ 363     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 364     │ 'emailAddress [init] on fast-check@3.23.0'                       │ '99'        │ 10095336.959997658 │ '±4.69%'   │ 100     │
│ 365     │ 'emailAddress [init] on fast-check@main'                         │ '194,723'   │ 5135.499988682568  │ '±32.40%'  │ 100     │
│ 366     │ 'emailAddress [init] on fast-check@extra'                        │ '207,905'   │ 4809.879993554205  │ '±28.99%'  │ 100     │
│ 367     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 368     │ 'uuid [init] on fast-check@3.23.0'                               │ '508,822'   │ 1965.320003218949  │ '±45.03%'  │ 100     │
│ 369     │ 'uuid [init] on fast-check@main'                                 │ '474,203'   │ 2108.8000026065856 │ '±42.45%'  │ 100     │
│ 370     │ 'uuid [init] on fast-check@extra'                                │ '467,637'   │ 2138.4100057184696 │ '±41.93%'  │ 100     │
│ 371     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 372     │ 'ulid [init] on fast-check@3.23.0'                               │ '3,013,137' │ 331.87999040819705 │ '±100.60%' │ 100     │
│ 373     │ 'ulid [init] on fast-check@main'                                 │ '2,876,621' │ 347.6299881003797  │ '±100.14%' │ 100     │
│ 374     │ 'ulid [init] on fast-check@extra'                                │ '3,035,361' │ 329.45000450126827 │ '±103.81%' │ 100     │
│ 375     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 376     │ 'webUrl [init] on fast-check@3.23.0'                             │ '213'       │ 4686129.909998272  │ '±2.60%'   │ 100     │
│ 377     │ 'webUrl [init] on fast-check@main'                               │ '115,325'   │ 8671.099999919534  │ '±23.40%'  │ 100     │
│ 378     │ 'webUrl [init] on fast-check@extra'                              │ '125,502'   │ 7967.970004538074  │ '±22.78%'  │ 100     │
│ 379     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 380     │ 'ipV4 [init] on fast-check@3.23.0'                               │ '2,080,645' │ 480.6199995800853  │ '±86.47%'  │ 100     │
│ 381     │ 'ipV4 [init] on fast-check@main'                                 │ '2,088,380' │ 478.8400011602789  │ '±84.01%'  │ 100     │
│ 382     │ 'ipV4 [init] on fast-check@extra'                                │ '2,161,928' │ 462.54999935626984 │ '±85.79%'  │ 100     │
│ 383     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 384     │ 'ipV6 [init] on fast-check@3.23.0'                               │ '123,628'   │ 8088.769998867065  │ '±21.89%'  │ 100     │
│ 385     │ 'ipV6 [init] on fast-check@main'                                 │ '607'       │ 1645769.2699960899 │ '±3.94%'   │ 100     │
│ 386     │ 'ipV6 [init] on fast-check@extra'                                │ '604'       │ 1654043.5000055004 │ '±3.83%'   │ 100     │
│ 387     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 388     │ 'domain [init] on fast-check@3.23.0'                             │ '189'       │ 5283678.129991749  │ '±1.90%'   │ 100     │
│ 389     │ 'domain [init] on fast-check@main'                               │ '255,716'   │ 3910.580002702772  │ '±33.92%'  │ 100     │
│ 390     │ 'domain [init] on fast-check@extra'                              │ '269,087'   │ 3716.2599980365485 │ '±32.74%'  │ 100     │
│ 391     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 392     │ 'webPath [init] on fast-check@3.23.0'                            │ '8,700'     │ 114936.80999847129 │ '±61.16%'  │ 100     │
│ 393     │ 'webPath [init] on fast-check@main'                              │ '284,345'   │ 3516.8499953579158 │ '±35.26%'  │ 100     │
│ 394     │ 'webPath [init] on fast-check@extra'                             │ '330,723'   │ 3023.670002585277  │ '±35.68%'  │ 100     │
│ 395     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 396     │ 'base64String [init] on fast-check@3.23.0'                       │ '195,296'   │ 5120.409994851798  │ '±28.04%'  │ 100     │
│ 397     │ 'base64String [init] on fast-check@main'                         │ '193,833'   │ 5159.060005098581  │ '±30.28%'  │ 100     │
│ 398     │ 'base64String [init] on fast-check@extra'                        │ '160,306'   │ 6238.0500009749085 │ '±24.25%'  │ 100     │
│ 399     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 400     │ 'lorem [init] on fast-check@3.23.0'                              │ '31,473'    │ 31773.009999888018 │ '±11.37%'  │ 100     │
│ 401     │ 'lorem [init] on fast-check@main'                                │ '32,939'    │ 30359.070007689297 │ '±11.99%'  │ 100     │
│ 402     │ 'lorem [init] on fast-check@extra'                               │ '52,755'    │ 18955.480003496632 │ '±14.37%'  │ 100     │
│ 403     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 404     │ 'json [init] on fast-check@3.23.0'                               │ '43,314'    │ 23086.799995508045 │ '±15.64%'  │ 100     │
│ 405     │ 'json [init] on fast-check@main'                                 │ '26,004'    │ 38455.620004097    │ '±11.20%'  │ 100     │
│ 406     │ 'json [init] on fast-check@extra'                                │ '42,105'    │ 23749.97000559233  │ '±12.78%'  │ 100     │
│ 407     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 408     │ 'stringMatching(^[a-zA-Z0-9]$) [init] on fast-check@3.23.0'      │ '67,145'    │ 14893.099999753758 │ '±35.21%'  │ 100     │
│ 409     │ 'stringMatching(^[a-zA-Z0-9]$) [init] on fast-check@main'        │ '98,867'    │ 10114.540004869923 │ '±19.24%'  │ 100     │
│ 410     │ 'stringMatching(^[a-zA-Z0-9]$) [init] on fast-check@extra'       │ '93,052'    │ 10746.65000429377  │ '±20.63%'  │ 100     │
│ 411     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 412     │ 'stringMatching(ipV4) [init] on fast-check@3.23.0'               │ '9,271'     │ 107857.03000379726 │ '±77.47%'  │ 100     │
│ 413     │ 'stringMatching(ipV4) [init] on fast-check@main'                 │ '43,395'    │ 23043.890002882108 │ '±13.60%'  │ 100     │
│ 414     │ 'stringMatching(ipV4) [init] on fast-check@extra'                │ '46,087'    │ 21698.030005209148 │ '±13.33%'  │ 100     │
│ 415     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 416     │ 'mixedCase(hello) [init] on fast-check@3.23.0'                   │ '2,731,941' │ 366.0400037188083  │ '±99.16%'  │ 100     │
│ 417     │ 'mixedCase(hello) [init] on fast-check@main'                     │ '3,564,426' │ 280.55000700987875 │ '±108.25%' │ 100     │
│ 418     │ 'mixedCase(hello) [init] on fast-check@extra'                    │ '3,382,149' │ 295.66999757662416 │ '±101.05%' │ 100     │
│ 419     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 420     │ 'integer|>filter(true) [init] on fast-check@3.23.0'              │ '2,486,387' │ 402.18999376520514 │ '±89.62%'  │ 100     │
│ 421     │ 'integer|>filter(true) [init] on fast-check@main'                │ '2,783,886' │ 359.2100029345602  │ '±94.42%'  │ 100     │
│ 422     │ 'integer|>filter(true) [init] on fast-check@extra'               │ '2,711,055' │ 368.85999608784914 │ '±92.52%'  │ 100     │
│ 423     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 424     │ 'integer|>map(self) [init] on fast-check@3.23.0'                 │ '5,647,484' │ 177.06999904476106 │ '±138.75%' │ 100     │
│ 425     │ 'integer|>map(self) [init] on fast-check@main'                   │ '5,958,410' │ 167.82999853603542 │ '±145.66%' │ 100     │
│ 426     │ 'integer|>map(self) [init] on fast-check@extra'                  │ '5,755,064' │ 173.75999595969915 │ '±140.90%' │ 100     │
│ 427     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 428     │ 'integer|>chain(integer) [init] on fast-check@3.23.0'            │ '4,013,807' │ 249.14000066928566 │ '±117.35%' │ 100     │
│ 429     │ 'integer|>chain(integer) [init] on fast-check@main'              │ '4,244,662' │ 235.59000343084335 │ '±120.19%' │ 100     │
│ 430     │ 'integer|>chain(integer) [init] on fast-check@extra'             │ '4,144,562' │ 241.2800001911819  │ '±120.06%' │ 100     │
│ 431     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 432     │ 'integer|>noBias [init] on fast-check@3.23.0'                    │ '4,021,717' │ 248.6499969381839  │ '±112.38%' │ 100     │
│ 433     │ 'integer|>noBias [init] on fast-check@main'                      │ '98,302'    │ 10172.639997908846 │ '±22.36%'  │ 100     │
│ 434     │ 'integer|>noBias [init] on fast-check@extra'                     │ '109,136'   │ 9162.82000602223   │ '±20.68%'  │ 100     │
│ 435     │ '—'                                                              │ '—'         │ '—'                │ '—'        │ '—'     │
│ 436     │ 'integer|>noShrink [init] on fast-check@3.23.0'                  │ '4,259,850' │ 234.75000401958823 │ '±119.08%' │ 100     │
│ 437     │ 'integer|>noShrink [init] on fast-check@main'                    │ '4,567,670' │ 218.92999531701207 │ '±122.69%' │ 100     │
│ 438     │ 'integer|>noShrink [init] on fast-check@extra'                   │ '4,580,641' │ 218.3100103866309  │ '±126.35%' │ 100     │
└─────────┴──────────────────────────────────────────────────────────────────┴─────────────┴────────────────────┴────────────┴─────────┘

@dubzzz dubzzz merged commit 66e9179 into main Feb 7, 2025
73 checks passed
@dubzzz dubzzz deleted the faster-read-obj branch February 7, 2025 00:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant