Isabelle build status for Linux (ARM)

status date:
13-Apr-2026 01:58:07 +0200
build host:
linux-arm

HOL-Analysis

data:
CSV
timing:
1:17:20 elapsed time, 1:18:02 cpu time, factor 1.01
ML timing:
4484.831s elapsed time, 4527.258s cpu time, 1027.539s GC time, factor 1.01
ML code maximum:
4.6 MiB
ML code average:
3.7 MiB
ML stack maximum:
16.3 MiB
ML stack average:
14.9 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.5 GiB
ML heap stored:
255.4 MiB
Isabelle version:
41a9c16234a4

HOL-Datatype_Benchmark

data:
CSV
timing:
0:59:44 elapsed time, 0:59:43 cpu time, factor 1.00
ML timing:
3253.026s elapsed time, 3256.582s cpu time, 1951.368s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
4 GiB
ML heap average:
3.2 GiB
Isabelle version:
41a9c16234a4

HOL-Proofs

data:
CSV
timing:
0:47:48 elapsed time, 0:48:00 cpu time, factor 1.00
ML timing:
2659.511s elapsed time, 2672.061s cpu time, 1630.843s GC time, factor 1.00
ML code maximum:
38.1 MiB
ML code average:
26.8 MiB
ML stack maximum:
32.3 MiB
ML stack average:
25.9 MiB
ML heap maximum:
3.2 GiB
ML heap average:
2.5 GiB
ML heap stored:
386.8 MiB
Isabelle version:
41a9c16234a4

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:43:47 elapsed time, 0:43:52 cpu time, factor 1.00
ML timing:
2624.573s elapsed time, 2629.478s cpu time, 47.743s GC time, factor 1.00
ML code maximum:
190.8 MiB
ML code average:
142.5 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
41a9c16234a4

HOL-Data_Structures

data:
CSV
timing:
0:39:51 elapsed time, 0:40:00 cpu time, factor 1.00
ML timing:
2380.905s elapsed time, 2389.714s cpu time, 414.642s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.9 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.5 GiB
Isabelle version:
41a9c16234a4

HOL-ex

data:
CSV
timing:
0:28:15 elapsed time, 0:27:52 cpu time, factor 0.99
ML timing:
1686.195s elapsed time, 1664.843s cpu time, 217.247s GC time, factor 0.99
ML code maximum:
4.1 MiB
ML code average:
2.9 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.2 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
41a9c16234a4

HOL-Codegenerator_Test

data:
CSV
timing:
0:27:38 elapsed time, 0:21:58 cpu time, factor 0.79
ML timing:
1568.473s elapsed time, 1229.674s cpu time, 131.447s GC time, factor 0.78
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:
2 GiB
ML heap average:
1.7 GiB
Isabelle version:
41a9c16234a4

HOL-Nominal-Examples

data:
CSV
timing:
0:27:24 elapsed time, 0:27:24 cpu time, factor 1.00
ML timing:
1633.780s elapsed time, 1634.502s cpu time, 239.732s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.6 MiB
ML heap maximum:
3 GiB
ML heap average:
1.7 GiB
Isabelle version:
41a9c16234a4

HOL

data:
CSV
timing:
0:27:11 elapsed time, 0:27:30 cpu time, factor 1.01
ML timing:
1566.824s elapsed time, 1586.450s cpu time, 406.150s GC time, factor 1.01
ML code maximum:
39.4 MiB
ML code average:
31.8 MiB
ML stack maximum:
32.3 MiB
ML stack average:
27 MiB
ML heap maximum:
2.7 GiB
ML heap average:
2.1 GiB
ML heap stored:
208.1 MiB
Isabelle version:
41a9c16234a4

HOL-Library

data:
CSV
timing:
0:23:50 elapsed time, 0:23:51 cpu time, factor 1.00
ML timing:
1345.273s elapsed time, 1347.271s cpu time, 242.458s GC time, factor 1.00
ML code maximum:
5.9 MiB
ML code average:
4.1 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.5 GiB
ML heap stored:
145.3 MiB
Isabelle version:
41a9c16234a4

