Isabelle build status for macOS 13 Ventura (ARM)

status date:
20-Sep-2026 10:15:28 +0200
build host:
mini3

HOL-Analysis

data:
CSV
timing:
0:22:21 elapsed time, 0:22:21 cpu time, factor 1.00
ML timing:
1269.115s elapsed time, 1269.405s cpu time, 113.735s GC time, factor 1.00
ML code maximum:
4.7 MiB
ML code average:
4 MiB
ML stack maximum:
17.1 MiB
ML stack average:
16 MiB
ML heap maximum:
8.3 GiB
ML heap average:
4.3 GiB
ML heap stored:
371.1 MiB
Isabelle version:
333d6271aa64

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:18:16 elapsed time, 0:17:43 cpu time, factor 0.97
ML timing:
1094.923s elapsed time, 1062.122s cpu time, 40.454s GC time, factor 0.97
ML code maximum:
344.5 MiB
ML code average:
250.3 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333d6271aa64

HOL-Data_Structures

data:
CSV
timing:
0:10:39 elapsed time, 0:10:37 cpu time, factor 1.00
ML timing:
631.752s elapsed time, 630.112s cpu time, 44.521s GC time, factor 1.00
ML stack maximum:
8.6 MiB
ML stack average:
6 MiB
ML heap maximum:
8.2 GiB
ML heap average:
3.3 GiB
Isabelle version:
333d6271aa64

HOL-Datatype_Benchmark

data:
CSV
timing:
0:10:00 elapsed time, 0:09:49 cpu time, factor 0.98
ML timing:
572.075s elapsed time, 564.444s cpu time, 66.193s GC time, factor 0.99
ML stack maximum:
4.3 MiB
ML stack average:
4.2 MiB
ML heap maximum:
20.4 GiB
ML heap average:
10.3 GiB
Isabelle version:
333d6271aa64

HOL-ex

data:
CSV
timing:
0:09:19 elapsed time, 0:09:08 cpu time, factor 0.98
ML timing:
556.080s elapsed time, 546.209s cpu time, 31.395s GC time, factor 0.98
ML code maximum:
7.8 MiB
ML code average:
5.6 MiB
ML stack maximum:
8.6 MiB
ML stack average:
7.5 MiB
ML heap maximum:
5.1 GiB
ML heap average:
1.8 GiB
Isabelle version:
333d6271aa64

HOL-Codegenerator_Test

data:
CSV
timing:
0:08:51 elapsed time, 0:06:31 cpu time, factor 0.74
ML timing:
527.338s elapsed time, 387.582s cpu time, 20.233s GC time, factor 0.73
ML code maximum:
3.5 MiB
ML code average:
3.4 MiB
ML stack maximum:
17.1 MiB
ML stack average:
15.3 MiB
ML heap maximum:
5.2 GiB
ML heap average:
3.4 GiB
Isabelle version:
333d6271aa64

HOL-Nominal-Examples

data:
CSV
timing:
0:08:27 elapsed time, 0:08:25 cpu time, factor 1.00
ML timing:
503.891s elapsed time, 501.657s cpu time, 35.179s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.6 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.5 GiB
Isabelle version:
333d6271aa64

HOL-Proofs

data:
CSV
timing:
0:08:10 elapsed time, 0:08:05 cpu time, factor 0.99
ML timing:
367.010s elapsed time, 362.965s cpu time, 64.406s GC time, factor 0.99
ML code maximum:
38.9 MiB
ML code average:
29.9 MiB
ML stack maximum:
33.1 MiB
ML stack average:
20.3 MiB
ML heap maximum:
12.3 GiB
ML heap average:
5.2 GiB
ML heap stored:
614.5 MiB
Isabelle version:
333d6271aa64

HOL-Decision_Procs

