schema=symcc-f390-evidence-v1
feature=F390
capability=bounded-recursive-cyclic-byte-lane-writer-graph
recursive_llvm18_graphs=1
recursive_llvm18_endpoints=2
recursive_llvm18_transfers=1
recursive_llvm18_branches=3
recursive_llvm18_leaves=4
recursive_llvm18_store_leaves=3
recursive_llvm18_carry_leaves=1
recursive_llvm18_graph_store_ids=4
recursive_llvm18_bound_poison_stores=3
recursive_llvm17_graphs=1
forwarded_llvm18_graphs=1
grouped_llvm18_graphs=0
targeted_python_passed=6
writer_graph_python_passed=31
related_live_python_passed=90
related_live_python_subtests_passed=51
full_python_passed=919
full_python_subtests_passed=229
full_lit_discovered=248
full_lit_passed=247
full_lit_unsupported=1
controlled_parallelism=32
max_writer_path_blocks=64
forwarded_corridor_blocks=16
path_predecessor_limit=1
parent_boundary_source=validated_tree_traversal
specialized_recursive_writer_graph=false
general_memoryssa=false
benchmark_claim=false