Isabelle build status for macOS 12 Monterey (Intel)

status date:
08-Jun-2026 01:53:17 +0200
build host:
mini1-monterey

HOL-Analysis

data:
CSV
timing:
0:31:29 elapsed time, 0:31:20 cpu time, factor 1.00
ML timing:
1793.774s elapsed time, 1785.462s cpu time, 124.213s GC time, factor 1.00
ML code maximum:
3.4 MiB
ML code average:
2.8 MiB
ML stack maximum:
16.3 MiB
ML stack average:
10.8 MiB
ML heap maximum:
7.2 GiB
ML heap average:
3.9 GiB
ML heap stored:
261.2 MiB
Isabelle version:
895b651beabb

HOL-Data_Structures

data:
CSV
timing:
0:15:55 elapsed time, 0:15:57 cpu time, factor 1.00
ML timing:
948.237s elapsed time, 950.137s cpu time, 49.444s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.5 MiB
ML heap maximum:
6.4 GiB
ML heap average:
3 GiB
Isabelle version:
895b651beabb

HOL-Nominal-Examples

data:
CSV
timing:
0:12:31 elapsed time, 0:12:26 cpu time, factor 0.99
ML timing:
745.748s elapsed time, 740.598s cpu time, 55.225s GC time, factor 0.99
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
3 GiB
ML heap average:
2.6 GiB
Isabelle version:
895b651beabb

HOL-Decision_Procs

data:
CSV
timing:
0:10:29 elapsed time, 0:10:32 cpu time, factor 1.00
ML timing:
625.863s elapsed time, 628.819s cpu time, 37.443s GC time, factor 1.00
ML code maximum:
4.6 MiB
ML code average:
2.3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.4 MiB
ML heap maximum:
6.6 GiB
ML heap average:
4 GiB
Isabelle version:
895b651beabb

HOL-Algebra

data:
CSV
timing:
0:06:50 elapsed time, 0:06:53 cpu time, factor 1.01
ML timing:
383.694s elapsed time, 387.776s cpu time, 41.953s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
6.9 GiB
ML heap average:
3.2 GiB
ML heap stored:
62.7 MiB
Isabelle version:
895b651beabb

HOL-Auth

data:
CSV
timing:
0:03:51 elapsed time, 0:03:52 cpu time, factor 1.00
ML timing:
224.534s elapsed time, 225.737s cpu time, 7.865s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
29.8 MiB
Isabelle version:
895b651beabb

HOL-Real_Asymp

data:
CSV
timing:
0:03:48 elapsed time, 0:03:49 cpu time, factor 1.00
ML timing:
212.885s elapsed time, 214.323s cpu time, 9.121s GC time, factor 1.01
ML code maximum:
2.9 MiB
ML code average:
2.6 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.3 MiB
ML heap maximum:
2.7 GiB
ML heap average:
1.8 GiB
ML heap stored:
64.6 MiB
Isabelle version:
895b651beabb

HOL-Homology

data:
CSV
timing:
0:03:42 elapsed time, 0:03:44 cpu time, factor 1.01
ML timing:
219.124s elapsed time, 221.608s cpu time, 15.491s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
3.9 GiB
ML heap average:
2.6 GiB
Isabelle version:
895b651beabb

Codegen

data:
CSV
timing:
0:03:31 elapsed time, 0:03:32 cpu time, factor 1.00
ML timing:
209.543s elapsed time, 210.159s cpu time, 13.834s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:29 elapsed time, 0:01:53 cpu time, factor 0.54
ML timing:
207.718s elapsed time, 112.409s cpu time, 5.873s GC time, factor 0.54
ML code maximum:
8 MiB
ML code average:
5.8 MiB
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-MicroJava

data:
CSV
timing:
0:03:28 elapsed time, 0:03:29 cpu time, factor 1.00
ML timing:
207.052s elapsed time, 208.417s cpu time, 3.056s GC time, factor 1.01
ML code maximum:
1.3 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
895b651beabb

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:10 elapsed time, 0:03:10 cpu time, factor 1.00
ML timing:
188.789s elapsed time, 189.342s cpu time, 2.591s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Computational_Algebra

data:
CSV
timing:
0:02:57 elapsed time, 0:02:59 cpu time, factor 1.01
ML timing:
164.895s elapsed time, 166.830s cpu time, 4.699s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
40.7 MiB
Isabelle version:
895b651beabb

HOL-IMP

