Isabelle build status for macOS 14 Sonoma, quick_and_dirty, 4 threads

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

HOL-Codegenerator_Test

data:
CSV
timing:
0:05:37 elapsed time, 0:11:15 cpu time, factor 2.00
ML timing:
334.755s elapsed time, 670.573s cpu time, 31.842s GC time, factor 2.00
ML code maximum:
2.2 MiB
ML code average:
2.1 MiB
ML stack maximum:
31.8 MiB
ML stack average:
27.5 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2.5 GiB
Isabelle version:
300cfc008718

HOL-ex

data:
CSV
timing:
0:03:40 elapsed time, 0:13:16 cpu time, factor 3.62
ML timing:
216.632s elapsed time, 791.416s cpu time, 51.203s GC time, factor 3.65
ML code maximum:
4.1 MiB
ML code average:
2.9 MiB
ML stack maximum:
77.3 MiB
ML stack average:
43.1 MiB
ML heap maximum:
9.2 GiB
ML heap average:
3.6 GiB
Isabelle version:
300cfc008718

HOL-Decision_Procs

data:
CSV
timing:
0:03:13 elapsed time, 0:11:46 cpu time, factor 3.66
ML timing:
190.546s elapsed time, 701.669s cpu time, 45.012s GC time, factor 3.68
ML code maximum:
4.6 MiB
ML code average:
1.9 MiB
ML stack maximum:
111.3 MiB
ML stack average:
52.8 MiB
ML heap maximum:
6.6 GiB
ML heap average:
5.3 GiB
Isabelle version:
300cfc008718

HOL-Corec_Examples

data:
CSV
timing:
0:02:22 elapsed time, 0:06:01 cpu time, factor 2.54
ML timing:
138.413s elapsed time, 351.040s cpu time, 38.104s GC time, factor 2.54
ML stack maximum:
7.2 MiB
ML stack average:
2.6 MiB
ML heap maximum:
4.3 GiB
ML heap average:
3 GiB
Isabelle version:
300cfc008718

HOL-Probability

data:
CSV
timing:
0:01:38 elapsed time, 0:05:12 cpu time, factor 3.18
ML timing:
82.996s elapsed time, 286.184s cpu time, 20.215s GC time, factor 3.45
ML stack maximum:
18.8 MiB
ML stack average:
15.4 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.6 GiB
ML heap stored:
51.8 MiB
Isabelle version:
300cfc008718

HOL-Imperative_HOL

data:
CSV
timing:
0:01:32 elapsed time, 0:04:36 cpu time, factor 3.00
ML timing:
90.447s elapsed time, 274.265s cpu time, 9.985s GC time, factor 3.03
ML stack maximum:
22.3 MiB
ML stack average:
20.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
6e4787b57ac6

HOL-Homology

data:
CSV
timing:
0:01:20 elapsed time, 0:04:23 cpu time, factor 3.29
ML timing:
77.789s elapsed time, 260.592s cpu time, 15.116s GC time, factor 3.35
ML stack maximum:
22.1 MiB
ML stack average:
16.5 MiB
ML heap maximum:
3.7 GiB
ML heap average:
3.1 GiB
Isabelle version:
300cfc008718

HOL-Auth

data:
CSV
timing:
0:01:16 elapsed time, 0:04:02 cpu time, factor 3.18
ML timing:
70.791s elapsed time, 234.383s cpu time, 5.124s GC time, factor 3.31
ML stack maximum:
16.8 MiB
ML stack average:
13.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
ML heap stored:
30 MiB
Isabelle version:
6e4787b57ac6

HOL-Real_Asymp

data:
CSV
timing:
0:01:15 elapsed time, 0:04:18 cpu time, factor 3.44
ML timing:
66.496s elapsed time, 242.932s cpu time, 12.588s GC time, factor 3.65
ML code maximum:
3 MiB
ML code average:
2.5 MiB
ML stack maximum:
34.3 MiB
ML stack average:
22.7 MiB
ML heap maximum:
3 GiB
ML heap average:
1.6 GiB
ML heap stored:
62.4 MiB
Isabelle version:
300cfc008718

