test3t
HTML result view exported from: https://openbenchmarking.org/result/2309011-NE-T3289085396&grt.
t3ProcessorMotherboardChipsetMemoryDiskGraphicsAudioMonitorNetworkOSKernelDesktopDisplay ServerDisplay DriverOpenGLOpenCLCompilerFile-SystemScreen Resolutiont3test2 x Intel Xeon E5-2697 v2 @ 3.50GHz (24 Cores / 48 Threads)Dell 0C4Y3R (2.9.0 BIOS)Intel Xeon E7 v2/Xeon144GB1024GB JAJM600M1TB + 2 x 4000GB PERC H710P + 12001GB PERC H710P + 1000GB PERC H710P + 2000GB + 62GB Ultra + 4001GB Expansion Deskllvmpipe (324/405MHz)C-Media CMI8738/CMI8768C27F3904 x Intel I350 + Mellanox MT27500openSUSE 202308286.5.0-6.gde97d09-default (x86_64)KDE Plasma 5.27.7X Server 1.21.1.8NVIDIA 535.104.054.5 Mesa 23.1.6 (LLVM 16.0.6 256 bits)OpenCL 3.0 LINUX + OpenCL 1.2 Intel FPGA SDK for OpenCL 20.3 + OpenCL 3.0 CUDA 12.2.138PGI Compiler + Clang 16.0.6 + LLVM 16.0.6 + ICC 2021.10.0 20230609 + CUDA 12.2xfs1680x1050OpenBenchmarking.org- Transparent Huge Pages: always- Scaling Governor: intel_cpufreq schedutil - CPU Microcode: 0x42e- Python 2.7.18 + Python 3.11.4- gather_data_sampling: Not affected + itlb_multihit: KVM: Mitigation of VMX disabled + l1tf: Mitigation of PTE Inversion; VMX: conditional cache flushes SMT vulnerable + mds: Mitigation of Clear buffers; SMT vulnerable + meltdown: Mitigation of PTI + mmio_stale_data: Unknown: No mitigations + retbleed: Not affected + 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 Retpolines IBPB: conditional IBRS_FW STIBP: conditional RSB filling PBRSB-eIBRS: Not affected + srbds: Not affected + tsx_async_abort: Not affected
t3z3: 1.smt2z3: 2.smt2t3test40.332151.623OpenBenchmarking.org
OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 1.smt2t3test918273645SE +/- 0.08, N = 340.331. (CXX) g++ options: -lpthread -std=c++17 -fvisibility=hidden -mfpmath=sse -msse -msse2 -O3 -fPIC
OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 2.smt2t3test306090120150SE +/- 0.53, N = 3151.621. (CXX) g++ options: -lpthread -std=c++17 -fvisibility=hidden -mfpmath=sse -msse -msse2 -O3 -fPIC
Phoronix Test Suite v10.8.5