VELOCIDAD
docker testing on Ubuntu 20.04.6 LTS via the Phoronix Test Suite.


AMD EPYC 7J13 64-Core: 

	Processor: AMD EPYC 7J13 64-Core (4 Cores), Motherboard: QEMU Standard PC (Q35 + ICH9 2009) (rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org BIOS), Memory: 16GB, Disk: 49GB, Graphics: qxldrmfb, Audio: QEMU Generic

	OS: Ubuntu 20.04.6 LTS, Kernel: 5.15.0-72-generic (x86_64), Compiler: GCC 9.4.0, File-System: overlayfs, Screen Resolution: 1024x768, System Layer: docker


Z3 Theorem Prover 4.12.1
SMT File: 1.smt2
Seconds < Lower Is Better
AMD EPYC 7J13 64-Core . 46.93 |================================================