Isabelle build status for macOS 13 Ventura (ARM), 2 threads

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

HOL-Analysis

data:
CSV
timing:
0:12:07 elapsed time, 0:21:15 cpu time, factor 1.75
ML timing:
676.684s elapsed time, 1198.482s cpu time, 99.983s GC time, factor 1.77
ML code maximum:
5.3 MiB
ML code average:
5.1 MiB
ML stack maximum:
44.6 MiB
ML stack average:
38.9 MiB
ML heap maximum:
9.9 GiB
ML heap average:
5 GiB
ML heap stored:
270.2 MiB
Isabelle version:
bf227fa26760

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:09:24 elapsed time, 0:17:54 cpu time, factor 1.90
ML timing:
562.888s elapsed time, 1073.103s cpu time, 27.686s GC time, factor 1.91
ML code maximum:
249.4 MiB
ML code average:
214.1 MiB
ML stack maximum:
5.5 MiB
ML stack average:
3.8 MiB
ML heap maximum:
2.6 GiB
ML heap average:
2 GiB
Isabelle version:
bf227fa26760

HOL-Datatype_Benchmark

data:
CSV
timing:
0:05:48 elapsed time, 0:11:26 cpu time, factor 1.97
ML timing:
340.937s elapsed time, 673.220s cpu time, 180.945s GC time, factor 1.97
ML stack maximum:
10.3 MiB
ML stack average:
6.6 MiB
ML heap maximum:
15.7 GiB
ML heap average:
9.9 GiB
Isabelle version:
bf227fa26760

HOL-Data_Structures

data:
CSV
timing:
0:05:44 elapsed time, 0:10:34 cpu time, factor 1.84
ML timing:
340.969s elapsed time, 629.034s cpu time, 52.632s GC time, factor 1.84
ML stack maximum:
20.8 MiB
ML stack average:
11.3 MiB
ML heap maximum:
6.5 GiB
ML heap average:
3.5 GiB
Isabelle version:
bf227fa26760

HOL-ex

data:
CSV
timing:
0:05:27 elapsed time, 0:09:50 cpu time, factor 1.80
ML timing:
325.124s elapsed time, 586.866s cpu time, 30.032s GC time, factor 1.81
ML code maximum:
5.5 MiB
ML code average:
3.5 MiB
ML stack maximum:
52.3 MiB
ML stack average:
32.4 MiB
ML heap maximum:
5.8 GiB
ML heap average:
4.4 GiB
Isabelle version:
bf227fa26760

HOL-Proofs

data:
CSV
timing:
0:05:05 elapsed time, 0:07:49 cpu time, factor 1.54
ML timing:
228.428s elapsed time, 348.609s cpu time, 53.107s GC time, factor 1.53
ML code maximum:
39.5 MiB
ML code average:
30.1 MiB
ML stack maximum:
57.3 MiB
ML stack average:
32.7 MiB
ML heap maximum:
12.5 GiB
ML heap average:
4.9 GiB
ML heap stored:
386.4 MiB
Isabelle version:
bf227fa26760

HOL-Nominal-Examples

data:
CSV
timing:
0:04:47 elapsed time, 0:08:42 cpu time, factor 1.82
ML timing:
284.554s elapsed time, 518.095s cpu time, 41.544s GC time, factor 1.82
ML stack maximum:
38.3 MiB
ML stack average:
36.3 MiB
ML heap maximum:
5.2 GiB
ML heap average:
4.5 GiB
Isabelle version:
bf227fa26760

HOL-Codegenerator_Test

data:
CSV
timing:
0:04:29 elapsed time, 0:06:25 cpu time, factor 1.43
ML timing:
267.067s elapsed time, 382.036s cpu time, 23.619s GC time, factor 1.43
ML code maximum:
3.5 MiB
ML code average:
1.1 MiB
ML stack maximum:
43.2 MiB
ML stack average:
39.6 MiB
ML heap maximum:
3.7 GiB
ML heap average:
2.9 GiB
Isabelle version:
bf227fa26760

HOL-Decision_Procs

data:
CSV
timing:
0:04:26 elapsed time, 0:08:11 cpu time, factor 1.85
ML timing:
263.066s elapsed time, 486.126s cpu time, 31.285s GC time, factor 1.85
ML code maximum:
6.3 MiB
ML code average:
3 MiB
ML stack maximum:
72.8 MiB
ML stack average:
35.9 MiB
ML heap maximum:
14.5 GiB
ML heap average:
9.9 GiB
Isabelle version:
bf227fa26760