HOL-Computational_Algebra

data:
CSV
timing:
0:01:14 elapsed time, 0:03:41 cpu time, factor 2.99
ML timing:
65.431s elapsed time, 206.709s cpu time, 9.047s GC time, factor 3.16
ML stack maximum:
40.3 MiB
ML stack average:
23.5 MiB
ML heap maximum:
2.7 GiB
ML heap average:
1.8 GiB
ML heap stored:
41.6 MiB
Isabelle version:
6e4787b57ac6

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:10 elapsed time, 0:02:20 cpu time, factor 2.00
ML timing:
69.392s elapsed time, 139.381s cpu time, 6.479s GC time, factor 2.01
ML code maximum:
8.5 MiB
ML code average:
6 MiB
ML stack maximum:
17.5 MiB
ML stack average:
15.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-MicroJava

data:
CSV
timing:
0:01:06 elapsed time, 0:03:51 cpu time, factor 3.50
ML timing:
65.546s elapsed time, 229.563s cpu time, 4.348s GC time, factor 3.50
ML code maximum:
1.3 MiB
ML stack maximum:
12.3 MiB
ML stack average:
9.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.5 GiB
Isabelle version:
6e4787b57ac6

Codegen

data:
CSV
timing:
0:01:04 elapsed time, 0:03:27 cpu time, factor 3.23
ML timing:
63.286s elapsed time, 204.999s cpu time, 6.660s GC time, factor 3.24
ML stack maximum:
15.2 MiB
ML stack average:
11.7 MiB
ML heap maximum:
2 GiB
ML heap average:
1.8 GiB
Isabelle version:
6e4787b57ac6

HOL-Datatype_Examples

data:
CSV
timing:
0:01:04 elapsed time, 0:02:56 cpu time, factor 2.75
ML timing:
61.409s elapsed time, 170.280s cpu time, 18.581s GC time, factor 2.77
ML stack maximum:
6.7 MiB
ML stack average:
4 MiB
ML heap maximum:
3.9 GiB
ML heap average:
2.3 GiB
Isabelle version:
300cfc008718

HOL-Complex_Analysis

data:
CSV
timing:
0:01:02 elapsed time, 0:03:18 cpu time, factor 3.19
ML timing:
60.243s elapsed time, 196.271s cpu time, 6.363s GC time, factor 3.26
ML stack maximum:
19.5 MiB
ML stack average:
17.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-IMP

data:
CSV
timing:
0:01:00 elapsed time, 0:03:14 cpu time, factor 3.23
ML timing:
59.186s elapsed time, 192.520s cpu time, 9.269s GC time, factor 3.25
ML code maximum:
7.9 MiB
ML code average:
4.1 MiB
ML stack maximum:
14.6 MiB
ML stack average:
6.2 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.6 GiB
Isabelle version:
6e4787b57ac6

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:59 elapsed time, 0:03:26 cpu time, factor 3.49
ML timing:
58.136s elapsed time, 204.362s cpu time, 3.060s GC time, factor 3.52
ML stack maximum:
9.4 MiB
ML stack average:
6.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Bali

data:
CSV
timing:
0:00:56 elapsed time, 0:02:25 cpu time, factor 2.59
ML timing:
55.481s elapsed time, 144.023s cpu time, 4.737s GC time, factor 2.60
ML stack maximum:
20.8 MiB
ML stack average:
11.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Number_Theory

data:
CSV
timing:
0:00:52 elapsed time, 0:03:06 cpu time, factor 3.58
ML timing:
50.822s elapsed time, 183.997s cpu time, 10.961s GC time, factor 3.62
ML stack maximum:
11.8 MiB
ML stack average:
10 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.9 GiB
Isabelle version:
6e4787b57ac6

HOL-SMT_Examples

