# file: /home/runner/work/FlashSpec/FlashSpec/benchmarks/greedy_mismatch.py
# hypothesis_version: 6.170.11

[128, '--output', '.', 'CASES', '__main__', 'argmax_agrees', 'at_first_divergence', 'at_phase4_divergence', 'bandit', 'cases', 'cpu', 'cuda', 'dataset', 'device', 'diagnose', 'drafter', 'dtype', 'first_divergence', 'flashspec', 'float32', 'fp32_all_match', 'gamma', 'hf_full_prefill', 'hf_greedy', 'humaneval', 'id', 'ids', 'index', 'logits', 'margin_top1_top2', 'matches_hf_greedy', 'model', 'mt_bench', 'pair', 'phase4_divergence', 'position', 'prompt_id', 'prompt_index', 'prompt_tokens', 'run_case', 'target', 'text', 'token0_paths', 'torch', 'torch.', 'ucb1', 'utf-8']