HOL-Decision_Procs

data:
CSV
timing:
0:22:08 elapsed time, 0:22:20 cpu time, factor 1.01
ML timing:
1321.759s elapsed time, 1333.544s cpu time, 121.716s GC time, factor 1.01
ML code maximum:
5.3 MiB
ML code average:
3.2 MiB
ML stack maximum:
32.3 MiB
ML stack average:
17.2 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.2 GiB
Isabelle version:
41a9c16234a4

HOL-Algebra

data:
CSV
timing:
0:21:18 elapsed time, 0:21:33 cpu time, factor 1.01
ML timing:
1229.055s elapsed time, 1244.062s cpu time, 465.300s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.1 GiB
ML heap stored:
62.7 MiB
Isabelle version:
41a9c16234a4

HOL-Corec_Examples

data:
CSV
timing:
0:18:51 elapsed time, 0:18:54 cpu time, factor 1.00
ML timing:
1109.702s elapsed time, 1113.123s cpu time, 370.396s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
2.7 GiB
ML heap average:
1.8 GiB
Isabelle version:
41a9c16234a4

HOL-Datatype_Examples

data:
CSV
timing:
0:12:08 elapsed time, 0:12:11 cpu time, factor 1.00
ML timing:
717.342s elapsed time, 720.947s cpu time, 298.145s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.7 GiB
Isabelle version:
41a9c16234a4

HOL-Imperative_HOL

data:
CSV
timing:
0:10:33 elapsed time, 0:09:15 cpu time, factor 0.88
ML timing:
628.645s elapsed time, 551.221s cpu time, 32.580s GC time, factor 0.88
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.7 GiB
Isabelle version:
41a9c16234a4

HOL-Probability

data:
CSV
timing:
0:09:36 elapsed time, 0:09:36 cpu time, factor 1.00
ML timing:
515.129s elapsed time, 515.811s cpu time, 33.626s 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.3 MiB
Isabelle version:
41a9c16234a4

HOL-Real_Asymp

data:
CSV
timing:
0:08:16 elapsed time, 0:08:22 cpu time, factor 1.01
ML timing:
449.670s elapsed time, 455.762s cpu time, 16.745s GC time, factor 1.01
ML code maximum:
4 MiB
ML code average:
3.5 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
ML heap stored:
65.3 MiB
Isabelle version:
41a9c16234a4

Codegen

data:
CSV
timing:
0:08:08 elapsed time, 0:08:06 cpu time, factor 1.00
ML timing:
484.434s elapsed time, 482.839s cpu time, 18.633s GC time, factor 1.00
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:
41a9c16234a4

HOL-Homology

data:
CSV
timing:
0:07:59 elapsed time, 0:08:08 cpu time, factor 1.02
ML timing:
473.798s elapsed time, 482.998s cpu time, 31.144s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.8 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.3 GiB
Isabelle version:
41a9c16234a4

HOL-Auth

data:
CSV
timing:
0:07:50 elapsed time, 0:07:54 cpu time, factor 1.01
ML timing:
450.910s elapsed time, 455.548s cpu time, 13.013s 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:
41a9c16234a4

HOL-MicroJava

data:
CSV
timing:
0:07:37 elapsed time, 0:07:42 cpu time, factor 1.01
ML timing:
454.108s elapsed time, 459.125s cpu time, 11.144s GC time, factor 1.01
ML code maximum:
1.5 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:
41a9c16234a4

HOL-Hoare_Parallel

data:
CSV
timing:
0:06:52 elapsed time, 0:06:55 cpu time, factor 1.01
ML timing:
409.536s elapsed time, 412.095s cpu time, 6.513s 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:
41a9c16234a4

HOL-Computational_Algebra

data:
CSV
timing:
0:06:33 elapsed time, 0:06:41 cpu time, factor 1.02
ML timing:
360.953s elapsed time, 369.168s cpu time, 16.302s GC time, factor 1.02
ML code maximum:
1.1 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
40.8 MiB
Isabelle version:
41a9c16234a4

HOL-Complex_Analysis

