# file: /home/runner/work/FlashSpec/FlashSpec/benchmarks/width_diagnostic.py
# hypothesis_version: 6.170.13

[128, ',', '--dtypes', '--output', '--target', '101', '81', '82', 'CASES', 'HumanEval/53', '__main__', 'at_divergence', 'bundle_divergence', 'bundle_group', 'cases', 'compile_config', 'cpu', 'cuda', 'dataset', 'device', 'diagnose', 'do_sample', 'dtype', 'eos_token_id', 'float16', 'float32', 'float32,float16', 'fp32_all_match', 'git_commit', 'graph_call_shapes', 'group', 'hf_eager', 'hf_static', 'humaneval', 'id', 'ids', 'logits', 'margin_top1_top2', 'max_abs_difference', 'max_new_tokens', 'min_new_tokens', 'mt_bench', 'new_tokens', 'output_logits', 'pad_independence', 'pad_token_id', 'past_key_values', 'path', 'paths', 'position', 'prompt_id', 'prompt_tokens', 'row0_bit_identical', 'run_case', 'same_prefix', 'target', 'temperature', 'text', 'top_k', 'top_p', 'torch', 'torch.', 'trials', 'utf-8', 'verify_call_widths', 'verify_width_7', 'width']