Isabelle build status for Linux (ARM)

status date:
02-May-2026 07:16:03 +0200
build host:
linux-arm

HOL-Analysis

data:
CSV
timing:
1:16:35 elapsed time, 1:17:00 cpu time, factor 1.01
ML timing:
4488.908s elapsed time, 4514.383s cpu time, 1275.833s GC time, factor 1.01
ML code maximum:
4.7 MiB
ML code average:
3.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
15.1 MiB
ML heap maximum:
3.9 GiB
ML heap average:
2.5 GiB
ML heap stored:
261.7 MiB
Isabelle version:
b28eb0ace0a1

HOL-Datatype_Benchmark

data:
CSV
timing:
1:07:17 elapsed time, 1:07:14 cpu time, factor 1.00
ML timing:
4019.120s elapsed time, 4016.878s cpu time, 2778.721s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
4.1 GiB
ML heap average:
3.3 GiB
Isabelle version:
b28eb0ace0a1

HOL-Proofs

data:
CSV
timing:
0:52:03 elapsed time, 0:52:02 cpu time, factor 1.00
ML timing:
2969.667s elapsed time, 2968.864s cpu time, 2030.960s GC time, factor 1.00
ML code maximum:
37.7 MiB
ML code average:
27.8 MiB
ML stack maximum:
32.3 MiB
ML stack average:
28.4 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.8 GiB
ML heap stored:
386.8 MiB
Isabelle version:
b28eb0ace0a1

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:39:21 elapsed time, 0:39:24 cpu time, factor 1.00
ML timing:
2358.799s elapsed time, 2362.474s cpu time, 49.558s GC time, factor 1.00
ML code maximum:
158.1 MiB
ML code average:
111.2 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
b28eb0ace0a1

HOL-Data_Structures

data:
CSV
timing:
0:37:24 elapsed time, 0:37:30 cpu time, factor 1.00
ML timing:
2235.780s elapsed time, 2242.205s cpu time, 494.876s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
6 MiB
ML heap maximum:
2 GiB
ML heap average:
1.7 GiB
Isabelle version:
b28eb0ace0a1

HOL

data:
CSV
timing:
0:27:48 elapsed time, 0:28:02 cpu time, factor 1.01
ML timing:
1615.624s elapsed time, 1630.662s cpu time, 596.585s GC time, factor 1.01
ML code maximum:
38 MiB
ML code average:
31 MiB
ML stack maximum:
32.3 MiB
ML stack average:
27.6 MiB
ML heap maximum:
2 GiB
ML heap average:
1.6 GiB
ML heap stored:
208.1 MiB
Isabelle version:
b28eb0ace0a1

HOL-ex

data:
CSV
timing:
0:26:15 elapsed time, 0:25:53 cpu time, factor 0.99
ML timing:
1568.034s elapsed time, 1546.282s cpu time, 239.311s GC time, factor 0.99
ML code maximum:
5.2 MiB
ML code average:
3.4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.2 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.5 GiB
Isabelle version:
b28eb0ace0a1

HOL-Codegenerator_Test

data:
CSV
timing:
0:26:07 elapsed time, 0:20:57 cpu time, factor 0.80
ML timing:
1559.920s elapsed time, 1250.548s cpu time, 218.802s GC time, factor 0.80
ML code maximum:
3 MiB
ML code average:
2.7 MiB
ML stack maximum:
17 MiB
ML stack average:
14.8 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.6 GiB
Isabelle version:
b28eb0ace0a1

HOL-Nominal-Examples

data:
CSV
timing:
0:26:06 elapsed time, 0:26:05 cpu time, factor 1.00
ML timing:
1391.338s elapsed time, 1390.846s cpu time, 88.478s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.6 MiB
ML heap maximum:
3.1 GiB
ML heap average:
2.6 GiB
Isabelle version:
b28eb0ace0a1

HOL-Library