data:
CSV
timing:
0:00:50 elapsed time, 0:02:05 cpu time, factor 2.50
ML timing:
49.307s elapsed time, 124.263s cpu time, 2.590s GC time, factor 2.52
ML stack maximum:
14.4 MiB
ML stack average:
12.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:46 elapsed time, 0:02:16 cpu time, factor 2.96
ML timing:
44.631s elapsed time, 134.327s cpu time, 3.759s GC time, factor 3.01
ML code maximum:
5 MiB
ML code average:
3.2 MiB
ML stack maximum:
6.4 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Examples

data:
CSV
timing:
0:00:44 elapsed time, 0:02:19 cpu time, factor 3.16
ML timing:
43.363s elapsed time, 137.189s cpu time, 5.979s GC time, factor 3.16
ML stack maximum:
14.3 MiB
ML stack average:
12.8 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
6e4787b57ac6

Datatypes

data:
CSV
timing:
0:00:39 elapsed time, 0:00:56 cpu time, factor 1.44
ML timing:
29.515s elapsed time, 40.421s cpu time, 2.015s GC time, factor 1.37
ML stack maximum:
7.5 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
66.6 MiB
Isabelle version:
6e4787b57ac6

Corec

data:
CSV
timing:
0:00:38 elapsed time, 0:00:43 cpu time, factor 1.13
ML timing:
36.962s elapsed time, 40.848s cpu time, 2.279s GC time, factor 1.11
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
9.6 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:32 elapsed time, 0:01:22 cpu time, factor 2.56
ML timing:
31.011s elapsed time, 80.904s cpu time, 2.780s GC time, factor 2.61
ML stack maximum:
8.9 MiB
ML stack average:
7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-UNITY

data:
CSV
timing:
0:00:31 elapsed time, 0:01:39 cpu time, factor 3.19
ML timing:
29.631s elapsed time, 98.068s cpu time, 4.575s GC time, factor 3.31
ML stack maximum:
15.5 MiB
ML stack average:
12.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
300cfc008718

HOL-SET_Protocol

data:
CSV
timing:
0:00:26 elapsed time, 0:01:21 cpu time, factor 3.12
ML timing:
25.453s elapsed time, 80.182s cpu time, 0.976s GC time, factor 3.15
ML stack maximum:
6 MiB
ML stack average:
5.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-Analysis-ex

data:
CSV
timing:
0:00:21 elapsed time, 0:00:37 cpu time, factor 1.76
ML timing:
19.338s elapsed time, 35.931s cpu time, 0.277s GC time, factor 1.86
ML stack maximum:
5.8 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-Metis_Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:58 cpu time, factor 2.90
ML timing:
19.331s elapsed time, 57.789s cpu time, 5.932s GC time, factor 2.99
ML stack maximum:
9.5 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Quotient_Examples

data:
CSV
timing:
0:00:19 elapsed time, 0:00:26 cpu time, factor 1.37
ML timing:
18.397s elapsed time, 25.313s cpu time, 0.843s GC time, factor 1.38
ML stack maximum:
4.5 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-SPARK

data:
CSV
timing:
0:00:18 elapsed time, 0:00:42 cpu time, factor 2.33
ML timing:
13.500s elapsed time, 35.338s cpu time, 1.058s GC time, factor 2.62
ML stack maximum:
9.6 MiB
ML stack average:
6.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
14.7 MiB
Isabelle version:
300cfc008718

HOL-Hoare

data:
CSV
timing:
0:00:18 elapsed time, 0:00:45 cpu time, factor 2.50
ML timing:
17.647s elapsed time, 44.142s cpu time, 0.782s GC time, factor 2.50
ML stack maximum:
3.5 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Matrix_LP

data:
CSV
timing:
0:00:17 elapsed time, 0:00:46 cpu time, factor 2.71
ML timing:
15.927s elapsed time, 45.364s cpu time, 1.145s GC time, factor 2.85
ML code maximum:
1 MiB
ML stack maximum:
5.6 MiB
ML stack average:
3.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Statespace

data:
CSV
timing:
0:00:15 elapsed time, 0:00:16 cpu time, factor 1.07
ML timing:
13.936s elapsed time, 15.807s cpu time, 0.371s GC time, factor 1.13
ML stack maximum:
1.9 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-Combinatorics

