{
  "method": "beam_fa",
  "best_fa": 0.2280564308166504,
  "total_oracle_calls": 43889,
  "wall_sec": 7333.005041599274,
  "seed": 2
}