Isabelle build status for Linux B, 6 threads

status date:
24-Dec-2024 01:15:41 +0100
build host:
lxbroy10

HOL-Analysis

data:
CSV
timing:
0:24:15 elapsed time, 1:45:30 cpu time, factor 4.35
ML timing:
0:22:00 elapsed time, 1:59:58 cpu time, factor 5.45
code maximum:
3.6 MiB
code average:
3.5 MiB
stack maximum:
113 MiB
stack average:
95.4 MiB
heap maximum:
4.6 GiB
heap average:
2.7 GiB
heap stored:
251.8 MiB
Isabelle version:
5af6a5e4343b

HOL-Proofs

data:
CSV
timing:
0:19:34 elapsed time, 0:39:08 cpu time, factor 2.00
ML timing:
0:16:27 elapsed time, 0:43:24 cpu time, factor 2.64
code maximum:
28.6 MiB
code average:
22.7 MiB
stack maximum:
70.6 MiB
stack average:
42.3 MiB
heap maximum:
4.9 GiB
heap average:
3.3 GiB
heap stored:
370.9 MiB
Isabelle version:
5af6a5e4343b

HOL-Data_Structures

data:
CSV
timing:
0:10:17 elapsed time, 0:54:18 cpu time, factor 5.28
ML timing:
0:10:10 elapsed time, 0:59:15 cpu time, factor 5.83
stack maximum:
31 MiB
stack average:
20.6 MiB
heap maximum:
3.7 GiB
heap average:
3.1 GiB
Isabelle version:
5af6a5e4343b

HOL-ex

data:
CSV
timing:
0:10:14 elapsed time, 0:39:24 cpu time, factor 3.85
ML timing:
0:10:08 elapsed time, 0:44:52 cpu time, factor 4.43
code maximum:
3.6 MiB
code average:
3.1 MiB
stack maximum:
105 MiB
stack average:
65.1 MiB
heap maximum:
2.4 GiB
heap average:
2.2 GiB
Isabelle version:
5af6a5e4343b

HOL-Corec_Examples

data:
CSV
timing:
0:09:51 elapsed time, 0:30:04 cpu time, factor 3.05
ML timing:
0:09:43 elapsed time, 0:41:57 cpu time, factor 4.31
stack maximum:
8.4 MiB
stack average:
4.1 MiB
heap maximum:
2.6 GiB
heap average:
2.1 GiB
Isabelle version:
5af6a5e4343b

HOL

data:
CSV
timing:
0:09:19 elapsed time, 0:30:40 cpu time, factor 3.29
ML timing:
0:08:16 elapsed time, 0:30:39 cpu time, factor 3.70
code maximum:
29.2 MiB
code average:
22.9 MiB
stack maximum:
101.5 MiB
stack average:
57 MiB
heap maximum:
5.7 GiB
heap average:
3.1 GiB
heap stored:
205.6 MiB
Isabelle version:
5af6a5e4343b

HOL-Nominal-Examples

data:
CSV
timing:
0:08:53 elapsed time, 0:41:01 cpu time, factor 4.62
ML timing:
0:08:46 elapsed time, 0:43:52 cpu time, factor 5.00
stack maximum:
21.3 MiB
stack average:
17.4 MiB
heap maximum:
4 GiB
heap average:
3.7 GiB
Isabelle version:
5af6a5e4343b

HOL-Library

data:
CSV
timing:
0:08:06 elapsed time, 0:34:47 cpu time, factor 4.29
ML timing:
0:07:06 elapsed time, 0:38:27 cpu time, factor 5.40
code maximum:
4.2 MiB
code average:
4.1 MiB
stack maximum:
44.9 MiB
stack average:
36.8 MiB
heap maximum:
2.6 GiB
heap average:
2 GiB
heap stored:
147.6 MiB
Isabelle version:
5af6a5e4343b

HOL-Decision_Procs

data:
CSV
timing:
0:08:04 elapsed time, 0:41:21 cpu time, factor 5.13
ML timing:
0:07:57 elapsed time, 0:47:30 cpu time, factor 5.96
code maximum:
3.6 MiB
code average:
1.4 MiB
stack maximum:
139.8 MiB
stack average:
73.4 MiB
heap maximum:
2.5 GiB
heap average:
2 GiB
Isabelle version:
5af6a5e4343b

