HEALTHY
  HEALTHY base/spacer/M4/no2: 1 operand(s)   1.4s
  HEALTHY base/spacer/M5/no2: 1 operand(s)   2.2s
  HEALTHY base/spacer/M6/no2: 1 operand(s)   9.9s
  HEALTHY base/spacer/M7/no2: 1 operand(s)  29.4s
  HEALTHY base/spacer/M8/no2: 1 operand(s)  75.0s
  HEALTHY base/pattern/M4/no1: 1 operand(s)   0.7s
  HEALTHY base/pattern/M5/no3: 1 operand(s)   2.8s
  HEALTHY base/pattern/M6/no2: 1 operand(s)  14.1s
  HEALTHY base/pattern/M7/no2: 1 operand(s)  36.1s
  HEALTHY base/magnetic/M4/no2: 1 operand(s)   0.9s
  HEALTHY base/magnetic/M6/no2: 1 operand(s)  13.7s
  HEALTHY base/oop_both/M4/no2: 1 operand(s)   0.9s
  HEALTHY base/oop_both/M6/no2: 1 operand(s)  12.6s
  HEALTHY base/slant_both/M4/no2: 1 operand(s)   0.9s
  HEALTHY base/slant_both/M6/no2: 1 operand(s)  14.6s
  HEALTHY base/slant_spacer/M5/no2: 1 operand(s)   2.6s
  HEALTHY base/deep/M4/no2: 5 operand(s)   1.4s
  HEALTHY base/deep/M5/no2: 5 operand(s)   6.8s
  HEALTHY longwave/pattern/M4/no2: 1 operand(s)   0.7s
  HEALTHY longwave/spacer/M5/no2: 1 operand(s)   2.9s
  HEALTHY longwave/oop_both/M5/no1: 1 operand(s)   3.8s
  HEALTHY shortwave/pattern/M5/no2: 1 operand(s)   3.7s
  HEALTHY shortwave/spacer/M4/no3: 1 operand(s)   0.5s
  HEALTHY shortwave/magnetic/M5/no2: 1 operand(s)   4.1s
  HEALTHY normal_incidence/pattern/M4/no2: 1 operand(s)   0.7s
  HEALTHY normal_incidence/spacer/M6/no2: 1 operand(s)  10.4s
  HEALTHY normal_incidence/slant_both/M4/no2: 1 operand(s)   0.9s
  HEALTHY high_contrast/pattern/M4/no2: 1 operand(s)   1.0s
  HEALTHY high_contrast/pattern/M6/no2: 1 operand(s)  15.3s
  HEALTHY high_contrast/spacer/M5/no2: 1 operand(s)   2.5s
  HEALTHY high_contrast/oop_both/M5/no2: 1 operand(s)   3.9s
  HEALTHY wide_angle/pattern/M4/no2: 1 operand(s)   0.7s
  HEALTHY wide_angle/pattern/M7/no2: 1 operand(s)  36.3s
  HEALTHY wide_angle/spacer/M5/no2: 1 operand(s)   2.7s
  HEALTHY wide_angle/magnetic/M4/no2: 1 operand(s)   0.6s
{
 "bar": 1e-06,
 "n_healthy_operands": 43,
 "healthy_exact_min": 3.413061295915425e-15,
 "healthy_exact_max": 4.555015855032668e-13,
 "healthy_decades_below_bar": 6.3415101070024615,
 "healthy_probe_max": 4.653832738386144e-13
}
wrote v2_populations_win_healthy.json (43 rows, 43 healthy operands)
