z3-1.0.0-fwrapv
z3-1.0.0-fwrapv


z3-1.0.0-fwrapv: 

	Processor: 2 x AMD EPYC 9J14 96-Core @ 2.60GHz (192 Cores), Motherboard: Oracle Asm MB+Tray E5-2c (83040400 BIOS), Chipset: AMD Device 14a4, Memory: 2272GB, Disk: 215GB BlockVolume, Graphics: ASPEED, Network: 2 x Mellanox MT2892

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


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
z3-1.0.0-fwrapv . 26.53 |======================================================


Z3 Theorem Prover 4.12.1
SMT File: 2.smt2
Seconds < Lower Is Better
z3-1.0.0-fwrapv . 47.12 |======================================================