data:
CSV
timing:
0:05:59 elapsed time, 0:06:08 cpu time, factor 1.03
ML timing:
355.301s elapsed time, 364.303s cpu time, 9.678s 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.4 GiB
Isabelle version:
41a9c16234a4

HOL-IMP

data:
CSV
timing:
0:05:55 elapsed time, 0:05:56 cpu time, factor 1.00
ML timing:
351.288s elapsed time, 352.668s cpu time, 14.490s GC time, factor 1.00
ML code maximum:
6.9 MiB
ML code average:
3.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:
41a9c16234a4

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:05:53 elapsed time, 0:04:51 cpu time, factor 0.82
ML timing:
349.372s elapsed time, 287.418s cpu time, 6.847s 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.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
41a9c16234a4

HOL-Bali

data:
CSV
timing:
0:05:52 elapsed time, 0:05:58 cpu time, factor 1.02
ML timing:
348.339s elapsed time, 355.256s cpu time, 19.103s 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:
41a9c16234a4

HOL-Number_Theory

data:
CSV
timing:
0:05:44 elapsed time, 0:05:50 cpu time, factor 1.02
ML timing:
340.594s elapsed time, 346.936s cpu time, 30.391s 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:
41a9c16234a4

HOL-Proofs-Extraction

data:
CSV
timing:
0:05:06 elapsed time, 0:05:09 cpu time, factor 1.01
ML timing:
300.880s elapsed time, 304.245s cpu time, 23.055s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
41a9c16234a4

HOL-Examples

data:
CSV
timing:
0:04:42 elapsed time, 0:04:44 cpu time, factor 1.01
ML timing:
277.859s elapsed time, 280.880s cpu time, 17.187s GC time, factor 1.01
ML stack maximum:
8.8 MiB
ML stack average:
7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
41a9c16234a4

HOL-Nitpick_Examples

data:
CSV
timing:
0:03:19 elapsed time, 0:02:29 cpu time, factor 0.75
ML timing:
196.559s elapsed time, 146.878s cpu time, 2.537s GC time, factor 0.75
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:
41a9c16234a4

HOL-Quickcheck_Examples

data:
CSV
timing:
0:03:18 elapsed time, 0:03:20 cpu time, factor 1.01
ML timing:
195.739s elapsed time, 198.047s cpu time, 8.279s 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.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
41a9c16234a4

HOL-SMT_Examples

data:
CSV
timing:
0:03:17 elapsed time, 0:03:16 cpu time, factor 0.99
ML timing:
195.033s elapsed time, 194.142s cpu time, 4.000s 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.4 GiB
Isabelle version:
41a9c16234a4

HOL-SET_Protocol

data:
CSV
timing:
0:02:50 elapsed time, 0:02:51 cpu time, factor 1.01
ML timing:
168.929s elapsed time, 170.004s cpu time, 2.199s 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:
41a9c16234a4

HOL-Proofs-Lambda

data:
CSV
timing:
0:02:49 elapsed time, 0:02:49 cpu time, factor 1.00
ML timing:
165.564s elapsed time, 166.333s cpu time, 8.111s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.5 GiB
Isabelle version:
41a9c16234a4

HOL-UNITY

data:
CSV
timing:
0:02:44 elapsed time, 0:02:48 cpu time, factor 1.02
ML timing:
161.544s elapsed time, 165.588s cpu time, 5.721s GC time, factor 1.03
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:
41a9c16234a4

HOL-Record_Benchmark

data:
CSV
timing:
0:02:33 elapsed time, 0:02:33 cpu time, factor 1.00
ML timing:
149.989s elapsed time, 150.297s cpu time, 12.005s 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:
41a9c16234a4

Datatypes

data:
CSV
timing:
0:02:25 elapsed time, 0:02:23 cpu time, factor 0.99
ML timing:
102.690s elapsed time, 100.639s cpu time, 6.630s GC time, factor 0.98
ML stack maximum:
8.3 MiB
ML stack average:
5.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
69.8 MiB
Isabelle version:
41a9c16234a4

Corec