data:
CSV
timing:
0:00:15 elapsed time, 0:00:50 cpu time, factor 3.33
ML timing:
13.865s elapsed time, 49.578s cpu time, 1.618s GC time, factor 3.58
ML stack maximum:
12.5 MiB
ML stack average:
11.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

Pure

data:
CSV
timing:
0:00:14 elapsed time, 0:00:15 cpu time, factor 1.07
ML timing:
0.661s elapsed time, 0.714s cpu time, 0.023s GC time, factor 1.08
ML code maximum:
17.7 MiB
ML code average:
17.7 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
514.3 MiB
ML heap stored:
24 MiB
Isabelle version:
c13a4bd3c018

HOL-Cardinals

data:
CSV
timing:
0:00:12 elapsed time, 0:00:39 cpu time, factor 3.25
ML timing:
11.292s elapsed time, 38.683s cpu time, 0.980s GC time, factor 3.43
ML stack maximum:
9.4 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
6e4787b57ac6

HOL-Types_To_Sets

data:
CSV
timing:
0:00:11 elapsed time, 0:00:19 cpu time, factor 1.73
ML timing:
10.785s elapsed time, 18.708s cpu time, 0.392s GC time, factor 1.73
ML stack maximum:
3.4 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:11 elapsed time, 0:00:28 cpu time, factor 2.55
ML timing:
6.573s elapsed time, 21.186s cpu time, 0.800s GC time, factor 3.22
ML stack maximum:
6.3 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
884.9 MiB
ML heap stored:
10.1 MiB
Isabelle version:
6e4787b57ac6

HOL-Nominal

data:
CSV
timing:
0:00:10 elapsed time, 0:00:26 cpu time, factor 2.60
ML timing:
5.808s elapsed time, 20.032s cpu time, 1.509s GC time, factor 3.45
ML code maximum:
1.6 MiB
ML stack maximum:
6.5 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
858.7 MiB
ML heap stored:
9.1 MiB
Isabelle version:
6e4787b57ac6

HOL-Import

data:
CSV
timing:
0:00:10 elapsed time, 0:00:11 cpu time, factor 1.10
ML timing:
9.835s elapsed time, 10.524s cpu time, 0.275s GC time, factor 1.07
ML stack maximum:
65.6 MiB
ML stack average:
59.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
6e4787b57ac6

HOL-ZF

data:
CSV
timing:
0:00:08 elapsed time, 0:00:25 cpu time, factor 3.13
ML timing:
7.174s elapsed time, 24.330s cpu time, 0.799s GC time, factor 3.39
ML stack maximum:
11.2 MiB
ML stack average:
8.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

ZF-Constructible

data:
CSV
timing:
0:00:08 elapsed time, 0:00:23 cpu time, factor 2.88
ML timing:
6.917s elapsed time, 22.996s cpu time, 3.113s GC time, factor 3.32
ML stack maximum:
9.7 MiB
ML stack average:
5.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.1 GiB
Isabelle version:
9caecebbf8d3

System

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
7.943s elapsed time, 1.690s cpu time, 0.000s GC time, factor 0.21
ML stack maximum:
6.3 MiB
ML stack average:
6 MiB
ML heap maximum:
629 MiB
ML heap average:
491.9 MiB
Isabelle version:
c13a4bd3c018

HOL-SPARK-Examples

data:
CSV
timing:
0:00:08 elapsed time, 0:00:22 cpu time, factor 2.75
ML timing:
7.753s elapsed time, 21.517s cpu time, 0.240s GC time, factor 2.78
ML stack maximum:
5.8 MiB
ML stack average:
5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
300cfc008718

FOL-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:09 cpu time, factor 1.50
ML timing:
5.605s elapsed time, 8.623s cpu time, 0.204s GC time, factor 1.54
ML stack maximum:
4.8 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

HOL-Hahn_Banach

data:
CSV
timing:
0:00:06 elapsed time, 0:00:19 cpu time, factor 3.17
ML timing:
5.806s elapsed time, 18.114s cpu time, 0.616s GC time, factor 3.12
ML stack maximum:
4.1 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
6e4787b57ac6

