Isabelle build status for macOS 12 Monterey (Intel)

status date:
07-Sep-2026 00:40:08 +0200
build host:
mini1-monterey

HOL-Analysis

data:
CSV
timing:
0:32:51 elapsed time, 0:32:40 cpu time, factor 0.99
ML timing:
1869.869s elapsed time, 1859.082s cpu time, 97.147s GC time, factor 0.99
ML code maximum:
3.8 MiB
ML code average:
3.5 MiB
ML stack maximum:
16.3 MiB
ML stack average:
10.9 MiB
ML heap maximum:
8.5 GiB
ML heap average:
4.8 GiB
ML heap stored:
368.5 MiB
Isabelle version:
bdfb68441d8f

HOL-Data_Structures

data:
CSV
timing:
0:16:12 elapsed time, 0:16:13 cpu time, factor 1.00
ML timing:
963.964s elapsed time, 965.796s cpu time, 45.998s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
4.8 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Nominal-Examples

data:
CSV
timing:
0:12:54 elapsed time, 0:12:49 cpu time, factor 0.99
ML timing:
767.929s elapsed time, 762.926s cpu time, 58.354s GC time, factor 0.99
ML stack maximum:
32.3 MiB
ML stack average:
31.5 MiB
ML heap maximum:
5.2 GiB
ML heap average:
2.7 GiB
Isabelle version:
bdfb68441d8f

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-Real_Asymp

data:
CSV
timing:
0:03:58 elapsed time, 0:03:59 cpu time, factor 1.00
ML timing:
221.911s elapsed time, 223.342s cpu time, 12.557s GC time, factor 1.01
ML code maximum:
3 MiB
ML code average:
2.4 MiB
ML stack maximum:
16.3 MiB
ML stack average:
10.9 MiB
ML heap maximum:
3.3 GiB
ML heap average:
1.8 GiB
ML heap stored:
88.1 MiB
Isabelle version:
bdfb68441d8f

HOL-Auth

data:
CSV
timing:
0:03:51 elapsed time, 0:03:52 cpu time, factor 1.00
ML timing:
223.051s elapsed time, 224.254s cpu time, 4.008s GC time, factor 1.01
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:
bdfb68441d8f

HOL-Homology

data:
CSV
timing:
0:03:45 elapsed time, 0:03:48 cpu time, factor 1.01
ML timing:
222.120s elapsed time, 224.616s cpu time, 15.671s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.8 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.4 GiB
Isabelle version:
bdfb68441d8f

Codegen

data:
CSV
timing:
0:03:37 elapsed time, 0:03:37 cpu time, factor 1.00
ML timing:
214.892s elapsed time, 215.526s cpu time, 12.416s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
2.4 GiB
ML heap average:
1.9 GiB
Isabelle version:
bdfb68441d8f

HOL-MicroJava

data:
CSV
timing:
0:03:34 elapsed time, 0:03:35 cpu time, factor 1.00
ML timing:
212.735s elapsed time, 214.128s cpu time, 3.525s GC time, factor 1.01
ML code maximum:
1.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:31 elapsed time, 0:01:56 cpu time, factor 0.55
ML timing:
210.007s elapsed time, 115.281s cpu time, 4.939s GC time, factor 0.55
ML code maximum:
9.5 MiB
ML code average:
6.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:
bdfb68441d8f

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:16 elapsed time, 0:03:16 cpu time, factor 1.00
ML timing:
194.317s elapsed time, 194.942s cpu time, 2.946s 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.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Computational_Algebra

data:
CSV
timing:
0:03:09 elapsed time, 0:03:10 cpu time, factor 1.01
ML timing:
175.460s elapsed time, 177.401s cpu time, 8.940s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.5 GiB
ML heap stored:
56.2 MiB
Isabelle version:
bdfb68441d8f

HOL-IMP

data:
CSV
timing:
0:02:59 elapsed time, 0:02:59 cpu time, factor 1.00
ML timing:
177.111s elapsed time, 177.429s cpu time, 8.116s GC time, factor 1.00
ML code maximum:
4.6 MiB
ML code average:
2.5 MiB
ML stack maximum:
8.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Complex_Analysis

data:
CSV
timing:
0:02:50 elapsed time, 0:02:53 cpu time, factor 1.02
ML timing:
167.934s elapsed time, 170.382s cpu time, 5.298s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
7.1 MiB
ML heap maximum:
2.5 GiB
ML heap average:
1.6 GiB
Isabelle version:
bdfb68441d8f

