Isabelle build status for macOS 12 Monterey (Intel)

status date:
24-Aug-2026 13:47:21 +0200
build host:
mini1-monterey

HOL-Analysis

data:
CSV
timing:
0:32:42 elapsed time, 0:32:31 cpu time, factor 0.99
ML timing:
1862.653s elapsed time, 1852.404s cpu time, 114.680s GC time, factor 0.99
ML code maximum:
3.7 MiB
ML code average:
2.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11 MiB
ML heap maximum:
6.5 GiB
ML heap average:
4.3 GiB
ML heap stored:
364.9 MiB
Isabelle version:
ea648bff2757

HOL-Data_Structures

data:
CSV
timing:
0:16:19 elapsed time, 0:16:21 cpu time, factor 1.00
ML timing:
971.016s elapsed time, 972.967s cpu time, 55.802s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.5 MiB
ML heap maximum:
7.7 GiB
ML heap average:
3.4 GiB
Isabelle version:
ea648bff2757

HOL-Nominal-Examples

data:
CSV
timing:
0:12:44 elapsed time, 0:12:38 cpu time, factor 0.99
ML timing:
758.215s elapsed time, 753.296s cpu time, 56.973s GC time, factor 0.99
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.7 GiB
Isabelle version:
35c8e7b00f71

HOL-Decision_Procs

data:
CSV
timing:
0:10:57 elapsed time, 0:11:00 cpu time, factor 1.00
ML timing:
653.179s elapsed time, 656.229s cpu time, 49.123s GC time, factor 1.00
ML code maximum:
4 MiB
ML code average:
2.2 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.6 MiB
ML heap maximum:
5.9 GiB
ML heap average:
3.5 GiB
Isabelle version:
ea648bff2757

HOL-Algebra

data:
CSV
timing:
0:07:16 elapsed time, 0:07:20 cpu time, factor 1.01
ML timing:
409.345s elapsed time, 413.570s cpu time, 54.864s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
7.5 GiB
ML heap average:
3.3 GiB
ML heap stored:
86.5 MiB
Isabelle version:
ea648bff2757

HOL-Auth

data:
CSV
timing:
0:03:53 elapsed time, 0:03:53 cpu time, factor 1.00
ML timing:
224.626s elapsed time, 225.732s cpu time, 6.429s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
41.7 MiB
Isabelle version:
ea648bff2757

HOL-Real_Asymp

data:
CSV
timing:
0:03:50 elapsed time, 0:03:51 cpu time, factor 1.00
ML timing:
214.255s elapsed time, 215.727s cpu time, 7.033s GC time, factor 1.01
ML code maximum:
3.1 MiB
ML code average:
2.7 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.2 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.8 GiB
ML heap stored:
88.1 MiB
Isabelle version:
35c8e7b00f71

HOL-Homology

data:
CSV
timing:
0:03:44 elapsed time, 0:03:46 cpu time, factor 1.01
ML timing:
220.891s elapsed time, 223.300s cpu time, 14.271s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.7 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.3 GiB
Isabelle version:
ea648bff2757

HOL-MicroJava

data:
CSV
timing:
0:03:36 elapsed time, 0:03:37 cpu time, factor 1.00
ML timing:
214.652s elapsed time, 216.027s cpu time, 5.188s GC time, factor 1.01
ML code maximum:
1.2 MiB
ML code average:
1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
35c8e7b00f71

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:30 elapsed time, 0:01:57 cpu time, factor 0.56
ML timing:
208.695s elapsed time, 115.801s cpu time, 6.106s GC time, factor 0.55
ML code maximum:
12.3 MiB
ML code average:
8.7 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:
35c8e7b00f71

Codegen

data:
CSV
timing:
0:03:29 elapsed time, 0:03:30 cpu time, factor 1.00
ML timing:
207.390s elapsed time, 208.063s cpu time, 11.460s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.8 GiB
Isabelle version:
ea648bff2757

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:14 elapsed time, 0:03:14 cpu time, factor 1.00
ML timing:
192.111s elapsed time, 192.748s cpu time, 2.913s 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:
ea648bff2757

HOL-Computational_Algebra