data:
CSV
timing:
0:02:50 elapsed time, 0:02:50 cpu time, factor 1.00
ML timing:
167.988s elapsed time, 168.287s cpu time, 3.820s GC time, factor 1.00
ML code maximum:
10.7 MiB
ML code average:
4.1 MiB
ML stack maximum:
8.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Complex_Analysis

data:
CSV
timing:
0:02:43 elapsed time, 0:02:45 cpu time, factor 1.01
ML timing:
160.984s elapsed time, 163.184s cpu time, 5.598s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Number_Theory

data:
CSV
timing:
0:02:42 elapsed time, 0:02:44 cpu time, factor 1.01
ML timing:
160.417s elapsed time, 162.367s cpu time, 14.796s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
4.1 GiB
ML heap average:
2.2 GiB
Isabelle version:
895b651beabb

HOL-Bali

data:
CSV
timing:
0:02:34 elapsed time, 0:02:36 cpu time, factor 1.01
ML timing:
152.289s elapsed time, 154.441s cpu time, 3.911s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:33 elapsed time, 0:02:34 cpu time, factor 1.01
ML timing:
150.274s elapsed time, 151.252s cpu time, 9.537s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
2.8 GiB
ML heap average:
2.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Examples

data:
CSV
timing:
0:02:22 elapsed time, 0:02:22 cpu time, factor 1.00
ML timing:
139.572s elapsed time, 140.129s cpu time, 6.907s GC time, factor 1.00
ML stack maximum:
8.5 MiB
ML stack average:
6.3 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
895b651beabb

HOL-Record_Benchmark

data:
CSV
timing:
0:02:01 elapsed time, 0:02:01 cpu time, factor 1.00
ML timing:
119.287s elapsed time, 119.352s cpu time, 7.666s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-SMT_Examples

data:
CSV
timing:
0:02:00 elapsed time, 0:01:50 cpu time, factor 0.92
ML timing:
119.467s elapsed time, 109.324s cpu time, 1.742s GC time, factor 0.92
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:42 elapsed time, 0:01:10 cpu time, factor 0.69
ML timing:
100.542s elapsed time, 69.083s cpu time, 0.982s GC time, factor 0.69
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:32 elapsed time, 0:01:32 cpu time, factor 1.00
ML timing:
90.737s elapsed time, 91.018s cpu time, 3.040s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-UNITY

data:
CSV
timing:
0:01:23 elapsed time, 0:01:24 cpu time, factor 1.01
ML timing:
81.432s elapsed time, 82.559s cpu time, 2.412s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-SET_Protocol

data:
CSV
timing:
0:01:18 elapsed time, 0:01:18 cpu time, factor 1.00
ML timing:
77.263s elapsed time, 77.523s cpu time, 0.868s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Metis_Examples

data:
CSV
timing:
0:00:58 elapsed time, 0:00:45 cpu time, factor 0.78
ML timing:
57.546s elapsed time, 43.884s cpu time, 1.084s GC time, factor 0.76
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

Corec

data:
CSV
timing:
0:00:54 elapsed time, 0:00:54 cpu time, factor 1.00
ML timing:
51.450s elapsed time, 51.432s cpu time, 2.571s GC time, factor 1.00
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Matrix_LP

data:
CSV
timing:
0:00:44 elapsed time, 0:00:43 cpu time, factor 0.98
ML timing:
42.649s elapsed time, 42.125s cpu time, 0.928s GC time, factor 0.99
ML code maximum:
1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Combinatorics

data:
CSV
timing:
0:00:41 elapsed time, 0:00:42 cpu time, factor 1.02
ML timing:
40.359s elapsed time, 40.985s cpu time, 1.324s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Hoare

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
39.843s elapsed time, 40.032s cpu time, 0.584s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Analysis-ex

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
35.005s elapsed time, 35.075s cpu time, 0.232s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-SPARK

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
30.353s elapsed time, 30.627s cpu time, 0.904s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
14.8 MiB
Isabelle version:
895b651beabb

HOL-Cardinals

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
32.114s elapsed time, 32.600s cpu time, 0.704s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

Tutorial

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
32.218s elapsed time, 31.994s cpu time, 1.321s GC time, factor 0.99
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOLCF

data:
CSV
timing:
0:00:30 elapsed time, 0:00:31 cpu time, factor 1.03
ML timing:
23.320s elapsed time, 24.141s cpu time, 1.003s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
18.5 MiB
Isabelle version:
895b651beabb

