schema=symcc-f392-evidence-v1
capability=symcc-interpreter-condpor-v1
program_schema=symcc-condpor-program-v1
semantics=bounded-interpreter-sc-qfbv-condpor-v1
memory_model=SC
events=R-W-A-C
graph_consistency=po-rf-co-fr-acyclic
path_solver=system-libz3-qf_bv
control_regeneration=true
deterministic_model=lexicographically-minimal-unsigned
certificate_recomputed=true
independent_relation_oracle=true
independent_interleaving_oracle=true
native_equivalence=false
weak_memory=false
unbounded_optimality=false
coverage_or_bug_claim=false
pytest_inventory_count=950
pytest_inventory_sha256=dff97eae0523f56a1cb56c66fc27b2b444c00a0db8a4ccb225f4d444f97b02dd
full_python=950-passed-235-subtests
full_python_identity_exact=true
full_python_zero_degradation=true
full_lit_discovered=251
full_lit_passed=250
full_lit_unsupported=1
full_lit_failed=0
delivery_verifier=PASS