commands=python3 benchmark/check_native_condpor_c11_oracles.py --symcc BUILD/symcc --runtime BUILD/libsymcc_schedule_rt.so --repetitions 20 --output OUTPUT
llvm17_total_replay_runs=40
llvm18_total_replay_runs=40
llvm17_matching_replays=40
llvm18_matching_replays=40
llvm17_campaign_runs=3
llvm18_campaign_runs=3
llvm17_campaign_unique_prefixes=3
llvm18_campaign_unique_prefixes=3
llvm17_campaign_invalid_runs=0
llvm18_campaign_invalid_runs=0
finite_memory_model_identical=true
finite_sc_certificate_sha256=242a7887d5654eff6591b3f5cfebe64d2ec64598b19528539e0a951aa7274aca
finite_tso_certificate_sha256=c361a13d8c56656230486f2c0b39c023a8ebaf9db2b0b9b32219c32c7b06eaaf
finite_ra_certificate_sha256=4e658ea3c8cc93cde13033f0bcdcddc70945cf3278bf2a1b455e96576826a681
native_campaign_byte_identical=false
native_campaign_byte_identity_reason=ASLR addresses, runtime sequence/group identities, compiler-specific target bytes
comparison_contract=finite certificates must match exactly; native semantic counters and expected reads must match; raw trace and campaign certificate digests need not match