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

status date:
25-May-2026 06:59:34 +0200
build host:
mini3

HOL-Analysis

data:
CSV
timing:
0:06:36 elapsed time, 0:21:11 cpu time, factor 3.21
ML timing:
359.092s elapsed time, 1194.342s cpu time, 51.189s GC time, factor 3.33
ML code maximum:
5.3 MiB
ML code average:
5.2 MiB
ML stack maximum:
112.6 MiB
ML stack average:
95.7 MiB
ML heap maximum:
8.7 GiB
ML heap average:
7.1 GiB
ML heap stored:
270.4 MiB
Isabelle version:
c13a4bd3c018

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:05:37 elapsed time, 0:19:04 cpu time, factor 3.39
ML timing:
336.362s elapsed time, 1142.989s cpu time, 42.254s GC time, factor 3.40
ML code maximum:
103.2 MiB
ML code average:
95.7 MiB
ML stack maximum:
7 MiB
ML stack average:
5.7 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.9 GiB
Isabelle version:
c13a4bd3c018

HOL-Proofs

data:
CSV
timing:
0:04:08 elapsed time, 0:07:24 cpu time, factor 1.79
ML timing:
193.204s elapsed time, 326.900s cpu time, 41.995s GC time, factor 1.69
ML code maximum:
39.6 MiB
ML code average:
30.5 MiB
ML stack maximum:
76.3 MiB
ML stack average:
44.8 MiB
ML heap maximum:
8.6 GiB
ML heap average:
4.4 GiB
ML heap stored:
386.3 MiB
Isabelle version:
c13a4bd3c018

HOL-Datatype_Benchmark

data:
CSV
timing:
0:03:01 elapsed time, 0:10:25 cpu time, factor 3.45
ML timing:
176.869s elapsed time, 613.004s cpu time, 123.396s GC time, factor 3.47
ML stack maximum:
12.2 MiB
ML stack average:
8.3 MiB
ML heap maximum:
15.7 GiB
ML heap average:
8.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Codegenerator_Test

data:
CSV
timing:
0:02:58 elapsed time, 0:06:27 cpu time, factor 2.17
ML timing:
176.328s elapsed time, 384.729s cpu time, 26.056s GC time, factor 2.18
ML code maximum:
3.6 MiB
ML code average:
3.4 MiB
ML stack maximum:
56.1 MiB
ML stack average:
49.8 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.8 GiB
Isabelle version:
c13a4bd3c018

HOL-Data_Structures

data:
CSV
timing:
0:02:54 elapsed time, 0:10:39 cpu time, factor 3.67
ML timing:
171.735s elapsed time, 633.040s cpu time, 39.083s GC time, factor 3.69
ML stack maximum:
26.3 MiB
ML stack average:
17.6 MiB
ML heap maximum:
7.7 GiB
ML heap average:
4.9 GiB
Isabelle version:
c13a4bd3c018

HOL-ex

data:
CSV
timing:
0:02:31 elapsed time, 0:09:12 cpu time, factor 3.66
ML timing:
149.808s elapsed time, 549.404s cpu time, 43.028s GC time, factor 3.67
ML code maximum:
5.6 MiB
ML code average:
4 MiB
ML stack maximum:
101.3 MiB
ML stack average:
49.2 MiB
ML heap maximum:
5.5 GiB
ML heap average:
3.8 GiB
Isabelle version:
c13a4bd3c018

HOL-Nominal-Examples

data:
CSV
timing:
0:02:23 elapsed time, 0:08:48 cpu time, factor 3.69
ML timing:
142.006s elapsed time, 524.258s cpu time, 42.634s GC time, factor 3.69
ML stack maximum:
42.8 MiB
ML stack average:
40.8 MiB
ML heap maximum:
3.9 GiB
ML heap average:
3.3 GiB
Isabelle version:
c13a4bd3c018

HOL

data:
CSV
timing:
0:02:22 elapsed time, 0:06:35 cpu time, factor 2.78
ML timing:
129.165s elapsed time, 370.309s cpu time, 29.225s GC time, factor 2.87
ML code maximum:
45.7 MiB
ML code average:
32 MiB
ML stack maximum:
82.3 MiB
ML stack average:
54.9 MiB
ML heap maximum:
4.7 GiB
ML heap average:
3.5 GiB
ML heap stored:
217 MiB
Isabelle version:
c13a4bd3c018

HOL-Decision_Procs

data:
CSV
timing:
0:02:09 elapsed time, 0:07:54 cpu time, factor 3.67
ML timing:
127.059s elapsed time, 470.287s cpu time, 32.134s GC time, factor 3.70
ML code maximum:
6.3 MiB
ML code average:
2.9 MiB
ML stack maximum:
92.8 MiB
ML stack average:
52.4 MiB
ML heap maximum:
13.6 GiB
ML heap average:
8.9 GiB
Isabelle version:
c13a4bd3c018

