Isabelle build status for macOS 13 Ventura (ARM)

status date:
15-May-2026 13:59:26 +0200
build host:
mini3

HOL-Analysis

data:
CSV
timing:
0:20:31 elapsed time, 0:20:33 cpu time, factor 1.00
ML timing:
1165.152s elapsed time, 1166.895s cpu time, 65.450s GC time, factor 1.00
ML code maximum:
4.8 MiB
ML code average:
3.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
14.5 MiB
ML heap maximum:
7.2 GiB
ML heap average:
4.5 GiB
ML heap stored:
261.7 MiB
Isabelle version:
bf227fa26760

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:17:51 elapsed time, 0:17:21 cpu time, factor 0.97
ML timing:
1070.377s elapsed time, 1040.318s cpu time, 31.709s GC time, factor 0.97
ML code maximum:
337.1 MiB
ML code average:
190.6 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.5 GiB
Isabelle version:
bf227fa26760

HOL-Data_Structures

data:
CSV
timing:
0:10:42 elapsed time, 0:10:39 cpu time, factor 1.00
ML timing:
632.560s elapsed time, 631.092s cpu time, 46.089s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.7 MiB
ML heap maximum:
7.9 GiB
ML heap average:
3.1 GiB
Isabelle version:
bf227fa26760

HOL-ex

data:
CSV
timing:
0:10:02 elapsed time, 0:09:52 cpu time, factor 0.98
ML timing:
599.169s elapsed time, 589.270s cpu time, 23.907s GC time, factor 0.98
ML code maximum:
5.5 MiB
ML code average:
4 MiB
ML stack maximum:
8.4 MiB
ML stack average:
7.4 MiB
ML heap maximum:
6.5 GiB
ML heap average:
4.1 GiB
Isabelle version:
bf227fa26760

HOL-Datatype_Benchmark

data:
CSV
timing:
0:09:37 elapsed time, 0:09:31 cpu time, factor 0.99
ML timing:
564.093s elapsed time, 559.194s cpu time, 82.384s GC time, factor 0.99
ML stack maximum:
4.3 MiB
ML stack average:
3.5 MiB
ML heap maximum:
14 GiB
ML heap average:
6.1 GiB
Isabelle version:
bf227fa26760

HOL-Codegenerator_Test

data:
CSV
timing:
0:08:40 elapsed time, 0:06:20 cpu time, factor 0.73
ML timing:
516.726s elapsed time, 376.786s cpu time, 26.653s GC time, factor 0.73
ML code maximum:
3.7 MiB
ML code average:
3.2 MiB
ML stack maximum:
17.1 MiB
ML stack average:
14.8 MiB
ML heap maximum:
4.8 GiB
ML heap average:
2.5 GiB
Isabelle version:
bf227fa26760

HOL-Nominal-Examples

data:
CSV
timing:
0:08:18 elapsed time, 0:08:16 cpu time, factor 1.00
ML timing:
494.161s elapsed time, 493.296s cpu time, 29.731s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.6 MiB
ML heap maximum:
3.5 GiB
ML heap average:
2.9 GiB
Isabelle version:
bf227fa26760

HOL-Proofs

data:
CSV
timing:
0:07:40 elapsed time, 0:07:39 cpu time, factor 1.00
ML timing:
347.947s elapsed time, 346.838s cpu time, 59.938s GC time, factor 1.00
ML code maximum:
39.5 MiB
ML code average:
31.7 MiB
ML stack maximum:
32.3 MiB
ML stack average:
19.7 MiB
ML heap maximum:
13.4 GiB
ML heap average:
4.8 GiB
ML heap stored:
386.9 MiB
Isabelle version:
bf227fa26760

HOL-Decision_Procs

data:
CSV
timing:
0:07:23 elapsed time, 0:07:21 cpu time, factor 1.00
ML timing:
440.470s elapsed time, 438.124s cpu time, 33.324s GC time, factor 0.99
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:
7.3 GiB
ML heap average:
4.1 GiB
Isabelle version:
bf227fa26760

HOL-Library

