| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | cpu | os | heap | threads | time | cputime | version | ||||||||||||||||||
2 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 4 | 4 | 00:08:42 | 00:30:23 | Isabelle2021-1 | ||||||||||||||||||
3 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 8 | 4 | 00:07:14 | 00:25:24 | Isabelle2021-1 | ||||||||||||||||||
4 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 16 | 4 | 00:07:29 | 00:26:09 | Isabelle2021-1 | ||||||||||||||||||
5 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 8 | 8 | 00:06:02 | 00:40:15 | Isabelle2021-1 | ||||||||||||||||||
6 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 16 | 8 | 00:05:57 | 00:39:35 | Isabelle2021-1 | ||||||||||||||||||
7 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 32 | 8 | 00:06:49 | 00:46:12 | Isabelle2021-1 | ||||||||||||||||||
8 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 16 | 16 | 00:05:49 | 01:01:46 | Isabelle2021-1 | ||||||||||||||||||
9 | Intel(R) Core(TM) i7-10875H CPU @ 2.30GHz | linux | 32 | 16 | 00:06:45 | 01:10:00 | Isabelle2021-1 | ||||||||||||||||||
10 | Intel(R) Core(TM) i7-7700HQ CPU @ 2.80GHz | linux | 4 | 4 | 00:08:41 | 00:30:05 | Isabelle2021-1 | ||||||||||||||||||
11 | Intel(R) Core(TM) i7-7700HQ CPU @ 2.80GHz | linux | 8 | 4 | 00:07:25 | 00:25:49 | Isabelle2021-1 | ||||||||||||||||||
12 | Intel(R) Core(TM) i7-7700HQ CPU @ 2.80GHz | linux | 16 | 4 | 00:07:23 | 00:25:50 | Isabelle2021-1 | ||||||||||||||||||
13 | Intel(R) Core(TM) i7-7700HQ CPU @ 2.80GHz | linux | 8 | 8 | 00:07:41 | 00:45:18 | Isabelle2021-1 | ||||||||||||||||||
14 | Intel(R) Core(TM) i7-7700HQ CPU @ 2.80GHz | linux | 16 | 8 | 00:06:04 | 00:36:07 | Isabelle2021-1 | ||||||||||||||||||
15 | 2x AMD EPYC 7742 64-Core Processor | linux | 4 | 4 | 00:07:24 | 00:25:28 | Isabelle2021-1 | ||||||||||||||||||
16 | 2x AMD EPYC 7742 64-Core Processor | linux | 8 | 4 | 00:06:31 | 00:22:33 | Isabelle2021-1 | ||||||||||||||||||
17 | 2x AMD EPYC 7742 64-Core Processor | linux | 8 | 8 | 00:03:53 | 00:26:18 | Isabelle2021-1 | ||||||||||||||||||
18 | 2x AMD EPYC 7742 64-Core Processor | linux | 16 | 8 | 00:03:39 | 00:24:55 | Isabelle2021-1 | ||||||||||||||||||
19 | Intel(R) Core(TM) i5-6600K CPU @ 4.50GHz | windows | 4 | 4 | 00:06:50 | Isabelle2021-1 | |||||||||||||||||||
20 | Intel(R) Core(TM) i5-6600K CPU @ 4.50GHz | windows | 8 | 4 | 00:06:10 | Isabelle2021-1 | |||||||||||||||||||
21 | Intel(R) Core(TM) i5-6600K CPU @ 4.50GHz | windows | 16 | 4 | 00:05:57 | Isabelle2021-1 | |||||||||||||||||||
22 | 2x AMD EPYC 7742 64-Core Processor | linux | 32 | 8 | 00:04:02 | 00:26:39 | Isabelle2021-1 | ||||||||||||||||||
23 | 2x AMD EPYC 7742 64-Core Processor | linux | 64 | 8 | 00:04:04 | 00:27:18 | Isabelle2021-1 | ||||||||||||||||||
24 | 2x AMD EPYC 7742 64-Core Processor | linux | 16 | 16 | 00:03:31 | 00:42:53 | Isabelle2021-1 | ||||||||||||||||||
25 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 4 | 4 | 00:03:38 | Isabelle2021-1 | |||||||||||||||||||
26 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 8 | 4 | 00:03:06 | Isabelle2021-1 | |||||||||||||||||||
27 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 16 | 4 | 00:03:06 | Isabelle2021-1 | |||||||||||||||||||
28 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 8 | 8 | 00:01:50 | Isabelle2021-1 | |||||||||||||||||||
29 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 8 | 8 | 00:02:08 | Isabelle2021-1 | |||||||||||||||||||
30 | 2x AMD EPYC 7742 64-Core Processor | linux | 32 | 16 | 00:03:25 | 00:45:42 | Isabelle2021-1 | ||||||||||||||||||
31 | 2x AMD EPYC 7742 64-Core Processor | linux | 64 | 16 | 00:03:19 | 00:40:59 | Isabelle2021-1 | ||||||||||||||||||
32 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 16 | 8 | 00:02:09 | Isabelle2021-1 | |||||||||||||||||||
33 | 2x AMD EPYC 7742 64-Core Processor | linux | 128 | 16 | 00:03:49 | 00:47:37 | Isabelle2021-1 | ||||||||||||||||||
34 | 2x AMD EPYC 7742 64-Core Processor | linux | 256 | 16 | 00:03:38 | 00:46:58 | Isabelle2021-1 | ||||||||||||||||||
35 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 32 | 8 | 00:02:20 | Isabelle2021-1 | |||||||||||||||||||
36 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 16 | 16 | 00:02:27 | Isabelle2021-1 | |||||||||||||||||||
37 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 4 | 4 | 00:09:41 | 00:33:59 | Isabelle2021-1 | ||||||||||||||||||
38 | 12th Gen Intel(R) Core(TM) i7-12700K | windows | 32 | 16 | 00:02:28 | Isabelle2021-1 | |||||||||||||||||||
39 | 2x AMD EPYC 7742 64-Core Processor | linux | 16 | 32 | 00:10:34 | 02:45:54 | Isabelle2021-1 | ||||||||||||||||||
40 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 8 | 4 | 00:09:35 | 00:33:26 | Isabelle2021-1 | ||||||||||||||||||
41 | Intel(R) Core(TM) i5-6600K CPU @ 4.50GHz | linux | 4 | 4 | 00:06:35 | 00:20:15 | Isabelle2021-1 | ||||||||||||||||||
42 | Intel(R) Core(TM) i5-6600K CPU @ 4.50GHz | linux | 8 | 4 | 00:05:42 | 00:17:23 | Isabelle2021-1 | ||||||||||||||||||
43 | Intel(R) Core(TM) i5-6600K CPU @ 4.50GHz | linux | 16 | 4 | 00:05:28 | 00:16:37 | Isabelle2021-1 | ||||||||||||||||||
44 | 2x AMD EPYC 7742 64-Core Processor | linux | 32 | 32 | 00:10:09 | 02:02:09 | Isabelle2021-1 | ||||||||||||||||||
45 | 2x AMD EPYC 7742 64-Core Processor | linux | 64 | 32 | 00:09:49 | 01:54:14 | Isabelle2021-1 | ||||||||||||||||||
46 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 16 | 4 | 00:08:58 | 00:31:46 | Isabelle2021-1 | ||||||||||||||||||
47 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 8 | 8 | 00:05:59 | 00:39:39 | Isabelle2021-1 | ||||||||||||||||||
48 | AMD EPYC 7601 32-Core Processor | linux | 4 | 4 | 00:10:50 | 00:36:52 | Isabelle2021-1 | ||||||||||||||||||
49 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 4 | 4 | 00:09:36 | 00:33:17 | Isabelle2021-1 | ||||||||||||||||||
50 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 16 | 8 | 00:06:01 | 00:39:26 | Isabelle2021-1 | ||||||||||||||||||
51 | AMD EPYC 7601 32-Core Processor | linux | 8 | 4 | 00:09:27 | 00:32:41 | Isabelle2021-1 | ||||||||||||||||||
52 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 32 | 8 | 00:06:00 | 00:40:36 | Isabelle2021-1 | ||||||||||||||||||
53 | 2x AMD EPYC 7742 64-Core Processor | linux | 128 | 32 | 00:10:05 | 02:04:06 | Isabelle2021-1 | ||||||||||||||||||
54 | 2x AMD EPYC 7742 64-Core Processor | linux | 256 | 32 | 00:10:47 | 02:15:50 | Isabelle2021-1 | ||||||||||||||||||
55 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 64 | 8 | 00:06:38 | 00:42:42 | Isabelle2021-1 | ||||||||||||||||||
56 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 16 | 16 | 00:06:29 | 01:07:16 | Isabelle2021-1 | ||||||||||||||||||
57 | 2x AMD EPYC 7742 64-Core Processor | linux | 512 | 32 | 00:12:27 | 02:52:11 | Isabelle2021-1 | ||||||||||||||||||
58 | AMD EPYC 7601 32-Core Processor | linux | 16 | 4 | 00:09:33 | 00:33:09 | Isabelle2021-1 | ||||||||||||||||||
59 | AMD EPYC 7601 32-Core Processor | linux | 8 | 8 | 00:05:55 | 00:40:14 | Isabelle2021-1 | ||||||||||||||||||
60 | AMD EPYC 7601 32-Core Processor | linux | 16 | 8 | 00:05:58 | 00:40:09 | Isabelle2021-1 | ||||||||||||||||||
61 | AMD EPYC 7601 32-Core Processor | linux | 32 | 8 | 00:05:52 | 00:40:28 | Isabelle2021-1 | ||||||||||||||||||
62 | AMD EPYC 7601 32-Core Processor | linux | 64 | 8 | 00:05:59 | 00:40:15 | Isabelle2021-1 | ||||||||||||||||||
63 | AMD EPYC 7601 32-Core Processor | linux | 16 | 16 | 00:06:00 | 01:10:58 | Isabelle2021-1 | ||||||||||||||||||
64 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 8 | 4 | 00:08:30 | 00:30:17 | Isabelle2021-1 | ||||||||||||||||||
65 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 16 | 4 | 00:08:19 | 00:29:27 | Isabelle2021-1 | ||||||||||||||||||
66 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 8 | 8 | 00:05:32 | 00:35:59 | Isabelle2021-1 | ||||||||||||||||||
67 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 16 | 8 | 00:05:25 | 00:35:54 | Isabelle2021-1 | ||||||||||||||||||
68 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 32 | 8 | 00:05:49 | 00:38:23 | Isabelle2021-1 | ||||||||||||||||||
69 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 64 | 8 | 00:05:43 | 00:37:40 | Isabelle2021-1 | ||||||||||||||||||
70 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 16 | 16 | 00:04:56 | 00:47:23 | Isabelle2021-1 | ||||||||||||||||||
71 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 32 | 16 | 00:05:19 | 00:52:56 | Isabelle2021-1 | ||||||||||||||||||
72 | 2x AMD EPYC 7742 64-Core Processor | linux | 16 | 64 | 00:32:08 | 07:53:14 | Isabelle2021-1 | ||||||||||||||||||
73 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 32 | 16 | 00:07:22 | 01:14:41 | Isabelle2021-1 | ||||||||||||||||||
74 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 64 | 16 | 00:07:16 | 01:12:33 | Isabelle2021-1 | ||||||||||||||||||
75 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 128 | 16 | 00:07:00 | 01:10:31 | Isabelle2021-1 | ||||||||||||||||||
76 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 256 | 16 | 00:07:40 | 01:14:59 | Isabelle2021-1 | ||||||||||||||||||
77 | 2x AMD EPYC 7742 64-Core Processor | linux | 64 | 64 | 00:30:57 | 06:43:22 | Isabelle2021-1 | ||||||||||||||||||
78 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 16 | 32 | 00:20:19 | 03:16:58 | Isabelle2021-1 | ||||||||||||||||||
79 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 32 | 32 | 00:21:52 | 03:29:24 | Isabelle2021-1 | ||||||||||||||||||
80 | 2x AMD EPYC 7742 64-Core Processor | linux | 4 | 1 | 00:22:43 | 00:23:02 | Isabelle2021-1 | ||||||||||||||||||
81 | 2x AMD EPYC 7742 64-Core Processor | linux | 8 | 1 | 00:19:03 | 00:19:24 | Isabelle2021-1 | ||||||||||||||||||
82 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 4 | 1 | 00:25:17 | 00:26:15 | Isabelle2021-1 | ||||||||||||||||||
83 | Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz | linux | 8 | 1 | 00:19:04 | 00:19:58 | Isabelle2021-1 | ||||||||||||||||||
84 | AMD EPYC 7601 32-Core Processor | linux | 32 | 16 | 00:07:06 | 01:25:30 | Isabelle2021-1 | ||||||||||||||||||
85 | AMD EPYC 7601 32-Core Processor | linux | 64 | 16 | 00:06:31 | 01:20:36 | Isabelle2021-1 | ||||||||||||||||||
86 | AMD EPYC 7601 32-Core Processor | linux | 128 | 16 | 00:06:59 | 01:23:47 | Isabelle2021-1 | ||||||||||||||||||
87 | AMD EPYC 7601 32-Core Processor | linux | 256 | 16 | 00:05:57 | 01:09:34 | Isabelle2021-1 | ||||||||||||||||||
88 | AMD EPYC 7601 32-Core Processor | linux | 16 | 32 | 00:19:36 | 03:45:57 | Isabelle2021-1 | ||||||||||||||||||
89 | AMD EPYC 7601 32-Core Processor | linux | 32 | 32 | 00:20:35 | 03:39:09 | Isabelle2021-1 | ||||||||||||||||||
90 | AMD EPYC 7601 32-Core Processor | linux | 64 | 32 | 00:21:38 | 04:05:43 | Isabelle2021-1 | ||||||||||||||||||
91 | AMD EPYC 7601 32-Core Processor | linux | 128 | 32 | 00:19:16 | 03:22:27 | Isabelle2021-1 | ||||||||||||||||||
92 | AMD EPYC 7601 32-Core Processor | linux | 256 | 32 | 00:19:57 | 03:50:21 | Isabelle2021-1 | ||||||||||||||||||
93 | AMD EPYC 7601 32-Core Processor | linux | 512 | 32 | 00:19:42 | 03:28:53 | Isabelle2021-1 | ||||||||||||||||||
94 | AMD EPYC 7601 32-Core Processor | linux | 16 | 64 | 00:59:44 | 11:42:32 | Isabelle2021-1 | ||||||||||||||||||
95 | AMD EPYC 7601 32-Core Processor | linux | 64 | 64 | 00:57:30 | 10:43:42 | Isabelle2021-1 | ||||||||||||||||||
96 | AMD EPYC 7601 32-Core Processor | linux | 128 | 64 | 01:03:50 | 11:59:40 | Isabelle2021-1 | ||||||||||||||||||
97 | AMD EPYC 7601 32-Core Processor | linux | 256 | 64 | 01:00:32 | 11:13:21 | Isabelle2021-1 | ||||||||||||||||||
98 | AMD EPYC 7601 32-Core Processor | linux | 512 | 64 | 01:04:02 | 12:08:58 | Isabelle2021-1 | ||||||||||||||||||
99 | AMD EPYC 7601 32-Core Processor | linux | 16 | 128 | 01:27:35 | 21:16:16 | Isabelle2021-1 | ||||||||||||||||||
100 | Intel(R) Xeon(R) CPU E5-2699 v4 @ 2.20GHz | linux | 64 | 16 | 00:05:14 | 00:51:59 | Isabelle2021-1 |