data:
CSV
timing:
0:01:55 elapsed time, 0:01:53 cpu time, factor 0.98
ML timing:
110.523s elapsed time, 108.765s cpu time, 6.089s 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:
41a9c16234a4

HOL-Metis_Examples

data:
CSV
timing:
0:01:55 elapsed time, 0:01:37 cpu time, factor 0.84
ML timing:
113.140s elapsed time, 95.295s cpu time, 5.793s GC time, factor 0.84
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:
41a9c16234a4

HOL-Matrix_LP

data:
CSV
timing:
0:01:28 elapsed time, 0:01:28 cpu time, factor 1.00
ML timing:
85.956s elapsed time, 86.619s cpu time, 3.784s GC time, factor 1.01
ML code maximum:
1.2 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:
41a9c16234a4

HOL-Combinatorics

data:
CSV
timing:
0:01:27 elapsed time, 0:01:30 cpu time, factor 1.03
ML timing:
84.681s elapsed time, 87.526s cpu time, 2.923s 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:
41a9c16234a4

HOL-Hoare

data:
CSV
timing:
0:01:27 elapsed time, 0:01:28 cpu time, factor 1.01
ML timing:
85.325s elapsed time, 86.131s cpu time, 1.446s 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:
41a9c16234a4

HOL-SPARK

data:
CSV
timing:
0:01:22 elapsed time, 0:01:23 cpu time, factor 1.01
ML timing:
65.311s elapsed time, 66.596s cpu time, 2.019s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
15 MiB
Isabelle version:
41a9c16234a4

HOL-Quotient_Examples

data:
CSV
timing:
0:01:14 elapsed time, 0:00:58 cpu time, factor 0.78
ML timing:
70.674s elapsed time, 55.159s cpu time, 2.025s GC time, factor 0.78
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:
41a9c16234a4

Tutorial

data:
CSV
timing:
0:01:13 elapsed time, 0:01:11 cpu time, factor 0.97
ML timing:
70.788s elapsed time, 68.309s cpu time, 3.210s 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:
41a9c16234a4

HOL-Analysis-ex

data:
CSV
timing:
0:01:09 elapsed time, 0:01:09 cpu time, factor 1.00
ML timing:
66.081s elapsed time, 66.407s cpu time, 0.595s 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:
41a9c16234a4

HOL-Cardinals

data:
CSV
timing:
0:01:08 elapsed time, 0:01:10 cpu time, factor 1.03
ML timing:
66.507s elapsed time, 68.337s cpu time, 1.593s GC time, factor 1.03
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:
41a9c16234a4

HOLCF

data:
CSV
timing:
0:01:07 elapsed time, 0:01:09 cpu time, factor 1.03
ML timing:
48.958s elapsed time, 51.558s cpu time, 2.339s 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:
41a9c16234a4

Isar_Ref

data:
CSV
timing:
0:01:07 elapsed time, 0:00:49 cpu time, factor 0.73
ML timing:
65.415s elapsed time, 47.629s cpu time, 2.315s GC time, factor 0.73
ML stack maximum:
8.3 MiB
ML stack average:
7.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
41a9c16234a4

IOA

data:
CSV
timing:
0:00:56 elapsed time, 0:00:57 cpu time, factor 1.02
ML timing:
39.861s elapsed time, 41.066s cpu time, 1.424s 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.4 MiB
Isabelle version:
41a9c16234a4

HOLCF-Library

data:
CSV
timing:
0:00:55 elapsed time, 0:00:56 cpu time, factor 1.02
ML timing:
39.924s elapsed time, 41.267s cpu time, 1.202s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
9.4 MiB
Isabelle version:
41a9c16234a4

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:52 elapsed time, 0:00:54 cpu time, factor 1.04
ML timing:
35.612s elapsed time, 37.381s cpu time, 1.330s GC time, factor 1.05
ML stack maximum:
4.3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
969.7 MiB
ML heap stored:
9.7 MiB
Isabelle version:
41a9c16234a4

ZF

