Stream: test

Topic: Bench notifications


view this post on Zulip Bench bot (May 14 2021 at 13:33):

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...

view this post on Zulip Gaëtan Gilbert (May 24 2021 at 15:02):

test foo


Last updated: May 20 2022 at 11:03 UTC