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

status date:
24-Aug-2026 13:47:21 +0200
build host:
mini2-sonoma

HOL-Proofs

data:
CSV
timing:
0:07:36 elapsed time, 0:13:57 cpu time, factor 1.84
ML timing:
360.253s elapsed time, 627.751s cpu time, 99.265s GC time, factor 1.74
ML code maximum:
28.6 MiB
ML code average:
22.3 MiB
ML stack maximum:
72.3 MiB
ML stack average:
40.2 MiB
ML heap maximum:
11.4 GiB
ML heap average:
5.9 GiB
ML heap stored:
585.6 MiB
Isabelle version:
afac3db38384

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:52 elapsed time, 0:03:02 cpu time, factor 1.63
ML timing:
110.273s elapsed time, 178.090s cpu time, 12.620s GC time, factor 1.61
ML stack maximum:
14.3 MiB
ML stack average:
13.1 MiB
ML heap maximum:
3.1 GiB
ML heap average:
2.4 GiB
Isabelle version:
afac3db38384

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:29 elapsed time, 0:01:45 cpu time, factor 1.18
ML timing:
87.511s elapsed time, 102.561s cpu time, 4.777s GC time, factor 1.17
ML stack maximum:
4.6 MiB
ML stack average:
3.6 MiB
ML heap maximum:
2.5 GiB
ML heap average:
2.2 GiB
Isabelle version:
afac3db38384

Pure

data:
CSV
timing:
0:00:16 elapsed time, 0:00:17 cpu time, factor 1.06
ML timing:
0.794s elapsed time, 0.836s cpu time, 0.000s GC time, factor 1.05
ML code maximum:
17.9 MiB
ML code average:
17.9 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
738.4 MiB
ML heap stored:
27.5 MiB
Isabelle version:
afac3db38384

System

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
8.776s elapsed time, 2.062s cpu time, 0.000s GC time, factor 0.23
ML stack maximum:
6.3 MiB
ML stack average:
6 MiB
ML heap maximum:
660 MiB
ML heap average:
480.1 MiB
Isabelle version:
afac3db38384

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
4.985s elapsed time, 7.140s cpu time, 0.173s GC time, factor 1.43
ML stack maximum:
2.6 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

CCL

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.515s elapsed time, 5.116s cpu time, 0.193s GC time, factor 1.13
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
3.8 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
2.360s elapsed time, 4.208s cpu time, 0.695s GC time, factor 1.78
ML stack maximum:
7.4 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.3 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

Tools

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.337s elapsed time, 3.619s cpu time, 0.208s GC time, factor 1.08
ML code maximum:
2 MiB
ML code average:
1.3 MiB
ML stack maximum:
2.6 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
941.5 MiB
Isabelle version:
afac3db38384

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.690s elapsed time, 2.892s cpu time, 0.060s GC time, factor 1.08
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
917.9 MiB
Isabelle version:
afac3db38384

FOL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.588s elapsed time, 2.749s 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.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
896.4 MiB
ML heap stored:
4.7 MiB
Isabelle version:
afac3db38384

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.356s elapsed time, 6.105s cpu time, 0.108s GC time, factor 2.59
ML code maximum:
1.4 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.2 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.778s elapsed time, 1.800s cpu time, 0.043s GC time, factor 2.31
ML stack maximum:
1.8 MiB
ML stack average:
1 MiB
ML heap maximum:
763 MiB
ML heap average:
763 MiB
Isabelle version:
afac3db38384

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.017s elapsed time, 1.124s cpu time, 0.065s GC time, factor 1.11
ML stack maximum:
1.5 MiB
ML stack average:
1 MiB
ML heap maximum:
771 MiB
ML heap average:
428.9 MiB
ML heap stored:
2.3 MiB
Isabelle version:
afac3db38384

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.867s elapsed time, 1.298s cpu time, 0.060s GC time, factor 1.50
ML stack maximum:
1.4 MiB
ML heap maximum:
492 MiB
ML heap average:
490.5 MiB
Isabelle version:
afac3db38384

Cube

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.311s elapsed time, 0.347s cpu time, 0.000s GC time, factor 1.12
ML heap maximum:
74 MiB
ML heap average:
74 MiB
Isabelle version:
afac3db38384

SML

data:
CSV
ML timing:
0.011s elapsed time, 0.015s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
afac3db38384

Sledgehammer

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
afac3db38384

Intro

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
afac3db38384

Pure-Examples

data:
CSV
ML timing:
0.139s elapsed time, 0.253s cpu time, 0.000s GC time, factor 1.82
ML heap maximum:
103 MiB
ML heap average:
103 MiB
Isabelle version:
afac3db38384

Logics

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
afac3db38384

HOL

data:
CSV
Isabelle version:
afac3db38384

Nitpick

data:
CSV
ML heap maximum:
11 MiB
ML heap average:
11 MiB
Isabelle version:
afac3db38384

Pure-ex

data:
CSV
Isabelle version:
afac3db38384

ZF

data:
CSV
Isabelle version:
afac3db38384