HOL-IMP

data:
CSV
timing:
0:06:04 elapsed time, 0:14:54 cpu time, factor 2.46
ML timing:
0:05:59 elapsed time, 0:15:53 cpu time, factor 2.65
code maximum:
6.2 MiB
code average:
4 MiB
stack maximum:
14.9 MiB
stack average:
9.3 MiB
heap maximum:
1.6 GiB
heap average:
1.5 GiB
Isabelle version:
5af6a5e4343b

HOL-Algebra

data:
CSV
timing:
0:05:05 elapsed time, 0:21:29 cpu time, factor 4.23
ML timing:
0:04:04 elapsed time, 0:21:58 cpu time, factor 5.40
stack maximum:
23.8 MiB
stack average:
17.5 MiB
heap maximum:
3.9 GiB
heap average:
2.7 GiB
heap stored:
58.6 MiB
Isabelle version:
5af6a5e4343b

HOL-Proofs-Extraction

data:
CSV
timing:
0:04:16 elapsed time, 0:07:10 cpu time, factor 1.68
ML timing:
0:04:10 elapsed time, 0:07:53 cpu time, factor 1.89
stack maximum:
16.8 MiB
stack average:
14.6 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Datatype_Examples

data:
CSV
timing:
0:04:12 elapsed time, 0:16:30 cpu time, factor 3.93
ML timing:
0:04:04 elapsed time, 0:21:10 cpu time, factor 5.19
stack maximum:
9.3 MiB
stack average:
6 MiB
heap maximum:
2.1 GiB
heap average:
1.9 GiB
Isabelle version:
5af6a5e4343b

HOL-Proofs-Lambda

data:
CSV
timing:
0:03:48 elapsed time, 0:04:28 cpu time, factor 1.18
ML timing:
0:03:43 elapsed time, 0:04:34 cpu time, factor 1.23
stack maximum:
6.7 MiB
stack average:
3.6 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Probability

data:
CSV
timing:
0:03:32 elapsed time, 0:14:41 cpu time, factor 4.16
ML timing:
0:02:37 elapsed time, 0:14:10 cpu time, factor 5.39
stack maximum:
30.6 MiB
stack average:
22 MiB
heap maximum:
1.6 GiB
heap average:
1.2 GiB
heap stored:
53.6 MiB
Isabelle version:
5af6a5e4343b

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:16 elapsed time, 0:06:25 cpu time, factor 1.96
ML timing:
0:03:13 elapsed time, 0:06:48 cpu time, factor 2.11
code maximum:
6.5 MiB
code average:
5.3 MiB
stack maximum:
21.4 MiB
stack average:
19.2 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Imperative_HOL

data:
CSV
timing:
0:03:12 elapsed time, 0:13:40 cpu time, factor 4.27
ML timing:
0:03:08 elapsed time, 0:14:19 cpu time, factor 4.57
stack maximum:
24 MiB
stack average:
21.3 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Homology

data:
CSV
timing:
0:02:56 elapsed time, 0:12:43 cpu time, factor 4.34
ML timing:
0:02:49 elapsed time, 0:13:36 cpu time, factor 4.81
stack maximum:
28.6 MiB
stack average:
21.7 MiB
heap maximum:
3 GiB
heap average:
2.2 GiB
Isabelle version:
5af6a5e4343b

HOL-Auth

data:
CSV
timing:
0:02:37 elapsed time, 0:12:00 cpu time, factor 4.59
ML timing:
0:02:16 elapsed time, 0:11:44 cpu time, factor 5.16
stack maximum:
23 MiB
stack average:
17.6 MiB
heap maximum:
1.5 GiB
heap average:
1.3 GiB
heap stored:
32.2 MiB
Isabelle version:
5af6a5e4343b

HOL-Computational_Algebra

data:
CSV
timing:
0:02:28 elapsed time, 0:07:31 cpu time, factor 3.05
ML timing:
0:01:52 elapsed time, 0:06:42 cpu time, factor 3.57
stack maximum:
37.1 MiB
stack average:
17.2 MiB
heap maximum:
1.5 GiB
heap average:
1.2 GiB
heap stored:
30.9 MiB
Isabelle version:
5af6a5e4343b

