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


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

	Processor: ARMv8 Neoverse-N1 @ 2.00GHz (160 Cores), Motherboard: Oracle TLA MB TRAY A1-2c (77015500 BIOS), Memory: 1008GB, Disk: 215GB BlockVolume, Graphics: mgag200drmfb

	OS: Ubuntu 22.04, Kernel: 6.5.0-1026-oracle (aarch64), Vulkan: 1.3.255, Compiler: GCC 11.4.0, File-System: ext4, Screen Resolution: 1024x768


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis . 72.09 |==========


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis . 40.80 |==========