HOL-Library

data:
CSV
timing:
0:03:39 elapsed time, 0:06:37 cpu time, factor 1.81
ML timing:
197.857s elapsed time, 365.740s cpu time, 19.799s GC time, factor 1.85
ML code maximum:
6.8 MiB
ML code average:
6.5 MiB
ML stack maximum:
18.6 MiB
ML stack average:
15.7 MiB
ML heap maximum:
3.6 GiB
ML heap average:
3 GiB
ML heap stored:
153.7 MiB
Isabelle version:
bf227fa26760

HOL

data:
CSV
timing:
0:03:35 elapsed time, 0:06:30 cpu time, factor 1.81
ML timing:
198.002s elapsed time, 364.682s cpu time, 31.666s GC time, factor 1.84
ML code maximum:
45.6 MiB
ML code average:
34.7 MiB
ML stack maximum:
56.8 MiB
ML stack average:
44.1 MiB
ML heap maximum:
4.3 GiB
ML heap average:
3.4 GiB
ML heap stored:
217 MiB
Isabelle version:
bf227fa26760

HOL-Algebra

data:
CSV
timing:
0:02:42 elapsed time, 0:05:01 cpu time, factor 1.86
ML timing:
148.029s elapsed time, 281.381s cpu time, 55.896s GC time, factor 1.90
ML stack maximum:
10.1 MiB
ML stack average:
8.2 MiB
ML heap maximum:
6.1 GiB
ML heap average:
3 GiB
ML heap stored:
64.8 MiB
Isabelle version:
bf227fa26760

HOL-Corec_Examples

data:
CSV
timing:
0:02:22 elapsed time, 0:04:32 cpu time, factor 1.92
ML timing:
137.958s elapsed time, 265.338s cpu time, 29.929s GC time, factor 1.92
ML stack maximum:
6.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
4.5 GiB
ML heap average:
2.9 GiB
Isabelle version:
bf227fa26760

HOL-Probability

data:
CSV
timing:
0:01:38 elapsed time, 0:02:52 cpu time, factor 1.76
ML timing:
85.559s elapsed time, 154.796s cpu time, 7.872s GC time, factor 1.81
ML stack maximum:
13.9 MiB
ML stack average:
10.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
53.1 MiB
Isabelle version:
bf227fa26760

HOL-Imperative_HOL

data:
CSV
timing:
0:01:36 elapsed time, 0:02:39 cpu time, factor 1.66
ML timing:
95.056s elapsed time, 157.951s cpu time, 5.751s GC time, factor 1.66
ML stack maximum:
18.6 MiB
ML stack average:
16.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Datatype_Examples

data:
CSV
timing:
0:01:35 elapsed time, 0:03:06 cpu time, factor 1.96
ML timing:
91.936s elapsed time, 181.569s cpu time, 30.970s GC time, factor 1.97
ML stack maximum:
6.3 MiB
ML stack average:
2.5 MiB
ML heap maximum:
5 GiB
ML heap average:
3 GiB
Isabelle version:
bf227fa26760

HOL-Auth

data:
CSV
timing:
0:01:32 elapsed time, 0:02:26 cpu time, factor 1.59
ML timing:
88.366s elapsed time, 141.352s cpu time, 2.911s GC time, factor 1.60
ML stack maximum:
12.3 MiB
ML stack average:
11.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
31.8 MiB
Isabelle version:
bf227fa26760

HOL-Homology

data:
CSV
timing:
0:01:29 elapsed time, 0:02:37 cpu time, factor 1.76
ML timing:
87.635s elapsed time, 155.824s cpu time, 19.200s GC time, factor 1.78
ML stack maximum:
17.9 MiB
ML stack average:
15.7 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.5 GiB
Isabelle version:
bf227fa26760

HOL-Real_Asymp

data:
CSV
timing:
0:01:27 elapsed time, 0:02:40 cpu time, factor 1.84
ML timing:
78.773s elapsed time, 148.106s cpu time, 6.504s GC time, factor 1.88
ML code maximum:
5.6 MiB
ML code average:
4.9 MiB
ML stack maximum:
33.1 MiB
ML stack average:
26.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
67.9 MiB
Isabelle version:
bf227fa26760

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:27 elapsed time, 0:02:02 cpu time, factor 1.40
ML timing:
85.949s elapsed time, 120.998s cpu time, 7.326s GC time, factor 1.41
ML stack maximum:
12.9 MiB
ML stack average:
12 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:01:24 elapsed time, 0:02:00 cpu time, factor 1.43
ML timing:
83.138s elapsed time, 119.138s cpu time, 3.384s GC time, factor 1.43
ML code maximum:
7.8 MiB
ML code average:
4.4 MiB
ML stack maximum:
8.1 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-MicroJava