data:
CSV
timing:
0:07:16 elapsed time, 0:07:15 cpu time, factor 1.00
ML timing:
432.646s elapsed time, 432.358s cpu time, 30.940s GC time, factor 1.00
ML code maximum:
6.1 MiB
ML code average:
2.2 MiB
ML stack maximum:
16.6 MiB
ML stack average:
9.9 MiB
ML heap maximum:
7.2 GiB
ML heap average:
4.2 GiB
Isabelle version:
333d6271aa64

HOL-Library

data:
CSV
timing:
0:06:39 elapsed time, 0:06:36 cpu time, factor 0.99
ML timing:
370.563s elapsed time, 367.801s cpu time, 21.204s GC time, factor 0.99
ML code maximum:
6.2 MiB
ML code average:
5 MiB
ML stack maximum:
9.1 MiB
ML stack average:
8.4 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.5 GiB
ML heap stored:
198.3 MiB
Isabelle version:
333d6271aa64

HOL

data:
CSV
timing:
0:06:22 elapsed time, 0:06:21 cpu time, factor 1.00
ML timing:
360.955s elapsed time, 360.438s cpu time, 27.975s GC time, factor 1.00
ML code maximum:
45.6 MiB
ML code average:
32.1 MiB
ML stack maximum:
33.1 MiB
ML stack average:
25.8 MiB
ML heap maximum:
3.8 GiB
ML heap average:
3.1 GiB
ML heap stored:
278.4 MiB
Isabelle version:
333d6271aa64

HOL-New_Algebra

data:
CSV
timing:
0:06:07 elapsed time, 0:06:09 cpu time, factor 1.01
ML timing:
348.839s elapsed time, 351.513s cpu time, 42.871s GC time, factor 1.01
ML stack maximum:
9.1 MiB
ML stack average:
8.7 MiB
ML heap maximum:
7.5 GiB
ML heap average:
2.9 GiB
ML heap stored:
66.2 MiB
Isabelle version:
333d6271aa64

HOL-Algebra

data:
CSV
timing:
0:05:00 elapsed time, 0:05:03 cpu time, factor 1.01
ML timing:
281.100s elapsed time, 284.482s cpu time, 49.406s GC time, factor 1.01
ML stack maximum:
4.6 MiB
ML stack average:
4.3 MiB
ML heap maximum:
8.1 GiB
ML heap average:
3.1 GiB
ML heap stored:
89.4 MiB
Isabelle version:
333d6271aa64

HOL-Corec_Examples

data:
CSV
timing:
0:04:42 elapsed time, 0:04:41 cpu time, factor 1.00
ML timing:
274.040s elapsed time, 274.083s cpu time, 36.188s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
5.9 GiB
ML heap average:
3.2 GiB
Isabelle version:
333d6271aa64

HOL-SMT_Examples

data:
CSV
timing:
0:03:17 elapsed time, 0:03:15 cpu time, factor 0.99
ML timing:
195.968s elapsed time, 193.917s cpu time, 13.855s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
3.2 GiB
ML heap average:
1.5 GiB
Isabelle version:
333d6271aa64

HOL-Imperative_HOL

data:
CSV
timing:
0:03:01 elapsed time, 0:02:38 cpu time, factor 0.87
ML timing:
179.242s elapsed time, 156.491s cpu time, 4.926s GC time, factor 0.87
ML stack maximum:
8.6 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333d6271aa64

HOL-Probability

data:
CSV
timing:
0:02:58 elapsed time, 0:02:55 cpu time, factor 0.98
ML timing:
162.155s elapsed time, 159.725s cpu time, 11.225s GC time, factor 0.99
ML stack maximum:
8.6 MiB
ML stack average:
6.3 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.4 GiB
ML heap stored:
71.6 MiB
Isabelle version:
333d6271aa64

HOL-Datatype_Examples

data:
CSV
timing:
0:02:44 elapsed time, 0:02:43 cpu time, factor 0.99
ML timing:
159.304s elapsed time, 159.321s cpu time, 18.333s GC time, factor 1.00
ML stack maximum:
2.6 MiB
ML stack average:
1.5 MiB
ML heap maximum:
4 GiB
ML heap average:
2.2 GiB
Isabelle version:
333d6271aa64

