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

status date:
08-Jun-2026 01:53:17 +0200
build host:
mini2-sonoma

HOL-Proofs

data:
CSV
timing:
0:06:41 elapsed time, 0:12:06 cpu time, factor 1.81
ML timing:
312.526s elapsed time, 536.525s cpu time, 90.617s GC time, factor 1.72
ML code maximum:
29.2 MiB
ML code average:
22.7 MiB
ML stack maximum:
74.3 MiB
ML stack average:
43.1 MiB
ML heap maximum:
11.4 GiB
ML heap average:
4.4 GiB
ML heap stored:
377.8 MiB
Isabelle version:
c60ba74d1bca

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:39 elapsed time, 0:02:34 cpu time, factor 1.56
ML timing:
97.526s elapsed time, 151.292s cpu time, 9.493s GC time, factor 1.55
ML stack maximum:
17.6 MiB
ML stack average:
16.4 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.2 GiB
Isabelle version:
c60ba74d1bca

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:19 elapsed time, 0:01:30 cpu time, factor 1.14
ML timing:
77.827s elapsed time, 88.863s cpu time, 3.087s GC time, factor 1.14
ML stack maximum:
5.1 MiB
ML stack average:
3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c60ba74d1bca

Pure

data:
CSV
timing:
0:00:14 elapsed time, 0:00:15 cpu time, factor 1.07
ML timing:
0.662s elapsed time, 0.715s cpu time, 0.022s 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:
518.8 MiB
ML heap stored:
24 MiB
Isabelle version:
c60ba74d1bca

System

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
8.803s elapsed time, 1.706s cpu time, 0.000s GC time, factor 0.19
ML stack maximum:
6.3 MiB
ML stack average:
6 MiB
ML heap maximum:
611 MiB
ML heap average:
453.3 MiB
Isabelle version:
c60ba74d1bca

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
4.665s elapsed time, 6.032s cpu time, 0.151s GC time, factor 1.29
ML stack maximum:
3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c60ba74d1bca

CCL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
3.933s elapsed time, 4.378s cpu time, 0.119s 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:
c60ba74d1bca

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.472s elapsed time, 2.643s cpu time, 0.055s GC time, factor 1.07
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c60ba74d1bca

HOL-Proofs-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.095s elapsed time, 3.667s cpu time, 0.624s GC time, factor 1.75
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:
c60ba74d1bca

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.837s elapsed time, 2.995s cpu time, 0.067s 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:
1.1 GiB
Isabelle version:
c60ba74d1bca

FOL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.418s elapsed time, 2.556s cpu time, 0.057s 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:
905.6 MiB
ML heap stored:
3.5 MiB
Isabelle version:
c60ba74d1bca

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.955s elapsed time, 4.879s cpu time, 0.059s GC time, factor 2.50
ML code maximum:
1.3 MiB
ML code average:
1.1 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:
c60ba74d1bca

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.647s elapsed time, 1.470s cpu time, 0.037s GC time, factor 2.27
ML stack maximum:
1.7 MiB
ML heap maximum:
765 MiB
ML heap average:
391.4 MiB
Isabelle version:
c60ba74d1bca

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.933s elapsed time, 1.007s cpu time, 0.033s GC time, factor 1.08
ML stack maximum:
1.4 MiB
ML heap maximum:
762 MiB
ML heap average:
635.8 MiB
ML heap stored:
1.5 MiB
Isabelle version:
c60ba74d1bca

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.669s elapsed time, 0.947s cpu time, 0.000s GC time, factor 1.42
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
570 MiB
ML heap average:
570 MiB
Isabelle version:
c60ba74d1bca

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:
c60ba74d1bca

Sledgehammer

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c60ba74d1bca

Intro

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c60ba74d1bca

Pure-Examples

data:
CSV
ML timing:
0.123s elapsed time, 0.207s cpu time, 0.000s GC time, factor 1.68
ML heap maximum:
88 MiB
ML heap average:
88 MiB
Isabelle version:
c60ba74d1bca

Logics

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c60ba74d1bca

HOL

data:
CSV
Isabelle version:
c60ba74d1bca

Nitpick

data:
CSV
ML heap maximum:
12 MiB
ML heap average:
12 MiB
Isabelle version:
c60ba74d1bca

Pure-ex

data:
CSV
Isabelle version:
c60ba74d1bca

Cube

data:
CSV
ML timing:
0.238s elapsed time, 0.261s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
58 MiB
ML heap average:
58 MiB
Isabelle version:
c60ba74d1bca

ZF

data:
CSV
Isabelle version:
c60ba74d1bca