data:
CSV
timing:
0:06:33 elapsed time, 0:06:32 cpu time, factor 1.00
ML timing:
366.357s elapsed time, 365.054s cpu time, 26.594s GC time, factor 1.00
ML code maximum:
6.2 MiB
ML code average:
5.1 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.9 GiB
ML heap stored:
145.4 MiB
Isabelle version:
bf227fa26760

HOL

data:
CSV
timing:
0:06:20 elapsed time, 0:06:08 cpu time, factor 0.97
ML timing:
360.738s elapsed time, 348.848s cpu time, 28.942s GC time, factor 0.97
ML code maximum:
38.7 MiB
ML code average:
30.1 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.4 MiB
ML heap maximum:
5 GiB
ML heap average:
2.9 GiB
ML heap stored:
208.1 MiB
Isabelle version:
bf227fa26760

HOL-Algebra

data:
CSV
timing:
0:04:39 elapsed time, 0:04:42 cpu time, factor 1.01
ML timing:
261.873s elapsed time, 265.402s cpu time, 43.121s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
5.4 GiB
ML heap average:
2.5 GiB
ML heap stored:
62.7 MiB
Isabelle version:
bf227fa26760

HOL-Corec_Examples

data:
CSV
timing:
0:04:24 elapsed time, 0:04:24 cpu time, factor 1.00
ML timing:
257.131s elapsed time, 257.382s cpu time, 26.636s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
4.7 GiB
ML heap average:
2.9 GiB
Isabelle version:
bf227fa26760

HOL-Imperative_HOL

data:
CSV
timing:
0:02:57 elapsed time, 0:02:36 cpu time, factor 0.88
ML timing:
175.327s elapsed time, 154.681s cpu time, 4.244s GC time, factor 0.88
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:
bf227fa26760

HOL-Probability

data:
CSV
timing:
0:02:46 elapsed time, 0:02:45 cpu time, factor 0.99
ML timing:
151.110s elapsed time, 150.731s cpu time, 5.855s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
51.5 MiB
Isabelle version:
bf227fa26760

HOL-Datatype_Examples

data:
CSV
timing:
0:02:36 elapsed time, 0:02:36 cpu time, factor 1.00
ML timing:
151.555s elapsed time, 151.856s cpu time, 13.764s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
4 GiB
ML heap average:
2.3 GiB
Isabelle version:
bf227fa26760

HOL-Real_Asymp

data:
CSV
timing:
0:02:33 elapsed time, 0:02:34 cpu time, factor 1.01
ML timing:
143.373s elapsed time, 144.438s cpu time, 4.052s GC time, factor 1.01
ML code maximum:
5.6 MiB
ML code average:
4.1 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
65.3 MiB
Isabelle version:
bf227fa26760

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:32 elapsed time, 0:01:58 cpu time, factor 0.78
ML timing:
150.786s elapsed time, 117.235s cpu time, 2.196s GC time, factor 0.78
ML code maximum:
7.8 MiB
ML code average:
2.4 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:
bf227fa26760

HOL-Auth

data:
CSV
timing:
0:02:28 elapsed time, 0:02:29 cpu time, factor 1.01
ML timing:
143.935s elapsed time, 144.652s cpu time, 2.704s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
29.9 MiB
Isabelle version:
bf227fa26760

HOL-Homology

data:
CSV
timing:
0:02:26 elapsed time, 0:02:28 cpu time, factor 1.01
ML timing:
144.673s elapsed time, 146.047s cpu time, 10.470s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
bf227fa26760

HOL-Quickcheck_Examples

data:
CSV
timing:
0:02:22 elapsed time, 0:01:14 cpu time, factor 0.52
ML timing:
140.674s elapsed time, 73.759s cpu time, 2.052s GC time, factor 0.52
ML code maximum:
17.3 MiB
ML code average:
12.2 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:
bf227fa26760

HOL-MicroJava

data:
CSV
timing:
0:02:17 elapsed time, 0:02:17 cpu time, factor 1.00
ML timing:
135.969s elapsed time, 136.648s cpu time, 2.476s GC time, factor 1.00
ML code maximum:
1.7 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

