{
  "bitset_crosscheck_cases": 8,
  "results": [
    {
      "case": "consistent_refinement.json",
      "passed": true,
      "verdict": "ENTAILED_IN_DECLARED_BOOLEAN_MODEL"
    },
    {
      "case": "explicit_bridge_only.json",
      "passed": true,
      "verdict": "ENTAILED_IN_DECLARED_BOOLEAN_MODEL"
    },
    {
      "case": "inconsistent_input.json",
      "passed": true,
      "verdict": "INCONSISTENT_PREMISES"
    },
    {
      "case": "ought_is_not_actual.json",
      "passed": true,
      "verdict": "UNDETERMINED_IN_DECLARED_BOOLEAN_MODEL"
    },
    {
      "case": "possibility_is_not_actual.json",
      "passed": true,
      "verdict": "UNDETERMINED_IN_DECLARED_BOOLEAN_MODEL"
    },
    {
      "case": "resource_abstention.json",
      "passed": true,
      "verdict": "ABSTAIN"
    },
    {
      "case": "vocation_is_not_achievement.json",
      "passed": true,
      "verdict": "UNDETERMINED_IN_DECLARED_BOOLEAN_MODEL"
    },
    {
      "case": "vocation_with_nonachievement.json",
      "passed": true,
      "verdict": "ENTAILED_IN_DECLARED_BOOLEAN_MODEL"
    }
  ],
  "independent_scientific_review": "NOT_RUN"
}
