     400,000  semantics against numpy
     400,000  semantics against c
         599  rule unit cases and point checks
   1,328,156  pipeline: soundness, special values, exhaustive, overflow, ranges, folding, text, c renderer, zero divisors
       1,805  memory programs
   2,130,560  total checks
          59  z3 claims, 59 as expected (8 are counterexamples to wrong rules)
          19  planted bugs, 19 caught