HOL-Examples

data:
CSV
timing:
0:02:48 elapsed time, 0:02:49 cpu time, factor 1.01
ML timing:
165.747s elapsed time, 166.378s cpu time, 8.117s GC time, factor 1.00
ML stack maximum:
8.5 MiB
ML stack average:
6.6 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.8 GiB
Isabelle version:
bdfb68441d8f

HOL-Bali

data:
CSV
timing:
0:02:43 elapsed time, 0:02:45 cpu time, factor 1.01
ML timing:
160.475s elapsed time, 162.625s cpu time, 7.972s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.1 MiB
ML heap maximum:
2.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
bdfb68441d8f

HOL-Number_Theory

data:
CSV
timing:
0:02:43 elapsed time, 0:02:44 cpu time, factor 1.01
ML timing:
160.782s elapsed time, 162.759s cpu time, 13.126s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
3.4 GiB
ML heap average:
2.2 GiB
Isabelle version:
bdfb68441d8f

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-Record_Benchmark

data:
CSV
timing:
0:02:07 elapsed time, 0:02:07 cpu time, factor 1.00
ML timing:
125.230s elapsed time, 125.278s cpu time, 8.220s 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.3 GiB
Isabelle version:
bdfb68441d8f

HOL-SMT_Examples

data:
CSV
timing:
0:02:02 elapsed time, 0:01:52 cpu time, factor 0.92
ML timing:
120.964s elapsed time, 110.669s cpu time, 1.794s GC time, factor 0.91
ML stack maximum:
8.3 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:43 elapsed time, 0:01:11 cpu time, factor 0.69
ML timing:
102.160s elapsed time, 70.410s cpu time, 1.024s GC time, factor 0.69
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

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.123s elapsed time, 84.270s cpu time, 2.571s 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:
bdfb68441d8f

HOL-SET_Protocol

data:
CSV
timing:
0:01:19 elapsed time, 0:01:19 cpu time, factor 1.00
ML timing:
78.532s elapsed time, 78.810s cpu time, 0.943s 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:
bdfb68441d8f

Datatypes

data:
CSV
timing:
0:01:05 elapsed time, 0:01:05 cpu time, factor 1.00
ML timing:
47.167s elapsed time, 47.521s cpu time, 2.409s 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.4 MiB
Isabelle version:
bdfb68441d8f

HOL-Metis_Examples

data:
CSV
timing:
0:01:04 elapsed time, 0:00:50 cpu time, factor 0.78
ML timing:
62.891s elapsed time, 48.905s cpu time, 3.290s GC time, factor 0.78
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

Corec

data:
CSV
timing:
0:00:55 elapsed time, 0:00:55 cpu time, factor 1.00
ML timing:
52.380s elapsed time, 52.404s cpu time, 2.879s 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.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Matrix_LP

data:
CSV
timing:
0:00:44 elapsed time, 0:00:44 cpu time, factor 1.00
ML timing:
43.166s elapsed time, 42.678s cpu time, 0.945s GC time, factor 0.99
ML code maximum:
1 MiB
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:
bdfb68441d8f

HOL-Combinatorics

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
40.511s elapsed time, 41.157s cpu time, 1.244s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Hoare

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
40.469s elapsed time, 40.662s cpu time, 0.632s 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:
bdfb68441d8f

HOL-Analysis-ex

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
35.999s elapsed time, 36.086s cpu time, 0.274s 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:
bdfb68441d8f

HOL-SPARK

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
31.208s elapsed time, 31.500s cpu time, 0.980s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
20.8 MiB
Isabelle version:
bdfb68441d8f

Tutorial

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
33.269s elapsed time, 33.670s cpu time, 1.391s 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:
bdfb68441d8f

HOL-Cardinals

data:
CSV
timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.00
ML timing:
33.133s elapsed time, 33.627s cpu time, 0.820s GC time, factor 1.01
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:
bdfb68441d8f

HOLCF

data:
CSV
timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.03
ML timing:
23.871s elapsed time, 24.732s cpu time, 1.058s GC time, factor 1.04
ML code maximum:
1 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
ML heap stored:
25.9 MiB
Isabelle version:
bdfb68441d8f

IOA

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
20.652s elapsed time, 21.056s 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.1 GiB
ML heap stored:
10 MiB
Isabelle version:
bdfb68441d8f