data:
CSV
timing:
0:21:53 elapsed time, 0:21:53 cpu time, factor 1.00
ML timing:
1224.664s elapsed time, 1225.041s cpu time, 227.608s GC time, factor 1.00
ML code maximum:
5.6 MiB
ML code average:
4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.5 GiB
ML heap stored:
145.3 MiB
Isabelle version:
b28eb0ace0a1

HOL-Decision_Procs

data:
CSV
timing:
0:20:54 elapsed time, 0:21:03 cpu time, factor 1.01
ML timing:
1247.755s elapsed time, 1257.160s cpu time, 132.145s GC time, factor 1.01
ML code maximum:
5.3 MiB
ML code average:
3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
17 MiB
ML heap maximum:
2.8 GiB
ML heap average:
2 GiB
Isabelle version:
b28eb0ace0a1

HOL-Algebra

data:
CSV
timing:
0:18:32 elapsed time, 0:18:44 cpu time, factor 1.01
ML timing:
1054.904s elapsed time, 1066.868s cpu time, 369.596s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
3.3 GiB
ML heap average:
1.9 GiB
ML heap stored:
62.7 MiB
Isabelle version:
b28eb0ace0a1

HOL-Corec_Examples

data:
CSV
timing:
0:17:36 elapsed time, 0:17:38 cpu time, factor 1.00
ML timing:
1035.212s elapsed time, 1037.708s cpu time, 352.693s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
2.8 GiB
ML heap average:
1.8 GiB
Isabelle version:
b28eb0ace0a1

HOL-Imperative_HOL

data:
CSV
timing:
0:09:31 elapsed time, 0:08:26 cpu time, factor 0.89
ML timing:
567.303s elapsed time, 502.393s cpu time, 35.271s GC time, factor 0.89
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:
b28eb0ace0a1

HOL-Probability

data:
CSV
timing:
0:08:41 elapsed time, 0:08:39 cpu time, factor 1.00
ML timing:
467.719s elapsed time, 466.661s cpu time, 26.539s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
51.4 MiB
Isabelle version:
b28eb0ace0a1

HOL-Real_Asymp

data:
CSV
timing:
0:07:39 elapsed time, 0:07:44 cpu time, factor 1.01
ML timing:
426.037s elapsed time, 430.938s cpu time, 23.654s GC time, factor 1.01
ML code maximum:
3.8 MiB
ML code average:
3.1 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.4 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
ML heap stored:
65.3 MiB
Isabelle version:
b28eb0ace0a1

Codegen

data:
CSV
timing:
0:07:35 elapsed time, 0:07:29 cpu time, factor 0.99
ML timing:
451.399s elapsed time, 445.324s cpu time, 36.158s GC time, factor 0.99
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:
b28eb0ace0a1

HOL-Homology

data:
CSV
timing:
0:07:33 elapsed time, 0:07:40 cpu time, factor 1.02
ML timing:
447.983s elapsed time, 454.987s cpu time, 51.391s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.9 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
b28eb0ace0a1

HOL-Datatype_Examples

data:
CSV
timing:
0:07:10 elapsed time, 0:07:12 cpu time, factor 1.00
ML timing:
417.876s elapsed time, 420.597s cpu time, 40.618s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.2 GiB
Isabelle version:
b28eb0ace0a1

HOL-Auth

data:
CSV
timing:
0:07:08 elapsed time, 0:07:11 cpu time, factor 1.01
ML timing:
411.589s elapsed time, 415.174s cpu time, 13.117s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
29.9 MiB
Isabelle version:
b28eb0ace0a1

HOL-MicroJava

data:
CSV
timing:
0:06:51 elapsed time, 0:06:55 cpu time, factor 1.01
ML timing:
408.830s elapsed time, 412.873s cpu time, 7.951s GC time, factor 1.01
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
b28eb0ace0a1

HOL-Hoare_Parallel

data:
CSV
timing:
0:06:12 elapsed time, 0:06:14 cpu time, factor 1.01
ML timing:
369.673s elapsed time, 371.692s cpu time, 6.733s 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:
b28eb0ace0a1

HOL-Computational_Algebra