IOA

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
20.176s elapsed time, 20.563s cpu time, 0.605s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
6.3 MiB
Isabelle version:
895b651beabb

HOLCF-Library

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
20.012s elapsed time, 20.424s cpu time, 0.515s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.4 MiB
Isabelle version:
895b651beabb

ZF

data:
CSV
timing:
0:00:25 elapsed time, 0:00:26 cpu time, factor 1.04
ML timing:
24.223s elapsed time, 25.744s cpu time, 1.201s GC time, factor 1.06
ML code maximum:
2.3 MiB
ML code average:
1.7 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
13.6 MiB
Isabelle version:
4b7e3abdf3ba

Isar_Ref

data:
CSV
timing:
0:00:25 elapsed time, 0:00:24 cpu time, factor 0.96
ML timing:
23.985s elapsed time, 23.649s cpu time, 1.004s GC time, factor 0.99
ML stack maximum:
4.3 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
17.427s elapsed time, 17.981s cpu time, 0.588s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
9.7 MiB
Isabelle version:
895b651beabb

HOL-Nominal

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
16.099s elapsed time, 16.039s cpu time, 0.441s GC time, factor 1.00
ML code maximum:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.1 MiB
Isabelle version:
895b651beabb

HOL-Induct

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.295s elapsed time, 19.531s cpu time, 0.796s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

HOL-ZF

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.182s elapsed time, 19.776s cpu time, 0.706s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

HOL-SPARK-Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.816s elapsed time, 19.948s cpu time, 0.207s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Types_To_Sets

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.312s elapsed time, 18.530s cpu time, 0.440s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

ZF-Constructible

data:
CSV
timing:
0:00:19 elapsed time, 0:00:20 cpu time, factor 1.05
ML timing:
19.198s elapsed time, 20.036s cpu time, 2.310s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
4b7e3abdf3ba

Typeclass_Hierarchy

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
15.818s elapsed time, 15.634s cpu time, 0.569s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

HOL-Statespace

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.914s elapsed time, 16.018s cpu time, 0.354s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

ZF-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
16.687s elapsed time, 17.150s cpu time, 0.431s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
4b7e3abdf3ba

HOL-TLA-Memory

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
15.676s elapsed time, 15.800s cpu time, 0.199s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

HOL-Hahn_Banach

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.349s elapsed time, 15.761s cpu time, 0.536s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

Pure

data:
CSV
timing:
0:00:15 elapsed time, 0:00:14 cpu time, factor 0.93
ML timing:
0.701s elapsed time, 0.740s cpu time, 0.014s GC time, factor 1.06
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:
576.9 MiB
ML heap stored:
24 MiB
Isabelle version:
2f3b422a0d62

System

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
15.433s elapsed time, 1.427s cpu time, 0.000s GC time, factor 0.09
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
620 MiB
ML heap average:
309.8 MiB
Isabelle version:
4b7e3abdf3ba

HOL-Unix

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.977s elapsed time, 11.196s cpu time, 0.442s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
9.968s elapsed time, 10.161s cpu time, 0.173s GC time, factor 1.02
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
895b651beabb

HOL-Import

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.595s elapsed time, 10.631s cpu time, 0.252s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
58.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
895b651beabb

HOLCF-Tutorial

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
9.632s elapsed time, 9.704s cpu time, 0.174s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

IOA-NTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.669s elapsed time, 8.737s cpu time, 0.261s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

Haskell

data:
CSV
timing:
0:00:10 elapsed time
ML timing:
9.642s elapsed time, 0.463s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
364 MiB
ML heap average:
363.9 MiB
Isabelle version:
895b651beabb

HOL-Isar_Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.944s elapsed time, 8.070s cpu time, 0.227s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
895b651beabb

ZF-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.820s elapsed time, 9.106s cpu time, 0.253s GC time, factor 1.03
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
4b7e3abdf3ba

ZF-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.289s elapsed time, 6.526s cpu time, 0.224s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1006.3 MiB
ML heap stored:
3.9 MiB
Isabelle version:
4b7e3abdf3ba

HOL-NanoJava

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.204s elapsed time, 7.286s cpu time, 0.244s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

FOL-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
8.213s elapsed time, 8.386s cpu time, 0.125s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
2f3b422a0d62

HOLCF-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.704s elapsed time, 6.875s cpu time, 0.204s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

IOA-ABP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.848s elapsed time, 6.897s cpu time, 0.179s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

Prog_Prove

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.065s elapsed time, 6.122s cpu time, 0.204s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