HOL-Number_Theory

data:
CSV
timing:
0:02:27 elapsed time, 0:09:45 cpu time, factor 3.98
ML timing:
0:01:47 elapsed time, 0:09:10 cpu time, factor 5.13
stack maximum:
15 MiB
stack average:
8.6 MiB
heap maximum:
1.8 GiB
heap average:
1.2 GiB
heap stored:
28.8 MiB
Isabelle version:
5af6a5e4343b

HOL-MicroJava

data:
CSV
timing:
0:02:24 elapsed time, 0:10:56 cpu time, factor 4.56
ML timing:
0:02:21 elapsed time, 0:11:05 cpu time, factor 4.71
code maximum:
1.3 MiB
code average:
1 MiB
stack maximum:
17.8 MiB
stack average:
12.8 MiB
heap maximum:
1.5 GiB
heap average:
1.5 GiB
Isabelle version:
5af6a5e4343b

HOL-Hoare_Parallel

data:
CSV
timing:
0:02:21 elapsed time, 0:11:45 cpu time, factor 5.00
ML timing:
0:02:17 elapsed time, 0:11:50 cpu time, factor 5.16
stack maximum:
9.8 MiB
stack average:
6 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Bali

data:
CSV
timing:
0:02:17 elapsed time, 0:08:57 cpu time, factor 3.92
ML timing:
0:02:14 elapsed time, 0:09:18 cpu time, factor 4.16
stack maximum:
24.5 MiB
stack average:
12 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Complex_Analysis

data:
CSV
timing:
0:02:13 elapsed time, 0:10:21 cpu time, factor 4.67
ML timing:
0:02:08 elapsed time, 0:10:40 cpu time, factor 5.00
stack maximum:
26.8 MiB
stack average:
21.2 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-SMT_Examples

data:
CSV
timing:
0:02:05 elapsed time, 0:05:23 cpu time, factor 2.58
ML timing:
0:02:02 elapsed time, 0:05:25 cpu time, factor 2.66
stack maximum:
16.2 MiB
stack average:
14.3 MiB
heap maximum:
1.5 GiB
heap average:
1.5 GiB
Isabelle version:
5af6a5e4343b

HOL-Quotient_Examples

data:
CSV
timing:
0:01:01 elapsed time, 0:01:30 cpu time, factor 1.48
ML timing:
0:00:55 elapsed time, 0:01:26 cpu time, factor 1.55
stack maximum:
4.6 MiB
stack average:
4.2 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-UNITY

data:
CSV
timing:
0:00:59 elapsed time, 0:04:27 cpu time, factor 4.53
ML timing:
0:00:56 elapsed time, 0:04:34 cpu time, factor 4.88
stack maximum:
17.1 MiB
stack average:
14.2 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-SET_Protocol

data:
CSV
timing:
0:00:58 elapsed time, 0:04:12 cpu time, factor 4.34
ML timing:
0:00:55 elapsed time, 0:04:12 cpu time, factor 4.58
stack maximum:
7 MiB
stack average:
5.8 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:58 elapsed time, 0:04:30 cpu time, factor 4.66
ML timing:
0:00:55 elapsed time, 0:04:36 cpu time, factor 5.00
code maximum:
3.3 MiB
code average:
1.9 MiB
stack maximum:
11.5 MiB
stack average:
6.2 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOLCF

data:
CSV
timing:
0:00:47 elapsed time, 0:01:54 cpu time, factor 2.43
ML timing:
0:00:28 elapsed time, 0:01:22 cpu time, factor 2.94
stack maximum:
8.3 MiB
stack average:
3.8 MiB
heap maximum:
1.5 GiB
heap average:
947 MiB
heap stored:
19.3 MiB
Isabelle version:
5af6a5e4343b

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:43 elapsed time, 0:01:48 cpu time, factor 2.51
ML timing:
0:00:14 elapsed time, 0:00:59 cpu time, factor 4.05
stack maximum:
5.1 MiB
stack average:
1.4 MiB
heap maximum:
1.5 GiB
heap average:
527 MiB
heap stored:
10.3 MiB
Isabelle version:
5af6a5e4343b

Pure