data:
CSV
timing:
0:00:49 elapsed time, 0:00:52 cpu time, factor 1.06
ML timing:
46.788s elapsed time, 49.859s cpu time, 4.479s GC time, factor 1.07
ML code maximum:
3.2 MiB
ML code average:
2.4 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:
41a9c16234a4

HOL-Nominal

data:
CSV
timing:
0:00:45 elapsed time, 0:00:45 cpu time, factor 1.00
ML timing:
30.894s elapsed time, 31.653s cpu time, 1.184s 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:
987.3 MiB
ML heap stored:
9.6 MiB
Isabelle version:
41a9c16234a4

HOL-ZF

data:
CSV
timing:
0:00:44 elapsed time, 0:00:45 cpu time, factor 1.02
ML timing:
41.803s elapsed time, 43.563s cpu time, 1.648s 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.4 GiB
Isabelle version:
41a9c16234a4

HOL-SPARK-Examples

data:
CSV
timing:
0:00:44 elapsed time, 0:00:44 cpu time, factor 1.00
ML timing:
42.096s elapsed time, 42.550s cpu time, 0.520s 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:
41a9c16234a4

HOL-Induct

data:
CSV
timing:
0:00:43 elapsed time, 0:00:44 cpu time, factor 1.02
ML timing:
41.112s elapsed time, 41.940s cpu time, 1.937s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
41a9c16234a4

ZF-Constructible

data:
CSV
timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.00
ML timing:
37.043s elapsed time, 39.201s cpu time, 6.927s GC time, factor 1.06
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
41a9c16234a4

System

data:
CSV
timing:
0:00:39 elapsed time
ML timing:
38.818s elapsed time, 1.831s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
4.3 MiB
ML stack average:
2 MiB
ML heap maximum:
618 MiB
ML heap average:
343.1 MiB
Isabelle version:
41a9c16234a4

HOL-Types_To_Sets

data:
CSV
timing:
0:00:37 elapsed time, 0:00:37 cpu time, factor 1.00
ML timing:
35.290s elapsed time, 35.991s cpu time, 1.063s 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.3 GiB
Isabelle version:
41a9c16234a4

Typeclass_Hierarchy

data:
CSV
timing:
0:00:36 elapsed time, 0:00:36 cpu time, factor 1.00
ML timing:
34.305s elapsed time, 34.699s cpu time, 1.273s GC time, factor 1.01
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:
41a9c16234a4

Pure

data:
CSV
timing:
0:00:33 elapsed time, 0:00:32 cpu time, factor 0.97
ML timing:
1.486s elapsed time, 1.509s cpu time, 0.040s GC time, factor 1.02
ML code maximum:
24 MiB
ML code average:
23.9 MiB
ML stack maximum:
4 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
571 MiB
ML heap stored:
28.5 MiB
Isabelle version:
41a9c16234a4

HOL-TLA-Memory

data:
CSV
timing:
0:00:33 elapsed time, 0:00:33 cpu time, factor 1.00
ML timing:
31.145s elapsed time, 31.593s cpu time, 0.509s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
41a9c16234a4

HOL-Hahn_Banach

data:
CSV
timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.03
ML timing:
30.620s elapsed time, 31.921s cpu time, 1.150s 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:
41a9c16234a4

ZF-UNITY

data:
CSV
timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.03
ML timing:
31.729s elapsed time, 33.142s cpu time, 1.117s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
41a9c16234a4

HOL-Probability-ex

data:
CSV
timing:
0:00:28 elapsed time, 0:00:28 cpu time, factor 1.00
ML timing:
24.729s elapsed time, 25.173s cpu time, 0.699s 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:
41a9c16234a4

HOL-Eisbach

data:
CSV
timing:
0:00:26 elapsed time, 0:00:23 cpu time, factor 0.88
ML timing:
24.338s elapsed time, 21.475s cpu time, 0.487s GC time, factor 0.88
ML code maximum:
2.6 MiB
ML code average:
2.2 MiB
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:
41a9c16234a4

HOL-Unix