HOL-Induct

data:
CSV
timing:
0:00:06 elapsed time, 0:00:18 cpu time, factor 3.00
ML timing:
5.689s elapsed time, 17.829s cpu time, 0.821s GC time, factor 3.13
ML stack maximum:
2.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
6e4787b57ac6

ZF-UNITY

data:
CSV
timing:
0:00:06 elapsed time, 0:00:21 cpu time, factor 3.50
ML timing:
5.796s elapsed time, 21.136s cpu time, 0.746s GC time, factor 3.65
ML stack maximum:
5.5 MiB
ML stack average:
4.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
9caecebbf8d3

HOL-TLA-Memory

data:
CSV
timing:
0:00:06 elapsed time, 0:00:16 cpu time, factor 2.67
ML timing:
5.670s elapsed time, 15.799s cpu time, 0.220s GC time, factor 2.79
ML stack maximum:
4.2 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
300cfc008718

HOL-Probability-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:14 cpu time, factor 2.33
ML timing:
4.009s elapsed time, 12.426s cpu time, 0.300s GC time, factor 3.10
ML stack maximum:
2.9 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
300cfc008718

ZF-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.83
ML timing:
4.610s elapsed time, 10.839s cpu time, 0.339s GC time, factor 2.35
ML stack maximum:
7.6 MiB
ML stack average:
5.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
9caecebbf8d3

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
3.964s elapsed time, 5.751s cpu time, 0.206s GC time, factor 1.45
ML stack maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
6e4787b57ac6

HOL-Isar_Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
4.109s elapsed time, 9.350s cpu time, 0.239s GC time, factor 2.28
ML stack maximum:
2.4 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
6e4787b57ac6

HOL-Unix

data:
CSV
timing:
0:00:05 elapsed time, 0:00:12 cpu time, factor 2.40
ML timing:
4.193s elapsed time, 11.777s cpu time, 0.430s 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.2 GiB
Isabelle version:
300cfc008718

HOL-TPTP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
3.953s elapsed time, 4.949s cpu time, 0.202s GC time, factor 1.25
ML code maximum:
4 MiB
ML code average:
2.8 MiB
ML stack maximum:
28.9 MiB
ML stack average:
20.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
300cfc008718

CCL

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
4.006s elapsed time, 5.887s cpu time, 0.300s GC time, factor 1.47
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
5.5 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1001.2 MiB
Isabelle version:
c13a4bd3c018

HOL-TLA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
1.192s elapsed time, 2.187s cpu time, 0.059s GC time, factor 1.83
ML stack maximum:
2.7 MiB
ML heap maximum:
766 MiB
ML heap average:
166.5 MiB
ML heap stored:
3 MiB
Isabelle version:
300cfc008718

HOL-Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:13 cpu time, factor 3.25
ML timing:
3.659s elapsed time, 12.386s cpu time, 0.389s GC time, factor 3.39
ML code maximum:
1.9 MiB
ML code average:
1.4 MiB
ML stack maximum:
4.9 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
6e4787b57ac6

HOL-IMPP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
2.889s elapsed time, 4.281s cpu time, 0.122s GC time, factor 1.48
ML stack maximum:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
970.7 MiB
Isabelle version:
6e4787b57ac6

ZF-Induct

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.776s elapsed time, 6.998s cpu time, 0.265s GC time, factor 2.52
ML stack maximum:
3.8 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
4.1 MiB
Isabelle version:
9caecebbf8d3

HOL-SPARK-Manual

data:
CSV
timing:
0:00:03 elapsed time, 0:00:06 cpu time, factor 2.00
ML timing:
2.165s elapsed time, 5.236s cpu time, 0.061s GC time, factor 2.42
ML stack maximum:
3 MiB
ML stack average:
2.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
300cfc008718

Tools

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.731s elapsed time, 2.890s cpu time, 0.060s GC time, factor 1.06
ML code maximum:
1.9 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
961.4 MiB
Isabelle version:
c13a4bd3c018

