The Z3 Theorem Prover / SMT solver is developed by Microsoft Research under the MIT license.
Below is an overview of the generalized performance for components where there is sufficient statistically significant data based upon user-uploaded results. It is important to keep in mind particularly in the Linux/open-source space there can be vastly different OS configurations, with this overview intended to offer just general guidance as to the performance expectations.
Component
Details
Percentile Rank
# Compatible Public Results
Seconds (Average)
Zen 5 [8 Cores / 16 Threads]
98th
7
34
Zen 5 [8 Cores / 16 Threads]
97th
10
35
Zen 5 [16 Cores / 32 Threads]
95th
10
36 +/- 1
Zen 5 [12 Cores / 24 Threads]
94th
7
36 +/- 1
Zen 5 [6 Cores / 12 Threads]
94th
14
37 +/- 1
Zen 4 [8 Cores / 16 Threads]
87th
12
45 +/- 1
Zen 4 [16 Cores / 32 Threads]
87th
14
46 +/- 1
Zen 4 [12 Cores / 24 Threads]
84th
16
47 +/- 1
Zen 4 [8 Cores / 16 Threads]
84th
12
47 +/- 1
Zen 4 [12 Cores / 24 Threads]
84th
9
47 +/- 2
Zen 4 [8 Cores / 16 Threads]
84th
11
47 +/- 1
Zen 4 [12 Cores / 24 Threads]
82nd
4
47
Zen 4 [16 Cores / 32 Threads]
79th
4
48
Zen 4 [8 Cores / 16 Threads]
78th
3
48
Zen 4 [6 Cores / 12 Threads]
78th
6
48 +/- 1
Zen 4 [16 Cores / 32 Threads]
77th
17
48 +/- 4
Zen 4 [6 Cores / 12 Threads]
77th
12
48 +/- 2
Arrow Lake [24 Cores / 24 Threads]
77th
8
48 +/- 1
Zen 4 [8 Cores / 16 Threads]
77th
4
49
Zen 4 [12 Cores / 24 Threads]
77th
13
49 +/- 4
Zen 4 [96 Cores / 192 Threads]
76th
3
49 +/- 1
Zen 4 [16 Cores / 32 Threads]
74th
5
49
Zen 4 [6 Cores / 12 Threads]
72nd
3
49
Zen 4 [64 Cores / 128 Threads]
72nd
4
49 +/- 1
Raptor Lake [24 Cores / 32 Threads]
70th
11
50
Zen 4 [12 Cores / 24 Threads]
68th
3
50
Raptor Lake [24 Cores / 32 Threads]
66th
7
52 +/- 2
Zen 4 [8 Cores / 16 Threads]
66th
7
53 +/- 2
Arrow Lake [14 Cores / 14 Threads]
64th
5
54 +/- 1
Zen 4 [6 Cores / 12 Threads]
62nd
9
54 +/- 2
Zen 4 [6 Cores / 12 Threads]
61st
4
55
Zen 4 [4 Cores / 8 Threads]
57th
4
57
Zen 3 [8 Cores / 16 Threads]
56th
13
58 +/- 2
Raptor Lake [14 Cores / 20 Threads]
56th
7
58 +/- 1
Zen 3 [8 Cores / 16 Threads]
54th
8
59
Zen 3 [16 Cores / 32 Threads]
54th
13
59 +/- 1
Raptor Lake [14 Cores / 20 Threads]
52nd
3
60
Zen 3 [6 Cores / 12 Threads]
51st
5
61 +/- 1
Zen 3 [12 Cores / 24 Threads]
51st
7
61 +/- 1
Zen 4 [8 Cores / 16 Threads]
51st
8
61 +/- 2
Raptor Lake [14 Cores / 20 Threads]
48th
7
62
Lunar Lake [8 Cores / 8 Threads]
48th
4
62
Raptor Lake [8 Cores / 16 Threads]
46th
5
63 +/- 1
Zen 4 [8 Cores / 16 Threads]
45th
5
64 +/- 2
Alder Lake [10 Cores / 16 Threads]
44th
7
65 +/- 2
Zen 4 [8 Cores / 16 Threads]
44th
14
65 +/- 1
Zen 4 [8 Cores / 16 Threads]
44th
16
65 +/- 5
Ivy Bridge [12 Cores / 24 Threads]
43rd
3
66
Zen 2 [8 Cores / 16 Threads]
43rd
4
67 +/- 1
Raptor Lake [10 Cores / 16 Threads]
43rd
5
67
Raptor Lake [10 Cores / 16 Threads]
41st
3
68
Zen 4 [8 Cores / 16 Threads]
41st
7
68
Zen 4 [192 Cores / 384 Threads]
41st
6
68
Zen 4 [128 Cores / 256 Threads]
39th
6
69 +/- 1
Raptor Lake [4 Cores / 8 Threads]
39th
8
69 +/- 1
Zen 3 [32 Cores / 64 Threads]
37th
4
70
Zen 4 [192 Cores / 384 Threads]
36th
11
71 +/- 1
Rocket Lake [8 Cores / 16 Threads]
34th
10
72 +/- 1
Sapphire Rapids [32 Cores / 64 Threads]
30th
4
73 +/- 1
Zen 3 [8 Cores / 16 Threads]
30th
4
73 +/- 3
Sapphire Rapids [16 Cores / 32 Threads]
27th
3
75 +/- 1
Sapphire Rapids [48 Cores / 96 Threads]
27th
3
75
Zen 3 [128 Cores / 256 Threads]
27th
10
75 +/- 1
Zen 3 [6 Cores / 12 Threads]
27th
6
75 +/- 2
Zen 5 [10 Cores / 20 Threads]
25th
3
76
Zen 2 [12 Cores / 24 Threads]
25th
4
76 +/- 1
Meteor Lake [16 Cores / 22 Threads]
25th
10
76 +/- 1
Zen 2 [32 Cores / 64 Threads]
25th
8
76 +/- 1
Zen 5 [12 Cores / 24 Threads]
25th
6
76 +/- 9
Rocket Lake [6 Cores / 12 Threads]
23rd
5
77
Zen 3 [8 Cores / 16 Threads]
22nd
3
78 +/- 1
Zen 3 [8 Cores / 16 Threads]
20th
8
79 +/- 1
Tiger Lake [4 Cores / 8 Threads]
17th
10
81 +/- 1
Zen 3 [8 Cores / 16 Threads]
17th
11
81
Sapphire Rapids [48 Cores / 96 Threads]
15th
6
82
Zen 2 [8 Cores / 16 Threads]
14th
3
83
Sapphire Rapids [96 Cores / 192 Threads]
14th
3
83 +/- 1
Zen 2 [64 Cores / 128 Threads]
13th
8
84 +/- 1
Tiger Lake [4 Cores / 8 Threads]
11th
9
85 +/- 1
Ice Lake [80 Cores / 160 Threads]
10th
8
86 +/- 1
Sapphire Rapids [112 Cores / 224 Threads]
10th
3
86
Zen 4 [256 Cores / 512 Threads]
9th
5
87
Ice Lake [4 Cores / 8 Threads]
9th
4
91
Zen 3 [32 Cores / 64 Threads]
8th
4
94 +/- 1
Zen 2 [8 Cores / 16 Threads]
7th
3
103 +/- 2
Zen 2 [6 Cores / 6 Threads]
6th
3
106
Zen 2 [6 Cores / 12 Threads]
6th
3
109
Skylake [8 Cores / 8 Threads]
5th
5
123 +/- 1
Kaby/Coffee/Whiskey Lake [2 Cores / 8 Threads]
4th
5
131
Zen [32 Cores / 64 Threads]
4th
4
135 +/- 5
Cascade Lake [18 Cores / 36 Threads]
4th
9
135 +/- 4
Haswell [16 Cores / 16 Threads]
3rd
3
137
Cascade Lake [16 Cores / 32 Threads]
2nd
3
144