data:
CSV
timing:
0:00:25 elapsed time, 0:00:25 cpu time, factor 1.00
ML timing:
23.496s elapsed time, 23.660s cpu time, 1.122s 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.3 GiB
Isabelle version:
41a9c16234a4

HOL-Import

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
22.393s elapsed time, 22.521s cpu time, 0.543s GC time, factor 1.01
ML stack maximum:
64.3 MiB
ML stack average:
58.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
41a9c16234a4

HOLCF-Tutorial

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
21.773s elapsed time, 22.091s cpu time, 0.411s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
41a9c16234a4

HOL-Statespace

data:
CSV
timing:
0:00:22 elapsed time, 0:00:22 cpu time, factor 1.00
ML timing:
20.240s elapsed time, 20.570s cpu time, 0.754s GC time, factor 1.02
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:
41a9c16234a4

HOL-Isar_Examples

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
17.051s elapsed time, 16.980s cpu time, 0.514s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
41a9c16234a4

IOA-NTP

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
16.652s elapsed time, 16.900s cpu time, 0.607s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
41a9c16234a4

HOL-NanoJava

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.381s elapsed time, 15.696s cpu time, 0.579s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
41a9c16234a4

ZF-ex

data:
CSV
timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.06
ML timing:
16.640s elapsed time, 17.576s cpu time, 0.659s GC time, factor 1.06
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:
41a9c16234a4

Implementation

data:
CSV
timing:
0:00:16 elapsed time, 0:00:09 cpu time, factor 0.56
ML timing:
14.541s elapsed time, 7.810s cpu time, 0.061s GC time, factor 0.54
ML stack maximum:
4.3 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.1 GiB
ML heap average:
725.2 MiB
Isabelle version:
41a9c16234a4

HOL-TLA

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
4.068s elapsed time, 4.390s cpu time, 0.126s GC time, factor 1.08
ML stack maximum:
2.3 MiB
ML heap maximum:
825 MiB
ML heap average:
184.8 MiB
ML heap stored:
2.9 MiB
Isabelle version:
41a9c16234a4

Prog_Prove

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
13.177s elapsed time, 13.264s cpu time, 0.493s 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.1 GiB
Isabelle version:
41a9c16234a4

HOLCF-ex

data:
CSV
timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.07
ML timing:
13.301s elapsed time, 13.843s cpu time, 0.472s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
41a9c16234a4

IOA-ABP

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
13.660s elapsed time, 13.843s cpu time, 0.433s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
41a9c16234a4

CCL

data:
CSV
timing:
0:00:15 elapsed time, 0:00:13 cpu time, factor 0.87
ML timing:
12.186s elapsed time, 12.251s cpu time, 0.663s GC time, factor 1.01
ML code maximum:
2.2 MiB
ML code average:
1.6 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:
41a9c16234a4

FOL-ex

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
13.588s elapsed time, 13.877s cpu time, 0.296s 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:
41a9c16234a4

HOLCF-FOCUS

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
12.142s elapsed time, 12.504s cpu time, 0.256s 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:
41a9c16234a4

HOLCF-IMP

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
12.705s elapsed time, 12.833s cpu time, 0.364s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
41a9c16234a4

ZF-Induct

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.744s elapsed time, 12.126s cpu time, 0.518s GC time, factor 1.03
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:
3.9 MiB
Isabelle version:
41a9c16234a4

HOL-SPARK-Manual

data:
CSV
timing:
0:00:13 elapsed time, 0:00:12 cpu time, factor 0.92
ML timing:
11.387s elapsed time, 11.301s cpu time, 0.128s 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:
41a9c16234a4

HOL-IMPP

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.267s elapsed time, 10.537s cpu time, 0.375s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
41a9c16234a4

HOL-TPTP

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
9.039s elapsed time, 9.308s cpu time, 0.266s 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.3 GiB
Isabelle version:
41a9c16234a4

ZF-AC

data:
CSV
timing:
0:00:11 elapsed time, 0:00:11 cpu time, factor 1.00
ML timing:
10.485s elapsed time, 11.216s cpu time, 0.634s GC time, factor 1.07
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:
41a9c16234a4