Codegen

data:
CSV
timing:
0:02:12 elapsed time, 0:02:10 cpu time, factor 0.98
ML timing:
130.553s elapsed time, 128.897s cpu time, 3.074s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Hoare_Parallel

data:
CSV
timing:
0:02:08 elapsed time, 0:02:08 cpu time, factor 1.00
ML timing:
127.372s elapsed time, 127.789s cpu time, 1.948s 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:
bf227fa26760

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:59 elapsed time, 0:02:00 cpu time, factor 1.01
ML timing:
117.169s elapsed time, 117.924s cpu time, 4.596s GC time, factor 1.01
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:
bf227fa26760

HOL-Computational_Algebra

data:
CSV
timing:
0:01:55 elapsed time, 0:01:57 cpu time, factor 1.02
ML timing:
107.411s elapsed time, 109.427s cpu time, 3.598s GC time, factor 1.02
ML code maximum:
1 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
40.8 MiB
Isabelle version:
bf227fa26760

HOL-IMP

data:
CSV
timing:
0:01:54 elapsed time, 0:01:53 cpu time, factor 0.99
ML timing:
112.117s elapsed time, 112.271s cpu time, 2.974s GC time, factor 1.00
ML code maximum:
14.8 MiB
ML code average:
5.8 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:
bf227fa26760

HOL-Complex_Analysis

data:
CSV
timing:
0:01:46 elapsed time, 0:01:48 cpu time, factor 1.02
ML timing:
104.882s elapsed time, 106.850s cpu time, 2.252s 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:
bf227fa26760

HOL-Bali

data:
CSV
timing:
0:01:42 elapsed time, 0:01:43 cpu time, factor 1.01
ML timing:
100.993s elapsed time, 102.317s cpu time, 3.021s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Number_Theory

data:
CSV
timing:
0:01:39 elapsed time, 0:01:40 cpu time, factor 1.01
ML timing:
98.270s elapsed time, 99.721s cpu time, 5.588s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Examples

data:
CSV
timing:
0:01:35 elapsed time, 0:01:35 cpu time, factor 1.00
ML timing:
93.669s elapsed time, 94.284s cpu time, 3.001s GC time, factor 1.01
ML code maximum:
1.3 MiB
ML stack maximum:
8.8 MiB
ML stack average:
6.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-SMT_Examples

data:
CSV
timing:
0:01:26 elapsed time, 0:01:15 cpu time, factor 0.87
ML timing:
85.287s elapsed time, 75.029s cpu time, 1.362s GC time, factor 0.88
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:
bf227fa26760

HOL-Record_Benchmark

data:
CSV
timing:
0:01:22 elapsed time, 0:01:22 cpu time, factor 1.00
ML timing:
81.162s elapsed time, 81.167s cpu time, 1.791s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:21 elapsed time, 0:00:54 cpu time, factor 0.67
ML timing:
80.189s elapsed time, 53.383s cpu time, 0.756s GC time, factor 0.67
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:
bf227fa26760

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:07 elapsed time, 0:01:07 cpu time, factor 1.00
ML timing:
66.110s elapsed time, 66.287s cpu time, 1.773s 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:
bf227fa26760

HOL-UNITY

data:
CSV
timing:
0:00:53 elapsed time, 0:00:54 cpu time, factor 1.02
ML timing:
52.068s elapsed time, 53.071s cpu time, 1.864s 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:
bf227fa26760

HOL-SET_Protocol

data:
CSV
timing:
0:00:51 elapsed time, 0:00:51 cpu time, factor 1.00
ML timing:
50.768s elapsed time, 50.970s cpu time, 0.662s 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:
bf227fa26760

Datatypes

data:
CSV
timing:
0:00:43 elapsed time, 0:00:43 cpu time, factor 1.00
ML timing:
31.996s elapsed time, 32.162s cpu time, 1.734s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
69.8 MiB
Isabelle version:
bf227fa26760

HOL-Metis_Examples

data:
CSV
timing:
0:00:43 elapsed time, 0:00:31 cpu time, factor 0.72
ML timing:
42.185s elapsed time, 30.698s cpu time, 1.032s GC time, factor 0.73
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:
bf227fa26760