data:
CSV
timing:
0:01:16 elapsed time, 0:02:15 cpu time, factor 1.78
ML timing:
75.710s elapsed time, 134.855s cpu time, 2.924s GC time, factor 1.78
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
8.9 MiB
ML stack average:
7.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:13 elapsed time, 0:01:18 cpu time, factor 1.07
ML timing:
72.217s elapsed time, 77.123s cpu time, 2.542s GC time, factor 1.07
ML code maximum:
17.3 MiB
ML code average:
11.9 MiB
ML stack maximum:
14.6 MiB
ML stack average:
13.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-IMP

data:
CSV
timing:
0:01:11 elapsed time, 0:01:59 cpu time, factor 1.68
ML timing:
69.834s elapsed time, 117.737s cpu time, 5.187s GC time, factor 1.69
ML code maximum:
15 MiB
ML code average:
5.8 MiB
ML stack maximum:
6.9 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

Codegen

data:
CSV
timing:
0:01:08 elapsed time, 0:02:09 cpu time, factor 1.90
ML timing:
66.914s elapsed time, 128.344s cpu time, 3.472s GC time, factor 1.92
ML stack maximum:
13.4 MiB
ML stack average:
11.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:07 elapsed time, 0:02:05 cpu time, factor 1.87
ML timing:
66.584s elapsed time, 124.191s cpu time, 2.180s GC time, factor 1.87
ML stack maximum:
5.5 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Computational_Algebra

data:
CSV
timing:
0:01:05 elapsed time, 0:02:02 cpu time, factor 1.88
ML timing:
58.556s elapsed time, 112.382s cpu time, 4.155s GC time, factor 1.92
ML code maximum:
1 MiB
ML stack maximum:
36.3 MiB
ML stack average:
24.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
42.4 MiB
Isabelle version:
bf227fa26760

HOL-Record_Benchmark

data:
CSV
timing:
0:01:02 elapsed time, 0:01:30 cpu time, factor 1.45
ML timing:
61.212s elapsed time, 88.711s cpu time, 2.716s GC time, factor 1.45
ML stack maximum:
3.6 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Complex_Analysis

data:
CSV
timing:
0:01:02 elapsed time, 0:01:49 cpu time, factor 1.76
ML timing:
61.395s elapsed time, 108.615s cpu time, 2.419s GC time, factor 1.77
ML stack maximum:
18.4 MiB
ML stack average:
16.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
bf227fa26760

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:02 elapsed time, 0:01:07 cpu time, factor 1.08
ML timing:
60.787s elapsed time, 65.952s cpu time, 1.736s GC time, factor 1.08
ML stack maximum:
4.4 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Bali

data:
CSV
timing:
0:00:59 elapsed time, 0:01:47 cpu time, factor 1.81
ML timing:
58.506s elapsed time, 105.677s cpu time, 4.349s GC time, factor 1.81
ML stack maximum:
14.5 MiB
ML stack average:
9.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Examples

data:
CSV
timing:
0:00:59 elapsed time, 0:01:45 cpu time, factor 1.78
ML timing:
58.566s elapsed time, 103.391s cpu time, 4.025s GC time, factor 1.77
ML code maximum:
1.3 MiB
ML stack maximum:
12.8 MiB
ML stack average:
11.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Number_Theory

data:
CSV
timing:
0:00:58 elapsed time, 0:01:43 cpu time, factor 1.78
ML timing:
57.278s elapsed time, 101.902s cpu time, 6.902s GC time, factor 1.78
ML stack maximum:
11.6 MiB
ML stack average:
10 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-SMT_Examples

data:
CSV
timing:
0:00:42 elapsed time, 0:01:15 cpu time, factor 1.79
ML timing:
41.605s elapsed time, 74.185s cpu time, 1.544s GC time, factor 1.78
ML stack maximum:
12.1 MiB
ML stack average:
10.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:38 elapsed time, 0:00:51 cpu time, factor 1.34
ML timing:
37.099s elapsed time, 51.124s cpu time, 0.949s GC time, factor 1.38
ML stack maximum:
6.5 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-SET_Protocol