HOL-Library

data:
CSV
timing:
0:02:03 elapsed time, 0:06:44 cpu time, factor 3.28
ML timing:
106.444s elapsed time, 372.489s cpu time, 21.929s GC time, factor 3.50
ML code maximum:
6.8 MiB
ML code average:
6.6 MiB
ML stack maximum:
32.1 MiB
ML stack average:
24.8 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.9 GiB
ML heap stored:
154.1 MiB
Isabelle version:
c13a4bd3c018

HOL-Corec_Examples

data:
CSV
timing:
0:01:42 elapsed time, 0:04:28 cpu time, factor 2.63
ML timing:
98.853s elapsed time, 260.888s cpu time, 30.263s GC time, factor 2.64
ML stack maximum:
10.7 MiB
ML stack average:
3.7 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.1 GiB
Isabelle version:
c13a4bd3c018

HOL-Algebra

data:
CSV
timing:
0:01:26 elapsed time, 0:05:00 cpu time, factor 3.49
ML timing:
75.908s elapsed time, 279.896s cpu time, 48.771s GC time, factor 3.69
ML stack maximum:
23.9 MiB
ML stack average:
19.7 MiB
ML heap maximum:
7.1 GiB
ML heap average:
3 GiB
ML heap stored:
64.8 MiB
Isabelle version:
c13a4bd3c018

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:21 elapsed time, 0:01:57 cpu time, factor 1.44
ML timing:
79.743s elapsed time, 114.930s cpu time, 4.711s GC time, factor 1.44
ML stack maximum:
15.2 MiB
ML stack average:
14.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c13a4bd3c018

HOL-Probability

data:
CSV
timing:
0:00:58 elapsed time, 0:03:04 cpu time, factor 3.17
ML timing:
48.721s elapsed time, 167.126s cpu time, 15.366s GC time, factor 3.43
ML stack maximum:
28.8 MiB
ML stack average:
23 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.3 GiB
ML heap stored:
53.1 MiB
Isabelle version:
c13a4bd3c018

HOL-Proofs-Lambda

data:
CSV
timing:
0:00:57 elapsed time, 0:01:04 cpu time, factor 1.12
ML timing:
56.090s elapsed time, 63.236s cpu time, 1.866s GC time, factor 1.13
ML stack maximum:
4.9 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Imperative_HOL

data:
CSV
timing:
0:00:54 elapsed time, 0:02:46 cpu time, factor 3.07
ML timing:
53.560s elapsed time, 164.195s cpu time, 7.312s GC time, factor 3.07
ML stack maximum:
22.3 MiB
ML stack average:
20.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Record_Benchmark

data:
CSV
timing:
0:00:53 elapsed time, 0:01:27 cpu time, factor 1.64
ML timing:
52.119s elapsed time, 86.036s cpu time, 2.933s GC time, factor 1.65
ML stack maximum:
8.5 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Datatype_Examples

data:
CSV
timing:
0:00:49 elapsed time, 0:03:04 cpu time, factor 3.76
ML timing:
47.075s elapsed time, 179.362s cpu time, 28.221s GC time, factor 3.81
ML stack maximum:
7.8 MiB
ML stack average:
4.6 MiB
ML heap maximum:
4.6 GiB
ML heap average:
3 GiB
Isabelle version:
c13a4bd3c018

HOL-Real_Asymp

data:
CSV
timing:
0:00:48 elapsed time, 0:02:46 cpu time, factor 3.46
ML timing:
41.586s elapsed time, 154.543s cpu time, 9.932s GC time, factor 3.72
ML code maximum:
5.6 MiB
ML code average:
4.6 MiB
ML stack maximum:
41.6 MiB
ML stack average:
30 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
67.8 MiB
Isabelle version:
c13a4bd3c018

HOL-Homology

data:
CSV
timing:
0:00:48 elapsed time, 0:02:40 cpu time, factor 3.33
ML timing:
47.308s elapsed time, 157.954s cpu time, 15.124s GC time, factor 3.34
ML stack maximum:
25.9 MiB
ML stack average:
22 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.7 GiB
Isabelle version:
c13a4bd3c018

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:47 elapsed time, 0:01:22 cpu time, factor 1.74
ML timing:
45.984s elapsed time, 81.266s cpu time, 3.469s GC time, factor 1.77
ML code maximum:
17.3 MiB
ML code average:
12.9 MiB
ML stack maximum:
19.1 MiB
ML stack average:
17.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c13a4bd3c018

HOL-Auth

