z3-1.0.0-all
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
Kernel Notes: Transparent Huge Pages: always
Environment Notes: LDFLAGS=-latomic
Processor Notes: Scaling Governor: intel_pstate performance (EPP: performance) - CPU Microcode: 0xf8
Python Notes: Python 3.11.2
Security Notes: gather_data_sampling: Mitigation of Microcode + itlb_multihit: KVM: Mitigation of VMX disabled + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Mitigation of Clear buffers; SMT disabled + retbleed: Mitigation of Enhanced IBRS + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of usercopy/swapgs barriers and __user pointer sanitization + spectre_v2: Mitigation of Enhanced IBRS IBPB: conditional RSB filling PBRSB-eIBRS: SW sequence + srbds: Mitigation of Microcode + tsx_async_abort: Not affected
The Z3 Theorem Prover / SMT solver is developed by Microsoft Research under the MIT license. Learn more via the OpenBenchmarking.org test page.
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
Kernel Notes: Transparent Huge Pages: always
Environment Notes: LDFLAGS=-latomic
Processor Notes: Scaling Governor: intel_pstate performance (EPP: performance) - CPU Microcode: 0xf8
Python Notes: Python 3.11.2
Security Notes: gather_data_sampling: Mitigation of Microcode + itlb_multihit: KVM: Mitigation of VMX disabled + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Mitigation of Clear buffers; SMT disabled + retbleed: Mitigation of Enhanced IBRS + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of usercopy/swapgs barriers and __user pointer sanitization + spectre_v2: Mitigation of Enhanced IBRS IBPB: conditional RSB filling PBRSB-eIBRS: SW sequence + srbds: Mitigation of Microcode + tsx_async_abort: Not affected
Testing initiated at 18 March 2024 20:38 by user lucian.