{
  "status": "pass",
  "scope": "bounded action-preserving deterministic visibly pushdown products",
  "deterministic_vpa_family": 4096,
  "one_state_action_preserving_selectors": 8,
  "selector_families_width_at_most_two": 36,
  "observed_words": 40,
  "projection_checks": 163840,
  "selector_run_checks": 1310720,
  "zipped_product_language_checks": 5898240,
  "synchronized_input_steps": 15040512,
  "missed_word_instances": 660288,
  "does_not_verify": [
    "a closed-form horizon bound for visibly pushdown sources",
    "action-erasing projections",
    "nondeterministic source automata",
    "the external undecidability theorem of Kopczynski"
  ]
}