z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis

z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis

HTML result view exported from: https://openbenchmarking.org/result/2409016-NE-Z3100FDRO81&grs.

z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysisProcessorMotherboardMemoryDiskGraphicsOSKernelVulkanCompilerFile-SystemScreen Resolutionz3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysisARMv8 Neoverse-N1 @ 2.00GHz (160 Cores)Oracle TLA MB TRAY A1-2c (77015500 BIOS)1008GB215GB BlockVolumemgag200drmfbUbuntu 22.046.5.0-1026-oracle (aarch64)1.3.255GCC 11.4.0ext41024x768OpenBenchmarking.org- libiscsi.debug_libiscsi_eh=1 - Transparent Huge Pages: madvise- Scaling Governor: cppc_cpufreq performance (Boost: Disabled)- Python 3.10.12- gather_data_sampling: Not affected + itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Not affected + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of __user pointer sanitization + spectre_v2: Mitigation of CSV2 BHB + srbds: Not affected + tsx_async_abort: Not affected

z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysisz3: 2.smt2z3: 1.smt2z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis72.09440.802OpenBenchmarking.org

Z3 Theorem Prover

SMT File: 2.smt2

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 2.smt2z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis1632486480SE +/- 0.05, N = 372.09

Z3 Theorem Prover

SMT File: 1.smt2

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 1.smt2z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis918273645SE +/- 0.19, N = 1340.80

Phoronix Test Suite v10.8.5