{"id":365,"date":"2024-01-09T00:57:08","date_gmt":"2024-01-09T00:57:08","guid":{"rendered":"https:\/\/mvermeulen.org\/perf\/?page_id=365"},"modified":"2024-01-09T01:51:25","modified_gmt":"2024-01-09T01:51:25","slug":"z3","status":"publish","type":"page","link":"https:\/\/mvermeulen.org\/perf\/workloads\/phoronix\/z3\/","title":{"rendered":"z3"},"content":{"rendered":"\n<p>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.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"1280\" height=\"960\" src=\"https:\/\/mvermeulen.org\/perf\/wp-content\/uploads\/sites\/7\/2024\/01\/amdtopdown-31.png\" alt=\"\" class=\"wp-image-373\" srcset=\"https:\/\/mvermeulen.org\/perf\/wp-content\/uploads\/sites\/7\/2024\/01\/amdtopdown-31.png 1280w, https:\/\/mvermeulen.org\/perf\/wp-content\/uploads\/sites\/7\/2024\/01\/amdtopdown-31-1024x768.png 1024w, https:\/\/mvermeulen.org\/perf\/wp-content\/uploads\/sites\/7\/2024\/01\/amdtopdown-31-768x576.png 768w\" sizes=\"auto, (max-width: 1280px) 100vw, 1280px\" \/><\/figure>\n\n\n\n<p>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.<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>elapsed              289.434\non_cpu               0.055          # 0.89 \/ 16 cores\nutime                253.585\nstime                3.289\nnvcsw                2345           # 64.58%\nnivcsw               1286           # 35.42%\ninblock              0              # 0.00\/sec\nonblock              2024           # 6.99\/sec\ncpu-clock            256904340999   # 256.904 seconds\ntask-clock           256910612936   # 256.911 seconds\npage faults          2006788        # 7811.230\/sec\ncontext switches     4880           # 18.995\/sec\ncpu migrations       345            # 1.343\/sec\nmajor page faults    0              # 0.000\/sec\nminor page faults    2006788        # 7811.230\/sec\nalignment faults     0              # 0.000\/sec\nemulation faults     0              # 0.000\/sec\nbranches             284723854200   # 203.600 branches per 1000 inst\nbranch misses        3452086537     # 1.21% branch miss\nconditional          215823592105   # 154.331 conditional branches per 1000 inst\nindirect             6132904257     # 4.386 indirect branches per 1000 inst\ncpu-cycles           1281897963891  # 0.28 GHz\ninstructions         1398020957403  # 1.09 IPC\nslots                2567312629194  #\nretiring             522579949020   # 20.4% (20.4%)\n-- ucode             696767033      #     0.0%\n-- fastpath          521883181987   #    20.3%\nfrontend             499742413459   # 19.5% (19.5%)\n-- latency           147086233212   #     5.7%\n-- bandwidth         352656180247   #    13.7%\nbackend              1413706192033  # 55.1% (55.1%)\n-- cpu               44451900145    #     1.7%\n-- memory            1369254291888  #    53.3%\nspeculation          130801706544   #  5.1% ( 5.1%)\n-- branch mispredict 123199783786   #     4.8%\n-- pipeline restart  7601922758     #     0.3%\nsmt-contention       481825844      #  0.0% ( 0.0%)\ncpu-cycles           1287651128934  # 0.28 GHz\ninstructions         1400081331384  # 1.09 IPC\ninstructions         466013201887   # 145.911 l2 access per 1000 inst\nl2 hit from l1       44894141571    # 12.08% l2 miss\nl2 miss from l1      4646754213     #\nl2 hit from l2 pf    19532944744    #\nl3 hit from l2 pf    2354353612     #\nl3 miss from l2 pf   1215011182     #\ninstructions         464720471412   # 10.992 float per 1000 inst\nfloat 512            58             # 0.000 AVX-512 per 1000 inst\nfloat 256            4              # 0.000 AVX-256 per 1000 inst\nfloat 128            5108417990     # 10.992 AVX-128 per 1000 inst\nfloat MMX            0              # 0.000 MMX per 1000 inst\nfloat scalar         0              # 0.000 scalar per 1000 inst\n<\/code><\/pre>\n\n\n\n<p>Intel metrics<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>elapsed              359.146\non_cpu               0.057          # 0.91 \/ 16 cores\nutime                324.421\nstime                2.704\nnvcsw                2252           # 52.32%\nnivcsw               2052           # 47.68%\ninblock              32             # 0.09\/sec\nonblock              2016           # 5.61\/sec\ncpu-clock            327159664516   # 327.160 seconds\ntask-clock           327165988690   # 327.166 seconds\npage faults          2002352        # 6120.294\/sec\ncontext switches     5921           # 18.098\/sec\ncpu migrations       612            # 1.871\/sec\nmajor page faults    4              # 0.012\/sec\nminor page faults    2002348        # 6120.282\/sec\nalignment faults     0              # 0.000\/sec\nemulation faults     0              # 0.000\/sec\nbranches             283074352841   # 202.765 branches per 1000 inst\nbranch misses        3262799770     # 1.15% branch miss\nconditional          283074365129   # 202.765 conditional branches per 1000 inst\nindirect             6143746260     # 4.401 indirect branches per 1000 inst\nslots                7133743587878  #\nretiring             1541504449961  # 21.6% (21.6%)\n-- ucode             150189552345   #     2.1%\n-- fastpath          1391314897616  #    19.5%\nfrontend             1010225201870  # 14.2% (14.2%)\n-- latency           449717887406   #     6.3%\n-- bandwidth         560507314464   #     7.9%\nbackend              4022892047699  # 56.4% (56.4%)\n-- cpu               723043106092   #    10.1%\n-- memory            3299848941607  #    46.3%\nspeculation          895459130208   # 12.6% (12.6%)\n-- branch mispredict 855961352726   #    12.0%\n-- pipeline restart  39497777482    #     0.6%\nsmt-contention       0              #  0.0% ( 0.0%)\ncpu-cycles           1189851794283  # 0.21 GHz\ninstructions         1395384048693  # 1.17 IPC\nl2 access            186461410703   # 133.654 l2 access per 1000 inst\nl2 miss              52225130039    # 28.01% l2 miss\n<\/code><\/pre>\n\n\n\n<p>Simple workload &#8211; just calling z3<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>366 processes\n\t 12 z3                     250.40     2.50\n\t 64 clinfo                  10.24     3.76\n\t 38 vulkaninfo               1.33     0.57\n\t  4 vulkani:disk$0           0.14     0.06\n\t  6 glxinfo:gdrv0            0.14     0.04\n\t  6 php                      0.07     0.08\n\t  2 llvmpipe-0               0.07     0.03\n\t  2 llvmpipe-1               0.07     0.03\n\t  2 llvmpipe-10              0.07     0.03\n\t  2 llvmpipe-11              0.07     0.03\n\t  2 llvmpipe-12              0.07     0.03\n\t  2 llvmpipe-13              0.07     0.03\n\t  2 llvmpipe-14              0.07     0.03\n\t  2 llvmpipe-15              0.07     0.03\n\t  2 llvmpipe-2               0.07     0.03\n\t  2 llvmpipe-3               0.07     0.03\n\t  2 llvmpipe-4               0.07     0.03\n\t  2 llvmpipe-5               0.07     0.03\n\t  2 llvmpipe-6               0.07     0.03\n\t  2 llvmpipe-7               0.07     0.03\n\t  2 llvmpipe-8               0.07     0.03\n\t  2 llvmpipe-9               0.07     0.03\n\t  2 glxinfo                  0.06     0.02\n\t  2 glxinfo:cs0              0.06     0.02\n\t  2 glxinfo:disk$0           0.06     0.02\n\t  2 glxinfo:sh0              0.06     0.02\n\t  2 glxinfo:shlo0            0.06     0.02\n\t  6 clang                    0.03     0.04\n\t  1 lspci                    0.01     0.03\n\t 92 sh                       0.00     0.00\n\t 13 gcc                      0.00     0.00\n\t 11 gsettings                0.00     0.00\n\t  9 stty                     0.00     0.00\n\t  8 stat                     0.00     0.00\n\t  8 systemd-detect-          0.00     0.00\n\t  6 llvm-link                0.00     0.00\n\t  5 phoronix-test-s          0.00     0.00\n\t  4 gmain                    0.00     0.00\n\t  2 cc                       0.00     0.00\n\t  2 lscpu                    0.00     0.00\n\t  2 uname                    0.00     0.00\n\t  2 which                    0.00     0.00\n\t  2 xset                     0.00     0.00\n\t  1 date                     0.00     0.00\n\t  1 dconf worker             0.00     0.00\n\t  1 dirname                  0.00     0.00\n\t  1 dmesg                    0.00     0.00\n\t  1 dmidecode                0.00     0.00\n\t  1 grep                     0.00     0.00\n\t  1 ifconfig                 0.00     0.00\n\t  1 ip                       0.00     0.00\n\t  1 lsmod                    0.00     0.00\n\t  1 mktemp                   0.00     0.00\n\t  1 ps                       0.00     0.00\n\t  1 python3                  0.00     0.00\n\t  1 qdbus                    0.00     0.00\n\t  1 readlink                 0.00     0.00\n\t  1 realpath                 0.00     0.00\n\t  1 sed                      0.00     0.00\n\t  1 sort                     0.00     0.00\n\t  1 systemctl                0.00     0.00\n\t  1 template.sh              0.00     0.00\n\t  1 wc                       0.00     0.00\n\t  1 xrandr                   0.00     0.00\n0 processes running\n47 maximum processes\n<\/code><\/pre>\n","protected":false},"excerpt":{"rendered":"<p>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 <span class=\"excerpt-dots\">&hellip;<\/span> <a class=\"more-link\" href=\"https:\/\/mvermeulen.org\/perf\/workloads\/phoronix\/z3\/\"><span class=\"more-msg\">Continue reading &rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":58,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-365","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/pages\/365","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/comments?post=365"}],"version-history":[{"count":2,"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/pages\/365\/revisions"}],"predecessor-version":[{"id":374,"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/pages\/365\/revisions\/374"}],"up":[{"embeddable":true,"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/pages\/58"}],"wp:attachment":[{"href":"https:\/\/mvermeulen.org\/perf\/wp-json\/wp\/v2\/media?parent=365"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}