Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2403131-NE-Z3100MLLV43
z3-1.0.0-mllvm-disable-object-based-analysis
z3-1.0.0-mllvm-disable-object-based-analysis
,,"z3-1.0.0-mllvm-disable-object-based-analysis"
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-1.0.0-mllvm-disable-object-based-analysis"
"Z3 Theorem Prover - SMT File: 1.smt2 (sec)",LIB,30.723
"Z3 Theorem Prover - SMT File: 2.smt2 (sec)",LIB,48.936