data:
CSV
timing:
0:06:01 elapsed time, 0:06:07 cpu time, factor 1.02
ML timing:
329.728s elapsed time, 335.875s cpu time, 19.875s GC time, factor 1.02
ML stack maximum:
16.3 MiB
ML stack average:
11.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
40.8 MiB
Isabelle version:
b28eb0ace0a1

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:05:43 elapsed time, 0:04:40 cpu time, factor 0.82
ML timing:
339.676s elapsed time, 277.294s cpu time, 7.113s GC time, factor 0.82
ML code maximum:
7.9 MiB
ML code average:
2.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOL-Bali

data:
CSV
timing:
0:05:31 elapsed time, 0:05:36 cpu time, factor 1.02
ML timing:
327.804s elapsed time, 333.615s cpu time, 23.320s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOL-Complex_Analysis

data:
CSV
timing:
0:05:26 elapsed time, 0:05:33 cpu time, factor 1.02
ML timing:
322.545s elapsed time, 329.689s cpu time, 9.833s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOL-IMP

data:
CSV
timing:
0:05:21 elapsed time, 0:05:22 cpu time, factor 1.00
ML timing:
318.072s elapsed time, 319.125s cpu time, 12.057s GC time, factor 1.00
ML code maximum:
12.2 MiB
ML code average:
4.7 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOL-Number_Theory

data:
CSV
timing:
0:05:19 elapsed time, 0:05:24 cpu time, factor 1.02
ML timing:
315.563s elapsed time, 320.709s cpu time, 25.136s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
b28eb0ace0a1

HOL-Proofs-Extraction

data:
CSV
timing:
0:04:37 elapsed time, 0:04:39 cpu time, factor 1.01
ML timing:
271.563s elapsed time, 274.128s cpu time, 16.730s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
b28eb0ace0a1

HOL-Examples

data:
CSV
timing:
0:04:18 elapsed time, 0:04:19 cpu time, factor 1.00
ML timing:
253.869s elapsed time, 255.883s cpu time, 19.575s GC time, factor 1.01
ML stack maximum:
8.8 MiB
ML stack average:
6.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOL-SMT_Examples

data:
CSV
timing:
0:03:18 elapsed time, 0:03:08 cpu time, factor 0.95
ML timing:
195.971s elapsed time, 186.813s cpu time, 7.211s GC time, factor 0.95
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOL-Nitpick_Examples

data:
CSV
timing:
0:03:03 elapsed time, 0:02:13 cpu time, factor 0.73
ML timing:
181.097s elapsed time, 131.468s cpu time, 2.470s GC time, factor 0.73
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:
b28eb0ace0a1

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:02 elapsed time, 0:03:04 cpu time, factor 1.01
ML timing:
179.685s elapsed time, 181.650s cpu time, 8.236s GC time, factor 1.01
ML code maximum:
10.8 MiB
ML code average:
4.3 MiB
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:
b28eb0ace0a1

HOL-Proofs-Lambda

data:
CSV
timing:
0:02:44 elapsed time, 0:02:45 cpu time, factor 1.01
ML timing:
161.094s elapsed time, 161.718s cpu time, 8.427s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
b28eb0ace0a1

HOL-SET_Protocol

data:
CSV
timing:
0:02:37 elapsed time, 0:02:37 cpu time, factor 1.00
ML timing:
155.067s elapsed time, 155.916s cpu time, 3.509s GC time, factor 1.01
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:
b28eb0ace0a1

HOL-UNITY

data:
CSV
timing:
0:02:32 elapsed time, 0:02:35 cpu time, factor 1.02
ML timing:
148.872s elapsed time, 152.076s cpu time, 5.771s GC time, factor 1.02
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:
b28eb0ace0a1

HOL-Record_Benchmark

data:
CSV
timing:
0:02:29 elapsed time, 0:02:29 cpu time, factor 1.00
ML timing:
145.965s elapsed time, 146.240s cpu time, 11.998s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

Datatypes

data:
CSV
timing:
0:02:17 elapsed time, 0:02:15 cpu time, factor 0.99
ML timing:
93.653s elapsed time, 91.203s cpu time, 6.339s GC time, factor 0.97
ML stack maximum:
8.3 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
69.8 MiB
Isabelle version:
b28eb0ace0a1