Corec

data:
CSV
timing:
0:00:38 elapsed time, 0:00:38 cpu time, factor 1.00
ML timing:
37.095s elapsed time, 37.105s cpu time, 2.017s GC time, factor 1.00
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:
bf227fa26760

HOL-Matrix_LP

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
ML timing:
28.828s elapsed time, 28.754s cpu time, 0.711s GC time, factor 1.00
ML code maximum:
1.3 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:
bf227fa26760

HOL-Analysis-ex

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
26.353s elapsed time, 26.400s cpu time, 0.203s 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:
bf227fa26760

HOL-Combinatorics

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
26.302s elapsed time, 26.903s cpu time, 0.971s 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:
bf227fa26760

HOL-Hoare

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
26.901s elapsed time, 27.051s cpu time, 0.470s 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:
bf227fa26760

HOL-SPARK

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
19.532s elapsed time, 19.799s cpu time, 0.682s 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:
15 MiB
Isabelle version:
bf227fa26760

HOL-Quotient_Examples

data:
CSV
timing:
0:00:23 elapsed time, 0:00:18 cpu time, factor 0.78
ML timing:
21.887s elapsed time, 17.848s cpu time, 0.666s GC time, factor 0.82
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:
bf227fa26760

HOL-Cardinals

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
21.053s elapsed time, 21.428s cpu time, 0.544s 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:
bf227fa26760

Tutorial

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
21.679s elapsed time, 21.647s cpu time, 0.977s GC time, factor 1.00
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:
bf227fa26760

HOLCF

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
15.737s elapsed time, 16.389s cpu time, 0.842s GC time, factor 1.04
ML code maximum:
1.3 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
18.7 MiB
Isabelle version:
bf227fa26760

HOLCF-Library

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
13.525s elapsed time, 13.882s cpu time, 0.456s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
9.4 MiB
Isabelle version:
bf227fa26760

Isar_Ref

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
15.927s elapsed time, 15.867s cpu time, 0.706s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

IOA

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
13.536s elapsed time, 13.822s cpu time, 0.449s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
6.4 MiB
Isabelle version:
bf227fa26760

ZF

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
14.951s elapsed time, 15.310s cpu time, 1.201s GC time, factor 1.02
ML code maximum:
3.2 MiB
ML code average:
2.3 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:
bf227fa26760

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
11.770s elapsed time, 12.252s cpu time, 0.429s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
9.7 MiB
Isabelle version:
bf227fa26760

HOL-Induct

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
14.192s elapsed time, 14.319s cpu time, 0.754s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Nominal

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
10.662s elapsed time, 10.810s cpu time, 0.401s GC time, factor 1.01
ML code maximum:
2.4 MiB
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:
9.6 MiB
Isabelle version:
bf227fa26760

HOL-SPARK-Examples

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
13.767s elapsed time, 13.870s cpu time, 0.197s 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:
bf227fa26760

HOL-ZF

data:
CSV
timing:
0:00:13 elapsed time, 0:00:14 cpu time, factor 1.08
ML timing:
12.736s elapsed time, 13.282s cpu time, 0.565s GC time, factor 1.04
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:
bf227fa26760

ZF-Constructible

data:
CSV
timing:
0:00:13 elapsed time, 0:00:11 cpu time, factor 0.85
ML timing:
10.574s elapsed time, 10.790s cpu time, 1.170s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

HOL-Types_To_Sets

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.739s elapsed time, 11.901s cpu time, 0.419s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

Typeclass_Hierarchy

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.198s elapsed time, 10.427s cpu time, 0.444s 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.3 GiB
Isabelle version:
bf227fa26760

ZF-UNITY

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.427s elapsed time, 10.778s cpu time, 0.372s 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:
bf227fa26760

HOL-TLA-Memory

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.511s elapsed time, 10.601s cpu time, 0.196s 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:
bf227fa26760

HOL-Hahn_Banach