data:
CSV
timing:
0:03:09 elapsed time, 0:03:11 cpu time, factor 1.01
ML timing:
176.264s elapsed time, 178.277s cpu time, 10.215s 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:
56.2 MiB
Isabelle version:
ea648bff2757

HOL-IMP

data:
CSV
timing:
0:02:56 elapsed time, 0:02:56 cpu time, factor 1.00
ML timing:
174.071s elapsed time, 174.418s cpu time, 6.421s GC time, factor 1.00
ML code maximum:
8.6 MiB
ML code average:
3.2 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:
ea648bff2757

HOL-Complex_Analysis

data:
CSV
timing:
0:02:48 elapsed time, 0:02:50 cpu time, factor 1.01
ML timing:
166.022s elapsed time, 168.378s cpu time, 5.953s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.4 GiB
Isabelle version:
ea648bff2757

HOL-Bali

data:
CSV
timing:
0:02:43 elapsed time, 0:02:45 cpu time, factor 1.01
ML timing:
161.029s elapsed time, 163.207s cpu time, 8.304s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.6 GiB
Isabelle version:
ea648bff2757

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:37 elapsed time, 0:02:38 cpu time, factor 1.01
ML timing:
153.379s elapsed time, 154.368s cpu time, 10.207s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.9 GiB
Isabelle version:
35c8e7b00f71

HOL-SMT_Examples

data:
CSV
timing:
0:02:04 elapsed time, 0:01:53 cpu time, factor 0.91
ML timing:
122.739s elapsed time, 112.699s cpu time, 2.973s 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:
35c8e7b00f71

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:42 elapsed time, 0:01:11 cpu time, factor 0.70
ML timing:
100.872s elapsed time, 70.249s cpu time, 1.063s GC time, factor 0.70
ML stack maximum:
4.3 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
35c8e7b00f71

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:37 elapsed time, 0:01:37 cpu time, factor 1.00
ML timing:
94.845s elapsed time, 95.137s cpu time, 4.006s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.8 GiB
Isabelle version:
35c8e7b00f71

HOL-UNITY

data:
CSV
timing:
0:01:25 elapsed time, 0:01:26 cpu time, factor 1.01
ML timing:
83.272s elapsed time, 84.420s cpu time, 2.743s 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:
35c8e7b00f71

HOL-SET_Protocol

data:
CSV
timing:
0:01:20 elapsed time, 0:01:20 cpu time, factor 1.00
ML timing:
78.890s elapsed time, 79.159s cpu time, 0.931s 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:
35c8e7b00f71

Datatypes

data:
CSV
timing:
0:01:03 elapsed time, 0:01:03 cpu time, factor 1.00
ML timing:
46.330s elapsed time, 46.679s cpu time, 2.345s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
95.3 MiB
Isabelle version:
ea648bff2757

HOL-Metis_Examples

data:
CSV
timing:
0:01:03 elapsed time, 0:00:49 cpu time, factor 0.78
ML timing:
61.453s elapsed time, 47.709s cpu time, 3.139s GC time, factor 0.78
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.4 GiB
Isabelle version:
35c8e7b00f71

Corec

data:
CSV
timing:
0:00:54 elapsed time, 0:00:54 cpu time, factor 1.00
ML timing:
51.335s elapsed time, 51.379s cpu time, 2.771s GC time, factor 1.00
ML code maximum:
2.2 MiB
ML code average:
2.1 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:
ea648bff2757

HOL-Matrix_LP

data:
CSV
timing:
0:00:44 elapsed time, 0:00:43 cpu time, factor 0.98
ML timing:
42.423s elapsed time, 41.909s cpu time, 0.932s 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:
35c8e7b00f71

HOL-Combinatorics

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
40.828s elapsed time, 41.500s cpu time, 1.418s 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:
ea648bff2757

HOL-Hoare

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
40.725s elapsed time, 40.921s cpu time, 0.638s 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:
ea648bff2757

HOL-Analysis-ex

data:
CSV
timing:
0:00:38 elapsed time, 0:00:37 cpu time, factor 0.97
ML timing:
35.577s elapsed time, 35.652s cpu time, 0.258s 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:
ea648bff2757

