[ { "name": "tasmlib_verifier_out_of_domain_points", "benchmark_result": { "clock_cycle_count": 33, "hash_table_height": 36, "u32_table_height": 0, "op_stack_table_height": 33, "ram_table_height": 9 }, "case": "CommonCase" }, { "name": "tasmlib_verifier_out_of_domain_points", "benchmark_result": { "clock_cycle_count": 33, "hash_table_height": 36, "u32_table_height": 0, "op_stack_table_height": 33, "ram_table_height": 9 }, "case": "WorstCase" } ]