data:
CSV
timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.10
ML timing:
10.046s elapsed time, 10.414s cpu time, 0.373s 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:
bf227fa26760

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.396s elapsed time, 0.418s cpu time, 0.000s GC time, factor 1.06
ML code maximum:
23.9 MiB
ML code average:
23.9 MiB
ML stack maximum:
4.1 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
726 MiB
ML heap stored:
28.6 MiB
Isabelle version:
bf227fa26760

HOL-Statespace

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.306s elapsed time, 9.378s cpu time, 0.297s 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:
bf227fa26760

System

data:
CSV
timing:
0:00:10 elapsed time
ML timing:
10.103s elapsed time, 0.544s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
618 MiB
ML heap average:
311.6 MiB
Isabelle version:
bf227fa26760

HOL-Import

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.509s elapsed time, 8.374s cpu time, 0.250s GC time, factor 0.98
ML stack maximum:
64.3 MiB
ML stack average:
60.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Probability-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.682s elapsed time, 7.753s cpu time, 0.262s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

HOL-Unix

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.324s elapsed time, 7.514s cpu time, 0.377s GC time, factor 1.03
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:
bf227fa26760

HOL-Eisbach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.940s elapsed time, 7.127s cpu time, 0.154s GC time, factor 1.03
ML code maximum:
2.4 MiB
ML code average:
2.1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

Haskell

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
6.921s elapsed time, 0.288s cpu time, 0.000s GC time, factor 0.04
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
422 MiB
ML heap average:
395.9 MiB
Isabelle version:
bf227fa26760

CCL

data:
CSV
timing:
0:00:07 elapsed time, 0:00:03 cpu time, factor 0.43
ML timing:
3.569s elapsed time, 3.587s cpu time, 0.322s GC time, factor 1.01
ML code maximum:
2.1 MiB
ML code average:
1.8 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
674 MiB
Isabelle version:
bf227fa26760

HOLCF-Tutorial

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.421s elapsed time, 6.471s cpu time, 0.198s GC time, factor 1.01
ML heap maximum:
1.4 GiB
ML heap average:
1003 MiB
Isabelle version:
bf227fa26760

IOA-NTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.783s elapsed time, 5.827s cpu time, 0.258s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

FOL-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
5.527s elapsed time, 5.599s cpu time, 0.179s GC time, factor 1.01
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:
bf227fa26760

HOL-Isar_Examples

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.757s elapsed time, 5.815s cpu time, 0.230s 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:
997.5 MiB
Isabelle version:
bf227fa26760

ZF-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.672s elapsed time, 5.875s cpu time, 0.275s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

ZF-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.190s elapsed time, 3.878s cpu time, 0.160s GC time, factor 0.93
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
974.8 MiB
ML heap stored:
3.9 MiB
Isabelle version:
bf227fa26760

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.871s elapsed time, 4.937s cpu time, 0.247s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

Tools

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
2.091s elapsed time, 2.062s cpu time, 0.132s GC time, factor 0.99
ML code maximum:
2.5 MiB
ML code average:
2.1 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
548.6 MiB
Isabelle version:
bf227fa26760

HOLCF-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.505s elapsed time, 4.635s cpu time, 0.229s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

IOA-ABP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.720s elapsed time, 4.757s cpu time, 0.200s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
980 MiB
Isabelle version:
bf227fa26760

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.250s elapsed time, 4.278s cpu time, 0.160s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

HOL-TLA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
1.368s elapsed time, 1.465s cpu time, 0.113s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
651 MiB
ML heap average:
168.1 MiB
ML heap stored:
2.9 MiB
Isabelle version:
bf227fa26760

HOL-SPARK-Manual

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.337s elapsed time, 3.350s cpu time, 0.070s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

Prog_Prove

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
4.068s elapsed time, 4.117s cpu time, 0.229s GC time, factor 1.01
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:
bf227fa26760

HOLCF-FOCUS

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.980s elapsed time, 4.064s cpu time, 0.143s 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:
bf227fa26760

