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: Intel Core i5-10500 @ 3.10GHz (6 Cores), Motherboard: Dell 0NDYHG (1.25.0 BIOS), Chipset: Intel Tiger Lake-H, Memory: 8GB, Disk: PC SN730 NVMe WDC 256GB + 1000GB MB001000GWFGF + 0GB SD Card Reader, Graphics: Intel CometLake-S GT2 [UHD 630] (1150MHz), Audio: Realtek ALC3246, Network: Intel OS: Debian 12, Kernel: 6.1.0-13-amd64 (x86_64), Display Server: X Server 1.21.1.7, Compiler: GCC 12.2.0, File-System: ext4 Z3 Theorem Prover 4.12.1 SMT File: 1.smt2 Seconds < Lower Is Better z3-1.0.0-fdrop-noalias-restrict-attr . 30.83 |================================= Z3 Theorem Prover 4.12.1 SMT File: 2.smt2 Seconds < Lower Is Better z3-1.0.0-fdrop-noalias-restrict-attr . 49.58 |=================================