HOL-SPARK

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
30.842s elapsed time, 31.119s cpu time, 0.940s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
20.8 MiB
Isabelle version:
35c8e7b00f71

Tutorial

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
34.472s elapsed time, 34.840s cpu time, 1.433s GC time, factor 1.01
ML stack maximum:
1.5 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
35c8e7b00f71

HOL-Cardinals

data:
CSV
timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.00
ML timing:
33.054s elapsed time, 33.556s cpu time, 0.801s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
ea648bff2757

ZF

data:
CSV
timing:
0:00:26 elapsed time, 0:00:27 cpu time, factor 1.04
ML timing:
25.055s elapsed time, 26.465s cpu time, 1.984s GC time, factor 1.06
ML code maximum:
2 MiB
ML code average:
1.6 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
17.9 MiB
Isabelle version:
35c8e7b00f71

Isar_Ref

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
24.683s elapsed time, 24.420s cpu time, 0.969s 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:
35c8e7b00f71

HOL-Nominal

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
16.177s elapsed time, 16.168s cpu time, 0.519s GC time, factor 1.00
ML code maximum:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
13.2 MiB
Isabelle version:
35c8e7b00f71

HOL-Induct

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.903s elapsed time, 20.140s cpu time, 0.873s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
ea648bff2757

HOL-ZF

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.875s elapsed time, 20.491s cpu time, 0.733s 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.4 GiB
Isabelle version:
35c8e7b00f71

ZF-Constructible

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
20.201s elapsed time, 21.054s cpu time, 3.680s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
35c8e7b00f71

HOL-SPARK-Examples

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
20.339s elapsed time, 20.347s cpu time, 0.226s GC time, factor 1.00
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:
35c8e7b00f71

HOL-Types_To_Sets

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.254s elapsed time, 18.467s cpu time, 0.476s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
35c8e7b00f71

HOL-Statespace

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
16.882s elapsed time, 16.986s cpu time, 0.388s 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:
35c8e7b00f71

ZF-UNITY

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.370s elapsed time, 17.858s cpu time, 0.497s GC time, factor 1.03
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:
35c8e7b00f71

Typeclass_Hierarchy

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
16.085s elapsed time, 16.475s cpu time, 0.612s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
35c8e7b00f71

HOL-TLA-Memory

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
15.491s elapsed time, 15.615s cpu time, 0.234s 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:
35c8e7b00f71

HOL-Hahn_Banach

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.206s elapsed time, 15.615s cpu time, 0.509s 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:
ea648bff2757

Pure

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0.683s elapsed time, 0.721s cpu time, 0.000s GC time, factor 1.06
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:
729.9 MiB
ML heap stored:
27.5 MiB
Isabelle version:
604295839268

System

data:
CSV
timing:
0:00:13 elapsed time
ML timing:
13.450s elapsed time, 1.331s cpu time, 0.000s GC time, factor 0.10
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
674 MiB
ML heap average:
330.4 MiB
Isabelle version:
35c8e7b00f71

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
10.692s elapsed time, 10.729s cpu time, 0.294s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
58.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
ea648bff2757

HOL-Unix

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.377s elapsed time, 11.600s cpu time, 0.519s 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:
35c8e7b00f71

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.249s elapsed time, 10.447s cpu time, 0.214s GC time, factor 1.02
ML code maximum:
1.9 MiB
ML code average:
1.6 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
ea648bff2757

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.484s elapsed time, 9.819s cpu time, 0.306s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
35c8e7b00f71

FOL-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
8.319s elapsed time, 8.486s cpu time, 0.131s 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:
604295839268

HOL-Isar_Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.130s elapsed time, 8.259s cpu time, 0.257s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
ea648bff2757

Haskell

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
8.695s elapsed time, 0.474s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
399 MiB
ML heap average:
398.9 MiB
Isabelle version:
35c8e7b00f71

HOL-NanoJava

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.324s elapsed time, 7.409s cpu time, 0.271s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
35c8e7b00f71

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.285s elapsed time, 6.593s cpu time, 0.167s GC time, factor 1.05
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
5.6 MiB
Isabelle version:
35c8e7b00f71