HOL-Real_Asymp

data:
CSV
timing:
0:02:38 elapsed time, 0:02:38 cpu time, factor 1.00
ML timing:
148.467s elapsed time, 148.968s cpu time, 5.013s GC time, factor 1.00
ML code maximum:
5.7 MiB
ML code average:
4.2 MiB
ML stack maximum:
16.6 MiB
ML stack average:
11.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
89.1 MiB
Isabelle version:
333d6271aa64

HOL-Homology

data:
CSV
timing:
0:02:37 elapsed time, 0:02:39 cpu time, factor 1.01
ML timing:
154.884s elapsed time, 156.898s cpu time, 21.329s GC time, factor 1.01
ML stack maximum:
8.6 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
333d6271aa64

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:33 elapsed time, 0:02:00 cpu time, factor 0.78
ML timing:
152.437s elapsed time, 118.989s cpu time, 2.448s GC time, factor 0.78
ML code maximum:
8 MiB
ML code average:
2.3 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Auth

data:
CSV
timing:
0:02:30 elapsed time, 0:02:30 cpu time, factor 1.00
ML timing:
145.169s elapsed time, 145.880s cpu time, 3.002s GC time, factor 1.00
ML stack maximum:
4.6 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
41.8 MiB
Isabelle version:
333d6271aa64

HOL-Quickcheck_Examples

data:
CSV
timing:
0:02:29 elapsed time, 0:01:17 cpu time, factor 0.52
ML timing:
147.509s elapsed time, 76.172s cpu time, 2.439s GC time, factor 0.52
ML code maximum:
17.7 MiB
ML code average:
13 MiB
ML stack maximum:
8.6 MiB
ML stack average:
8.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-MicroJava

data:
CSV
timing:
0:02:17 elapsed time, 0:02:18 cpu time, factor 1.01
ML timing:
136.193s elapsed time, 137.081s cpu time, 2.671s GC time, factor 1.01
ML code maximum:
1.8 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.6 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

Codegen

data:
CSV
timing:
0:02:10 elapsed time, 0:02:10 cpu time, factor 1.00
ML timing:
128.484s elapsed time, 128.688s cpu time, 3.350s GC time, factor 1.00
ML stack maximum:
8.6 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Hoare_Parallel

data:
CSV
timing:
0:02:08 elapsed time, 0:02:08 cpu time, factor 1.00
ML timing:
126.766s elapsed time, 126.985s cpu time, 2.200s GC time, factor 1.00
ML stack maximum:
2.6 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
333d6271aa64

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:03 elapsed time, 0:02:03 cpu time, factor 1.00
ML timing:
120.040s elapsed time, 120.596s cpu time, 5.109s GC time, factor 1.00
ML stack maximum:
8.6 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Computational_Algebra

data:
CSV
timing:
0:01:58 elapsed time, 0:02:00 cpu time, factor 1.02
ML timing:
109.878s elapsed time, 111.790s cpu time, 4.137s GC time, factor 1.02
ML code maximum:
1.1 MiB
ML stack maximum:
16.6 MiB
ML stack average:
12.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
56.4 MiB
Isabelle version:
333d6271aa64

HOL-IMP

data:
CSV
timing:
0:01:57 elapsed time, 0:01:57 cpu time, factor 1.00
ML timing:
115.529s elapsed time, 115.801s cpu time, 3.581s GC time, factor 1.00
ML code maximum:
15.1 MiB
ML code average:
5.4 MiB
ML stack maximum:
4.6 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Examples

data:
CSV
timing:
0:01:51 elapsed time, 0:01:52 cpu time, factor 1.01
ML timing:
109.824s elapsed time, 110.363s cpu time, 4.113s GC time, factor 1.00
ML code maximum:
1.4 MiB
ML stack maximum:
9.1 MiB
ML stack average:
6.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Complex_Analysis