HOLCF-FOCUS

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.056s elapsed time, 6.172s cpu time, 0.107s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
895b651beabb

HOLCF-IMP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.286s elapsed time, 6.329s cpu time, 0.144s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

HOL-TLA

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
1.919s elapsed time, 2.040s cpu time, 0.053s GC time, factor 1.06
ML stack maximum:
2.3 MiB
ML heap maximum:
806 MiB
ML heap average:
244.8 MiB
ML heap stored:
2.9 MiB
Isabelle version:
895b651beabb

HOL-SPARK-Manual

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.136s elapsed time, 5.148s cpu time, 0.047s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
895b651beabb

HOL-IMPP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
4.964s elapsed time, 5.039s cpu time, 0.174s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
895b651beabb

ZF-AC

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
6.354s elapsed time, 6.647s cpu time, 0.257s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
4b7e3abdf3ba

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
6.149s elapsed time, 6.566s cpu time, 0.313s GC time, factor 1.07
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
2f3b422a0d62

HOL-IOA

data:
CSV
timing:
0:00:05 elapsed time, 0:00:03 cpu time, factor 0.60
ML timing:
2.768s elapsed time, 2.808s cpu time, 0.037s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
615.1 MiB
Isabelle version:
895b651beabb

HOL-TPTP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.786s elapsed time, 4.862s cpu time, 0.194s GC time, factor 1.02
ML code maximum:
4 MiB
ML code average:
2.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
16.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
895b651beabb

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.382s elapsed time, 3.404s cpu time, 0.580s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
938.8 MiB
Isabelle version:
c13a4bd3c018

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.119s elapsed time, 3.275s cpu time, 0.073s GC time, factor 1.05
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:
853.7 MiB
ML heap stored:
3.6 MiB
Isabelle version:
2f3b422a0d62

Sequents

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.717s elapsed time, 3.832s cpu time, 0.050s GC time, factor 1.03
ML heap maximum:
1.5 GiB
ML heap average:
976.7 MiB
Isabelle version:
4b7e3abdf3ba

Implementation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.382s elapsed time, 3.395s cpu time, 0.026s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1 GiB
ML heap average:
755.2 MiB
Isabelle version:
895b651beabb

FOLP-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
4.354s elapsed time, 4.452s cpu time, 0.058s GC time, factor 1.02
ML code maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
2f3b422a0d62

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
3.321s elapsed time, 3.365s cpu time, 0.090s GC time, factor 1.01
ML code maximum:
1.8 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
4b7e3abdf3ba

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.012s elapsed time, 2.030s cpu time, 0.037s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
748.5 MiB
Isabelle version:
895b651beabb

HOL-TLA-Inc

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.734s elapsed time, 2.756s cpu time, 0.030s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
788.8 MiB
Isabelle version:
895b651beabb

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.307s elapsed time, 2.447s cpu time, 0.059s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
832 MiB
ML heap average:
660.8 MiB
Isabelle version:
895b651beabb

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.470s elapsed time, 2.506s cpu time, 0.042s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.2 GiB
ML heap average:
682.7 MiB
Isabelle version:
895b651beabb