data:
CSV
timing:
0:00:45 elapsed time, 0:02:29 cpu time, factor 3.31
ML timing:
42.072s elapsed time, 144.003s cpu time, 3.548s GC time, factor 3.42
ML stack maximum:
20.8 MiB
ML stack average:
17.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
31.9 MiB
Isabelle version:
c13a4bd3c018

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:44 elapsed time, 0:02:00 cpu time, factor 2.73
ML timing:
43.615s elapsed time, 119.355s cpu time, 4.084s GC time, factor 2.74
ML code maximum:
7.8 MiB
ML code average:
5.5 MiB
ML stack maximum:
9.6 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Computational_Algebra

data:
CSV
timing:
0:00:43 elapsed time, 0:02:08 cpu time, factor 2.98
ML timing:
38.225s elapsed time, 119.483s cpu time, 6.660s GC time, factor 3.13
ML code maximum:
1 MiB
ML stack maximum:
50.8 MiB
ML stack average:
30.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
ML heap stored:
42.3 MiB
Isabelle version:
c13a4bd3c018

Codegen

data:
CSV
timing:
0:00:41 elapsed time, 0:02:12 cpu time, factor 3.22
ML timing:
39.840s elapsed time, 130.904s cpu time, 3.938s GC time, factor 3.29
ML stack maximum:
15.9 MiB
ML stack average:
12.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-MicroJava

data:
CSV
timing:
0:00:38 elapsed time, 0:02:16 cpu time, factor 3.58
ML timing:
37.594s elapsed time, 135.644s cpu time, 3.395s GC time, factor 3.61
ML code maximum:
1.8 MiB
ML code average:
1.2 MiB
ML stack maximum:
17.4 MiB
ML stack average:
12.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c13a4bd3c018

HOL-IMP

data:
CSV
timing:
0:00:38 elapsed time, 0:02:10 cpu time, factor 3.42
ML timing:
37.687s elapsed time, 129.441s cpu time, 6.380s GC time, factor 3.43
ML code maximum:
14.9 MiB
ML code average:
6.5 MiB
ML stack maximum:
9.4 MiB
ML stack average:
4.6 MiB
ML heap maximum:
2.6 GiB
ML heap average:
2.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:36 elapsed time, 0:02:07 cpu time, factor 3.53
ML timing:
35.692s elapsed time, 126.075s cpu time, 2.332s GC time, factor 3.53
ML stack maximum:
10.4 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Complex_Analysis

data:
CSV
timing:
0:00:35 elapsed time, 0:01:54 cpu time, factor 3.26
ML timing:
34.063s elapsed time, 113.154s cpu time, 2.841s GC time, factor 3.32
ML stack maximum:
23.9 MiB
ML stack average:
20.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Bali

data:
CSV
timing:
0:00:35 elapsed time, 0:01:48 cpu time, factor 3.09
ML timing:
33.958s elapsed time, 106.785s cpu time, 4.175s GC time, factor 3.14
ML stack maximum:
19.8 MiB
ML stack average:
10.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-SMT_Examples

data:
CSV
timing:
0:00:33 elapsed time, 0:01:16 cpu time, factor 2.30
ML timing:
32.296s elapsed time, 75.740s cpu time, 1.741s GC time, factor 2.35
ML stack maximum:
15.6 MiB
ML stack average:
13.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Examples

data:
CSV
timing:
0:00:32 elapsed time, 0:01:46 cpu time, factor 3.31
ML timing:
31.402s elapsed time, 104.317s cpu time, 4.964s GC time, factor 3.32
ML code maximum:
1.2 MiB
ML stack maximum:
17.3 MiB
ML stack average:
14.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Number_Theory

data:
CSV
timing:
0:00:30 elapsed time, 0:01:46 cpu time, factor 3.53
ML timing:
28.987s elapsed time, 104.932s cpu time, 7.891s GC time, factor 3.62
ML stack maximum:
16.3 MiB
ML stack average:
14 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.6 GiB
Isabelle version:
c13a4bd3c018

Corec

data:
CSV
timing:
0:00:28 elapsed time, 0:00:41 cpu time, factor 1.46
ML timing:
26.941s elapsed time, 39.126s cpu time, 1.970s GC time, factor 1.45
ML code maximum:
2.8 MiB
ML code average:
2.7 MiB
ML stack maximum:
9.2 MiB
ML stack average:
8.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

Datatypes

data:
CSV
timing:
0:00:27 elapsed time, 0:00:47 cpu time, factor 1.74
ML timing:
20.142s elapsed time, 34.456s cpu time, 1.816s GC time, factor 1.71
ML stack maximum:
11.7 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
73.3 MiB
Isabelle version:
c13a4bd3c018

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:19 elapsed time, 0:00:51 cpu time, factor 2.68
ML timing:
19.001s elapsed time, 51.158s cpu time, 1.241s GC time, factor 2.69
ML stack maximum:
8 MiB
ML stack average:
6.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-UNITY