data:
CSV
timing:
0:01:49 elapsed time, 0:01:51 cpu time, factor 1.02
ML timing:
107.426s elapsed time, 109.585s cpu time, 2.481s GC time, factor 1.02
ML stack maximum:
8.6 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Bali

data:
CSV
timing:
0:01:43 elapsed time, 0:01:44 cpu time, factor 1.01
ML timing:
101.972s elapsed time, 103.210s cpu time, 3.326s GC time, factor 1.01
ML stack maximum:
8.6 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Record_Benchmark

data:
CSV
timing:
0:01:26 elapsed time, 0:01:25 cpu time, factor 0.99
ML timing:
84.860s elapsed time, 84.039s cpu time, 2.314s GC time, factor 0.99
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:
333d6271aa64

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:24 elapsed time, 0:00:58 cpu time, factor 0.69
ML timing:
83.302s elapsed time, 57.173s cpu time, 0.877s GC time, factor 0.69
ML stack maximum:
4.6 MiB
ML stack average:
4.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:09 elapsed time, 0:01:08 cpu time, factor 0.99
ML timing:
67.302s elapsed time, 67.184s cpu time, 2.080s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-UNITY

data:
CSV
timing:
0:00:53 elapsed time, 0:00:54 cpu time, factor 1.02
ML timing:
52.207s elapsed time, 53.151s cpu time, 1.953s GC time, factor 1.02
ML stack maximum:
8.6 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-SET_Protocol

data:
CSV
timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
ML timing:
50.300s elapsed time, 50.499s cpu time, 0.760s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

Datatypes

data:
CSV
timing:
0:00:44 elapsed time, 0:00:44 cpu time, factor 1.00
ML timing:
31.954s elapsed time, 32.181s cpu time, 1.833s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
95.5 MiB
Isabelle version:
333d6271aa64

Corec

data:
CSV
timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.00
ML timing:
37.618s elapsed time, 37.603s cpu time, 2.166s GC time, factor 1.00
ML code maximum:
2.9 MiB
ML code average:
2.7 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:
333d6271aa64

HOL-Metis_Examples

data:
CSV
timing:
0:00:39 elapsed time, 0:00:32 cpu time, factor 0.82
ML timing:
38.646s elapsed time, 31.211s cpu time, 1.314s GC time, factor 0.81
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Number_Theory

data:
CSV
timing:
0:00:35 elapsed time, 0:00:35 cpu time, factor 1.00
ML timing:
34.411s elapsed time, 34.990s cpu time, 0.638s GC time, factor 1.02
ML stack maximum:
4.6 MiB
ML stack average:
4.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Matrix_LP

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
29.381s elapsed time, 29.471s cpu time, 0.831s GC time, factor 1.00
ML code maximum:
1.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Analysis-ex

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
26.964s elapsed time, 27.035s cpu time, 0.255s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Hoare

data:
CSV
timing:
0:00:28 elapsed time, 0:00:27 cpu time, factor 0.96
ML timing:
26.938s elapsed time, 27.099s cpu time, 0.512s GC time, factor 1.01
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:
333d6271aa64

HOL-Combinatorics

data:
CSV
timing:
0:00:27 elapsed time, 0:00:28 cpu time, factor 1.04
ML timing:
26.809s elapsed time, 27.333s cpu time, 1.102s 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.4 GiB
Isabelle version:
333d6271aa64

HOL-SPARK

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
20.031s elapsed time, 20.283s cpu time, 0.735s 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:
21 MiB
Isabelle version:
333d6271aa64

HOL-Quotient_Examples

data:
CSV
timing:
0:00:24 elapsed time, 0:00:19 cpu time, factor 0.79
ML timing:
22.612s elapsed time, 18.483s cpu time, 0.750s GC time, factor 0.82
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:
333d6271aa64

