schema=symcc-f385-evidence-v1
feature=F385
capability=bounded-byte-lane-writer-graph
overlap_llvm18_writer_graphs=1
overlap_llvm18_bound_poison_stores=2
overlap_llvm18_lanes=0:store:0,1:store:0
overlap_llvm17_writer_graphs=1
overlap_llvm17_bound_poison_stores=2
initial_llvm18_writer_graphs=1
initial_llvm18_lanes=0:store:0,1:initial
cross_function_functions=3
cross_function_writer_graphs=1
cross_function_phi_contracts=1
targeted_python_passed=5
full_lit_discovered=243
full_lit_passed=242
full_lit_unsupported=1
full_python_passed=893
full_python_subtests_passed=229
high_concurrency_poly_observation=1_failed_of_243
poly_standalone_repeats=10_of_10_passed
controlled_parallelism=32
max_writer_path_blocks=64
load_bytes_min=2
load_bytes_max=8
single_predecessor_only=true
general_memoryssa=false
branch_loop_writer_graph=false
benchmark_claim=false