{
  "text": "(no output)\n\nWall time: 0.13 seconds",
  "details": {
    "timeoutSeconds": 20,
    "wallTimeMs": 134.79030000045896
  }
}