HOLCF-Library

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
20.508s elapsed time, 20.931s cpu time, 0.519s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
13.9 MiB
Isabelle version:
bdfb68441d8f

ZF

data:
CSV
timing:
0:00:26 elapsed time, 0:00:28 cpu time, factor 1.08
ML timing:
25.274s elapsed time, 26.888s cpu time, 1.314s 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.3 GiB
ML heap stored:
17.9 MiB
Isabelle version:
75f82fdca8d5

Isar_Ref

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
24.824s elapsed time, 24.312s cpu time, 0.960s GC time, factor 0.98
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
17.420s elapsed time, 17.982s cpu time, 0.510s 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:
14.2 MiB
Isabelle version:
bdfb68441d8f

HOL-Nominal

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
16.290s elapsed time, 16.299s cpu time, 0.516s 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:
bdfb68441d8f

HOL-Induct

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.700s elapsed time, 19.928s cpu time, 0.867s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bdfb68441d8f

HOL-ZF

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.632s elapsed time, 20.231s cpu time, 0.735s 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:
bdfb68441d8f

HOL-SPARK-Examples

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
20.374s elapsed time, 20.505s cpu time, 0.225s 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:
bdfb68441d8f

HOL-Types_To_Sets

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.012s elapsed time, 19.244s cpu time, 0.482s 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.4 GiB
Isabelle version:
bdfb68441d8f

ZF-Constructible

data:
CSV
timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.05
ML timing:
20.016s elapsed time, 20.856s cpu time, 3.620s 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:
75f82fdca8d5

HOL-Statespace

data:
CSV
timing:
0:00:18 elapsed time, 0:00:17 cpu time, factor 0.94
ML timing:
16.651s elapsed time, 16.762s cpu time, 0.366s 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:
bdfb68441d8f

ZF-UNITY

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.363s elapsed time, 17.837s cpu time, 0.453s 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:
bdfb68441d8f

Typeclass_Hierarchy

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.816s elapsed time, 16.182s cpu time, 0.584s GC time, factor 1.02
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:
bdfb68441d8f

HOL-Hahn_Banach

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.135s elapsed time, 15.539s cpu time, 0.484s 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:
bdfb68441d8f

HOL-TLA-Memory

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
15.233s elapsed time, 15.357s cpu time, 0.213s 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.4 GiB
Isabelle version:
bdfb68441d8f

Pure

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
0.667s elapsed time, 0.706s 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:
715.7 MiB
ML heap stored:
27.5 MiB
Isabelle version:
94cf1ee6b6e0

System

data:
CSV
timing:
0:00:14 elapsed time
ML timing:
13.861s elapsed time, 1.386s cpu time, 0.000s GC time, factor 0.10
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
675 MiB
ML heap average:
327.7 MiB
Isabelle version:
75f82fdca8d5

HOL-Eisbach

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.056s elapsed time, 11.260s cpu time, 0.195s GC time, factor 1.02
ML code maximum:
1.9 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bdfb68441d8f

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
10.753s elapsed time, 10.789s cpu time, 0.285s 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:
bdfb68441d8f

HOL-Unix

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.112s elapsed time, 11.332s cpu time, 0.466s 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:
bdfb68441d8f

HOLCF-Tutorial

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
9.954s elapsed time, 10.028s cpu time, 0.245s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

IOA-NTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.596s elapsed time, 8.659s cpu time, 0.277s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

Haskell

data:
CSV
timing:
0:00:10 elapsed time
ML timing:
9.399s elapsed time, 0.443s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
344 MiB
ML heap average:
326 MiB
Isabelle version:
bdfb68441d8f

ZF-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.545s elapsed time, 9.877s cpu time, 0.312s GC time, factor 1.03
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:
bdfb68441d8f

HOL-Isar_Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.100s elapsed time, 8.229s cpu time, 0.237s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

HOL-NanoJava

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.153s elapsed time, 7.238s cpu time, 0.258s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

FOL-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
8.309s elapsed time, 8.471s cpu time, 0.110s 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.2 GiB
Isabelle version:
94cf1ee6b6e0

HOLCF-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.866s elapsed time, 7.032s cpu time, 0.255s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

IOA-ABP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.288s elapsed time, 7.341s cpu time, 0.219s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

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.360s cpu time, 0.271s 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:
bdfb68441d8f