HOL-Metis_Examples

data:
CSV
timing:
0:01:50 elapsed time, 0:01:32 cpu time, factor 0.84
ML timing:
107.709s elapsed time, 90.139s cpu time, 6.993s GC time, factor 0.84
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
2 GiB
ML heap average:
1.5 GiB
Isabelle version:
b28eb0ace0a1

Corec

data:
CSV
timing:
0:01:47 elapsed time, 0:01:44 cpu time, factor 0.97
ML timing:
102.160s elapsed time, 99.934s cpu time, 5.963s GC time, factor 0.98
ML code maximum:
2.8 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:
b28eb0ace0a1

HOL-Hoare

data:
CSV
timing:
0:01:40 elapsed time, 0:01:40 cpu time, factor 1.00
ML timing:
98.361s elapsed time, 99.085s cpu time, 1.565s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOL-Matrix_LP

data:
CSV
timing:
0:01:21 elapsed time, 0:01:22 cpu time, factor 1.01
ML timing:
79.637s elapsed time, 80.037s cpu time, 3.635s GC time, factor 1.01
ML code maximum:
1.2 MiB
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:
b28eb0ace0a1

HOL-Combinatorics

data:
CSV
timing:
0:01:18 elapsed time, 0:01:19 cpu time, factor 1.01
ML timing:
75.693s elapsed time, 77.787s cpu time, 3.165s GC time, factor 1.03
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:
b28eb0ace0a1

HOL-SPARK

data:
CSV
timing:
0:01:14 elapsed time, 0:01:14 cpu time, factor 1.00
ML timing:
59.198s elapsed time, 60.124s cpu time, 2.206s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
15 MiB
Isabelle version:
b28eb0ace0a1

Tutorial

data:
CSV
timing:
0:01:09 elapsed time, 0:01:06 cpu time, factor 0.96
ML timing:
66.290s elapsed time, 63.467s cpu time, 3.011s GC time, factor 0.96
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

Isar_Ref

data:
CSV
timing:
0:01:06 elapsed time, 0:00:48 cpu time, factor 0.73
ML timing:
64.079s elapsed time, 46.248s cpu time, 3.672s GC time, factor 0.72
ML stack maximum:
8.3 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

HOL-Analysis-ex

data:
CSV
timing:
0:01:05 elapsed time, 0:01:05 cpu time, factor 1.00
ML timing:
62.019s elapsed time, 62.251s cpu time, 0.606s 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:
b28eb0ace0a1

HOL-Quotient_Examples

data:
CSV
timing:
0:01:05 elapsed time, 0:00:52 cpu time, factor 0.80
ML timing:
62.402s elapsed time, 49.236s cpu time, 2.048s GC time, factor 0.79
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:
b28eb0ace0a1

HOL-Cardinals

data:
CSV
timing:
0:01:03 elapsed time, 0:01:04 cpu time, factor 1.02
ML timing:
61.126s elapsed time, 62.553s cpu time, 1.846s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
b28eb0ace0a1

HOLCF

data:
CSV
timing:
0:00:59 elapsed time, 0:01:01 cpu time, factor 1.03
ML timing:
44.210s elapsed time, 46.255s cpu time, 2.260s GC time, factor 1.05
ML code maximum:
1.3 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:
18.7 MiB
Isabelle version:
b28eb0ace0a1

HOLCF-Library

data:
CSV
timing:
0:00:51 elapsed time, 0:00:52 cpu time, factor 1.02
ML timing:
37.991s elapsed time, 38.878s cpu time, 1.181s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.4 MiB
Isabelle version:
b28eb0ace0a1

IOA

data:
CSV
timing:
0:00:51 elapsed time, 0:00:52 cpu time, factor 1.02
ML timing:
37.474s elapsed time, 38.523s cpu time, 1.453s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
6.3 MiB
Isabelle version:
b28eb0ace0a1

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:46 elapsed time, 0:00:47 cpu time, factor 1.02
ML timing:
32.100s elapsed time, 33.538s cpu time, 1.404s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
999.5 MiB
ML heap stored:
9.7 MiB
Isabelle version:
b28eb0ace0a1

