[
  {
    "rep": "Rep1",
    "run_id": "run_8e5338167a1a4ead9f1ec0bf8afaa13d",
    "seed": "545930993",
    "device_id": "server48:emulator-5562",
    "native_jar_sha256": "93c440df3448f297395d8a53f9be8b769cbc28fbb32b21ad336fcd25ac7e541c",
    "apk_sha256": "b0fc81f263d7e48581662f9ef99e25ff567b38e5970b9c50a5f9f40f6d95f8ae",
    "coverage_percent": "46.100188660510376",
    "methods": "37142",
    "method_universe": "80568",
    "evidence_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw",
    "offline_acceptance_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/analysis-v1/metrics.json",
    "source_csv": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/operations/platform-formal/final-analysis-20261104T0244/runs.csv",
    "source_csv_sha256": "786409c76123d2a441f129d61f24d93da042f040eecaa149c0ae76c8a9ed4e15",
    "method_observation_count": 37142,
    "bad_method_lines": [],
    "covered_method_count": 37142,
    "set_matches": true,
    "result": {
      "coverage": {
        "apk_methods": 37142,
        "apk_total": 80568,
        "app_methods": 11702,
        "app_ratio": 0.478120531154239,
        "tag": "WIKI_WCX_LOG",
        "total_methods": 24475,
        "universe_verified": true
      },
      "crash_files": [
        "native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/crashes/crash-1793725804435-15353-2457.json",
        "native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/crashes/crash-1793728519612-3814-11393.json"
      ],
      "decision": null,
      "duration_seconds": 3601.0469999313354,
      "evaluation_protocol": "guitaboo-formal-c161e65-apkwide-60min-v1",
      "evidence_files": 12479,
      "execution_records": 2101,
      "exit_code": 0,
      "native_steps": 2177,
      "pairwise_files": null,
      "probe_event_count": 1,
      "reason": null,
      "valid": true
    },
    "method_log_sha256": "644b35502947cb5f83fc4ee9a05bebadce3aadb553c7fe815915af36294e11fe"
  },
  {
    "rep": "Rep2",
    "run_id": "run_8f9e0e03aff94363a3ae7757f17a7c14",
    "seed": "746994860",
    "device_id": "server49:emulator-5566",
    "native_jar_sha256": "93c440df3448f297395d8a53f9be8b769cbc28fbb32b21ad336fcd25ac7e541c",
    "apk_sha256": "b0fc81f263d7e48581662f9ef99e25ff567b38e5970b9c50a5f9f40f6d95f8ae",
    "coverage_percent": "42.88427167113494",
    "methods": "34551",
    "method_universe": "80568",
    "evidence_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw",
    "offline_acceptance_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/analysis-v1/metrics.json",
    "source_csv": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/operations/platform-formal/final-analysis-20261104T0244/runs.csv",
    "source_csv_sha256": "786409c76123d2a441f129d61f24d93da042f040eecaa149c0ae76c8a9ed4e15",
    "method_observation_count": 34551,
    "bad_method_lines": [],
    "covered_method_count": 34551,
    "set_matches": true,
    "result": {
      "coverage": {
        "apk_methods": 34551,
        "apk_total": 80568,
        "app_methods": 10436,
        "app_ratio": 0.42639427987742595,
        "tag": "WIKI_WCX_LOG",
        "total_methods": 24475,
        "universe_verified": true
      },
      "crash_files": [
        "native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/crashes/crash-1793730475605-27437-9250.json",
        "native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/crashes/crash-1793730223101-25093-8386.json",
        "native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/crashes/crash-1793729801542-22357-7030.json",
        "native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/crashes/crash-1793728281147-8764-1915.json"
      ],
      "decision": null,
      "duration_seconds": 3602.170000076294,
      "evaluation_protocol": "guitaboo-formal-c161e65-apkwide-60min-v1",
      "evidence_files": 13045,
      "execution_records": 2196,
      "exit_code": 0,
      "native_steps": 2304,
      "pairwise_files": null,
      "probe_event_count": 1,
      "reason": null,
      "valid": true
    },
    "method_log_sha256": "53ba453a0f3b8c79098c82f172f4f2759f744898cf87c86e2e2cc7274a906802"
  }
]