data:
CSV
timing:
0:00:32 elapsed time, 0:00:50 cpu time, factor 1.56
ML timing:
31.423s elapsed time, 50.283s cpu time, 0.648s GC time, factor 1.60
ML stack maximum:
5.2 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-UNITY

data:
CSV
timing:
0:00:32 elapsed time, 0:00:54 cpu time, factor 1.69
ML timing:
31.701s elapsed time, 53.045s cpu time, 1.919s GC time, factor 1.67
ML stack maximum:
11.1 MiB
ML stack average:
10.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

Corec

data:
CSV
timing:
0:00:30 elapsed time, 0:00:41 cpu time, factor 1.37
ML timing:
29.165s elapsed time, 39.592s cpu time, 2.109s GC time, factor 1.36
ML code maximum:
2.8 MiB
ML code average:
2.7 MiB
ML stack maximum:
10.3 MiB
ML stack average:
8.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

Datatypes

data:
CSV
timing:
0:00:30 elapsed time, 0:00:47 cpu time, factor 1.57
ML timing:
21.523s elapsed time, 33.962s cpu time, 1.846s GC time, factor 1.58
ML stack maximum:
9.5 MiB
ML stack average:
6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
73.3 MiB
Isabelle version:
bf227fa26760

HOL-Metis_Examples

data:
CSV
timing:
0:00:22 elapsed time, 0:00:31 cpu time, factor 1.41
ML timing:
21.253s elapsed time, 30.577s cpu time, 1.389s GC time, factor 1.44
ML stack maximum:
5.9 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Analysis-ex

data:
CSV
timing:
0:00:21 elapsed time, 0:00:27 cpu time, factor 1.29
ML timing:
20.069s elapsed time, 26.568s cpu time, 0.244s GC time, factor 1.32
ML stack maximum:
4.7 MiB
ML stack average:
4.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:18 elapsed time, 0:00:29 cpu time, factor 1.61
ML timing:
17.240s elapsed time, 29.218s cpu time, 0.818s GC time, factor 1.69
ML code maximum:
1.3 MiB
ML code average:
1.1 MiB
ML stack maximum:
7.1 MiB
ML stack average:
6.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Combinatorics

data:
CSV
timing:
0:00:15 elapsed time, 0:00:28 cpu time, factor 1.87
ML timing:
14.913s elapsed time, 27.236s cpu time, 0.992s GC time, factor 1.83
ML stack maximum:
11.1 MiB
ML stack average:
10.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Hoare

data:
CSV
timing:
0:00:15 elapsed time, 0:00:27 cpu time, factor 1.80
ML timing:
14.151s elapsed time, 27.121s cpu time, 0.699s GC time, factor 1.92
ML stack maximum:
3.2 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-SPARK

data:
CSV
timing:
0:00:14 elapsed time, 0:00:24 cpu time, factor 1.71
ML timing:
11.358s elapsed time, 20.535s cpu time, 0.709s GC time, factor 1.81
ML stack maximum:
9.2 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
15.1 MiB
Isabelle version:
bf227fa26760

HOL-Quotient_Examples

data:
CSV
timing:
0:00:14 elapsed time, 0:00:19 cpu time, factor 1.36
ML timing:
13.400s elapsed time, 18.774s cpu time, 0.877s GC time, factor 1.40
ML stack maximum:
3 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

Tutorial

data:
CSV
timing:
0:00:13 elapsed time, 0:00:25 cpu time, factor 1.92
ML timing:
12.648s elapsed time, 23.915s cpu time, 1.571s GC time, factor 1.89
ML stack maximum:
6.4 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

ZF

data:
CSV
timing:
0:00:13 elapsed time, 0:00:16 cpu time, factor 1.23
ML timing:
9.364s elapsed time, 15.310s cpu time, 1.061s GC time, factor 1.63
ML code maximum:
3.2 MiB
ML code average:
2.7 MiB
ML stack maximum:
14.5 MiB
ML stack average:
8.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
15.7 MiB
Isabelle version:
bf227fa26760

HOLCF

data:
CSV
timing:
0:00:12 elapsed time, 0:00:21 cpu time, factor 1.75
ML timing:
8.426s elapsed time, 16.936s cpu time, 0.869s GC time, factor 2.01
ML code maximum:
1.3 MiB
ML stack maximum:
4.5 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
19.7 MiB
Isabelle version:
bf227fa26760

HOL-Cardinals