FOL

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
1.723s elapsed time, 1.735s cpu time, 0.142s GC time, factor 1.01
ML code maximum:
1.8 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.4 GiB
ML heap average:
364.9 MiB
ML heap stored:
3.9 MiB
Isabelle version:
bf227fa26760

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.285s elapsed time, 3.344s cpu time, 0.150s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
bf227fa26760

Implementation

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.977s elapsed time, 3.940s cpu time, 0.078s GC time, factor 0.99
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
760 MiB
ML heap average:
306.4 MiB
Isabelle version:
bf227fa26760

HOL-TPTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
3.330s elapsed time, 3.409s cpu time, 0.165s GC time, factor 1.02
ML code maximum:
5.7 MiB
ML code average:
4.3 MiB
ML stack maximum:
16.3 MiB
ML stack average:
14 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
bf227fa26760

ZF-AC

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.684s elapsed time, 3.793s cpu time, 0.221s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
921.9 MiB
Isabelle version:
bf227fa26760

HOL-Proofs-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.570s elapsed time, 2.590s cpu time, 0.689s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
832.7 MiB
Isabelle version:
bf227fa26760

Sequents

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.535s elapsed time, 2.496s cpu time, 0.055s GC time, factor 0.98
ML heap maximum:
1.5 GiB
ML heap average:
1012.3 MiB
Isabelle version:
bf227fa26760

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
3.163s elapsed time, 3.196s cpu time, 0.079s GC time, factor 1.01
ML code maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
995.3 MiB
Isabelle version:
bf227fa26760

LCF

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.825s elapsed time, 1.856s cpu time, 0.145s GC time, factor 1.02
ML code maximum:
1.8 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
476.8 MiB
Isabelle version:
bf227fa26760

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.657s elapsed time, 1.686s cpu time, 0.069s GC time, factor 1.02
ML heap maximum:
757 MiB
ML heap average:
651.6 MiB
Isabelle version:
bf227fa26760

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.316s elapsed time, 1.329s cpu time, 0.080s GC time, factor 1.01
ML heap maximum:
708 MiB
ML heap average:
454.2 MiB
Isabelle version:
bf227fa26760

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.816s elapsed time, 1.829s cpu time, 0.054s GC time, factor 1.01
ML heap maximum:
1.3 GiB
ML heap average:
858.5 MiB
Isabelle version:
bf227fa26760

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.752s elapsed time, 1.784s cpu time, 0.138s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
711 MiB
ML heap average:
542 MiB
Isabelle version:
bf227fa26760

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.618s elapsed time, 1.647s cpu time, 0.102s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
761 MiB
ML heap average:
672.8 MiB
Isabelle version:
bf227fa26760

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.428s elapsed time, 1.466s cpu time, 0.101s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
560 MiB
ML heap average:
295.6 MiB
Isabelle version:
bf227fa26760

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.481s elapsed time, 0.490s cpu time, 0.000s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
540 MiB
ML heap average:
540 MiB
Isabelle version:
bf227fa26760

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.133s elapsed time, 1.133s cpu time, 0.082s GC time, factor 1.00
ML heap maximum:
762 MiB
ML heap average:
274.3 MiB
Isabelle version:
bf227fa26760

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.530s elapsed time, 0.531s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
745 MiB
ML heap average:
745 MiB
Isabelle version:
bf227fa26760

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.464s elapsed time, 0.474s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
617 MiB
ML heap average:
617 MiB
Isabelle version:
bf227fa26760

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.883s elapsed time, 0.882s cpu time, 0.054s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML heap maximum:
489 MiB
ML heap average:
247.5 MiB
Isabelle version:
bf227fa26760

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.914s elapsed time, 0.932s cpu time, 0.102s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
650 MiB
ML heap average:
427.3 MiB
Isabelle version:
bf227fa26760

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.459s elapsed time, 0.474s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
698 MiB
ML heap average:
698 MiB
Isabelle version:
bf227fa26760

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.599s elapsed time, 0.608s cpu time, 0.102s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
129 MiB
ML heap average:
35 MiB
Isabelle version:
bf227fa26760

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.674s elapsed time, 0.683s cpu time, 0.000s GC time, factor 1.01
ML heap maximum:
544 MiB
ML heap average:
544 MiB
Isabelle version:
bf227fa26760

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.227s elapsed time, 0.234s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
62 MiB
ML heap average:
62 MiB
Isabelle version:
bf227fa26760

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.661s elapsed time, 0.679s cpu time, 0.074s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
106 MiB
ML heap average:
41.3 MiB
ML heap stored:
1.5 MiB
Isabelle version:
bf227fa26760

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.095s elapsed time, 1.100s cpu time, 0.066s GC time, factor 1.00
ML heap maximum:
574 MiB
ML heap average:
426.5 MiB
Isabelle version:
bf227fa26760

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.029s elapsed time, 1.074s cpu time, 0.077s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
737 MiB
ML heap average:
621.5 MiB
Isabelle version:
bf227fa26760

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.448s elapsed time, 0.332s cpu time, 0.000s GC time, factor 0.74
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
452 MiB
ML heap average:
452 MiB
Isabelle version:
bf227fa26760

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.327s elapsed time, 0.354s cpu time, 0.000s GC time, factor 1.08
ML stack maximum:
1.3 MiB
ML heap maximum:
64 MiB
ML heap average:
3 MiB
Isabelle version:
bf227fa26760

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.232s elapsed time, 1.260s cpu time, 0.053s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
535 MiB
ML heap average:
267.5 MiB
Isabelle version:
bf227fa26760

