z3-1.0.0-base
z3-1.0.0-base


z3-1.0.0-base: 

	Processor: Intel Core i5-10500 @ 4.50GHz (6 Cores / 12 Threads), Motherboard: Dell 0NDYHG (1.5.2 BIOS), Chipset: Intel Tiger Lake-H, Memory: 8GB, Disk: 1000GB MB001000GWFGF + 0GB SD Card Reader, Graphics: Intel CometLake-S GT2 [UHD 630] (1150MHz), Audio: Realtek ALC3246, Monitor: LS24A40xU, Network: Intel

	OS: Debian 12, Kernel: 6.1.0-13-amd64 (x86_64), Desktop: GNOME Shell 43.6, Display Server: X Server, Compiler: GCC 12.2.0, File-System: ext4, Screen Resolution: 1920x1080


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


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