data:
CSV
timing:
0:00:12 elapsed time, 0:00:22 cpu time, factor 1.83
ML timing:
11.968s elapsed time, 21.419s cpu time, 0.612s GC time, factor 1.79
ML stack maximum:
6.6 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOLCF-Library

data:
CSV
timing:
0:00:11 elapsed time, 0:00:18 cpu time, factor 1.64
ML timing:
7.671s elapsed time, 14.367s cpu time, 0.488s GC time, factor 1.87
ML stack maximum:
4.9 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
991.8 MiB
ML heap stored:
9.7 MiB
Isabelle version:
bf227fa26760

IOA

data:
CSV
timing:
0:00:11 elapsed time, 0:00:18 cpu time, factor 1.64
ML timing:
7.442s elapsed time, 13.964s cpu time, 0.550s GC time, factor 1.88
ML stack maximum:
4.5 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1016.5 MiB
ML heap stored:
6.7 MiB
Isabelle version:
bf227fa26760

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.398s elapsed time, 0.421s 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:
721.7 MiB
ML heap stored:
28.6 MiB
Isabelle version:
bf227fa26760

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:10 elapsed time, 0:00:16 cpu time, factor 1.60
ML timing:
6.441s elapsed time, 12.370s cpu time, 0.563s GC time, factor 1.92
ML stack maximum:
5.6 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
914 MiB
ML heap stored:
10.2 MiB
Isabelle version:
bf227fa26760

Isar_Ref

data:
CSV
timing:
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70
ML timing:
9.847s elapsed time, 16.425s cpu time, 0.795s GC time, factor 1.67
ML stack maximum:
17.2 MiB
ML stack average:
13.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-Statespace

data:
CSV
timing:
0:00:09 elapsed time, 0:00:10 cpu time, factor 1.11
ML timing:
8.370s elapsed time, 9.608s cpu time, 0.292s GC time, factor 1.15
ML stack maximum:
2.7 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Nominal

data:
CSV
timing:
0:00:09 elapsed time, 0:00:15 cpu time, factor 1.67
ML timing:
6.513s elapsed time, 11.926s cpu time, 0.679s GC time, factor 1.83
ML code maximum:
2.4 MiB
ML code average:
1.6 MiB
ML stack maximum:
9.8 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
992.1 MiB
ML heap stored:
9.8 MiB
Isabelle version:
bf227fa26760

HOL-SPARK-Examples

data:
CSV
timing:
0:00:09 elapsed time, 0:00:14 cpu time, factor 1.56
ML timing:
8.312s elapsed time, 14.125s cpu time, 0.215s GC time, factor 1.70
ML stack maximum:
2.7 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Types_To_Sets

data:
CSV
timing:
0:00:08 elapsed time, 0:00:12 cpu time, factor 1.50
ML timing:
7.263s elapsed time, 11.966s cpu time, 0.343s GC time, factor 1.65
ML stack maximum:
3.1 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:15 cpu time, factor 1.88
ML timing:
7.841s elapsed time, 14.759s cpu time, 1.010s GC time, factor 1.88
ML stack maximum:
3.1 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-ZF

data:
CSV
timing:
0:00:08 elapsed time, 0:00:14 cpu time, factor 1.75
ML timing:
7.670s elapsed time, 13.827s cpu time, 0.614s GC time, factor 1.80
ML stack maximum:
11.8 MiB
ML stack average:
10.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Import

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.254s elapsed time, 7.593s cpu time, 0.208s GC time, factor 1.05
ML stack maximum:
65.5 MiB
ML stack average:
56.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

Typeclass_Hierarchy

data:
CSV
timing:
0:00:07 elapsed time, 0:00:11 cpu time, factor 1.57
ML timing:
6.425s elapsed time, 10.834s cpu time, 0.526s GC time, factor 1.69
ML stack maximum:
9.1 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Hahn_Banach

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.362s elapsed time, 10.422s cpu time, 0.378s GC time, factor 1.94
ML stack maximum:
2.5 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

ZF-UNITY

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.788s elapsed time, 10.733s cpu time, 0.464s GC time, factor 1.85
ML stack maximum:
2.7 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

ZF-Constructible

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
5.554s elapsed time, 10.914s cpu time, 1.149s GC time, factor 1.97
ML stack maximum:
4.7 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.4 GiB
Isabelle version:
bf227fa26760

HOL-TLA-Memory

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
6.067s elapsed time, 10.908s cpu time, 0.237s GC time, factor 1.80
ML stack maximum:
5.5 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