data:
CSV
timing:
0:00:40 elapsed time, 0:00:43 cpu time, factor 1.08
ML timing:
0:00:01 elapsed time
code maximum:
17.3 MiB
code average:
17.3 MiB
stack maximum:
2 MiB
stack average:
2 MiB
heap maximum:
1.5 GiB
heap average:
579.8 MiB
heap stored:
23.7 MiB
Isabelle version:
5af6a5e4343b

ZF

data:
CSV
timing:
0:00:40 elapsed time, 0:01:27 cpu time, factor 2.18
ML timing:
0:00:23 elapsed time, 0:01:24 cpu time, factor 3.61
code maximum:
1.9 MiB
code average:
1.6 MiB
stack maximum:
16.4 MiB
stack average:
6.3 MiB
heap maximum:
1.5 GiB
heap average:
893.7 MiB
heap stored:
15.4 MiB
Isabelle version:
5af6a5e4343b

HOL-Metis_Examples

data:
CSV
timing:
0:00:35 elapsed time, 0:02:18 cpu time, factor 3.94
ML timing:
0:00:31 elapsed time, 0:02:32 cpu time, factor 4.85
stack maximum:
8.6 MiB
stack average:
7.9 MiB
heap maximum:
1.7 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Combinatorics

data:
CSV
timing:
0:00:32 elapsed time, 0:02:14 cpu time, factor 4.19
ML timing:
0:00:29 elapsed time, 0:02:17 cpu time, factor 4.73
stack maximum:
14 MiB
stack average:
11.7 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

HOL-Nominal

data:
CSV
timing:
0:00:30 elapsed time, 0:01:20 cpu time, factor 2.67
ML timing:
0:00:13 elapsed time, 0:00:53 cpu time, factor 3.96
code maximum:
1.8 MiB
code average:
1.1 MiB
stack maximum:
6.8 MiB
stack average:
3 MiB
heap maximum:
1.5 GiB
heap average:
723.1 MiB
heap stored:
9.3 MiB
Isabelle version:
5af6a5e4343b

HOL-Cardinals

data:
CSV
timing:
0:00:23 elapsed time, 0:01:45 cpu time, factor 4.57
ML timing:
0:00:19 elapsed time, 0:01:44 cpu time, factor 5.22
stack maximum:
9.8 MiB
stack average:
7.7 MiB
heap maximum:
1.5 GiB
heap average:
1.4 GiB
Isabelle version:
5af6a5e4343b

IOA

data:
CSV
timing:
0:00:18 elapsed time, 0:01:06 cpu time, factor 3.67
ML timing:
0:00:14 elapsed time, 0:01:04 cpu time, factor 4.35
stack maximum:
5.5 MiB
stack average:
3.8 MiB
heap maximum:
1.5 GiB
heap average:
1.3 GiB
Isabelle version:
5af6a5e4343b

HOL-Probability-ex

data:
CSV
timing:
0:00:13 elapsed time, 0:00:41 cpu time, factor 3.15
ML timing:
0:00:07 elapsed time, 0:00:36 cpu time, factor 4.79
stack maximum:
3.2 MiB
stack average:
2.7 MiB
heap maximum:
1.5 GiB
heap average:
1.3 GiB
Isabelle version:
5af6a5e4343b

ZF-UNITY

data:
CSV
timing:
0:00:11 elapsed time, 0:00:50 cpu time, factor 4.55
ML timing:
0:00:09 elapsed time, 0:00:49 cpu time, factor 5.15
stack maximum:
7 MiB
stack average:
5.4 MiB
heap maximum:
1.5 GiB
heap average:
1.3 GiB
Isabelle version:
5af6a5e4343b

ZF-Induct

data:
CSV
timing:
0:00:09 elapsed time, 0:00:23 cpu time, factor 2.56
ML timing:
0:00:06 elapsed time, 0:00:19 cpu time, factor 3.03
stack maximum:
4.4 MiB
stack average:
2.9 MiB
heap maximum:
1.5 GiB
heap average:
1 GiB
heap stored:
4.1 MiB
Isabelle version:
5af6a5e4343b

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:08 elapsed time, 0:00:11 cpu time, factor 1.38
ML timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 1.98
heap maximum:
1.1 GiB
heap average:
768 MiB
Isabelle version:
5af6a5e4343b