ZF

data:
CSV
timing:
0:00:45 elapsed time, 0:00:47 cpu time, factor 1.04
ML timing:
42.558s elapsed time, 45.309s cpu time, 3.469s GC time, factor 1.06
ML code maximum:
2.5 MiB
ML code average:
2 MiB
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
14.1 MiB
Isabelle version:
b28eb0ace0a1

HOL-Nominal

data:
CSV
timing:
0:00:43 elapsed time, 0:00:41 cpu time, factor 0.95
ML timing:
29.710s elapsed time, 30.214s cpu time, 2.287s GC time, factor 1.02
ML code maximum:
2.4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
4.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
980.2 MiB
ML heap stored:
9.6 MiB
Isabelle version:
b28eb0ace0a1

HOL-SPARK-Examples

data:
CSV
timing:
0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
ML timing:
41.140s elapsed time, 41.515s cpu time, 0.597s 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:
b28eb0ace0a1

HOL-Induct

data:
CSV
timing:
0:00:42 elapsed time, 0:00:40 cpu time, factor 0.95
ML timing:
37.286s elapsed time, 37.809s cpu time, 1.912s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

HOL-ZF

data:
CSV
timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.03
ML timing:
37.838s elapsed time, 39.221s cpu time, 1.711s GC time, factor 1.04
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

System

data:
CSV
timing:
0:00:36 elapsed time
ML timing:
35.631s elapsed time, 1.759s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
621 MiB
ML heap average:
339 MiB
Isabelle version:
b28eb0ace0a1

HOL-Types_To_Sets

data:
CSV
timing:
0:00:34 elapsed time, 0:00:34 cpu time, factor 1.00
ML timing:
32.171s elapsed time, 32.732s cpu time, 1.043s GC time, factor 1.02
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:
b28eb0ace0a1

ZF-Constructible

data:
CSV
timing:
0:00:34 elapsed time, 0:00:36 cpu time, factor 1.06
ML timing:
34.008s elapsed time, 35.621s cpu time, 6.259s GC time, factor 1.05
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
b28eb0ace0a1

Typeclass_Hierarchy

data:
CSV
timing:
0:00:32 elapsed time, 0:00:32 cpu time, factor 1.00
ML timing:
30.517s elapsed time, 30.609s cpu time, 1.361s GC time, factor 1.00
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:
b28eb0ace0a1

HOL-TLA-Memory

data:
CSV
timing:
0:00:31 elapsed time, 0:00:31 cpu time, factor 1.00
ML timing:
29.546s elapsed time, 29.901s cpu time, 0.542s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

HOL-Hahn_Banach

data:
CSV
timing:
0:00:30 elapsed time, 0:00:31 cpu time, factor 1.03
ML timing:
29.039s elapsed time, 30.051s cpu time, 1.177s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

Pure

data:
CSV
timing:
0:00:30 elapsed time, 0:00:29 cpu time, factor 0.97
ML timing:
1.228s elapsed time, 1.275s cpu time, 0.027s GC time, factor 1.04
ML code maximum:
24.1 MiB
ML code average:
24 MiB
ML stack maximum:
4 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
619.2 MiB
ML heap stored:
28.6 MiB
Isabelle version:
b28eb0ace0a1

ZF-UNITY

data:
CSV
timing:
0:00:30 elapsed time, 0:00:30 cpu time, factor 1.00
ML timing:
28.955s elapsed time, 30.055s cpu time, 1.057s GC time, factor 1.04
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:
b28eb0ace0a1

HOL-Probability-ex

data:
CSV
timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.04
ML timing:
21.512s elapsed time, 21.842s cpu time, 0.588s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

HOL-Import

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
21.268s elapsed time, 21.359s cpu time, 0.592s 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:
b28eb0ace0a1

HOL-Unix