Tutorial

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
22.028s elapsed time, 22.320s cpu time, 1.036s GC time, factor 1.01
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Cardinals

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
20.824s elapsed time, 21.291s cpu time, 0.612s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOLCF

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
15.861s elapsed time, 16.557s cpu time, 0.879s GC time, factor 1.04
ML code maximum:
1.3 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
26.1 MiB
Isabelle version:
333d6271aa64

ZF

data:
CSV
timing:
0:00:19 elapsed time, 0:00:17 cpu time, factor 0.89
ML timing:
15.676s elapsed time, 15.713s cpu time, 1.269s GC time, factor 1.00
ML code maximum:
3.1 MiB
ML code average:
2.4 MiB
ML stack maximum:
4.6 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
18.4 MiB
Isabelle version:
333d6271aa64

IOA

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
13.542s elapsed time, 13.821s cpu time, 0.492s GC time, factor 1.02
ML stack maximum:
2.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
10.1 MiB
Isabelle version:
333d6271aa64

HOLCF-Library

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
13.597s elapsed time, 13.962s cpu time, 0.455s GC time, factor 1.03
ML stack maximum:
2.6 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
14 MiB
Isabelle version:
333d6271aa64

Isar_Ref

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
16.432s elapsed time, 16.085s cpu time, 0.832s GC time, factor 0.98
ML stack maximum:
8.6 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
333d6271aa64

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
11.596s elapsed time, 12.092s cpu time, 0.451s GC time, factor 1.04
ML stack maximum:
4.6 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
14.3 MiB
Isabelle version:
333d6271aa64

HOL-Induct

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
14.501s elapsed time, 14.565s cpu time, 0.778s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

HOL-Nominal

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
10.911s elapsed time, 11.076s cpu time, 0.420s GC time, factor 1.02
ML code maximum:
2.5 MiB
ML stack maximum:
8.3 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
13.7 MiB
Isabelle version:
333d6271aa64

System

data:
CSV
timing:
0:00:14 elapsed time
ML timing:
14.226s elapsed time, 0.699s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
651 MiB
ML heap average:
340.6 MiB
Isabelle version:
333d6271aa64

HOL-SPARK-Examples

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
13.714s elapsed time, 13.789s cpu time, 0.218s 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.4 GiB
Isabelle version:
333d6271aa64

HOL-ZF

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
12.757s elapsed time, 13.264s cpu time, 0.615s GC time, factor 1.04
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:
333d6271aa64

ZF-Constructible

data:
CSV
timing:
0:00:13 elapsed time, 0:00:12 cpu time, factor 0.92
ML timing:
11.567s elapsed time, 11.546s cpu time, 1.371s GC time, factor 1.00
ML stack maximum:
2.6 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333d6271aa64

HOL-Types_To_Sets

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.776s elapsed time, 11.938s cpu time, 0.387s 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.4 GiB
Isabelle version:
333d6271aa64

HOL-Hahn_Banach

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.252s elapsed time, 10.561s cpu time, 0.434s GC time, factor 1.03
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

Typeclass_Hierarchy

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.361s elapsed time, 10.654s cpu time, 0.481s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

ZF-UNITY

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
11.288s elapsed time, 11.451s cpu time, 0.398s GC time, factor 1.01
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

HOL-TLA-Memory

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.562s elapsed time, 10.657s cpu time, 0.206s 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.3 GiB
Isabelle version:
333d6271aa64

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.395s elapsed time, 0.418s cpu time, 0.007s GC time, factor 1.06
ML code maximum:
24.3 MiB
ML code average:
24.3 MiB
ML stack maximum:
4.1 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
239.5 MiB
ML heap stored:
32.2 MiB
Isabelle version:
333d6271aa64

HOL-Statespace

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.379s elapsed time, 9.466s cpu time, 0.317s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

HOL-Import

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.700s elapsed time, 8.498s cpu time, 0.279s GC time, factor 0.98
ML stack maximum:
64.3 MiB
ML stack average:
57.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

Haskell

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
8.228s elapsed time, 0.240s cpu time, 0.000s GC time, factor 0.03
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
372 MiB
ML heap average:
371.9 MiB
Isabelle version:
333d6271aa64