HOLCF-FOCUS

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.135s elapsed time, 6.252s cpu time, 0.136s 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:
bdfb68441d8f

ZF-AC

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.617s elapsed time, 6.934s cpu time, 0.263s GC time, factor 1.05
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:
75f82fdca8d5

CCL

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.412s elapsed time, 6.786s cpu time, 0.241s GC time, factor 1.06
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
2.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
94cf1ee6b6e0

HOLCF-IMP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.480s elapsed time, 6.524s cpu time, 0.172s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

HOL-TLA

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
1.980s elapsed time, 2.099s cpu time, 0.048s GC time, factor 1.06
ML stack maximum:
2.3 MiB
ML heap maximum:
1012 MiB
ML heap average:
249 MiB
ML heap stored:
5.1 MiB
Isabelle version:
bdfb68441d8f

HOL-SPARK-Manual

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.235s elapsed time, 5.248s cpu time, 0.057s 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:
bdfb68441d8f

HOL-IMPP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.969s elapsed time, 5.044s cpu time, 0.163s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bdfb68441d8f

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.923s elapsed time, 5.007s cpu time, 0.195s GC time, factor 1.02
ML code maximum:
4 MiB
ML code average:
2.3 MiB
ML stack maximum:
16.3 MiB
ML stack average:
13.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bdfb68441d8f

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

Implementation

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.782s elapsed time, 3.801s cpu time, 0.022s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.2 GiB
ML heap average:
816.3 MiB
Isabelle version:
bdfb68441d8f

FOLP-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.444s elapsed time, 4.540s cpu time, 0.052s 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:
94cf1ee6b6e0

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.226s elapsed time, 3.390s cpu time, 0.079s GC time, factor 1.05
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:
882.3 MiB
ML heap stored:
4.8 MiB
Isabelle version:
94cf1ee6b6e0

Sequents

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.954s elapsed time, 4.111s cpu time, 0.039s GC time, factor 1.04
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
75f82fdca8d5

HOL-TLA-Inc

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.753s elapsed time, 2.776s cpu time, 0.028s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
bdfb68441d8f

LCF

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.135s elapsed time, 3.273s cpu time, 0.065s GC time, factor 1.04
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:
981.1 MiB
Isabelle version:
75f82fdca8d5

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
3.042s elapsed time, 3.084s cpu time, 0.065s GC time, factor 1.01
ML code maximum:
2 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.2 GiB
Isabelle version:
75f82fdca8d5

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.726s elapsed time, 2.762s cpu time, 0.047s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
768.4 MiB
Isabelle version:
bdfb68441d8f

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.093s elapsed time, 2.112s cpu time, 0.037s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.3 GiB
ML heap average:
805.1 MiB
Isabelle version:
bdfb68441d8f

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.367s elapsed time, 2.516s cpu time, 0.050s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1 GiB
ML heap average:
742.3 MiB
Isabelle version:
bdfb68441d8f

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.688s elapsed time, 2.726s cpu time, 0.121s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
915.6 MiB
Isabelle version:
bdfb68441d8f

Eisbach

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.910s elapsed time, 1.946s cpu time, 0.066s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
889 MiB
ML heap average:
754.4 MiB
Isabelle version:
bdfb68441d8f

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.772s elapsed time, 1.807s cpu time, 0.025s GC time, factor 1.02
ML heap maximum:
756 MiB
ML heap average:
535.2 MiB
Isabelle version:
bdfb68441d8f

ZF-Resid

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.866s elapsed time, 1.936s cpu time, 0.026s GC time, factor 1.04
ML heap maximum:
1.1 GiB
ML heap average:
813.6 MiB
Isabelle version:
bdfb68441d8f

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.320s elapsed time, 1.333s cpu time, 0.031s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
640 MiB
ML heap average:
337.3 MiB
Isabelle version:
bdfb68441d8f

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.287s elapsed time, 1.306s cpu time, 0.096s 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:
655.7 MiB
Isabelle version:
bdfb68441d8f

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.226s elapsed time, 1.240s cpu time, 0.038s GC time, factor 1.01
ML heap maximum:
670 MiB
ML heap average:
524.8 MiB
Isabelle version:
bdfb68441d8f

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.573s elapsed time, 1.583s cpu time, 0.029s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
629.3 MiB
Isabelle version:
bdfb68441d8f

