[
  {
    "name": "tasmlib_verifier_challenges_new_generic_dyn_claim_59_4",
    "benchmark_result": {
      "clock_cycle_count": 1795,
      "hash_table_height": 1914,
      "u32_table_height": 0,
      "op_stack_table_height": 2586,
      "ram_table_height": 213
    },
    "case": "CommonCase"
  },
  {
    "name": "tasmlib_verifier_challenges_new_generic_dyn_claim_59_4",
    "benchmark_result": {
      "clock_cycle_count": 4995,
      "hash_table_height": 1914,
      "u32_table_height": 0,
      "op_stack_table_height": 5786,
      "ram_table_height": 413
    },
    "case": "WorstCase"
  }
]