z3-1.0.0-mllvm-zero-uninit-loads
z3-1.0.0-mllvm-zero-uninit-loads


z3-1.0.0-mllvm-zero-uninit-loads: 

	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-mllvm-zero-uninit-loads . 72.10 |=====================================


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
z3-1.0.0-mllvm-zero-uninit-loads . 41.02 |=====================================