FOL

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.354s elapsed time, 2.630s cpu time, 0.059s GC time, factor 1.12
ML code maximum:
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.1 GiB
ML heap stored:
3.7 MiB
Isabelle version:
c13a4bd3c018

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.913s elapsed time, 2.593s cpu time, 0.040s GC time, factor 1.36
ML stack maximum:
3.2 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.2 GiB
ML heap average:
891.3 MiB
Isabelle version:
6e4787b57ac6

LCF

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.449s elapsed time, 2.787s cpu time, 0.057s GC time, factor 1.14
ML code maximum:
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.1 GiB
Isabelle version:
c13a4bd3c018

HOL-IOA

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.797s elapsed time, 2.755s cpu time, 0.039s GC time, factor 1.53
ML stack maximum:
1.2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
6e4787b57ac6

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.195s elapsed time, 2.314s cpu time, 0.043s GC time, factor 1.94
ML heap maximum:
1.1 GiB
ML heap average:
480.8 MiB
Isabelle version:
6e4787b57ac6

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.187s elapsed time, 1.309s cpu time, 0.096s GC time, factor 1.10
ML stack maximum:
8.7 MiB
ML stack average:
5.8 MiB
ML heap maximum:
777 MiB
ML heap average:
447.3 MiB
Isabelle version:
6e4787b57ac6

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.226s elapsed time, 2.922s cpu time, 0.033s GC time, factor 2.38
ML stack maximum:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
718.3 MiB
Isabelle version:
300cfc008718

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:05 cpu time
ML timing:
2.039s elapsed time, 4.974s cpu time, 0.060s GC time, factor 2.44
ML code maximum:
1.3 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.2 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c13a4bd3c018

ZF-AC

data:
CSV
timing:
0:00:02 elapsed time, 0:00:07 cpu time
ML timing:
2.199s elapsed time, 7.532s cpu time, 0.404s GC time, factor 3.43
ML stack maximum:
4.5 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
9caecebbf8d3

HOL-Lattice

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.708s elapsed time, 2.519s cpu time, 0.070s GC time, factor 1.47
ML stack maximum:
2 MiB
ML stack average:
1.1 MiB
ML heap maximum:
768 MiB
ML heap average:
473.5 MiB
Isabelle version:
6e4787b57ac6

Eisbach

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.569s elapsed time, 1.927s cpu time, 0.063s GC time, factor 1.23
ML stack maximum:
3.6 MiB
ML stack average:
2.8 MiB
ML heap maximum:
770 MiB
ML heap average:
705.3 MiB
Isabelle version:
6e4787b57ac6

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.960s elapsed time, 1.935s cpu time, 0.029s GC time, factor 2.02
ML stack maximum:
1.2 MiB
ML heap maximum:
933 MiB
ML heap average:
803.4 MiB
Isabelle version:
9caecebbf8d3

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.472s elapsed time, 1.091s cpu time, 0.028s GC time, factor 2.31
ML heap maximum:
762 MiB
ML heap average:
762 MiB
Isabelle version:
9caecebbf8d3

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.412s elapsed time, 0.880s cpu time, 0.000s GC time, factor 2.14
ML heap maximum:
626 MiB
ML heap average:
626 MiB
Isabelle version:
300cfc008718

Classes

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.933s elapsed time, 1.482s cpu time, 0.031s GC time, factor 1.59
ML stack maximum:
2.1 MiB
ML stack average:
1.2 MiB
ML heap maximum:
762 MiB
ML heap average:
598.8 MiB
Isabelle version:
6e4787b57ac6

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.786s elapsed time, 0.935s cpu time, 0.000s GC time, factor 1.19
ML heap maximum:
526 MiB
ML heap average:
480 MiB
Isabelle version:
9caecebbf8d3

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.653s elapsed time, 1.109s cpu time, 0.066s GC time, factor 1.70
ML stack maximum:
1.7 MiB
ML stack average:
1.7 MiB
ML heap maximum:
667 MiB
ML heap average:
667 MiB
Isabelle version:
c13a4bd3c018

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.123s elapsed time, 0.163s cpu time, 0.000s GC time, factor 1.33
ML heap maximum:
59 MiB
ML heap average:
59 MiB
Isabelle version:
6e4787b57ac6

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.126s elapsed time, 0.170s cpu time, 0.000s GC time, factor 1.35
ML heap maximum:
59 MiB
ML heap average:
59 MiB
Isabelle version:
6e4787b57ac6

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.123s elapsed time, 0.162s cpu time, 0.000s GC time, factor 1.32
ML heap maximum:
60 MiB
ML heap average:
60 MiB
Isabelle version:
6e4787b57ac6