Haskell

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
5.493s elapsed time, 0.286s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
5 MiB
ML stack average:
4.5 MiB
ML heap maximum:
422 MiB
ML heap average:
418.3 MiB
Isabelle version:
bf227fa26760

HOL-Eisbach

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
3.680s elapsed time, 7.212s cpu time, 0.213s GC time, factor 1.96
ML code maximum:
2.5 MiB
ML code average:
2.1 MiB
ML stack maximum:
7 MiB
ML stack average:
5.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

System

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
4.878s elapsed time, 0.661s cpu time, 0.000s GC time, factor 0.14
ML stack maximum:
5.4 MiB
ML stack average:
4.9 MiB
ML heap maximum:
642 MiB
ML heap average:
473.4 MiB
Isabelle version:
bf227fa26760

HOL-Probability-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
4.474s elapsed time, 7.729s cpu time, 0.303s GC time, factor 1.73
ML stack maximum:
2.5 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

ZF-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
3.875s elapsed time, 5.870s cpu time, 0.299s GC time, factor 1.51
ML stack maximum:
6.5 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

HOLCF-Tutorial

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
4.752s elapsed time, 6.362s cpu time, 0.199s GC time, factor 1.34
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

ZF-Induct

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.884s elapsed time, 3.901s cpu time, 0.197s GC time, factor 1.00
ML stack maximum:
3 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
4.1 MiB
Isabelle version:
bf227fa26760

IOA-NTP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.383s elapsed time, 5.946s cpu time, 0.271s GC time, factor 1.76
ML stack maximum:
1.5 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

FOL-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
4.276s elapsed time, 5.602s cpu time, 0.242s GC time, factor 1.31
ML code maximum:
1.2 MiB
ML code average:
1.1 MiB
ML stack maximum:
3.6 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
bf227fa26760

HOL-Isar_Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
3.099s elapsed time, 5.758s cpu time, 0.224s GC time, factor 1.86
ML stack maximum:
2 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
bf227fa26760

HOL-Unix

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
3.937s elapsed time, 7.780s cpu time, 0.384s GC time, factor 1.98
ML stack maximum:
3.7 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

CCL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
2.688s elapsed time, 3.689s cpu time, 0.270s GC time, factor 1.37
ML code maximum:
2.1 MiB
ML code average:
1.6 MiB
ML stack maximum:
5.5 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
807.8 MiB
Isabelle version:
bf227fa26760

HOL-NanoJava

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.801s elapsed time, 5.073s cpu time, 0.275s GC time, factor 1.81
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
bf227fa26760

HOL-TLA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
0.901s elapsed time, 1.461s cpu time, 0.100s GC time, factor 1.62
ML stack maximum:
2.6 MiB
ML heap maximum:
764 MiB
ML heap average:
140.1 MiB
ML heap stored:
3 MiB
Isabelle version:
bf227fa26760

Prog_Prove

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.333s elapsed time, 4.658s cpu time, 0.339s GC time, factor 2.00
ML stack maximum:
3.5 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

HOLCF-FOCUS

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.187s elapsed time, 4.229s cpu time, 0.162s GC time, factor 1.93
ML stack maximum:
1.5 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
893.3 MiB
Isabelle version:
bf227fa26760

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.416s elapsed time, 4.758s cpu time, 0.230s GC time, factor 1.97
ML stack maximum:
2.2 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

HOL-IMPP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.162s elapsed time, 3.544s cpu time, 0.195s GC time, factor 1.64
ML stack maximum:
1.6 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
953.8 MiB
Isabelle version:
bf227fa26760

IOA-ABP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.722s elapsed time, 4.791s cpu time, 0.203s GC time, factor 1.76
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

Implementation

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.348s elapsed time, 3.882s cpu time, 0.081s GC time, factor 1.65
ML stack maximum:
5.9 MiB
ML stack average:
4.5 MiB
ML heap maximum:
761 MiB
ML heap average:
597.6 MiB
Isabelle version:
bf227fa26760

HOL-TPTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.738s elapsed time, 3.411s cpu time, 0.195s GC time, factor 1.25
ML code maximum:
5.7 MiB
ML code average:
4.4 MiB
ML stack maximum:
29.3 MiB
ML stack average:
19.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

HOLCF-IMP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.590s elapsed time, 4.518s cpu time, 0.181s GC time, factor 1.74
ML stack maximum:
2 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

