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 |=================================