Locales

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.539s elapsed time, 1.605s cpu time, 0.045s 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:
657.1 MiB
Isabelle version:
bdfb68441d8f

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.772s elapsed time, 0.787s cpu time, 0.000s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
403 MiB
ML heap average:
203.6 MiB
Isabelle version:
bdfb68441d8f

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.191s elapsed time, 1.241s cpu time, 0.032s GC time, factor 1.04
ML heap maximum:
752 MiB
ML heap average:
561.3 MiB
Isabelle version:
75f82fdca8d5

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.800s elapsed time, 0.815s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
508 MiB
ML heap average:
488 MiB
Isabelle version:
bdfb68441d8f

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.476s elapsed time, 0.487s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
443 MiB
ML heap average:
443 MiB
Isabelle version:
75f82fdca8d5

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.299s elapsed time, 0.304s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
35 MiB
ML heap average:
3 MiB
Isabelle version:
bdfb68441d8f

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.966s elapsed time, 0.991s cpu time, 0.021s GC time, factor 1.03
ML heap maximum:
611 MiB
ML heap average:
541.6 MiB
Isabelle version:
75f82fdca8d5

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.214s elapsed time, 1.328s cpu time, 0.072s GC time, factor 1.09
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
761 MiB
ML heap average:
599.5 MiB
Isabelle version:
94cf1ee6b6e0

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.125s elapsed time, 0.129s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
44 MiB
ML heap average:
44 MiB
Isabelle version:
bdfb68441d8f

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.130s elapsed time, 0.133s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
44 MiB
ML heap average:
44 MiB
Isabelle version:
bdfb68441d8f

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.127s elapsed time, 0.129s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
46 MiB
ML heap average:
46 MiB
Isabelle version:
bdfb68441d8f

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.382s elapsed time, 0.392s cpu time, 0.000s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
273 MiB
ML heap average:
273 MiB
Isabelle version:
bdfb68441d8f

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.034s elapsed time, 1.087s cpu time, 0.064s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML heap maximum:
766 MiB
ML heap average:
430.3 MiB
ML heap stored:
2.3 MiB
Isabelle version:
94cf1ee6b6e0

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.127s elapsed time, 0.129s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
44 MiB
ML heap average:
44 MiB
Isabelle version:
bdfb68441d8f

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.710s elapsed time, 0.568s cpu time, 0.000s GC time, factor 0.80
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
361 MiB
ML heap average:
361 MiB
Isabelle version:
bdfb68441d8f

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.619s elapsed time, 0.656s cpu time, 0.000s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
497 MiB
ML heap average:
497 MiB
Isabelle version:
bdfb68441d8f

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.126s elapsed time, 0.128s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
45 MiB
ML heap average:
45 MiB
Isabelle version:
bdfb68441d8f

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.347s elapsed time, 0.368s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
368 MiB
ML heap average:
368 MiB
Isabelle version:
bdfb68441d8f

HOL-Probability

data:
CSV
Isabelle version:
bdfb68441d8f

ZF-Induct

data:
CSV
Isabelle version:
75f82fdca8d5

HOL-Predicate_Compile_Examples

data:
CSV
Isabelle version:
bdfb68441d8f

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
75f82fdca8d5

HOL

data:
CSV
Isabelle version:
94cf1ee6b6e0

SML

data:
CSV
ML timing:
0.013s elapsed time, 0.016s cpu time, 0.000s GC time, factor 1.23
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
75f82fdca8d5

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
75f82fdca8d5

HOL-Proofs

data:
CSV
Isabelle version:
94cf1ee6b6e0

Nitpick

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
75f82fdca8d5

Pure-ex

data:
CSV
ML timing:
0.405s elapsed time, 0.447s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
385 MiB
ML heap average:
385 MiB
Isabelle version:
75f82fdca8d5

HOL-Imperative_HOL

data:
CSV
Isabelle version:
bdfb68441d8f

Cube

data:
CSV
ML timing:
0.283s elapsed time, 0.313s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
94cf1ee6b6e0

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
75f82fdca8d5

HOL-Library

data:
CSV
Isabelle version:
bdfb68441d8f

Pure-Examples

data:
CSV
ML timing:
0.319s elapsed time, 0.376s cpu time, 0.000s GC time, factor 1.18
ML heap maximum:
55 MiB
ML heap average:
3 MiB
Isabelle version:
75f82fdca8d5

HOL-Algebra

data:
CSV
Isabelle version:
bdfb68441d8f