HOL-SPARK-Manual

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
2.036s elapsed time, 3.588s cpu time, 0.094s GC time, factor 1.76
ML stack maximum:
2.2 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
bf227fa26760

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.504s elapsed time, 2.600s cpu time, 0.736s GC time, factor 1.73
ML stack maximum:
5 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
859.1 MiB
Isabelle version:
bf227fa26760

Tools

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.849s elapsed time, 1.961s cpu time, 0.122s GC time, factor 1.06
ML code maximum:
2.5 MiB
ML code average:
1.7 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
bf227fa26760

FOL

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.536s elapsed time, 1.734s cpu time, 0.094s GC time, factor 1.13
ML code maximum:
1.8 MiB
ML code average:
1 MiB
ML stack maximum:
4.4 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
858.4 MiB
ML heap stored:
4 MiB
Isabelle version:
bf227fa26760

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.132s elapsed time, 1.894s cpu time, 0.053s GC time, factor 1.67
ML stack maximum:
1.1 MiB
ML stack average:
1 MiB
ML heap maximum:
1.2 GiB
ML heap average:
779.4 MiB
Isabelle version:
bf227fa26760

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.746s elapsed time, 3.080s cpu time, 0.067s GC time, factor 1.76
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
1.8 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
938.3 MiB
Isabelle version:
bf227fa26760

ZF-AC

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.964s elapsed time, 3.753s cpu time, 0.215s GC time, factor 1.91
ML stack maximum:
2.5 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
bf227fa26760

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
2.221s elapsed time, 1.822s cpu time, 0.129s GC time, factor 0.82
ML stack maximum:
1.6 MiB
ML stack average:
1.4 MiB
ML heap maximum:
771 MiB
ML heap average:
766.7 MiB
Isabelle version:
bf227fa26760

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.222s elapsed time, 1.667s cpu time, 0.085s GC time, factor 1.36
ML stack maximum:
3.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
761 MiB
ML heap average:
285.1 MiB
Isabelle version:
bf227fa26760

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.138s elapsed time, 1.426s cpu time, 0.080s GC time, factor 1.25
ML stack maximum:
5 MiB
ML stack average:
5 MiB
ML heap maximum:
716 MiB
ML heap average:
521 MiB
Isabelle version:
bf227fa26760

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.624s elapsed time, 1.851s cpu time, 0.096s GC time, factor 1.14
ML code maximum:
1.8 MiB
ML code average:
1 MiB
ML stack maximum:
4.4 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
855.6 MiB
Isabelle version:
bf227fa26760

Sugar

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

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.690s elapsed time, 1.175s cpu time, 0.065s GC time, factor 1.70
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
561 MiB
ML heap average:
561 MiB
Isabelle version:
bf227fa26760

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.289s elapsed time, 0.472s cpu time, 0.000s GC time, factor 1.63
ML heap maximum:
625 MiB
ML heap average:
625 MiB
Isabelle version:
bf227fa26760

HOL-IOA

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.179s elapsed time, 1.697s cpu time, 0.081s GC time, factor 1.44
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
763 MiB
ML heap average:
559.3 MiB
Isabelle version:
bf227fa26760

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.643s elapsed time, 0.898s cpu time, 0.049s GC time, factor 1.40
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
754 MiB
ML heap average:
754 MiB
Isabelle version:
bf227fa26760

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.995s elapsed time, 1.359s cpu time, 0.084s GC time, factor 1.37
ML stack maximum:
1 MiB
ML heap maximum:
758 MiB
ML heap average:
384 MiB
Isabelle version:
bf227fa26760

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.800s elapsed time, 0.876s cpu time, 0.087s GC time, factor 1.10
ML stack maximum:
8.7 MiB
ML stack average:
4.6 MiB
ML heap maximum:
650 MiB
ML heap average:
447.7 MiB
Isabelle version:
bf227fa26760

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.239s elapsed time, 2.420s cpu time, 0.086s GC time, factor 1.95
ML stack maximum:
1.4 MiB
ML stack average:
1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
754.1 MiB
Isabelle version:
bf227fa26760

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.383s elapsed time, 0.727s cpu time, 0.000s GC time, factor 1.90
ML heap maximum:
711 MiB
ML heap average:
711 MiB
Isabelle version:
bf227fa26760

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.604s elapsed time, 0.656s cpu time, 0.051s GC time, factor 1.09
ML stack maximum:
1.4 MiB
ML heap maximum:
230 MiB
ML heap average:
118.7 MiB
ML heap stored:
1.5 MiB
Isabelle version:
bf227fa26760

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.812s elapsed time, 1.118s cpu time, 0.062s GC time, factor 1.38
ML heap maximum:
756 MiB
ML heap average:
381.7 MiB
Isabelle version:
bf227fa26760

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.600s elapsed time, 1.090s cpu time, 0.068s GC time, factor 1.82
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
440 MiB
ML heap average:
440 MiB
Isabelle version:
bf227fa26760

