Isabelle build status for macOS 14 Sonoma, skip_proofs, 4 threads

status date:
25-May-2026 06:59:34 +0200
build host:
mini2-sonoma

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:41 elapsed time, 0:02:35 cpu time, factor 1.53
ML timing:
98.055s elapsed time, 152.459s cpu time, 9.407s GC time, factor 1.55
ML stack maximum:
15.1 MiB
ML stack average:
13.6 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.3 GiB
Isabelle version:
df30f9ca7280

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:18 elapsed time, 0:01:29 cpu time, factor 1.14
ML timing:
77.101s elapsed time, 87.604s cpu time, 2.243s GC time, factor 1.14
ML stack maximum:
5 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
df30f9ca7280

Pure

data:
CSV
timing:
0:00:14 elapsed time, 0:00:15 cpu time, factor 1.07
ML timing:
0.677s elapsed time, 0.728s cpu time, 0.021s GC time, factor 1.08
ML code maximum:
17.7 MiB
ML code average:
17.7 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
517.5 MiB
ML heap stored:
24 MiB
Isabelle version:
86a7ec064208

System

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
7.084s elapsed time, 1.676s cpu time, 0.000s GC time, factor 0.24
ML stack maximum:
6.3 MiB
ML stack average:
6.3 MiB
ML heap maximum:
609 MiB
ML heap average:
476.3 MiB
Isabelle version:
86a7ec064208

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
4.659s elapsed time, 5.992s cpu time, 0.169s GC time, factor 1.29
ML stack maximum:
2.8 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

CCL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
3.964s elapsed time, 4.419s cpu time, 0.120s GC time, factor 1.11
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
3.6 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.481s elapsed time, 2.652s cpu time, 0.057s GC time, factor 1.07
ML code maximum:
1.4 MiB
ML stack maximum:
3.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
86a7ec064208

HOL-Proofs-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.072s elapsed time, 3.647s cpu time, 0.617s GC time, factor 1.76
ML stack maximum:
7.4 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
df30f9ca7280

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.760s elapsed time, 2.912s cpu time, 0.059s GC time, factor 1.06
ML code maximum:
1.9 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
999.7 MiB
Isabelle version:
86a7ec064208

FOL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.369s elapsed time, 2.507s cpu time, 0.055s GC time, factor 1.06
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
902.4 MiB
ML heap stored:
3.5 MiB
Isabelle version:
86a7ec064208

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.977s elapsed time, 4.910s cpu time, 0.058s GC time, factor 2.48
ML code maximum:
1.3 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.2 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
86a7ec064208

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.629s elapsed time, 1.421s cpu time, 0.038s GC time, factor 2.26
ML stack maximum:
1.9 MiB
ML stack average:
1.1 MiB
ML heap maximum:
766 MiB
ML heap average:
392 MiB
Isabelle version:
86a7ec064208

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.953s elapsed time, 1.029s cpu time, 0.033s GC time, factor 1.08
ML stack maximum:
1.4 MiB
ML heap maximum:
762 MiB
ML heap average:
630.4 MiB
ML heap stored:
1.5 MiB
Isabelle version:
86a7ec064208

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.679s elapsed time, 0.928s cpu time, 0.000s GC time, factor 1.37
ML stack maximum:
1.6 MiB
ML heap maximum:
558 MiB
ML heap average:
341.3 MiB
Isabelle version:
86a7ec064208

SML

data:
CSV
ML timing:
0.009s elapsed time, 0.013s cpu time, 0.000s GC time, factor 1.44
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
86a7ec064208

Sledgehammer

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208

Intro

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208

Pure-Examples

data:
CSV
ML timing:
0.131s elapsed time, 0.207s cpu time, 0.000s GC time, factor 1.58
ML heap maximum:
90 MiB
ML heap average:
90 MiB
Isabelle version:
86a7ec064208

Logics

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208

HOL

data:
CSV
Isabelle version:
86a7ec064208

HOL-Proofs

data:
CSV
Isabelle version:
86a7ec064208

Nitpick

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
86a7ec064208

Pure-ex

data:
CSV
Isabelle version:
86a7ec064208

Cube

data:
CSV
ML timing:
0.240s elapsed time, 0.263s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
66 MiB
ML heap average:
66 MiB
Isabelle version:
86a7ec064208

ZF

data:
CSV
Isabelle version:
86a7ec064208