NumLeanPerf
Benchmark Results
Benchmark
Date
Load JSON
Mean Time
Absolute time
Baseline
Clear baseline
Error bars
Measurements
Size
Implementation
Size
Mean
Stddev
Min
Max
Samples
Batch
Environment