Sequents

data:
CSV
timing:
0:00:01 elapsed time, 0:00:04 cpu time
ML timing:
1.307s elapsed time, 4.503s cpu time, 0.102s GC time, factor 3.45
ML stack maximum:
1.7 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c13a4bd3c018

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.261s elapsed time, 0.428s cpu time, 0.000s GC time, factor 1.64
ML heap maximum:
62 MiB
ML heap average:
36 MiB
Isabelle version:
300cfc008718

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.953s elapsed time, 1.030s cpu time, 0.032s GC time, factor 1.08
ML stack maximum:
1.4 MiB
ML heap maximum:
762 MiB
ML heap average:
630.7 MiB
ML heap stored:
1.5 MiB
Isabelle version:
c13a4bd3c018

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.122s elapsed time, 0.162s cpu time, 0.000s GC time, factor 1.33
ML heap maximum:
60 MiB
ML heap average:
60 MiB
Isabelle version:
6e4787b57ac6

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.123s elapsed time, 0.162s cpu time, 0.000s GC time, factor 1.32
ML heap maximum:
62 MiB
ML heap average:
62 MiB
Isabelle version:
6e4787b57ac6

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.238s elapsed time, 0.398s cpu time, 0.000s GC time, factor 1.67
ML heap maximum:
86 MiB
ML heap average:
86 MiB
Isabelle version:
6e4787b57ac6

HOL-Algebra

data:
CSV
Isabelle version:
6e4787b57ac6

Logics

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

HOL

data:
CSV
Isabelle version:
c13a4bd3c018

Logics_ZF

data:
CSV
ML timing:
0.289s elapsed time, 0.482s cpu time, 0.000s GC time, factor 1.67
ML stack maximum:
1.4 MiB
ML heap maximum:
143 MiB
ML heap average:
112 MiB
Isabelle version:
9caecebbf8d3

SML

data:
CSV
ML timing:
0.009s elapsed time, 0.012s cpu time, 0.000s GC time, factor 1.33
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
c13a4bd3c018

HOL-Data_Structures

data:
CSV
Isabelle version:
6e4787b57ac6

HOLCF

data:
CSV
Isabelle version:
300cfc008718

HOL-Nominal-Examples

data:
CSV
Isabelle version:
6e4787b57ac6

Sledgehammer

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

HOL-Proofs

data:
CSV
Isabelle version:
c13a4bd3c018

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.160s elapsed time, 0.451s cpu time, 0.000s GC time, factor 2.82
ML stack maximum:
1.2 MiB
ML stack average:
1.2 MiB
ML heap maximum:
132 MiB
ML heap average:
132 MiB
Isabelle version:
c13a4bd3c018

Cube

data:
CSV
ML timing:
0.245s elapsed time, 0.271s cpu time, 0.000s GC time, factor 1.11
ML heap maximum:
65 MiB
ML heap average:
65 MiB
Isabelle version:
c13a4bd3c018

Intro

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

HOL-Analysis

data:
CSV
Isabelle version:
6e4787b57ac6

ZF

data:
CSV
Isabelle version:
c13a4bd3c018

HOL-Library

data:
CSV
Isabelle version:
6e4787b57ac6

Pure-Examples

data:
CSV
ML timing:
0.221s elapsed time, 0.345s cpu time, 0.000s GC time, factor 1.56
ML heap maximum:
112 MiB
ML heap average:
112 MiB
Isabelle version:
c13a4bd3c018