HOL-Proofs-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.359s elapsed time, 7.431s cpu time, 1.256s 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:
957.6 MiB
Isabelle version:
41a9c16234a4

FOLP-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
8.687s elapsed time, 8.940s cpu time, 0.149s 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:
41a9c16234a4

JEdit

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
7.935s elapsed time, 1.156s cpu time, 0.000s GC time, factor 0.15
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
450 MiB
ML heap average:
299.4 MiB
Isabelle version:
41a9c16234a4

FOL

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.333s elapsed time, 6.207s cpu time, 0.158s GC time, factor 0.98
ML code maximum:
1.9 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
857.3 MiB
ML heap stored:
3.9 MiB
Isabelle version:
41a9c16234a4

HOL-IOA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
5.558s elapsed time, 5.684s cpu time, 0.080s GC time, factor 1.02
ML heap maximum:
1.4 GiB
ML heap average:
822.4 MiB
Isabelle version:
41a9c16234a4

HOL-TLA-Inc

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
5.563s elapsed time, 5.636s cpu time, 0.086s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
848.8 MiB
Isabelle version:
41a9c16234a4

Functions

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
5.910s elapsed time, 5.740s cpu time, 0.115s GC time, factor 0.97
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.2 GiB
ML heap average:
735.6 MiB
Isabelle version:
41a9c16234a4

Tools

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.246s elapsed time, 5.374s cpu time, 0.278s GC time, factor 1.02
ML code maximum:
2.6 MiB
ML code average:
1.5 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
41a9c16234a4

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.160s elapsed time, 4.215s cpu time, 0.095s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.1 GiB
ML heap average:
726 MiB
Isabelle version:
41a9c16234a4

Sequents

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
6.284s elapsed time, 6.589s cpu time, 0.120s GC time, factor 1.05
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
41a9c16234a4

HOL-Lattice

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
4.833s elapsed time, 5.192s cpu time, 0.126s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
871 MiB
ML heap average:
635.1 MiB
Isabelle version:
41a9c16234a4

Eisbach

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
4.399s elapsed time, 3.629s cpu time, 0.114s GC time, factor 0.82
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
827 MiB
ML heap average:
712.3 MiB
Isabelle version:
41a9c16234a4

LCF

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.104s elapsed time, 5.436s cpu time, 0.147s GC time, factor 1.07
ML code maximum:
1.9 MiB
ML code average:
1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
41a9c16234a4

Classes

data:
CSV
timing:
0:00:05 elapsed time, 0:00:03 cpu time, factor 0.60
ML timing:
4.086s elapsed time, 2.621s cpu time, 0.070s 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:
412.8 MiB
Isabelle version:
41a9c16234a4

Locales

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.038s elapsed time, 3.566s cpu time, 0.116s GC time, factor 0.88
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
760 MiB
ML heap average:
603.5 MiB
Isabelle version:
41a9c16234a4

Main

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
1.269s elapsed time, 1.389s cpu time, 0.000s GC time, factor 1.09
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
453 MiB
ML heap average:
356.6 MiB
Isabelle version:
41a9c16234a4

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
3.626s elapsed time, 3.749s cpu time, 0.059s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
756 MiB
ML heap average:
492.4 MiB
Isabelle version:
41a9c16234a4

ZF-Resid

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.372s elapsed time, 3.587s cpu time, 0.073s GC time, factor 1.06
ML heap maximum:
906 MiB
ML heap average:
655.6 MiB
Isabelle version:
41a9c16234a4

HOL-Mutabelle

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.481s elapsed time, 2.533s cpu time, 0.165s 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:
621.2 MiB
Isabelle version:
41a9c16234a4

CTT

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
2.511s elapsed time, 2.484s cpu time, 0.180s GC time, factor 0.99
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
752 MiB
ML heap average:
316.1 MiB
Isabelle version:
41a9c16234a4

IOA-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.447s elapsed time, 2.497s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
689 MiB
ML heap average:
445.9 MiB
Isabelle version:
41a9c16234a4

IOA-Storage

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.152s elapsed time, 3.193s cpu time, 0.070s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
543.6 MiB
Isabelle version:
41a9c16234a4

