SPEED CENTER
Home
About
Changes
Timeline
Comparison
Environment
i44pc15
i44pc65
Executables
lean4
(All
,
None)
lean4
Baseline:
None
lean4 IJCAR20
lean4 ICFP20
Benchmark
Display all in a grid
Display none
bin/lean: binary size
binarytrees: etime
const_fold: etime
deriv.lean
deriv.lean allocations
deriv.lean instrs
deriv: etime
expr_const_folding.lean
expr_const_folding.lean instrs
new parser Core.lean: etime
parser1.lean
parser1.lean allocations
parser1.lean closure allocations
parser1.lean instrs
parser1.lean max RSS
parser1.lean object allocations
parser1.lean: elaborator
parser1.lean: expander
parser1.lean: parser
qsort: etime
rbmap.lean
rbmap2.lean
rbmap3.lean
rbmap: etime
rbmap_10: etime
rbmap_1: etime
standard_lib
standard_lib size
stdlib size: bytes .olean
stdlib size: lines
stdlib size: lines C++
stdlib: .olean serialization
stdlib: C code generation
stdlib: compilation
stdlib: decl post-processing
stdlib: elaboration
stdlib: etime
stdlib: import
stdlib: initialization
stdlib: parsing
stdlib: typeclass inference
tests/bench/ interpreted: etime
tests/compiler: sum binary sizes
unionfind: etime
Show the last
10
50
200
1000
results
Equidistant
Show quartile bands
Show extrema bands
Permalink