Isabelle build status for macOS 14 Sonoma, skip_proofs, 4 threads
- status date:
- 10-Jul-2026 06:42:24 +0200
- build host:
- mini2-sonoma
- Pure (0:00:14 elapsed time, 0:00:15 cpu time, factor 1.07)
- System (0:00:10 elapsed time)
- FOL-ex (0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20)
- CCL (0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25)
- Tools (0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00)
- LCF (0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00)
- FOL (0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00)
- FOLP-ex (0:00:02 elapsed time, 0:00:05 cpu time)
- Sequents (0:00:01 elapsed time)
- FOLP (0:00:01 elapsed time)
- CTT (0:00:01 elapsed time)
- SML (0:00:00 elapsed time)
- Sledgehammer (0:00:00 elapsed time)
- Cube (0:00:00 elapsed time)
- Intro (0:00:00 elapsed time)
- Pure-Examples (0:00:00 elapsed time)
- Logics (0:00:00 elapsed time)
- HOL (0:00:00 elapsed time)
- HOL-Proofs (0:00:00 elapsed time)
- Nitpick (0:00:00 elapsed time)
- Pure-ex (0:00:00 elapsed time)
- ZF (0:00:00 elapsed time)
Pure
- data:
- CSV
- timing:
- 0:00:14 elapsed time, 0:00:15 cpu time, factor 1.07
- ML timing:
- 0.758s elapsed time, 0.816s cpu time, 0.024s 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:
- 522.2 MiB
- ML heap stored:
- 24 MiB
- Isabelle version:
- cbf5095487bb
System
- data:
- CSV
- timing:
- 0:00:10 elapsed time
- ML timing:
- 10.195s elapsed time, 1.859s cpu time, 0.000s GC time, factor 0.18
- ML stack maximum:
- 6.3 MiB
- ML stack average:
- 6.3 MiB
- ML heap maximum:
- 612 MiB
- ML heap average:
- 494.7 MiB
- Isabelle version:
- 05dfcc7f39b4
FOL-ex
- data:
- CSV
- timing:
- 0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
- ML timing:
- 4.794s elapsed time, 6.275s cpu time, 0.154s GC time, factor 1.31
- ML stack maximum:
- 3 MiB
- ML stack average:
- 2.6 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.2 GiB
- Isabelle version:
- cbf5095487bb
CCL
- data:
- CSV
- timing:
- 0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
- ML timing:
- 4.097s elapsed time, 4.576s cpu time, 0.131s GC time, factor 1.12
- ML code maximum:
- 1.6 MiB
- ML code average:
- 1.1 MiB
- ML stack maximum:
- 3.8 MiB
- ML stack average:
- 2.9 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- cbf5095487bb
- data:
- CSV
- timing:
- 0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
- ML timing:
- 2.867s elapsed time, 3.032s cpu time, 0.070s 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.2 GiB
- Isabelle version:
- 05dfcc7f39b4
LCF
- data:
- CSV
- timing:
- 0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
- ML timing:
- 2.515s elapsed time, 2.687s cpu time, 0.054s GC time, factor 1.07
- ML code maximum:
- 1.4 MiB
- ML stack maximum:
- 2.4 MiB
- ML stack average:
- 2.1 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.1 GiB
- Isabelle version:
- 05dfcc7f39b4
FOL
- data:
- CSV
- timing:
- 0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
- ML timing:
- 2.439s elapsed time, 2.581s 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:
- 889.7 MiB
- ML heap stored:
- 3.5 MiB
- Isabelle version:
- cbf5095487bb
FOLP-ex
- data:
- CSV
- timing:
- 0:00:02 elapsed time, 0:00:05 cpu time
- ML timing:
- 2.106s elapsed time, 5.310s cpu time, 0.067s GC time, factor 2.52
- ML code maximum:
- 1.3 MiB
- ML code average:
- 1.1 MiB
- ML stack maximum:
- 2 MiB
- ML stack average:
- 2 MiB
- ML heap maximum:
- 1.5 GiB
- ML heap average:
- 1.3 GiB
- Isabelle version:
- cbf5095487bb
Sequents
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.670s elapsed time, 1.528s cpu time, 0.041s GC time, factor 2.28
- ML stack maximum:
- 1.6 MiB
- ML heap maximum:
- 765 MiB
- ML heap average:
- 390 MiB
- Isabelle version:
- 05dfcc7f39b4
FOLP
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.961s elapsed time, 1.039s cpu time, 0.036s GC time, factor 1.08
- ML stack maximum:
- 1.4 MiB
- ML heap maximum:
- 762 MiB
- ML heap average:
- 631.5 MiB
- ML heap stored:
- 1.5 MiB
- Isabelle version:
- cbf5095487bb
CTT
- data:
- CSV
- timing:
- 0:00:01 elapsed time
- ML timing:
- 0.762s elapsed time, 1.110s cpu time, 0.000s GC time, factor 1.46
- ML stack maximum:
- 1.4 MiB
- ML heap maximum:
- 491 MiB
- ML heap average:
- 380.9 MiB
- Isabelle version:
- cbf5095487bb
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:
- 05dfcc7f39b4
Sledgehammer
- data:
- CSV
- ML heap maximum:
- 12 MiB
- ML heap average:
- 12 MiB
- Isabelle version:
- 05dfcc7f39b4
Cube
- data:
- CSV
- ML timing:
- 0.276s elapsed time, 0.304s cpu time, 0.000s GC time, factor 1.10
- ML heap maximum:
- 60 MiB
- ML heap average:
- 60 MiB
- Isabelle version:
- cbf5095487bb
Intro
- data:
- CSV
- ML heap maximum:
- 12 MiB
- ML heap average:
- 12 MiB
- Isabelle version:
- 05dfcc7f39b4
Pure-Examples
- data:
- CSV
- ML timing:
- 0.124s elapsed time, 0.218s cpu time, 0.000s GC time, factor 1.76
- ML heap maximum:
- 93 MiB
- ML heap average:
- 93 MiB
- Isabelle version:
- 05dfcc7f39b4
Logics
- data:
- CSV
- ML heap maximum:
- 12 MiB
- ML heap average:
- 12 MiB
- Isabelle version:
- 05dfcc7f39b4
HOL
- data:
- CSV
- Isabelle version:
- cbf5095487bb
HOL-Proofs
- data:
- CSV
- Isabelle version:
- cbf5095487bb
Nitpick
- data:
- CSV
- ML heap maximum:
- 12 MiB
- ML heap average:
- 12 MiB
- Isabelle version:
- 05dfcc7f39b4
Pure-ex
- data:
- CSV
- Isabelle version:
- 05dfcc7f39b4
ZF
- data:
- CSV
- Isabelle version:
- 05dfcc7f39b4