HOL-Unix

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
7.282s elapsed time, 7.439s cpu time, 0.385s GC time, factor 1.02
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:
333d6271aa64

HOL-Probability-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.839s elapsed time, 7.844s cpu time, 0.315s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333d6271aa64

HOL-Isar_Examples

data:
CSV
timing:
0:00:08 elapsed time, 0:00:06 cpu time, factor 0.75
ML timing:
7.372s elapsed time, 6.084s cpu time, 0.223s GC time, factor 0.83
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:
333d6271aa64

ZF-Induct

data:
CSV
timing:
0:00:07 elapsed time, 0:00:05 cpu time, factor 0.71
ML timing:
4.862s elapsed time, 4.500s cpu time, 0.208s GC time, factor 0.93
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
875.6 MiB
ML heap stored:
5.7 MiB
Isabelle version:
333d6271aa64

HOL-Eisbach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
7.172s elapsed time, 7.327s cpu time, 0.232s GC time, factor 1.02
ML code maximum:
2.5 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

ZF-ex

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
6.240s elapsed time, 6.282s cpu time, 0.357s 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.1 GiB
Isabelle version:
333d6271aa64

HOLCF-Tutorial

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.481s elapsed time, 6.529s cpu time, 0.238s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
333d6271aa64

IOA-NTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.807s elapsed time, 5.844s cpu time, 0.229s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
333d6271aa64

FOL-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
5.493s elapsed time, 5.512s cpu time, 0.186s GC time, factor 1.00
ML code maximum:
1.3 MiB
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:
333d6271aa64

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:03 cpu time, factor 0.50
ML timing:
3.496s elapsed time, 3.504s cpu time, 0.325s GC time, factor 1.00
ML code maximum:
2.1 MiB
ML code average:
1.8 MiB
ML stack maximum:
4.6 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
718 MiB
Isabelle version:
333d6271aa64

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.875s elapsed time, 4.942s cpu time, 0.237s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333d6271aa64

Prog_Prove

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.212s elapsed time, 4.258s cpu time, 0.250s 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 GiB
Isabelle version:
333d6271aa64

Tools

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
2.179s elapsed time, 2.140s cpu time, 0.176s GC time, factor 0.98
ML code maximum:
2.6 MiB
ML code average:
2.1 MiB
ML stack maximum:
2.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
418.4 MiB
Isabelle version:
333d6271aa64

HOLCF-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.511s elapsed time, 4.632s cpu time, 0.263s 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.2 GiB
Isabelle version:
333d6271aa64

IOA-ABP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.681s elapsed time, 4.712s cpu time, 0.186s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333d6271aa64

LCF

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
1.848s elapsed time, 1.876s cpu time, 0.167s GC time, factor 1.02
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.4 GiB
ML heap average:
364.6 MiB
Isabelle version:
333d6271aa64

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.264s elapsed time, 4.294s cpu time, 0.161s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
333d6271aa64

HOL-TLA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
1.350s elapsed time, 1.440s cpu time, 0.107s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
732 MiB
ML heap average:
205.2 MiB
ML heap stored:
5.2 MiB
Isabelle version:
333d6271aa64

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.334s elapsed time, 3.345s cpu time, 0.097s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
333d6271aa64

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.853s elapsed time, 2.772s cpu time, 0.735s GC time, factor 0.97
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
687.7 MiB
Isabelle version:
333d6271aa64

HOLCF-FOCUS

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.968s elapsed time, 4.058s cpu time, 0.155s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
333d6271aa64

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.271s elapsed time, 3.327s cpu time, 0.174s 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:
333d6271aa64

Implementation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.899s elapsed time, 3.925s cpu time, 0.080s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
761 MiB
ML heap average:
622.4 MiB
Isabelle version:
333d6271aa64

HOL-TPTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.203s elapsed time, 3.274s cpu time, 0.180s GC time, factor 1.02
ML code maximum:
6.1 MiB
ML code average:
3.8 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
998.9 MiB
Isabelle version:
333d6271aa64

