schema=symcc-f387-evidence-v1
feature=F387
capability=bounded-cyclic-byte-lane-writer-graph
cycle_llvm18_graphs=1
cycle_llvm18_endpoints=2
cycle_llvm18_carry_lanes=1
cycle_llvm18_store_ids=2
cycle_llvm18_bound_poison_stores=1
cycle_llvm17_graphs=1
cycle_llvm17_endpoints=2
cycle_llvm17_carry_lanes=1
cycle_llvm17_store_ids=2
cycle_llvm17_bound_poison_stores=1
conditional_llvm18_f387_capability=false
conditional_llvm18_writer_graph=false
targeted_python_passed=5
writer_graph_python_passed=15
related_live_python_passed=74
related_live_python_subtests_passed=51
full_python_passed=903
full_python_subtests_passed=229
full_lit_discovered=245
full_lit_passed=244
full_lit_unsupported=1
controlled_parallelism=32
max_writer_path_blocks=64
path_predecessor_limit=1
carry_boundary=same_merge_load
conditional_writer_graph=false
general_memoryssa=false
benchmark_claim=false