data:
CSV
timing:
0:00:23 elapsed time, 0:00:22 cpu time, factor 0.96
ML timing:
21.194s elapsed time, 21.222s cpu time, 1.055s 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.3 GiB
Isabelle version:
b28eb0ace0a1

HOLCF-Tutorial

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
19.749s elapsed time, 20.000s cpu time, 0.444s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

HOL-Statespace

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.403s elapsed time, 19.670s cpu time, 0.760s 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.3 GiB
Isabelle version:
b28eb0ace0a1

HOL-Eisbach

data:
CSV
timing:
0:00:20 elapsed time, 0:00:21 cpu time, factor 1.05
ML timing:
19.025s elapsed time, 19.422s cpu time, 0.465s GC time, factor 1.02
ML code maximum:
2.6 MiB
ML code average:
2.2 MiB
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
b28eb0ace0a1

IOA-NTP

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
15.959s elapsed time, 16.159s cpu time, 0.600s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
b28eb0ace0a1

HOL-Isar_Examples

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.650s elapsed time, 15.498s cpu time, 0.509s GC time, factor 0.99
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:
b28eb0ace0a1

ZF-ex

data:
CSV
timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.06
ML timing:
16.570s elapsed time, 17.270s cpu time, 0.652s 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:
b28eb0ace0a1

HOL-NanoJava

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
13.658s elapsed time, 13.879s cpu time, 0.566s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
b28eb0ace0a1

IOA-ABP

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
13.068s elapsed time, 13.185s cpu time, 0.429s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
b28eb0ace0a1

Implementation

data:
CSV
timing:
0:00:15 elapsed time, 0:00:08 cpu time, factor 0.53
ML timing:
13.797s elapsed time, 7.032s cpu time, 0.065s GC time, factor 0.51
ML stack maximum:
4.3 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.1 GiB
ML heap average:
731 MiB
Isabelle version:
b28eb0ace0a1

HOL-TLA

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
3.823s elapsed time, 4.140s cpu time, 0.130s GC time, factor 1.08
ML stack maximum:
2.3 MiB
ML heap maximum:
824 MiB
ML heap average:
206.4 MiB
ML heap stored:
2.9 MiB
Isabelle version:
b28eb0ace0a1

FOL-ex

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
13.274s elapsed time, 13.547s cpu time, 0.315s GC time, factor 1.02
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.2 GiB
Isabelle version:
b28eb0ace0a1

Prog_Prove

data:
CSV
timing:
0:00:14 elapsed time, 0:00:13 cpu time, factor 0.93
ML timing:
11.702s elapsed time, 11.646s cpu time, 0.477s 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.1 GiB
Isabelle version:
b28eb0ace0a1

HOLCF-ex

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
12.392s elapsed time, 12.831s cpu time, 0.475s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
b28eb0ace0a1

CCL

data:
CSV
timing:
0:00:14 elapsed time, 0:00:11 cpu time, factor 0.79
ML timing:
10.621s elapsed time, 10.540s cpu time, 0.685s GC time, factor 0.99
ML code maximum:
2.2 MiB
ML code average:
1.7 MiB
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
b28eb0ace0a1

HOLCF-FOCUS

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.164s elapsed time, 11.454s cpu time, 0.292s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

HOLCF-IMP

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.616s elapsed time, 11.715s cpu time, 0.373s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
b28eb0ace0a1

ZF-Induct

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.787s elapsed time, 11.061s cpu time, 0.477s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
3.9 MiB
Isabelle version:
b28eb0ace0a1

HOL-SPARK-Manual

data:
CSV
timing:
0:00:12 elapsed time, 0:00:11 cpu time, factor 0.92
ML timing:
10.282s elapsed time, 10.168s cpu time, 0.123s GC time, factor 0.99
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

HOL-IMPP

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
9.580s elapsed time, 9.758s cpu time, 0.407s 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:
b28eb0ace0a1

HOL-TPTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
8.369s elapsed time, 8.611s cpu time, 0.268s GC time, factor 1.03
ML code maximum:
5.8 MiB
ML code average:
4.1 MiB
ML stack maximum:
16.3 MiB
ML stack average:
15.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
b28eb0ace0a1

