z3 is a theorem prover/SMT solver with two workloads. The first has times almost identical between AMD and Intel, the second has AMD at 1.5 faster.
AMD metrics. This is a single-threaded workload, almost entirely integer and with a moderate L2 cache footprint. There is a high number of branches and correspondingly a moderate branch misprediction ratio.
elapsed 289.434
on_cpu 0.055 # 0.89 / 16 cores
utime 253.585
stime 3.289
nvcsw 2345 # 64.58%
nivcsw 1286 # 35.42%
inblock 0 # 0.00/sec
onblock 2024 # 6.99/sec
cpu-clock 256904340999 # 256.904 seconds
task-clock 256910612936 # 256.911 seconds
page faults 2006788 # 7811.230/sec
context switches 4880 # 18.995/sec
cpu migrations 345 # 1.343/sec
major page faults 0 # 0.000/sec
minor page faults 2006788 # 7811.230/sec
alignment faults 0 # 0.000/sec
emulation faults 0 # 0.000/sec
branches 284723854200 # 203.600 branches per 1000 inst
branch misses 3452086537 # 1.21% branch miss
conditional 215823592105 # 154.331 conditional branches per 1000 inst
indirect 6132904257 # 4.386 indirect branches per 1000 inst
cpu-cycles 1281897963891 # 0.28 GHz
instructions 1398020957403 # 1.09 IPC
slots 2567312629194 #
retiring 522579949020 # 20.4% (20.4%)
-- ucode 696767033 # 0.0%
-- fastpath 521883181987 # 20.3%
frontend 499742413459 # 19.5% (19.5%)
-- latency 147086233212 # 5.7%
-- bandwidth 352656180247 # 13.7%
backend 1413706192033 # 55.1% (55.1%)
-- cpu 44451900145 # 1.7%
-- memory 1369254291888 # 53.3%
speculation 130801706544 # 5.1% ( 5.1%)
-- branch mispredict 123199783786 # 4.8%
-- pipeline restart 7601922758 # 0.3%
smt-contention 481825844 # 0.0% ( 0.0%)
cpu-cycles 1287651128934 # 0.28 GHz
instructions 1400081331384 # 1.09 IPC
instructions 466013201887 # 145.911 l2 access per 1000 inst
l2 hit from l1 44894141571 # 12.08% l2 miss
l2 miss from l1 4646754213 #
l2 hit from l2 pf 19532944744 #
l3 hit from l2 pf 2354353612 #
l3 miss from l2 pf 1215011182 #
instructions 464720471412 # 10.992 float per 1000 inst
float 512 58 # 0.000 AVX-512 per 1000 inst
float 256 4 # 0.000 AVX-256 per 1000 inst
float 128 5108417990 # 10.992 AVX-128 per 1000 inst
float MMX 0 # 0.000 MMX per 1000 inst
float scalar 0 # 0.000 scalar per 1000 inst
Intel metrics
elapsed 359.146
on_cpu 0.057 # 0.91 / 16 cores
utime 324.421
stime 2.704
nvcsw 2252 # 52.32%
nivcsw 2052 # 47.68%
inblock 32 # 0.09/sec
onblock 2016 # 5.61/sec
cpu-clock 327159664516 # 327.160 seconds
task-clock 327165988690 # 327.166 seconds
page faults 2002352 # 6120.294/sec
context switches 5921 # 18.098/sec
cpu migrations 612 # 1.871/sec
major page faults 4 # 0.012/sec
minor page faults 2002348 # 6120.282/sec
alignment faults 0 # 0.000/sec
emulation faults 0 # 0.000/sec
branches 283074352841 # 202.765 branches per 1000 inst
branch misses 3262799770 # 1.15% branch miss
conditional 283074365129 # 202.765 conditional branches per 1000 inst
indirect 6143746260 # 4.401 indirect branches per 1000 inst
slots 7133743587878 #
retiring 1541504449961 # 21.6% (21.6%)
-- ucode 150189552345 # 2.1%
-- fastpath 1391314897616 # 19.5%
frontend 1010225201870 # 14.2% (14.2%)
-- latency 449717887406 # 6.3%
-- bandwidth 560507314464 # 7.9%
backend 4022892047699 # 56.4% (56.4%)
-- cpu 723043106092 # 10.1%
-- memory 3299848941607 # 46.3%
speculation 895459130208 # 12.6% (12.6%)
-- branch mispredict 855961352726 # 12.0%
-- pipeline restart 39497777482 # 0.6%
smt-contention 0 # 0.0% ( 0.0%)
cpu-cycles 1189851794283 # 0.21 GHz
instructions 1395384048693 # 1.17 IPC
l2 access 186461410703 # 133.654 l2 access per 1000 inst
l2 miss 52225130039 # 28.01% l2 miss
Simple workload – just calling z3
366 processes
12 z3 250.40 2.50
64 clinfo 10.24 3.76
38 vulkaninfo 1.33 0.57
4 vulkani:disk$0 0.14 0.06
6 glxinfo:gdrv0 0.14 0.04
6 php 0.07 0.08
2 llvmpipe-0 0.07 0.03
2 llvmpipe-1 0.07 0.03
2 llvmpipe-10 0.07 0.03
2 llvmpipe-11 0.07 0.03
2 llvmpipe-12 0.07 0.03
2 llvmpipe-13 0.07 0.03
2 llvmpipe-14 0.07 0.03
2 llvmpipe-15 0.07 0.03
2 llvmpipe-2 0.07 0.03
2 llvmpipe-3 0.07 0.03
2 llvmpipe-4 0.07 0.03
2 llvmpipe-5 0.07 0.03
2 llvmpipe-6 0.07 0.03
2 llvmpipe-7 0.07 0.03
2 llvmpipe-8 0.07 0.03
2 llvmpipe-9 0.07 0.03
2 glxinfo 0.06 0.02
2 glxinfo:cs0 0.06 0.02
2 glxinfo:disk$0 0.06 0.02
2 glxinfo:sh0 0.06 0.02
2 glxinfo:shlo0 0.06 0.02
6 clang 0.03 0.04
1 lspci 0.01 0.03
92 sh 0.00 0.00
13 gcc 0.00 0.00
11 gsettings 0.00 0.00
9 stty 0.00 0.00
8 stat 0.00 0.00
8 systemd-detect- 0.00 0.00
6 llvm-link 0.00 0.00
5 phoronix-test-s 0.00 0.00
4 gmain 0.00 0.00
2 cc 0.00 0.00
2 lscpu 0.00 0.00
2 uname 0.00 0.00
2 which 0.00 0.00
2 xset 0.00 0.00
1 date 0.00 0.00
1 dconf worker 0.00 0.00
1 dirname 0.00 0.00
1 dmesg 0.00 0.00
1 dmidecode 0.00 0.00
1 grep 0.00 0.00
1 ifconfig 0.00 0.00
1 ip 0.00 0.00
1 lsmod 0.00 0.00
1 mktemp 0.00 0.00
1 ps 0.00 0.00
1 python3 0.00 0.00
1 qdbus 0.00 0.00
1 readlink 0.00 0.00
1 realpath 0.00 0.00
1 sed 0.00 0.00
1 sort 0.00 0.00
1 systemctl 0.00 0.00
1 template.sh 0.00 0.00
1 wc 0.00 0.00
1 xrandr 0.00 0.00
0 processes running
47 maximum processes