HOL-TLA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
1.971s elapsed time, 2.090s cpu time, 0.054s GC time, factor 1.06
ML stack maximum:
2.3 MiB
ML heap maximum:
1 GiB
ML heap average:
253.3 MiB
ML heap stored:
5.1 MiB
Isabelle version:
35c8e7b00f71

Prog_Prove

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.293s elapsed time, 6.350s cpu time, 0.278s 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.2 GiB
Isabelle version:
35c8e7b00f71

ZF-AC

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.414s elapsed time, 6.706s cpu time, 0.267s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
35c8e7b00f71

HOL-SPARK-Manual

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.248s elapsed time, 5.261s cpu time, 0.059s 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.2 GiB
Isabelle version:
35c8e7b00f71

HOL-IMPP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.961s elapsed time, 5.033s cpu time, 0.172s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
ea648bff2757

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.896s elapsed time, 4.973s cpu time, 0.190s 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:
35c8e7b00f71

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
6.204s elapsed time, 6.636s cpu time, 0.293s 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.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
604295839268

HOL-Proofs-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.345s elapsed time, 3.369s cpu time, 0.572s 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:
1008.4 MiB
Isabelle version:
35c8e7b00f71

FOLP-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.411s elapsed time, 4.506s cpu time, 0.050s GC time, factor 1.02
ML code maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
604295839268

Tools

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.822s elapsed time, 3.876s cpu time, 0.075s GC time, factor 1.01
ML code maximum:
2 MiB
ML code average:
1.2 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:
35c8e7b00f71

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.138s elapsed time, 3.294s cpu time, 0.074s GC time, factor 1.05
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
920.3 MiB
ML heap stored:
4.8 MiB
Isabelle version:
604295839268

Sequents

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.905s elapsed time, 4.042s cpu time, 0.040s GC time, factor 1.04
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
35c8e7b00f71

Implementation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.414s elapsed time, 3.424s cpu time, 0.023s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.3 GiB
ML heap average:
817.4 MiB
Isabelle version:
35c8e7b00f71

HOL-TLA-Inc

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.856s elapsed time, 2.878s cpu time, 0.028s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1005.7 MiB
Isabelle version:
35c8e7b00f71

Sugar

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.421s elapsed time, 0.999s cpu time, 0.000s GC time, factor 0.41
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
604 MiB
ML heap average:
452.8 MiB
Isabelle version:
35c8e7b00f71

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.688s elapsed time, 2.724s cpu time, 0.052s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
927.2 MiB
Isabelle version:
ea648bff2757

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.449s elapsed time, 2.587s cpu time, 0.055s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML heap maximum:
1 GiB
ML heap average:
724.1 MiB
Isabelle version:
ea648bff2757

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.790s elapsed time, 2.831s cpu time, 0.123s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
742.6 MiB
Isabelle version:
ea648bff2757