Eisbach

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.908s elapsed time, 1.932s cpu time, 0.056s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
767 MiB
ML heap average:
708.2 MiB
Isabelle version:
895b651beabb

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.720s elapsed time, 2.857s cpu time, 0.064s GC time, factor 1.05
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
977.7 MiB
Isabelle version:
4b7e3abdf3ba

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.818s elapsed time, 1.888s cpu time, 0.030s GC time, factor 1.04
ML heap maximum:
904 MiB
ML heap average:
721.9 MiB
Isabelle version:
4b7e3abdf3ba

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.283s elapsed time, 1.292s cpu time, 0.031s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
624 MiB
ML heap average:
486 MiB
Isabelle version:
895b651beabb

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.328s elapsed time, 1.346s cpu time, 0.103s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
775 MiB
ML heap average:
445.9 MiB
Isabelle version:
895b651beabb

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.179s elapsed time, 1.194s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
603 MiB
ML heap average:
316.8 MiB
Isabelle version:
895b651beabb

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.546s elapsed time, 1.558s cpu time, 0.032s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
593.2 MiB
Isabelle version:
895b651beabb

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.540s elapsed time, 1.605s cpu time, 0.048s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
650 MiB
Isabelle version:
895b651beabb

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.763s elapsed time, 1.797s cpu time, 0.025s GC time, factor 1.02
ML heap maximum:
756 MiB
ML heap average:
422.1 MiB
Isabelle version:
895b651beabb

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.778s elapsed time, 0.791s cpu time, 0.000s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
371 MiB
ML heap average:
187.5 MiB
Isabelle version:
895b651beabb

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.951s elapsed time, 0.991s cpu time, 0.035s GC time, factor 1.04
ML heap maximum:
758 MiB
ML heap average:
605.2 MiB
Isabelle version:
4b7e3abdf3ba

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.807s elapsed time, 0.821s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
426 MiB
ML heap average:
214.7 MiB
Isabelle version:
895b651beabb

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.331s elapsed time, 0.337s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
29 MiB
ML heap average:
29 MiB
Isabelle version:
895b651beabb

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.883s elapsed time, 0.905s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
696 MiB
ML heap average:
574.6 MiB
Isabelle version:
4b7e3abdf3ba

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.174s elapsed time, 1.290s cpu time, 0.065s GC time, factor 1.10
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
753 MiB
ML heap average:
586.4 MiB
Isabelle version:
2f3b422a0d62

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.148s elapsed time, 0.152s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
36 MiB
ML heap average:
36 MiB
Isabelle version:
895b651beabb

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.153s elapsed time, 0.155s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
895b651beabb

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.149s elapsed time, 0.151s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
895b651beabb

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.390s elapsed time, 0.400s cpu time, 0.000s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
326 MiB
ML heap average:
326 MiB
Isabelle version:
895b651beabb

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.098s elapsed time, 1.142s cpu time, 0.040s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
758 MiB
ML heap average:
613.4 MiB
ML heap stored:
1.5 MiB
Isabelle version:
2f3b422a0d62

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.150s elapsed time, 0.152s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
38 MiB
ML heap average:
38 MiB
Isabelle version:
895b651beabb

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.687s elapsed time, 0.550s cpu time, 0.000s GC time, factor 0.80
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
346 MiB
ML heap average:
346 MiB
Isabelle version:
895b651beabb

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.578s elapsed time, 0.612s cpu time, 0.000s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
494 MiB
ML heap average:
494 MiB
Isabelle version:
895b651beabb

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.152s elapsed time, 0.155s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
37 MiB
ML heap average:
37 MiB
Isabelle version:
895b651beabb

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.346s elapsed time, 0.369s cpu time, 0.000s GC time, factor 1.07
ML heap maximum:
59 MiB
ML heap average:
3 MiB
Isabelle version:
895b651beabb

HOL-Probability

data:
CSV
Isabelle version:
895b651beabb

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
895b651beabb

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
4b7e3abdf3ba

HOL

data:
CSV
Isabelle version:
2f3b422a0d62

Logics_ZF

data:
CSV
ML timing:
0.434s elapsed time, 0.442s cpu time, 0.000s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
400 MiB
ML heap average:
400 MiB
Isabelle version:
4b7e3abdf3ba

SML

data:
CSV
ML timing:
0.011s elapsed time, 0.014s cpu time, 0.000s GC time, factor 1.27
ML heap maximum:
22 MiB
ML heap average:
22 MiB
Isabelle version:
4b7e3abdf3ba

Datatypes

data:
CSV
Isabelle version:
895b651beabb

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
4b7e3abdf3ba

HOL-Proofs

data:
CSV
Isabelle version:
2f3b422a0d62

Nitpick

data:
CSV
Isabelle version:
4b7e3abdf3ba

Pure-ex

data:
CSV
ML timing:
0.391s elapsed time, 0.436s cpu time, 0.000s GC time, factor 1.12
ML heap maximum:
337 MiB
ML heap average:
337 MiB
Isabelle version:
4b7e3abdf3ba

HOL-Imperative_HOL

data:
CSV
Isabelle version:
895b651beabb

Cube

data:
CSV
ML timing:
0.290s elapsed time, 0.320s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
53 MiB
ML heap average:
53 MiB
Isabelle version:
2f3b422a0d62

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
4b7e3abdf3ba

HOL-Library

data:
CSV
Isabelle version:
895b651beabb

HOL-Quotient_Examples

data:
CSV
Isabelle version:
895b651beabb

Pure-Examples

data:
CSV
ML timing:
0.296s elapsed time, 0.345s cpu time, 0.000s GC time, factor 1.17
ML heap maximum:
51 MiB
ML heap average:
51 MiB
Isabelle version:
4b7e3abdf3ba