data:
CSV
timing:
0:00:17 elapsed time, 0:00:56 cpu time, factor 3.29
ML timing:
16.317s elapsed time, 55.753s cpu time, 2.218s GC time, factor 3.42
ML stack maximum:
15.3 MiB
ML stack average:
13.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-SET_Protocol

data:
CSV
timing:
0:00:16 elapsed time, 0:00:51 cpu time, factor 3.19
ML timing:
15.831s elapsed time, 50.641s cpu time, 0.751s GC time, factor 3.20
ML stack maximum:
6.4 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Metis_Examples

data:
CSV
timing:
0:00:12 elapsed time, 0:00:33 cpu time, factor 2.75
ML timing:
11.180s elapsed time, 32.892s cpu time, 2.381s GC time, factor 2.94
ML stack maximum:
10.2 MiB
ML stack average:
8.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Quotient_Examples

data:
CSV
timing:
0:00:12 elapsed time, 0:00:19 cpu time, factor 1.58
ML timing:
11.592s elapsed time, 18.792s cpu time, 0.809s GC time, factor 1.62
ML stack maximum:
4.2 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Matrix_LP

data:
CSV
timing:
0:00:11 elapsed time, 0:00:29 cpu time, factor 2.64
ML timing:
10.119s elapsed time, 29.141s cpu time, 0.819s GC time, factor 2.88
ML code maximum:
1.3 MiB
ML code average:
1 MiB
ML stack maximum:
9.1 MiB
ML stack average:
6.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-Analysis-ex

data:
CSV
timing:
0:00:11 elapsed time, 0:00:27 cpu time, factor 2.45
ML timing:
9.784s elapsed time, 26.389s cpu time, 0.251s GC time, factor 2.70
ML stack maximum:
6.2 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-SPARK

data:
CSV
timing:
0:00:11 elapsed time, 0:00:26 cpu time, factor 2.36
ML timing:
8.345s elapsed time, 22.224s cpu time, 0.778s GC time, factor 2.66
ML stack maximum:
9.4 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
15.1 MiB
Isabelle version:
c13a4bd3c018

HOL-Hoare

data:
CSV
timing:
0:00:11 elapsed time, 0:00:27 cpu time, factor 2.45
ML timing:
10.725s elapsed time, 26.966s cpu time, 0.664s GC time, factor 2.51
ML stack maximum:
4.8 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

Pure

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
0.406s elapsed time, 0.424s cpu time, 0.000s GC time, factor 1.04
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:
740.1 MiB
ML heap stored:
28.6 MiB
Isabelle version:
c13a4bd3c018

HOLCF

data:
CSV
timing:
0:00:10 elapsed time, 0:00:21 cpu time, factor 2.10
ML timing:
7.470s elapsed time, 16.984s cpu time, 0.787s GC time, factor 2.27
ML code maximum:
1.3 MiB
ML stack maximum:
7.8 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
19.6 MiB
Isabelle version:
c13a4bd3c018

ZF

data:
CSV
timing:
0:00:10 elapsed time, 0:00:17 cpu time, factor 1.70
ML timing:
5.776s elapsed time, 15.682s cpu time, 1.113s GC time, factor 2.72
ML code maximum:
3.2 MiB
ML code average:
2.5 MiB
ML stack maximum:
20.5 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
910.4 MiB
ML heap stored:
15.7 MiB
Isabelle version:
c13a4bd3c018

HOL-Statespace

data:
CSV
timing:
0:00:09 elapsed time, 0:00:10 cpu time, factor 1.11
ML timing:
7.918s elapsed time, 9.232s cpu time, 0.291s GC time, factor 1.17
ML stack maximum:
2.9 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Combinatorics

data:
CSV
timing:
0:00:08 elapsed time, 0:00:29 cpu time, factor 3.63
ML timing:
7.862s elapsed time, 28.504s cpu time, 1.140s GC time, factor 3.63
ML stack maximum:
14.3 MiB
ML stack average:
12.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

Tutorial

data:
CSV
timing:
0:00:08 elapsed time, 0:00:26 cpu time, factor 3.25
ML timing:
7.175s elapsed time, 24.850s cpu time, 1.511s GC time, factor 3.46
ML stack maximum:
9.2 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Types_To_Sets

data:
CSV
timing:
0:00:07 elapsed time, 0:00:12 cpu time, factor 1.71
ML timing:
6.643s elapsed time, 11.460s cpu time, 0.322s GC time, factor 1.73
ML stack maximum:
3.9 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOLCF-Library

data:
CSV
timing:
0:00:07 elapsed time, 0:00:18 cpu time, factor 2.57
ML timing:
4.438s elapsed time, 14.370s cpu time, 0.455s GC time, factor 3.24
ML stack maximum:
4.9 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
991 MiB
ML heap stored:
9.7 MiB
Isabelle version:
c13a4bd3c018