ZF-AC

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.780s elapsed time, 10.338s cpu time, 0.596s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

HOL-Proofs-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
6.672s elapsed time, 6.727s cpu time, 1.195s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
962.6 MiB
Isabelle version:
b28eb0ace0a1

JEdit

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
7.960s elapsed time, 1.128s cpu time, 0.000s GC time, factor 0.14
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
450 MiB
ML heap average:
300.9 MiB
Isabelle version:
b28eb0ace0a1

FOL

data:
CSV
timing:
0:00:08 elapsed time, 0:00:06 cpu time, factor 0.75
ML timing:
5.510s elapsed time, 5.302s cpu time, 0.178s GC time, factor 0.96
ML code maximum:
1.9 MiB
ML code average:
1.2 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
852.2 MiB
ML heap stored:
3.9 MiB
Isabelle version:
b28eb0ace0a1

FOLP-ex

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.660s elapsed time, 7.866s cpu time, 0.140s GC time, factor 1.03
ML code maximum:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

HOL-IOA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.023s elapsed time, 5.115s cpu time, 0.089s GC time, factor 1.02
ML heap maximum:
1.4 GiB
ML heap average:
784.1 MiB
Isabelle version:
b28eb0ace0a1

HOL-TLA-Inc

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
5.584s elapsed time, 5.642s cpu time, 0.093s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
856.7 MiB
Isabelle version:
b28eb0ace0a1

Functions

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
5.134s elapsed time, 4.947s cpu time, 0.117s GC time, factor 0.96
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.2 GiB
ML heap average:
763.4 MiB
Isabelle version:
b28eb0ace0a1

Classes

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
5.155s elapsed time, 3.317s cpu time, 0.091s GC time, factor 0.64
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
757 MiB
ML heap average:
426.2 MiB
Isabelle version:
b28eb0ace0a1

Sequents

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.928s elapsed time, 6.177s cpu time, 0.156s GC time, factor 1.04
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

Locales

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
4.454s elapsed time, 3.228s cpu time, 0.112s GC time, factor 0.72
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
616.1 MiB
Isabelle version:
b28eb0ace0a1

HOL-Lattice

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
4.215s elapsed time, 4.436s cpu time, 0.133s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
834 MiB
ML heap average:
643 MiB
Isabelle version:
b28eb0ace0a1

Tools

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.933s elapsed time, 5.042s cpu time, 0.289s GC time, factor 1.02
ML code maximum:
2.6 MiB
ML code average:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
3.687s elapsed time, 3.738s cpu time, 0.104s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
746.1 MiB
Isabelle version:
b28eb0ace0a1

Haskell

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0.661s elapsed time, 0.694s cpu time, 0.000s GC time, factor 1.05
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
335 MiB
ML heap average:
335 MiB
Isabelle version:
b28eb0ace0a1

Eisbach

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
3.779s elapsed time, 3.495s cpu time, 0.108s GC time, factor 0.92
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
827 MiB
ML heap average:
713 MiB
Isabelle version:
b28eb0ace0a1

LCF

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.611s elapsed time, 4.899s cpu time, 0.152s GC time, factor 1.06
ML code maximum:
1.9 MiB
ML code average:
1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
b28eb0ace0a1

ZF-Resid

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.077s elapsed time, 3.233s cpu time, 0.073s GC time, factor 1.05
ML heap maximum:
906 MiB
ML heap average:
568.4 MiB
Isabelle version:
b28eb0ace0a1

IOA-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.263s elapsed time, 2.305s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
688 MiB
ML heap average:
472.9 MiB
Isabelle version:
b28eb0ace0a1

IOA-Storage

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.913s elapsed time, 2.944s cpu time, 0.085s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
480.1 MiB
Isabelle version:
b28eb0ace0a1

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.225s elapsed time, 3.301s cpu time, 0.065s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
756 MiB
ML heap average:
524.9 MiB
Isabelle version:
b28eb0ace0a1