ZF-AC

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
4.026s elapsed time, 4.076s cpu time, 0.251s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1018.4 MiB
Isabelle version:
333d6271aa64

FOL

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.722s elapsed time, 1.724s cpu time, 0.166s GC time, factor 1.00
ML code maximum:
1.8 MiB
ML code average:
1.3 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
543.6 MiB
ML heap stored:
5.1 MiB
Isabelle version:
333d6271aa64

Sequents

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.620s elapsed time, 2.570s cpu time, 0.065s GC time, factor 0.98
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
333d6271aa64

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
3.086s elapsed time, 3.122s cpu time, 0.059s GC time, factor 1.01
ML code maximum:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
903.4 MiB
Isabelle version:
333d6271aa64

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.658s elapsed time, 1.689s cpu time, 0.071s GC time, factor 1.02
ML heap maximum:
933 MiB
ML heap average:
806.7 MiB
Isabelle version:
333d6271aa64

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.392s elapsed time, 0.861s cpu time, 0.054s GC time, factor 0.62
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
541 MiB
ML heap average:
375.5 MiB
Isabelle version:
333d6271aa64

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.345s elapsed time, 1.357s cpu time, 0.089s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
757 MiB
ML heap average:
740 MiB
Isabelle version:
333d6271aa64

CTT

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.618s elapsed time, 0.582s cpu time, 0.082s GC time, factor 0.94
ML stack maximum:
2.3 MiB
ML heap maximum:
197 MiB
ML heap average:
82 MiB
Isabelle version:
333d6271aa64

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.768s elapsed time, 1.782s cpu time, 0.059s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
558 MiB
Isabelle version:
333d6271aa64

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.720s elapsed time, 1.831s cpu time, 0.137s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
767 MiB
ML heap average:
612.3 MiB
Isabelle version:
333d6271aa64

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.631s elapsed time, 1.656s cpu time, 0.090s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
760 MiB
ML heap average:
742.4 MiB
Isabelle version:
333d6271aa64

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.384s elapsed time, 1.419s cpu time, 0.074s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
728 MiB
ML heap average:
347.3 MiB
Isabelle version:
333d6271aa64

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.228s elapsed time, 1.259s cpu time, 0.054s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
650 MiB
ML heap average:
555.5 MiB
Isabelle version:
333d6271aa64

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.463s elapsed time, 0.474s cpu time, 0.000s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
581 MiB
ML heap average:
581 MiB
Isabelle version:
333d6271aa64

HOL-New_Algebra-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.644s elapsed time, 0.652s cpu time, 0.092s GC time, factor 1.01
ML heap maximum:
86 MiB
ML heap average:
37 MiB
Isabelle version:
333d6271aa64

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.166s elapsed time, 1.198s cpu time, 0.065s GC time, factor 1.03
ML heap maximum:
758 MiB
ML heap average:
442.8 MiB
Isabelle version:
333d6271aa64

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.584s elapsed time, 0.613s cpu time, 0.052s GC time, factor 1.05
ML heap maximum:
128 MiB
ML heap average:
114 MiB
Isabelle version:
333d6271aa64

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.450s elapsed time, 0.455s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
688 MiB
ML heap average:
688 MiB
Isabelle version:
333d6271aa64

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.913s elapsed time, 0.926s cpu time, 0.090s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
733 MiB
ML heap average:
491.5 MiB
Isabelle version:
333d6271aa64

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.748s elapsed time, 0.753s cpu time, 0.066s GC time, factor 1.01
ML heap maximum:
627 MiB
ML heap average:
627 MiB
Isabelle version:
333d6271aa64

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.210s elapsed time, 0.217s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
67 MiB
ML heap average:
67 MiB
Isabelle version:
333d6271aa64

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.646s elapsed time, 0.668s cpu time, 0.075s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
225 MiB
ML heap average:
121.5 MiB
ML heap stored:
2.4 MiB
Isabelle version:
333d6271aa64

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.081s elapsed time, 1.089s cpu time, 0.062s GC time, factor 1.01
ML heap maximum:
680 MiB
ML heap average:
565.5 MiB
Isabelle version:
333d6271aa64

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.011s elapsed time, 1.060s cpu time, 0.079s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
656 MiB
ML heap average:
613 MiB
Isabelle version:
333d6271aa64

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.403s elapsed time, 0.306s cpu time, 0.000s GC time, factor 0.76
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
128 MiB
ML heap average:
2 MiB
Isabelle version:
333d6271aa64

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.302s elapsed time, 0.328s cpu time, 0.000s GC time, factor 1.09
ML stack maximum:
1.3 MiB
ML heap maximum:
88 MiB
ML heap average:
3 MiB
Isabelle version:
333d6271aa64

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.209s elapsed time, 0.227s cpu time, 0.000s GC time, factor 1.09
ML heap maximum:
170 MiB
ML heap average:
170 MiB
Isabelle version:
333d6271aa64

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
333d6271aa64