HOL-Cardinals

data:
CSV
timing:
0:00:07 elapsed time, 0:00:22 cpu time, factor 3.14
ML timing:
6.263s elapsed time, 21.958s cpu time, 0.668s GC time, factor 3.51
ML stack maximum:
8.4 MiB
ML stack average:
7.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Import

data:
CSV
timing:
0:00:07 elapsed time, 0:00:08 cpu time, factor 1.14
ML timing:
6.977s elapsed time, 7.426s cpu time, 0.212s GC time, factor 1.06
ML stack maximum:
65.6 MiB
ML stack average:
56.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.43
ML timing:
4.073s elapsed time, 12.926s cpu time, 0.573s GC time, factor 3.17
ML stack maximum:
8.6 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
863.1 MiB
ML heap stored:
10.2 MiB
Isabelle version:
c13a4bd3c018

Isar_Ref

data:
CSV
timing:
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.43
ML timing:
6.434s elapsed time, 16.535s cpu time, 0.936s GC time, factor 2.57
ML stack maximum:
25.3 MiB
ML stack average:
20.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

IOA

data:
CSV
timing:
0:00:07 elapsed time, 0:00:18 cpu time, factor 2.57
ML timing:
4.133s elapsed time, 13.969s cpu time, 0.468s GC time, factor 3.38
ML stack maximum:
7.9 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
887.6 MiB
ML heap stored:
6.7 MiB
Isabelle version:
c13a4bd3c018

HOL-Nominal

data:
CSV
timing:
0:00:06 elapsed time, 0:00:15 cpu time, factor 2.50
ML timing:
3.503s elapsed time, 11.712s cpu time, 0.548s GC time, factor 3.34
ML code maximum:
2.4 MiB
ML code average:
1.4 MiB
ML stack maximum:
10.1 MiB
ML stack average:
5.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
926.1 MiB
ML heap stored:
9.8 MiB
Isabelle version:
c13a4bd3c018

HOL-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:16 cpu time, factor 3.20
ML timing:
4.590s elapsed time, 15.486s cpu time, 1.060s GC time, factor 3.37
ML stack maximum:
4.7 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-ZF

data:
CSV
timing:
0:00:05 elapsed time, 0:00:14 cpu time, factor 2.80
ML timing:
4.286s elapsed time, 14.286s cpu time, 0.625s GC time, factor 3.33
ML stack maximum:
11.5 MiB
ML stack average:
9.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

Haskell

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
4.994s elapsed time, 0.277s cpu time, 0.000s GC time, factor 0.06
ML stack maximum:
5.5 MiB
ML stack average:
5 MiB
ML heap maximum:
422 MiB
ML heap average:
420.1 MiB
Isabelle version:
c13a4bd3c018

HOL-SPARK-Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:14 cpu time, factor 2.80
ML timing:
4.922s elapsed time, 13.828s cpu time, 0.223s GC time, factor 2.81
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:
c13a4bd3c018

HOLCF-Tutorial

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
4.426s elapsed time, 6.158s cpu time, 0.192s GC time, factor 1.39
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

FOL-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
3.704s elapsed time, 5.421s cpu time, 0.225s GC time, factor 1.46
ML code maximum:
1.2 MiB
ML code average:
1.2 MiB
ML stack maximum:
5.2 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Hahn_Banach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.448s elapsed time, 10.990s cpu time, 0.505s GC time, factor 3.19
ML stack maximum:
5.6 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

Typeclass_Hierarchy

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
4.015s elapsed time, 11.151s cpu time, 0.507s GC time, factor 2.78
ML stack maximum:
11.2 MiB
ML stack average:
9.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

ZF-Constructible

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.477s elapsed time, 10.848s cpu time, 1.132s GC time, factor 3.12
ML stack maximum:
11.6 MiB
ML stack average:
8 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-TLA-Memory

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
3.719s elapsed time, 10.900s cpu time, 0.215s GC time, factor 2.93
ML stack maximum:
5.7 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

CCL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.517s elapsed time, 3.597s cpu time, 0.263s GC time, factor 1.43
ML code maximum:
2.1 MiB
ML code average:
1.6 MiB
ML stack maximum:
7.4 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
804.8 MiB
Isabelle version:
c13a4bd3c018

IOA-NTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.527s elapsed time, 5.965s cpu time, 0.258s GC time, factor 2.36
ML stack maximum:
1.8 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

HOL-NanoJava

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.550s elapsed time, 5.115s cpu time, 0.247s GC time, factor 2.01
ML stack maximum:
2.6 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-TLA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
0.792s elapsed time, 1.511s cpu time, 0.104s GC time, factor 1.91
ML stack maximum:
2.8 MiB
ML heap maximum:
210 MiB
ML heap average:
80.4 MiB
ML heap stored:
3 MiB
Isabelle version:
c13a4bd3c018