Sugar

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.543s elapsed time, 1.447s cpu time, 0.000s GC time, factor 0.94
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
540 MiB
ML heap average:
375.6 MiB
Isabelle version:
b28eb0ace0a1

HOL-TLA-Buffer

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.650s elapsed time, 1.690s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
597 MiB
ML heap average:
306.1 MiB
Isabelle version:
b28eb0ace0a1

HOL-Mutabelle

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.330s elapsed time, 2.378s cpu time, 0.177s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
768 MiB
ML heap average:
641.7 MiB
Isabelle version:
b28eb0ace0a1

CTT

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.987s elapsed time, 1.997s cpu time, 0.151s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
731 MiB
ML heap average:
289 MiB
Isabelle version:
b28eb0ace0a1

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0.753s elapsed time, 0.751s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
294 MiB
ML heap average:
100.1 MiB
Isabelle version:
b28eb0ace0a1

ZF-Coind

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.623s elapsed time, 1.705s cpu time, 0.072s GC time, factor 1.05
ML heap maximum:
755 MiB
ML heap average:
516.2 MiB
Isabelle version:
b28eb0ace0a1

How_to_Prove_it

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.618s elapsed time, 0.635s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
265 MiB
ML heap average:
265 MiB
Isabelle version:
b28eb0ace0a1

ZF-IMP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.531s elapsed time, 1.577s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
698 MiB
ML heap average:
506.9 MiB
Isabelle version:
b28eb0ace0a1

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.882s elapsed time, 1.954s cpu time, 0.064s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
758 MiB
ML heap average:
396.1 MiB
ML heap stored:
1.5 MiB
Isabelle version:
b28eb0ace0a1

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.146s elapsed time, 1.235s cpu time, 0.000s GC time, factor 1.08
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
507 MiB
ML heap average:
395.9 MiB
Isabelle version:
b28eb0ace0a1

HOL-Prolog

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.653s elapsed time, 0.705s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
334 MiB
ML heap average:
334 MiB
Isabelle version:
b28eb0ace0a1

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.953s elapsed time, 0.826s cpu time, 0.000s GC time, factor 0.87
ML heap maximum:
416 MiB
ML heap average:
317 MiB
Isabelle version:
b28eb0ace0a1

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.277s elapsed time, 0.285s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
42 MiB
ML heap average:
42 MiB
Isabelle version:
b28eb0ace0a1

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.338s elapsed time, 0.302s cpu time, 0.000s GC time, factor 0.89
ML heap maximum:
46 MiB
ML heap average:
46 MiB
Isabelle version:
b28eb0ace0a1

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.312s elapsed time, 0.269s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
56 MiB
ML heap average:
56 MiB
Isabelle version:
b28eb0ace0a1

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.859s elapsed time, 0.799s cpu time, 0.000s GC time, factor 0.93
ML heap maximum:
357 MiB
ML heap average:
262.5 MiB
Isabelle version:
b28eb0ace0a1

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.336s elapsed time, 0.298s cpu time, 0.000s GC time, factor 0.89
ML heap maximum:
30 MiB
ML heap average:
3 MiB
Isabelle version:
b28eb0ace0a1

Cube

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.623s elapsed time, 0.587s cpu time, 0.000s GC time, factor 0.94
ML heap maximum:
228 MiB
ML heap average:
228 MiB
Isabelle version:
b28eb0ace0a1

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.366s elapsed time, 0.331s cpu time, 0.000s GC time, factor 0.90
ML heap maximum:
41 MiB
ML heap average:
3 MiB
Isabelle version:
b28eb0ace0a1

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.774s elapsed time, 0.731s cpu time, 0.000s GC time, factor 0.94
ML heap maximum:
165 MiB
ML heap average:
84 MiB
Isabelle version:
b28eb0ace0a1

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
b28eb0ace0a1

SML

data:
CSV
ML timing:
0.021s elapsed time, 0.024s cpu time, 0.000s GC time, factor 1.14
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
b28eb0ace0a1

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
b28eb0ace0a1

Nitpick

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
b28eb0ace0a1

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
b28eb0ace0a1