Logics

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

Logics_ZF

data:
CSV
ML timing:
0.309s elapsed time, 0.242s cpu time, 0.000s GC time, factor 0.78
ML heap maximum:
84 MiB
ML heap average:
3 MiB
Isabelle version:
bf227fa26760

SML

data:
CSV
ML timing:
0.006s elapsed time, 0.007s cpu time, 0.000s GC time, factor 1.17
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
bf227fa26760

How_to_Prove_it

data:
CSV
ML timing:
0.189s elapsed time, 0.194s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
33 MiB
ML heap average:
33 MiB
Isabelle version:
bf227fa26760

Demo_FoilTeX

data:
CSV
ML timing:
0.099s elapsed time, 0.102s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
60 MiB
ML heap average:
60 MiB
Isabelle version:
bf227fa26760

Sledgehammer

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

Demo_LLNCS

data:
CSV
ML timing:
0.106s elapsed time, 0.105s cpu time, 0.000s GC time, factor 0.99
ML heap maximum:
76 MiB
ML heap average:
76 MiB
Isabelle version:
bf227fa26760

Demo_LIPIcs

data:
CSV
ML timing:
0.099s elapsed time, 0.101s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
73 MiB
ML heap average:
73 MiB
Isabelle version:
bf227fa26760

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.225s elapsed time, 0.218s cpu time, 0.000s GC time, factor 0.97
ML heap maximum:
38 MiB
ML heap average:
38 MiB
Isabelle version:
bf227fa26760

Demo_Easychair

data:
CSV
ML timing:
0.101s elapsed time, 0.101s cpu time, 0.000s GC time, factor 1.00
ML heap maximum:
80 MiB
ML heap average:
80 MiB
Isabelle version:
bf227fa26760

Cube

data:
CSV
ML timing:
0.138s elapsed time, 0.136s cpu time, 0.000s GC time, factor 0.99
ML heap maximum:
104 MiB
ML heap average:
104 MiB
Isabelle version:
bf227fa26760

Intro

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

Demo_EPTCS

data:
CSV
ML timing:
0.100s elapsed time, 0.102s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
71 MiB
ML heap average:
71 MiB
Isabelle version:
bf227fa26760

Pure-Examples

data:
CSV
ML timing:
0.192s elapsed time, 0.174s cpu time, 0.000s GC time, factor 0.91
ML heap maximum:
75 MiB
ML heap average:
75 MiB
Isabelle version:
bf227fa26760

HOL-Prolog

data:
CSV
ML timing:
0.198s elapsed time, 0.216s cpu time, 0.000s GC time, factor 1.09
ML heap maximum:
114 MiB
ML heap average:
114 MiB
Isabelle version:
bf227fa26760