HOL-Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:07 cpu time, factor 2.33
ML timing:
2.159s elapsed time, 7.381s cpu time, 0.301s GC time, factor 3.42
ML code maximum:
2.5 MiB
ML code average:
2 MiB
ML stack maximum:
8 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

ZF-UNITY

data:
CSV
timing:
0:00:03 elapsed time, 0:00:11 cpu time, factor 3.67
ML timing:
3.030s elapsed time, 10.943s cpu time, 0.507s GC time, factor 3.61
ML stack maximum:
4.9 MiB
ML stack average:
4.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
c13a4bd3c018

HOL-Isar_Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.776s elapsed time, 5.820s cpu time, 0.228s GC time, factor 2.10
ML stack maximum:
2.9 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

IOA-ABP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.221s elapsed time, 4.733s cpu time, 0.186s GC time, factor 2.13
ML stack maximum:
1.6 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
900.7 MiB
Isabelle version:
c13a4bd3c018

System

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
2.683s elapsed time, 0.610s cpu time, 0.000s GC time, factor 0.23
ML stack maximum:
8.4 MiB
ML stack average:
7.1 MiB
ML heap maximum:
625 MiB
ML heap average:
442.3 MiB
Isabelle version:
c13a4bd3c018

HOL-Unix

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.633s elapsed time, 7.937s cpu time, 0.370s GC time, factor 3.01
ML stack maximum:
4.6 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

HOL-TPTP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.613s elapsed time, 3.377s cpu time, 0.196s GC time, factor 1.29
ML code maximum:
5.7 MiB
ML code average:
4.2 MiB
ML stack maximum:
29.5 MiB
ML stack average:
23.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

HOL-Probability-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 3.00
ML timing:
2.570s elapsed time, 7.987s cpu time, 0.282s GC time, factor 3.11
ML stack maximum:
4.7 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

ZF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.714s elapsed time, 6.003s cpu time, 0.302s GC time, factor 2.21
ML stack maximum:
7.7 MiB
ML stack average:
6.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOLCF-IMP

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.321s elapsed time, 4.600s cpu time, 0.147s GC time, factor 1.98
ML stack maximum:
2.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

ZF-Induct

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.563s elapsed time, 3.980s cpu time, 0.206s GC time, factor 2.55
ML stack maximum:
4.2 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
938.4 MiB
ML heap stored:
4.1 MiB
Isabelle version:
c13a4bd3c018

HOL-SPARK-Manual

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.434s elapsed time, 3.449s cpu time, 0.085s GC time, factor 2.41
ML stack maximum:
2.6 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

Prog_Prove

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.357s elapsed time, 4.793s cpu time, 0.340s GC time, factor 3.53
ML stack maximum:
5.6 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.206s elapsed time, 2.403s cpu time, 0.621s GC time, factor 1.99
ML stack maximum:
7.5 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1020 MiB
ML heap average:
543.3 MiB
Isabelle version:
c13a4bd3c018

HOLCF-FOCUS

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.417s elapsed time, 4.155s cpu time, 0.151s GC time, factor 2.93
ML stack maximum:
2 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

Tools

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.726s elapsed time, 1.871s cpu time, 0.113s GC time, factor 1.08
ML code maximum:
2.5 MiB
ML code average:
1.7 MiB
ML stack maximum:
2.7 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
792.9 MiB
Isabelle version:
c13a4bd3c018

FOL

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.461s elapsed time, 1.668s cpu time, 0.078s GC time, factor 1.14
ML code maximum:
1.8 MiB
ML code average:
1 MiB
ML stack maximum:
4.5 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
863.1 MiB
ML heap stored:
4 MiB
Isabelle version:
c13a4bd3c018

HOLCF-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
1.465s elapsed time, 4.797s cpu time, 0.225s GC time, factor 3.27
ML stack maximum:
3.5 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.2 GiB
Isabelle version:
c13a4bd3c018

HOL-IMPP

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.804s elapsed time, 3.555s cpu time, 0.184s GC time, factor 1.97
ML stack maximum:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
867.4 MiB
Isabelle version:
c13a4bd3c018

Implementation

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.674s elapsed time, 3.834s cpu time, 0.073s GC time, factor 2.29
ML stack maximum:
11 MiB
ML stack average:
7.1 MiB
ML heap maximum:
761 MiB
ML heap average:
510.5 MiB
Isabelle version:
c13a4bd3c018

Functions

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.144s elapsed time, 1.636s cpu time, 0.084s GC time, factor 1.43
ML stack maximum:
3.6 MiB
ML stack average:
2.3 MiB
ML heap maximum:
763 MiB
ML heap average:
292.3 MiB
Isabelle version:
c13a4bd3c018

