Bench at https://gitlab.com/SkySkimmer/coq/-/jobs/1262903225
For packages coq-performance-tests-lite coq-engine-bench-lite coq-hott coq-bignums coq-mathcomp-ssreflect coq-mathcomp-fingroup coq-mathcomp-algebra coq-mathcomp-solvable coq-mathcomp-field coq-mathcomp-character coq-mathcomp-odd-order coq-math-classes coq-corn coq-flocq coq-compcert coq-geocoq coq-color coq-coqprime coq-coqutil coq-bedrock2 coq-rewriter coq-fiat-core coq-fiat-parsers coq-fiat-crypto coq-unimath coq-coquelicot coq-lambda-rust coq-verdi coq-verdi-raft coq-fourcolor coq-rewriter-perf-SuperFast coq-perennial coq-vst
┌────────────────────────────┬───────────────────────┬─────────────────────────────────────┬─────────────────────────────────────┬─────────────────────────┬─────────────────┐
│ │ user time [s] │ CPU cycles │ CPU instructions │ max resident mem [KB] │ mem faults │
│ │ │ │ │ │ │
│ package_name │ NEW OLD PDIFF │ NEW OLD PDIFF │ NEW OLD PDIFF │ NEW OLD PDIFF │ NEW OLD PDIFF │
├────────────────────────────┼───────────────────────┼─────────────────────────────────────┼─────────────────────────────────────┼─────────────────────────┼─────────────────┤
│ coq-core │ 101.81 102.05 -0.24 │ 409336243547 411129573483 -0.44 │ 461666399691 461627187972 0.01 │ 279228 277428 0.65 │ 0 0 nan │
├────────────────────────────┼───────────────────────┼─────────────────────────────────────┼─────────────────────────────────────┼─────────────────────────┼─────────────────┤
│ coq-performance-tests-lite │ 916.27 916.52 -0.03 │ 4149963011853 4150144918683 -0.00 │ 7237117182899 7228614944681 0.12 │ 2439392 1702504 43.28 │ 0 0 nan │
├────────────────────────────┼───────────────────────┼─────────────────────────────────────┼─────────────────────────────────────┼─────────────────────────┼─────────────────┤
│ coq-engine-bench-lite │ 208.86 208.78 0.04 │ 905461015598 903793222093 0.18 │ 1718476681316 1717733113435 0.04 │ 3546300 3546204 0.00 │ 0 0 nan │
├────────────────────────────┼───────────────────────┼─────────────────────────────────────┼─────────────────────────────────────┼─────────────────────────┼─────────────────┤
│ coq-stdlib │ 389.44 388.90 0.14 │ 1633632816921 1628480390040 0.32 │ 1415338029109 1415144680631 0.01 │ 575888 574948 0.16 │ 0 0 nan │
├────────────────────────────┼───────────────────────┼─────────────────────────────────────┼─────────────────────────────────────┼─────────────────────────┼─────────────────┤
│ coq │ 2.77 2.70 2.59 │ 12275858861 12188695603 0.72 │ 24561280232 24551798934 0.04 │ 264616 264584 0.01 │ 0 0 nan │
└────────────────────────────┴───────────────────────┴─────────────────────────────────────┴─────────────────────────────────────┴─────────────────────────┴─────────────────┘
Benching continues...
test foo
Last updated: Jan 29 2023 at 01:02 UTC