docker testing on Ubuntu 20.04.6 LTS via the Phoronix Test Suite.
Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2305310-NE-VELOCIDAD40 VELOCIDAD - Phoronix Test Suite VELOCIDAD docker testing on Ubuntu 20.04.6 LTS via the Phoronix Test Suite.
HTML result view exported from: https://openbenchmarking.org/result/2305310-NE-VELOCIDAD40 .
VELOCIDAD Processor Motherboard Memory Disk Graphics Audio OS Kernel Compiler File-System Screen Resolution System Layer AMD EPYC 7J13 64-Core AMD EPYC 7J13 64-Core (4 Cores) QEMU Standard PC (Q35 + ICH9 2009) (rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org BIOS) 16GB 49GB qxldrmfb QEMU Generic Ubuntu 20.04.6 LTS 5.15.0-72-generic (x86_64) GCC 9.4.0 overlayfs 1024x768 docker OpenBenchmarking.org - Transparent Huge Pages: madvise - --build=x86_64-linux-gnu --disable-vtable-verify --disable-werror --enable-checking=release --enable-clocale=gnu --enable-default-pie --enable-gnu-unique-object --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++,gm2 --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-multiarch --enable-multilib --enable-nls --enable-objc-gc=auto --enable-offload-targets=nvptx-none=/build/gcc-9-Av3uEd/gcc-9-9.4.0/debian/tmp-nvptx/usr,hsa --enable-plugin --enable-shared --enable-threads=posix --host=x86_64-linux-gnu --program-prefix=x86_64-linux-gnu- --target=x86_64-linux-gnu --with-abi=m64 --with-arch-32=i686 --with-default-libstdcxx-abi=new --with-gcc-major-version-only --with-multilib-list=m32,m64,mx32 --with-target-system-zlib=auto --with-tune=generic --without-cuda-driver -v - CPU Microcode: 0xa00115d - Python 3.8.10 - itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl and seccomp + spectre_v1: Mitigation of usercopy/swapgs barriers and __user pointer sanitization + spectre_v2: Mitigation of Retpolines IBPB: conditional IBRS_FW STIBP: disabled RSB filling PBRSB-eIBRS: Not affected + srbds: Not affected + tsx_async_abort: Not affected
VELOCIDAD z3: 1.smt2 Standard Error Standard Deviation AMD EPYC 7J13 64-Core 46.926 0.16 0.60% OpenBenchmarking.org
Z3 Theorem Prover SMT File: 1.smt2 OpenBenchmarking.org Seconds, Fewer Is Better Z3 Theorem Prover 4.12.1 SMT File: 1.smt2 AMD EPYC 7J13 64-Core 11 22 33 44 55 SE +/- 0.16, N = 3 46.93 1. (CXX) g++ options: -lpthread -std=c++17 -fvisibility=hidden -mfpmath=sse -msse -msse2 -O3 -fPIC
Phoronix Test Suite v10.8.4