LCF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.551s elapsed time, 1.818s cpu time, 0.075s GC time, factor 1.17
ML code maximum:
1.8 MiB
ML code average:
1.1 MiB
ML stack maximum:
4.6 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
894.1 MiB
Isabelle version:
c13a4bd3c018

Sugar

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.387s elapsed time, 0.475s cpu time, 0.000s GC time, factor 1.23
ML heap maximum:
545 MiB
ML heap average:
545 MiB
Isabelle version:
c13a4bd3c018

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.604s elapsed time, 1.224s cpu time, 0.065s GC time, factor 2.03
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
730 MiB
ML heap average:
730 MiB
Isabelle version:
c13a4bd3c018

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.236s elapsed time, 0.490s cpu time, 0.000s GC time, factor 2.08
ML heap maximum:
626 MiB
ML heap average:
626 MiB
Isabelle version:
c13a4bd3c018

HOL-IOA

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.993s elapsed time, 1.659s cpu time, 0.072s GC time, factor 1.67
ML stack maximum:
1.2 MiB
ML heap maximum:
761 MiB
ML heap average:
716.5 MiB
Isabelle version:
c13a4bd3c018

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.613s elapsed time, 0.948s cpu time, 0.054s GC time, factor 1.55
ML stack maximum:
2.2 MiB
ML stack average:
2.2 MiB
ML heap maximum:
59 MiB
ML heap average:
40 MiB
Isabelle version:
c13a4bd3c018

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.680s elapsed time, 1.400s cpu time, 0.078s GC time, factor 2.06
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
666 MiB
ML heap average:
666 MiB
Isabelle version:
c13a4bd3c018

HOL-Mutabelle

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.786s elapsed time, 0.884s cpu time, 0.095s GC time, factor 1.12
ML stack maximum:
8.8 MiB
ML stack average:
4.6 MiB
ML heap maximum:
654 MiB
ML heap average:
455.1 MiB
Isabelle version:
c13a4bd3c018

Sequents

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.707s elapsed time, 2.421s cpu time, 0.098s GC time, factor 3.42
ML stack maximum:
2 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
748.2 MiB
Isabelle version:
c13a4bd3c018

IOA-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.342s elapsed time, 0.742s cpu time, 0.000s GC time, factor 2.17
ML heap maximum:
711 MiB
ML heap average:
711 MiB
Isabelle version:
c13a4bd3c018

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.149s elapsed time, 0.243s cpu time, 0.000s GC time, factor 1.63
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
76 MiB
ML heap average:
76 MiB
Isabelle version:
c13a4bd3c018

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.576s elapsed time, 0.639s cpu time, 0.052s GC time, factor 1.11
ML stack maximum:
1.5 MiB
ML heap maximum:
244 MiB
ML heap average:
131.2 MiB
ML heap stored:
1.5 MiB
Isabelle version:
c13a4bd3c018

IOA-Storage

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.798s elapsed time, 1.142s cpu time, 0.060s GC time, factor 1.43
ML heap maximum:
761 MiB
ML heap average:
547.7 MiB
Isabelle version:
c13a4bd3c018

Locales

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.536s elapsed time, 1.132s cpu time, 0.068s GC time, factor 2.11
ML stack maximum:
3.9 MiB
ML stack average:
3.9 MiB
ML heap maximum:
537 MiB
ML heap average:
537 MiB
Isabelle version:
c13a4bd3c018

HOL-TLA-Inc

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.785s elapsed time, 1.880s cpu time, 0.054s GC time, factor 2.39
ML stack maximum:
1.3 MiB
ML heap maximum:
1.3 GiB
ML heap average:
1 GiB
Isabelle version:
c13a4bd3c018

FOLP-ex

data:
CSV
timing:
0:00:01 elapsed time, 0:00:03 cpu time
ML timing:
1.360s elapsed time, 3.097s cpu time, 0.072s GC time, factor 2.28
ML code maximum:
1.5 MiB
ML code average:
1.4 MiB
ML stack maximum:
2.4 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

JEdit

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.301s elapsed time, 0.332s cpu time, 0.000s GC time, factor 1.10
ML heap maximum:
454 MiB
ML heap average:
454 MiB
Isabelle version:
c13a4bd3c018

ZF-AC

data:
CSV
timing:
0:00:01 elapsed time, 0:00:04 cpu time
ML timing:
1.135s elapsed time, 3.803s cpu time, 0.245s GC time, factor 3.35
ML stack maximum:
4.2 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.3 GiB
Isabelle version:
c13a4bd3c018

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.303s elapsed time, 0.348s cpu time, 0.000s GC time, factor 1.15
ML stack maximum:
1.5 MiB
ML heap maximum:
528 MiB
ML heap average:
528 MiB
Isabelle version:
c13a4bd3c018