JEdit

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

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.305s elapsed time, 0.350s cpu time, 0.000s GC time, factor 1.15
ML stack maximum:
1.5 MiB
ML heap maximum:
529 MiB
ML heap average:
529 MiB
Isabelle version:
bf227fa26760

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.897s elapsed time, 1.282s cpu time, 0.050s GC time, factor 1.43
ML stack maximum:
1.5 MiB
ML heap maximum:
675 MiB
ML heap average:
616.5 MiB
Isabelle version:
bf227fa26760

Logics

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

ZF-Coind

data:
CSV
ML timing:
0.302s elapsed time, 0.584s cpu time, 0.046s GC time, factor 1.93
ML heap maximum:
106 MiB
ML heap average:
5 MiB
Isabelle version:
bf227fa26760

Logics_ZF

data:
CSV
ML timing:
0.175s elapsed time, 0.240s cpu time, 0.000s GC time, factor 1.37
ML heap maximum:
176 MiB
ML heap average:
176 MiB
Isabelle version:
bf227fa26760

SML

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

How_to_Prove_it

data:
CSV
ML timing:
0.125s elapsed time, 0.196s cpu time, 0.000s GC time, factor 1.57
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
bf227fa26760

ZF-IMP

data:
CSV
ML timing:
0.386s elapsed time, 0.454s cpu time, 0.000s GC time, factor 1.18
ML heap maximum:
704 MiB
ML heap average:
704 MiB
Isabelle version:
bf227fa26760

CTT

data:
CSV
ML timing:
0.427s elapsed time, 0.647s cpu time, 0.078s GC time, factor 1.52
ML stack maximum:
2.4 MiB
ML heap maximum:
145 MiB
ML heap average:
145 MiB
Isabelle version:
bf227fa26760

Demo_FoilTeX

data:
CSV
ML timing:
0.073s elapsed time, 0.100s cpu time, 0.000s GC time, factor 1.37
ML heap maximum:
56 MiB
ML heap average:
56 MiB
Isabelle version:
bf227fa26760

Sledgehammer

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

Demo_LLNCS

data:
CSV
ML timing:
0.075s elapsed time, 0.100s cpu time, 0.000s GC time, factor 1.33
ML heap maximum:
106 MiB
ML heap average:
106 MiB
Isabelle version:
bf227fa26760

Demo_LIPIcs

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

HOL-Real_Asymp-Manual

data:
CSV
ML timing:
0.195s elapsed time, 0.260s cpu time, 0.000s GC time, factor 1.33
ML heap maximum:
150 MiB
ML heap average:
150 MiB
Isabelle version:
bf227fa26760

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.272s elapsed time, 0.232s cpu time, 0.000s GC time, factor 0.85
ML stack maximum:
1.4 MiB
ML heap maximum:
229 MiB
ML heap average:
128 MiB
Isabelle version:
bf227fa26760

Demo_Easychair

data:
CSV
ML timing:
0.075s elapsed time, 0.100s cpu time, 0.000s GC time, factor 1.33
ML heap maximum:
64 MiB
ML heap average:
64 MiB
Isabelle version:
bf227fa26760

Cube

data:
CSV
ML timing:
0.128s elapsed time, 0.144s cpu time, 0.000s GC time, factor 1.13
ML heap maximum:
75 MiB
ML heap average:
75 MiB
Isabelle version:
bf227fa26760

Intro

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

Demo_EPTCS

data:
CSV
ML timing:
0.075s elapsed time, 0.099s cpu time, 0.000s GC time, factor 1.32
ML heap maximum:
94 MiB
ML heap average:
94 MiB
Isabelle version:
bf227fa26760

Pure-Examples

data:
CSV
ML timing:
0.201s elapsed time, 0.189s cpu time, 0.000s GC time, factor 0.94
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
97 MiB
ML heap average:
97 MiB
Isabelle version:
bf227fa26760

HOL-Prolog

data:
CSV
ML timing:
0.136s elapsed time, 0.215s cpu time, 0.000s GC time, factor 1.58
ML heap maximum:
114 MiB
ML heap average:
114 MiB
Isabelle version:
bf227fa26760