Sugar

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.604s elapsed time, 1.535s cpu time, 0.000s GC time, factor 0.96
ML stack maximum:
1.3 MiB
ML heap maximum:
532 MiB
ML heap average:
279.3 MiB
Isabelle version:
41a9c16234a4

HOL-TLA-Buffer

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.657s elapsed time, 1.704s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
606 MiB
ML heap average:
312.6 MiB
Isabelle version:
41a9c16234a4

FOLP

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.006s elapsed time, 2.089s cpu time, 0.072s 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:
431.4 MiB
ML heap stored:
1.5 MiB
Isabelle version:
41a9c16234a4

ZF-Coind

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.826s elapsed time, 1.954s cpu time, 0.067s GC time, factor 1.07
ML heap maximum:
689 MiB
ML heap average:
355.8 MiB
Isabelle version:
41a9c16234a4

How_to_Prove_it

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.659s elapsed time, 0.677s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
233 MiB
ML heap average:
233 MiB
Isabelle version:
41a9c16234a4

ZF-IMP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.740s elapsed time, 1.805s cpu time, 0.000s GC time, factor 1.04
ML heap maximum:
640 MiB
ML heap average:
444.9 MiB
Isabelle version:
41a9c16234a4

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.792s elapsed time, 0.818s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
284 MiB
ML heap average:
143.6 MiB
Isabelle version:
41a9c16234a4

Haskell

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.703s elapsed time, 0.747s cpu time, 0.000s GC time, factor 1.06
ML stack maximum:
4.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
327 MiB
ML heap average:
165 MiB
Isabelle version:
41a9c16234a4

HOL-Prolog

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.698s elapsed time, 0.757s cpu time, 0.000s GC time, factor 1.08
ML heap maximum:
287 MiB
ML heap average:
287 MiB
Isabelle version:
41a9c16234a4

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.923s elapsed time, 0.809s cpu time, 0.000s GC time, factor 0.88
ML heap maximum:
415 MiB
ML heap average:
322.5 MiB
Isabelle version:
41a9c16234a4

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.308s elapsed time, 0.319s cpu time, 0.000s GC time, factor 1.04
ML heap maximum:
48 MiB
ML heap average:
48 MiB
Isabelle version:
41a9c16234a4

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.350s elapsed time, 0.317s cpu time, 0.000s GC time, factor 0.91
ML heap maximum:
39 MiB
ML heap average:
39 MiB
Isabelle version:
41a9c16234a4

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.348s elapsed time, 0.312s cpu time, 0.000s GC time, factor 0.90
ML heap maximum:
53 MiB
ML heap average:
53 MiB
Isabelle version:
41a9c16234a4

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.976s elapsed time, 0.932s cpu time, 0.000s GC time, factor 0.95
ML heap maximum:
362 MiB
ML heap average:
257 MiB
Isabelle version:
41a9c16234a4

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.332s elapsed time, 0.297s cpu time, 0.000s GC time, factor 0.89
ML heap maximum:
46 MiB
ML heap average:
46 MiB
Isabelle version:
41a9c16234a4

Cube

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.801s elapsed time, 0.741s cpu time, 0.000s GC time, factor 0.93
ML heap maximum:
166 MiB
ML heap average:
84.7 MiB
Isabelle version:
41a9c16234a4

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.364s elapsed time, 0.326s cpu time, 0.000s GC time, factor 0.90
ML heap maximum:
46 MiB
ML heap average:
46 MiB
Isabelle version:
41a9c16234a4

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.818s elapsed time, 0.799s cpu time, 0.000s GC time, factor 0.98
ML heap maximum:
165 MiB
ML heap average:
84 MiB
Isabelle version:
41a9c16234a4

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
41a9c16234a4

SML

data:
CSV
ML timing:
0.024s elapsed time, 0.028s cpu time, 0.000s GC time, factor 1.17
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
41a9c16234a4

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
41a9c16234a4

Nitpick

data:
CSV
Isabelle version:
41a9c16234a4

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
41a9c16234a4