z3-1.0.0-fdrop-noalias-restrict-attr
z3-1.0.0-fdrop-noalias-restrict-attr


z3-1.0.0-fdrop-noalias-restrict-attr: 

	Processor: ARMv8 Neoverse-N1 @ 3.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-1025-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-noalias-restrict-attr . 56.38 |=================================


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
z3-1.0.0-fdrop-noalias-restrict-attr . 35.28 |=================================