coverage-and-size.json

back to table · edit · history · where entries came from · files · download

393 bytes, as of the version from 2026-11-10 00:44 (current). Recorded here, not run.

{
  "entries": 362,
  "min_accuracy_bits": 421,
  "max_written_characters": 108,
  "number_strings_bytes": 37308,
  "per_discriminant": {
    "-3": 29,
    "-4": 26,
    "-7": 29,
    "-8": 26,
    "-11": 29,
    "-12": 26,
    "-16": 26,
    "-19": 29,
    "-27": 29,
    "-28": 26,
    "-43": 29,
    "-67": 29,
    "-163": 29
  },
  "signs": {
    "positive": 221,
    "negative": 141
  }
}