Logics_ZF

data:
CSV
ML timing:
0.389s elapsed time, 0.273s cpu time, 0.000s GC time, factor 0.70
ML heap maximum:
117 MiB
ML heap average:
117 MiB
Isabelle version:
333d6271aa64

SML

data:
CSV
ML timing:
0.005s elapsed time, 0.007s cpu time, 0.000s GC time, factor 1.40
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
333d6271aa64

How_to_Prove_it

data:
CSV
ML timing:
0.173s elapsed time, 0.172s cpu time, 0.000s GC time, factor 0.99
ML heap maximum:
80 MiB
ML heap average:
80 MiB
Isabelle version:
333d6271aa64

ZF-IMP

data:
CSV
ML timing:
0.660s elapsed time, 0.614s cpu time, 0.040s GC time, factor 0.93
ML heap maximum:
720 MiB
ML heap average:
720 MiB
Isabelle version:
333d6271aa64

Demo_FoilTeX

data:
CSV
ML timing:
0.077s elapsed time, 0.080s cpu time, 0.000s GC time, factor 1.04
ML heap maximum:
90 MiB
ML heap average:
90 MiB
Isabelle version:
333d6271aa64

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
333d6271aa64

Demo_LLNCS

data:
CSV
ML timing:
0.084s elapsed time, 0.086s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
42 MiB
ML heap average:
42 MiB
Isabelle version:
333d6271aa64

Demo_LIPIcs

data:
CSV
ML timing:
0.083s elapsed time, 0.083s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
82 MiB
ML heap average:
82 MiB
Isabelle version:
333d6271aa64

Nitpick

data:
CSV
Isabelle version:
333d6271aa64

Pure-ex

data:
CSV
ML timing:
0.247s elapsed time, 0.236s cpu time, 0.000s GC time, factor 0.96
ML heap maximum:
36 MiB
ML heap average:
5 MiB
Isabelle version:
333d6271aa64

Demo_Easychair

data:
CSV
ML timing:
0.080s elapsed time, 0.082s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
333d6271aa64

Cube

data:
CSV
ML timing:
0.138s elapsed time, 0.132s cpu time, 0.000s GC time, factor 0.96
ML heap maximum:
191 MiB
ML heap average:
191 MiB
Isabelle version:
333d6271aa64

Intro

data:
CSV
Isabelle version:
333d6271aa64

Demo_EPTCS

data:
CSV
ML timing:
0.083s elapsed time, 0.081s cpu time, 0.000s GC time, factor 0.98
ML heap maximum:
82 MiB
ML heap average:
82 MiB
Isabelle version:
333d6271aa64

Pure-Examples

data:
CSV
ML timing:
0.478s elapsed time, 0.167s cpu time, 0.000s GC time, factor 0.35
ML heap maximum:
252 MiB
ML heap average:
252 MiB
Isabelle version:
333d6271aa64