fact: Definition display_info_for_times (duplicates_per_iteration : nat) (ls : list Ocaml.float) : unit := let iter := List.length ls in let sum := Σ ls in let med := median ls in let avg := mean ls in let var := sample_variance ls in display_info sum med avg var iter duplicates_per_iteration.
imports: Fiat.Common.Equality Fiat.Parsers.ParserFromParserADT Coq.ZArith.BinInt Fiat.Parsers.Refinement.Tactics Fiat.Common.BoolFacts Fiat.ADTNotation.BuildComputationalADT Fiat.Common.NatFacts Fiat.Parsers.StringLike.FirstCharSuchThat Coq.Strings.Ascii Coq.extraction.ExtrOcamlBasic Coq.extraction.ExtrOcamlNatInt Coq.extraction.ExtrOcamlZInt Coq.extraction.ExtrOcamlString Coq.extraction.ExtrOcamlIntConv Fiat.Parsers.ExtrOcamlPrimitives