HOL-Lattice

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.059s elapsed time, 1.885s cpu time, 0.125s GC time, factor 1.78
ML stack maximum:
2.2 MiB
ML stack average:
1.7 MiB
ML heap maximum:
769 MiB
ML heap average:
398.1 MiB
Isabelle version:
c13a4bd3c018

Eisbach

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.088s elapsed time, 1.396s cpu time, 0.085s GC time, factor 1.28
ML stack maximum:
3.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
763 MiB
ML heap average:
553.8 MiB
Isabelle version:
c13a4bd3c018

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.787s elapsed time, 1.315s cpu time, 0.051s GC time, factor 1.67
ML stack maximum:
1.5 MiB
ML heap maximum:
678 MiB
ML heap average:
353.8 MiB
Isabelle version:
c13a4bd3c018

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.136s elapsed time, 0.225s cpu time, 0.000s GC time, factor 1.65
ML heap maximum:
78 MiB
ML heap average:
78 MiB
Isabelle version:
c13a4bd3c018

Logics

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

ZF-Coind

data:
CSV
ML timing:
0.268s elapsed time, 0.598s cpu time, 0.047s GC time, factor 2.23
ML heap maximum:
98 MiB
ML heap average:
6 MiB
Isabelle version:
c13a4bd3c018

Logics_ZF

data:
CSV
ML timing:
0.154s elapsed time, 0.259s cpu time, 0.000s GC time, factor 1.68
ML stack maximum:
1.5 MiB
ML stack average:
1.5 MiB
ML heap maximum:
226 MiB
ML heap average:
226 MiB
Isabelle version:
c13a4bd3c018

SML

data:
CSV
ML timing:
0.005s elapsed time, 0.008s cpu time, 0.000s GC time, factor 1.60
ML heap maximum:
25 MiB
ML heap average:
25 MiB
Isabelle version:
c13a4bd3c018

How_to_Prove_it

data:
CSV
ML timing:
0.104s elapsed time, 0.198s cpu time, 0.000s GC time, factor 1.90
ML heap maximum:
64 MiB
ML heap average:
64 MiB
Isabelle version:
c13a4bd3c018

ZF-IMP

data:
CSV
ML timing:
0.373s elapsed time, 0.453s cpu time, 0.000s GC time, factor 1.21
ML heap maximum:
705 MiB
ML heap average:
705 MiB
Isabelle version:
c13a4bd3c018

CTT

data:
CSV
ML timing:
0.386s elapsed time, 0.655s cpu time, 0.084s GC time, factor 1.70
ML stack maximum:
2.5 MiB
ML heap maximum:
132 MiB
ML heap average:
132 MiB
Isabelle version:
c13a4bd3c018

Demo_FoilTeX

data:
CSV
ML timing:
0.074s elapsed time, 0.101s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
109 MiB
ML heap average:
109 MiB
Isabelle version:
c13a4bd3c018

Sledgehammer

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

Demo_LLNCS

data:
CSV
ML timing:
0.075s elapsed time, 0.104s cpu time, 0.000s GC time, factor 1.39
ML heap maximum:
94 MiB
ML heap average:
94 MiB
Isabelle version:
c13a4bd3c018

Demo_LIPIcs

data:
CSV
ML timing:
0.072s elapsed time, 0.098s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
61 MiB
ML heap average:
61 MiB
Isabelle version:
c13a4bd3c018

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.148s elapsed time, 0.250s cpu time, 0.000s GC time, factor 1.69
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
194 MiB
ML heap average:
194 MiB
Isabelle version:
c13a4bd3c018

Demo_Easychair

data:
CSV
ML timing:
0.074s elapsed time, 0.100s cpu time, 0.000s GC time, factor 1.35
ML heap maximum:
93 MiB
ML heap average:
93 MiB
Isabelle version:
c13a4bd3c018

Cube

data:
CSV
ML timing:
0.126s elapsed time, 0.143s cpu time, 0.000s GC time, factor 1.13
ML heap maximum:
76 MiB
ML heap average:
76 MiB
Isabelle version:
c13a4bd3c018

Intro

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

Demo_EPTCS

data:
CSV
ML timing:
0.074s elapsed time, 0.101s cpu time, 0.000s GC time, factor 1.36
ML heap maximum:
63 MiB
ML heap average:
63 MiB
Isabelle version:
c13a4bd3c018

Pure-Examples

data:
CSV
ML timing:
0.126s elapsed time, 0.200s cpu time, 0.000s GC time, factor 1.59
ML stack maximum:
1.1 MiB
ML stack average:
1.1 MiB
ML heap maximum:
146 MiB
ML heap average:
146 MiB
Isabelle version:
c13a4bd3c018