Eisbach

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.927s elapsed time, 1.967s cpu time, 0.010s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
902 MiB
ML heap average:
758.6 MiB
Isabelle version:
ea648bff2757

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.210s elapsed time, 2.265s cpu time, 0.034s GC time, factor 1.02
ML heap maximum:
756 MiB
ML heap average:
489.5 MiB
Isabelle version:
35c8e7b00f71

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.826s elapsed time, 2.971s cpu time, 0.065s 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:
1.1 GiB
Isabelle version:
35c8e7b00f71

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.999s elapsed time, 2.088s cpu time, 0.026s GC time, factor 1.04
ML heap maximum:
1.1 GiB
ML heap average:
797.1 MiB
Isabelle version:
35c8e7b00f71

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.898s elapsed time, 0.914s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
713 MiB
ML heap average:
572.4 MiB
Isabelle version:
35c8e7b00f71

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.294s elapsed time, 1.304s cpu time, 0.035s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
684 MiB
ML heap average:
525.7 MiB
Isabelle version:
ea648bff2757

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.320s elapsed time, 1.339s cpu time, 0.087s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
771 MiB
ML heap average:
665.3 MiB
Isabelle version:
35c8e7b00f71

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.076s elapsed time, 1.130s cpu time, 0.067s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML heap maximum:
766 MiB
ML heap average:
426.5 MiB
ML heap stored:
2.3 MiB
Isabelle version:
604295839268

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.635s elapsed time, 1.704s cpu time, 0.048s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
761 MiB
ML heap average:
656.7 MiB
Isabelle version:
35c8e7b00f71

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.954s elapsed time, 0.990s cpu time, 0.026s GC time, factor 1.04
ML heap maximum:
672 MiB
ML heap average:
580.5 MiB
Isabelle version:
35c8e7b00f71

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.449s elapsed time, 0.449s cpu time, 0.000s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
445 MiB
ML heap average:
445 MiB
Isabelle version:
35c8e7b00f71

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.336s elapsed time, 0.341s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
31 MiB
ML heap average:
31 MiB
Isabelle version:
35c8e7b00f71

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.968s elapsed time, 0.990s cpu time, 0.024s GC time, factor 1.02
ML heap maximum:
508 MiB
ML heap average:
411.8 MiB
Isabelle version:
35c8e7b00f71

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.231s elapsed time, 1.354s cpu time, 0.058s GC time, factor 1.10
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
754 MiB
ML heap average:
590.3 MiB
Isabelle version:
604295839268

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.158s elapsed time, 0.161s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
40 MiB
ML heap average:
40 MiB
Isabelle version:
ea648bff2757

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.162s elapsed time, 0.164s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
40 MiB
ML heap average:
40 MiB
Isabelle version:
ea648bff2757

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.157s elapsed time, 0.159s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
41 MiB
ML heap average:
41 MiB
Isabelle version:
ea648bff2757

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.437s elapsed time, 0.448s cpu time, 0.000s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
364 MiB
ML heap average:
364 MiB
Isabelle version:
35c8e7b00f71

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.161s elapsed time, 0.163s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
40 MiB
ML heap average:
40 MiB
Isabelle version:
ea648bff2757

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.755s elapsed time, 0.612s cpu time, 0.000s GC time, factor 0.81
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
361 MiB
ML heap average:
361 MiB
Isabelle version:
35c8e7b00f71

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.669s elapsed time, 0.713s cpu time, 0.000s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
499 MiB
ML heap average:
499 MiB
Isabelle version:
35c8e7b00f71

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.175s elapsed time, 0.178s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
41 MiB
ML heap average:
41 MiB
Isabelle version:
ea648bff2757

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.373s elapsed time, 0.397s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
64 MiB
ML heap average:
3 MiB
Isabelle version:
35c8e7b00f71

HOL-Record_Benchmark

data:
CSV
Isabelle version:
35c8e7b00f71

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
35c8e7b00f71

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
35c8e7b00f71

HOL

data:
CSV
Isabelle version:
604295839268

SML

data:
CSV
ML timing:
0.010s elapsed time, 0.012s cpu time, 0.000s GC time, factor 1.20
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
35c8e7b00f71

HOLCF

data:
CSV
Isabelle version:
35c8e7b00f71

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
35c8e7b00f71

HOL-Proofs

data:
CSV
Isabelle version:
604295839268

Nitpick

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
35c8e7b00f71

Pure-ex

data:
CSV
ML timing:
0.437s elapsed time, 0.488s cpu time, 0.000s GC time, factor 1.12
ML heap maximum:
389 MiB
ML heap average:
389 MiB
Isabelle version:
35c8e7b00f71

HOL-Examples

data:
CSV
Isabelle version:
ea648bff2757

HOL-Imperative_HOL

data:
CSV
Isabelle version:
ea648bff2757

Cube

data:
CSV
ML timing:
0.313s elapsed time, 0.349s cpu time, 0.000s GC time, factor 1.12
ML heap maximum:
60 MiB
ML heap average:
3 MiB
Isabelle version:
604295839268

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
35c8e7b00f71

HOL-Library

data:
CSV
Isabelle version:
ea648bff2757

Pure-Examples

data:
CSV
ML timing:
0.290s elapsed time, 0.335s cpu time, 0.000s GC time, factor 1.16
ML heap maximum:
56 MiB
ML heap average:
3 MiB
Isabelle version:
35c8e7b00f71