Isabelle build status for Linux C, 8 threads

status date:
10-Jul-2026 06:42:24 +0200
build host:
linux-netcup-g12

HOL-Proofs

data:
CSV
timing:
0:07:51 elapsed time, 0:14:22 cpu time, factor 1.83
ML timing:
374.234s elapsed time, 658.438s cpu time, 133.806s GC time, factor 1.76
ML code maximum:
28.7 MiB
ML code average:
20.4 MiB
ML stack maximum:
90.1 MiB
ML stack average:
50.2 MiB
ML heap maximum:
16 GiB
ML heap average:
6.7 GiB
ML heap stored:
377.8 MiB
Isabelle version:
cbf5095487bb

HOL-Analysis

data:
CSV
timing:
0:07:50 elapsed time, 0:41:13 cpu time, factor 5.26
ML timing:
397.613s elapsed time, 2327.657s cpu time, 220.399s GC time, factor 5.85
ML code maximum:
4 MiB
ML code average:
3.9 MiB
ML stack maximum:
152.5 MiB
ML stack average:
109 MiB
ML heap maximum:
8.6 GiB
ML heap average:
5.4 GiB
ML heap stored:
276.1 MiB
Isabelle version:
cbf5095487bb

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:04:27 elapsed time, 0:24:21 cpu time, factor 5.47
ML timing:
265.352s elapsed time, 1459.371s cpu time, 76.377s GC time, factor 5.50
ML code maximum:
32.4 MiB
ML code average:
26.4 MiB
ML stack maximum:
13 MiB
ML stack average:
9.6 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Datatype_Benchmark

data:
CSV
timing:
0:04:12 elapsed time, 0:15:32 cpu time, factor 3.70
ML timing:
246.859s elapsed time, 911.424s cpu time, 147.670s GC time, factor 3.69
ML stack maximum:
16.1 MiB
ML stack average:
10.1 MiB
ML heap maximum:
15.7 GiB
ML heap average:
9.2 GiB
Isabelle version:
cbf5095487bb

HOL

data:
CSV
timing:
0:03:55 elapsed time, 0:12:19 cpu time, factor 3.14
ML timing:
209.352s elapsed time, 689.318s cpu time, 66.728s GC time, factor 3.29
ML code maximum:
29 MiB
ML code average:
22.5 MiB
ML stack maximum:
114.3 MiB
ML stack average:
60.8 MiB
ML heap maximum:
8.7 GiB
ML heap average:
4.3 GiB
ML heap stored:
208.5 MiB
Isabelle version:
cbf5095487bb

HOL-Codegenerator_Test

data:
CSV
timing:
0:03:03 elapsed time, 0:11:00 cpu time, factor 3.61
ML timing:
180.588s elapsed time, 654.276s cpu time, 52.166s GC time, factor 3.62
ML code maximum:
1.2 MiB
ML code average:
1.2 MiB
ML stack maximum:
44.9 MiB
ML stack average:
36.2 MiB
ML heap maximum:
4.5 GiB
ML heap average:
3.7 GiB
Isabelle version:
cbf5095487bb

HOL-ex

data:
CSV
timing:
0:02:48 elapsed time, 0:13:18 cpu time, factor 4.75
ML timing:
165.256s elapsed time, 792.050s cpu time, 66.662s GC time, factor 4.79
ML code maximum:
4.4 MiB
ML code average:
3.5 MiB
ML stack maximum:
103.3 MiB
ML stack average:
61.6 MiB
ML heap maximum:
7 GiB
ML heap average:
3.8 GiB
Isabelle version:
cbf5095487bb

HOL-Data_Structures

data:
CSV
timing:
0:02:45 elapsed time, 0:20:28 cpu time, factor 7.44
ML timing:
161.898s elapsed time, 1218.894s cpu time, 117.050s GC time, factor 7.53
ML stack maximum:
34.3 MiB
ML stack average:
22.8 MiB
ML heap maximum:
5 GiB
ML heap average:
3.9 GiB
Isabelle version:
cbf5095487bb

HOL-Nominal-Examples

data:
CSV
timing:
0:02:43 elapsed time, 0:14:38 cpu time, factor 5.39
ML timing:
160.188s elapsed time, 867.873s cpu time, 63.555s GC time, factor 5.42
ML stack maximum:
48.4 MiB
ML stack average:
42.8 MiB
ML heap maximum:
10 GiB
ML heap average:
6.4 GiB
Isabelle version:
cbf5095487bb

HOL-Library

data:
CSV
timing:
0:02:37 elapsed time, 0:12:05 cpu time, factor 4.62
ML timing:
125.649s elapsed time, 664.757s cpu time, 68.552s GC time, factor 5.29
ML code maximum:
4.9 MiB
ML code average:
4.6 MiB
ML stack maximum:
51.5 MiB
ML stack average:
37.7 MiB
ML heap maximum:
4.2 GiB
ML heap average:
3.1 GiB
ML heap stored:
153.3 MiB
Isabelle version:
cbf5095487bb

HOL-Corec_Examples

data:
CSV
timing:
0:02:24 elapsed time, 0:07:07 cpu time, factor 2.97
ML timing:
140.042s elapsed time, 412.241s cpu time, 38.594s GC time, factor 2.94
ML stack maximum:
8.1 MiB
ML stack average:
3.6 MiB
ML heap maximum:
6.3 GiB
ML heap average:
5 GiB
Isabelle version:
cbf5095487bb

HOL-Decision_Procs

data:
CSV
timing:
0:02:14 elapsed time, 0:14:01 cpu time, factor 6.28
ML timing:
131.588s elapsed time, 835.363s cpu time, 79.768s GC time, factor 6.35
ML code maximum:
3.3 MiB
ML code average:
1.7 MiB
ML stack maximum:
158.8 MiB
ML stack average:
83.9 MiB
ML heap maximum:
9.4 GiB
ML heap average:
5.6 GiB
Isabelle version:
cbf5095487bb

HOL-Algebra

data:
CSV
timing:
0:01:57 elapsed time, 0:08:44 cpu time, factor 4.48
ML timing:
95.444s elapsed time, 486.208s cpu time, 78.636s GC time, factor 5.09
ML stack maximum:
31 MiB
ML stack average:
22.1 MiB
ML heap maximum:
8.8 GiB
ML heap average:
3.8 GiB
ML heap stored:
64.9 MiB
Isabelle version:
cbf5095487bb

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:42 elapsed time, 0:02:41 cpu time, factor 1.58
ML timing:
99.908s elapsed time, 157.087s cpu time, 15.400s GC time, factor 1.57
ML stack maximum:
16.5 MiB
ML stack average:
14.7 MiB
ML heap maximum:
4.9 GiB
ML heap average:
3 GiB
Isabelle version:
cbf5095487bb

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:15 elapsed time, 0:01:29 cpu time, factor 1.19
ML timing:
73.522s elapsed time, 87.365s cpu time, 4.271s GC time, factor 1.19
ML stack maximum:
5.4 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
cbf5095487bb

HOL-Probability

data:
CSV
timing:
0:01:14 elapsed time, 0:05:23 cpu time, factor 4.36
ML timing:
53.819s elapsed time, 287.251s cpu time, 27.560s GC time, factor 5.34
ML stack maximum:
34.6 MiB
ML stack average:
24.2 MiB
ML heap maximum:
3.9 GiB
ML heap average:
1.9 GiB
ML heap stored:
53.2 MiB
Isabelle version:
cbf5095487bb

HOL-Datatype_Examples

data:
CSV
timing:
0:01:08 elapsed time, 0:05:06 cpu time, factor 4.50
ML timing:
65.067s elapsed time, 295.089s cpu time, 38.926s GC time, factor 4.54
ML stack maximum:
9.1 MiB
ML stack average:
6.7 MiB
ML heap maximum:
3.9 GiB
ML heap average:
3.3 GiB
Isabelle version:
cbf5095487bb

HOL-Computational_Algebra

data:
CSV
timing:
0:01:04 elapsed time, 0:03:55 cpu time, factor 3.67
ML timing:
52.256s elapsed time, 214.706s cpu time, 16.266s GC time, factor 4.11
ML stack maximum:
43.3 MiB
ML stack average:
21.8 MiB
ML heap maximum:
2.7 GiB
ML heap average:
1.8 GiB
ML heap stored:
42.3 MiB
Isabelle version:
cbf5095487bb

HOL-Imperative_HOL

data:
CSV
timing:
0:01:00 elapsed time, 0:04:51 cpu time, factor 4.85
ML timing:
58.479s elapsed time, 288.013s cpu time, 19.225s GC time, factor 4.93
ML stack maximum:
25.1 MiB
ML stack average:
23.2 MiB
ML heap maximum:
3.1 GiB
ML heap average:
2 GiB
Isabelle version:
cbf5095487bb

HOL-Record_Benchmark

data:
CSV
timing:
0:00:59 elapsed time, 0:01:51 cpu time, factor 1.88
ML timing:
57.987s elapsed time, 109.458s cpu time, 9.599s GC time, factor 1.89
ML stack maximum:
11.3 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Real_Asymp

data:
CSV
timing:
0:00:57 elapsed time, 0:04:44 cpu time, factor 4.98
ML timing:
42.674s elapsed time, 260.567s cpu time, 20.990s GC time, factor 6.11
ML code maximum:
3.1 MiB
ML code average:
2.3 MiB
ML stack maximum:
38.6 MiB
ML stack average:
18.4 MiB
ML heap maximum:
3.7 GiB
ML heap average:
1.6 GiB
ML heap stored:
67.2 MiB
Isabelle version:
cbf5095487bb

Codegen

data:
CSV
timing:
0:00:55 elapsed time, 0:03:44 cpu time, factor 4.07
ML timing:
53.339s elapsed time, 220.940s cpu time, 13.336s GC time, factor 4.14
ML stack maximum:
19.3 MiB
ML stack average:
13.6 MiB
ML heap maximum:
2.9 GiB
ML heap average:
2 GiB
Isabelle version:
cbf5095487bb

HOL-Homology

data:
CSV
timing:
0:00:52 elapsed time, 0:04:38 cpu time, factor 5.35
ML timing:
49.740s elapsed time, 273.806s cpu time, 17.223s GC time, factor 5.50
ML stack maximum:
29 MiB
ML stack average:
20.3 MiB
ML heap maximum:
3.7 GiB
ML heap average:
3.1 GiB
Isabelle version:
cbf5095487bb

Datatypes

data:
CSV
timing:
0:00:48 elapsed time, 0:01:28 cpu time, factor 1.83
ML timing:
33.614s elapsed time, 62.453s cpu time, 5.787s GC time, factor 1.86
ML stack maximum:
8.4 MiB
ML stack average:
5.2 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.3 GiB
ML heap stored:
73.2 MiB
Isabelle version:
cbf5095487bb

HOL-Auth

data:
CSV
timing:
0:00:46 elapsed time, 0:04:14 cpu time, factor 5.52
ML timing:
38.968s elapsed time, 242.578s cpu time, 15.412s GC time, factor 6.23
ML stack maximum:
24.9 MiB
ML stack average:
17.8 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.5 GiB
ML heap stored:
31.8 MiB
Isabelle version:
cbf5095487bb

HOL-MicroJava

data:
CSV
timing:
0:00:46 elapsed time, 0:03:48 cpu time, factor 4.96
ML timing:
44.588s elapsed time, 226.461s cpu time, 14.305s GC time, factor 5.08
ML stack maximum:
19.1 MiB
ML stack average:
13.6 MiB
ML heap maximum:
2 GiB
ML heap average:
1.7 GiB
Isabelle version:
cbf5095487bb

HOL-Bali

data:
CSV
timing:
0:00:46 elapsed time, 0:02:59 cpu time, factor 3.89
ML timing:
40.096s elapsed time, 174.732s cpu time, 8.869s GC time, factor 4.36
ML stack maximum:
24.4 MiB
ML stack average:
9.7 MiB
ML heap maximum:
2.4 GiB
ML heap average:
1.9 GiB
Isabelle version:
cbf5095487bb

Corec

data:
CSV
timing:
0:00:43 elapsed time, 0:01:12 cpu time, factor 1.67
ML timing:
41.559s elapsed time, 68.509s cpu time, 6.319s GC time, factor 1.65
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
9.2 MiB
ML stack average:
8.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-SMT_Examples

data:
CSV
timing:
0:00:43 elapsed time, 0:02:00 cpu time, factor 2.79
ML timing:
42.018s elapsed time, 119.381s cpu time, 5.942s GC time, factor 2.84
ML stack maximum:
17.7 MiB
ML stack average:
15.4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-IMP

data:
CSV
timing:
0:00:41 elapsed time, 0:03:54 cpu time, factor 5.71
ML timing:
39.834s elapsed time, 231.457s cpu time, 21.604s GC time, factor 5.81
ML code maximum:
4.8 MiB
ML code average:
3 MiB
ML stack maximum:
16 MiB
ML stack average:
8.4 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.3 GiB
Isabelle version:
cbf5095487bb

HOL-Complex_Analysis

data:
CSV
timing:
0:00:38 elapsed time, 0:03:26 cpu time, factor 5.42
ML timing:
33.540s elapsed time, 201.562s cpu time, 11.338s GC time, factor 6.01
ML stack maximum:
23.1 MiB
ML stack average:
16.7 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Examples

data:
CSV
timing:
0:00:38 elapsed time, 0:03:13 cpu time, factor 5.08
ML timing:
36.237s elapsed time, 189.197s cpu time, 19.098s GC time, factor 5.22
ML stack maximum:
21.3 MiB
ML stack average:
17.5 MiB
ML heap maximum:
3.8 GiB
ML heap average:
2.3 GiB
Isabelle version:
cbf5095487bb

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:37 elapsed time, 0:02:16 cpu time, factor 3.68
ML timing:
36.474s elapsed time, 134.665s cpu time, 8.672s GC time, factor 3.69
ML code maximum:
2.4 MiB
ML code average:
2.1 MiB
ML stack maximum:
12.6 MiB
ML stack average:
9.1 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.6 GiB
Isabelle version:
cbf5095487bb

HOL-Number_Theory

data:
CSV
timing:
0:00:36 elapsed time, 0:03:01 cpu time, factor 5.03
ML timing:
34.643s elapsed time, 178.873s cpu time, 13.956s GC time, factor 5.16
ML stack maximum:
15.8 MiB
ML stack average:
12.2 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.7 GiB
Isabelle version:
cbf5095487bb

HOL-Hoare_Parallel

data:
CSV
timing:
0:00:33 elapsed time, 0:03:19 cpu time, factor 6.03
ML timing:
31.680s elapsed time, 197.249s cpu time, 5.529s GC time, factor 6.23
ML stack maximum:
10.8 MiB
ML stack average:
8.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

ZF

data:
CSV
timing:
0:00:21 elapsed time, 0:00:35 cpu time, factor 1.67
ML timing:
10.576s elapsed time, 31.671s cpu time, 4.577s GC time, factor 2.99
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
ML stack maximum:
17.7 MiB
ML stack average:
5.3 MiB
ML heap maximum:
1.8 GiB
ML heap average:
833.7 MiB
ML heap stored:
15.2 MiB
Isabelle version:
cbf5095487bb

HOL-Quotient_Examples

data:
CSV
timing:
0:00:20 elapsed time, 0:00:33 cpu time, factor 1.65
ML timing:
18.370s elapsed time, 31.264s cpu time, 1.592s GC time, factor 1.70
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:
cbf5095487bb

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:19 elapsed time, 0:02:04 cpu time, factor 6.53
ML timing:
18.501s elapsed time, 122.142s cpu time, 12.584s GC time, factor 6.60
ML code maximum:
4.2 MiB
ML code average:
2.6 MiB
ML stack maximum:
22.4 MiB
ML stack average:
16.2 MiB
ML heap maximum:
2.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
cbf5095487bb

HOL-Nitpick_Examples

data:
CSV
timing:
0:00:18 elapsed time, 0:01:23 cpu time, factor 4.61
ML timing:
17.408s elapsed time, 81.791s cpu time, 4.239s GC time, factor 4.70
ML stack maximum:
15.2 MiB
ML stack average:
10.5 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-SPARK

data:
CSV
timing:
0:00:18 elapsed time, 0:00:51 cpu time, factor 2.83
ML timing:
12.065s elapsed time, 41.887s cpu time, 2.689s GC time, factor 3.47
ML stack maximum:
10 MiB
ML stack average:
5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
914.3 MiB
ML heap stored:
14.9 MiB
Isabelle version:
cbf5095487bb

HOLCF

data:
CSV
timing:
0:00:18 elapsed time, 0:00:41 cpu time, factor 2.28
ML timing:
11.699s elapsed time, 30.648s cpu time, 2.552s GC time, factor 2.62
ML stack maximum:
7.5 MiB
ML stack average:
4 MiB
ML heap maximum:
1.6 GiB
ML heap average:
979.6 MiB
ML heap stored:
19.4 MiB
Isabelle version:
cbf5095487bb

HOL-UNITY

data:
CSV
timing:
0:00:18 elapsed time, 0:01:45 cpu time, factor 5.83
ML timing:
17.128s elapsed time, 103.087s cpu time, 10.177s GC time, factor 6.02
ML stack maximum:
19.3 MiB
ML stack average:
15.3 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.6 GiB
Isabelle version:
cbf5095487bb

Pure

data:
CSV
timing:
0:00:17 elapsed time, 0:00:18 cpu time, factor 1.06
ML timing:
0.654s elapsed time, 0.709s cpu time, 0.024s 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:
525.3 MiB
ML heap stored:
24 MiB
Isabelle version:
cbf5095487bb

HOL-Hoare

data:
CSV
timing:
0:00:16 elapsed time, 0:00:48 cpu time, factor 3.00
ML timing:
14.722s elapsed time, 47.454s cpu time, 2.422s GC time, factor 3.22
ML stack maximum:
4.4 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-SET_Protocol

data:
CSV
timing:
0:00:15 elapsed time, 0:01:22 cpu time, factor 5.47
ML timing:
14.506s elapsed time, 81.039s cpu time, 1.773s GC time, factor 5.59
ML stack maximum:
7.7 MiB
ML stack average:
5.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Matrix_LP

data:
CSV
timing:
0:00:13 elapsed time, 0:00:51 cpu time, factor 3.92
ML timing:
12.046s elapsed time, 50.378s cpu time, 1.945s GC time, factor 4.18
ML code maximum:
1 MiB
ML stack maximum:
7.5 MiB
ML stack average:
4.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Combinatorics

data:
CSV
timing:
0:00:13 elapsed time, 0:00:56 cpu time, factor 4.31
ML timing:
9.680s elapsed time, 53.738s cpu time, 5.303s GC time, factor 5.55
ML stack maximum:
16.2 MiB
ML stack average:
9.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
cbf5095487bb

HOL-Metis_Examples

data:
CSV
timing:
0:00:13 elapsed time, 0:01:07 cpu time, factor 5.15
ML timing:
12.009s elapsed time, 65.837s cpu time, 11.121s GC time, factor 5.48
ML stack maximum:
9.2 MiB
ML stack average:
7.8 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:13 elapsed time, 0:00:34 cpu time, factor 2.62
ML timing:
6.306s elapsed time, 24.424s cpu time, 2.036s GC time, factor 3.87
ML stack maximum:
5.9 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
774.3 MiB
ML heap stored:
10.2 MiB
Isabelle version:
cbf5095487bb

IOA

data:
CSV
timing:
0:00:13 elapsed time, 0:00:35 cpu time, factor 2.69
ML timing:
6.335s elapsed time, 23.748s cpu time, 1.034s GC time, factor 3.75
ML stack maximum:
5.4 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
748.2 MiB
ML heap stored:
6.6 MiB
Isabelle version:
cbf5095487bb

HOL-Analysis-ex

data:
CSV
timing:
0:00:12 elapsed time, 0:00:39 cpu time, factor 3.25
ML timing:
10.110s elapsed time, 37.596s cpu time, 0.541s GC time, factor 3.72
ML stack maximum:
11.1 MiB
ML stack average:
8.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOLCF-Library

data:
CSV
timing:
0:00:12 elapsed time, 0:00:33 cpu time, factor 2.75
ML timing:
6.415s elapsed time, 24.047s cpu time, 1.020s GC time, factor 3.75
ML stack maximum:
6.2 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
848.8 MiB
ML heap stored:
9.7 MiB
Isabelle version:
cbf5095487bb

HOL-Import

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.212s elapsed time, 11.285s cpu time, 0.424s GC time, factor 1.11
ML stack maximum:
65.8 MiB
ML stack average:
56.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

Isar_Ref

data:
CSV
timing:
0:00:12 elapsed time, 0:00:29 cpu time, factor 2.42
ML timing:
10.876s elapsed time, 27.688s cpu time, 2.682s GC time, factor 2.55
ML stack maximum:
24.4 MiB
ML stack average:
20.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Types_To_Sets

data:
CSV
timing:
0:00:11 elapsed time, 0:00:19 cpu time, factor 1.73
ML timing:
10.095s elapsed time, 17.891s cpu time, 0.617s GC time, factor 1.77
ML stack maximum:
4.4 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Statespace

data:
CSV
timing:
0:00:11 elapsed time, 0:00:14 cpu time, factor 1.27
ML timing:
10.151s elapsed time, 13.103s cpu time, 0.597s GC time, factor 1.29
ML stack maximum:
2.9 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Nominal

data:
CSV
timing:
0:00:11 elapsed time, 0:00:31 cpu time, factor 2.82
ML timing:
6.128s elapsed time, 22.927s cpu time, 2.174s GC time, factor 3.74
ML code maximum:
1.6 MiB
ML code average:
1 MiB
ML stack maximum:
8.3 MiB
ML stack average:
4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
745.2 MiB
ML heap stored:
9.4 MiB
Isabelle version:
cbf5095487bb

Tutorial

data:
CSV
timing:
0:00:11 elapsed time, 0:00:46 cpu time, factor 4.18
ML timing:
10.267s elapsed time, 44.314s cpu time, 4.598s GC time, factor 4.32
ML stack maximum:
7.8 MiB
ML stack average:
5.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
cbf5095487bb

HOL-ZF

data:
CSV
timing:
0:00:09 elapsed time, 0:00:30 cpu time, factor 3.33
ML timing:
6.618s elapsed time, 28.019s cpu time, 2.186s GC time, factor 4.23
ML stack maximum:
12.7 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

ZF-Constructible

data:
CSV
timing:
0:00:09 elapsed time, 0:00:23 cpu time, factor 2.56
ML timing:
5.952s elapsed time, 21.466s cpu time, 3.312s GC time, factor 3.61
ML stack maximum:
9.9 MiB
ML stack average:
5.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
999 MiB
Isabelle version:
cbf5095487bb

Typeclass_Hierarchy

data:
CSV
timing:
0:00:08 elapsed time, 0:00:23 cpu time, factor 2.88
ML timing:
6.845s elapsed time, 21.704s cpu time, 0.957s GC time, factor 3.17
ML stack maximum:
12.1 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-Induct

data:
CSV
timing:
0:00:08 elapsed time, 0:00:34 cpu time, factor 4.25
ML timing:
6.427s elapsed time, 32.387s cpu time, 3.628s GC time, factor 5.04
ML stack maximum:
4.8 MiB
ML stack average:
2.9 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-Cardinals

data:
CSV
timing:
0:00:08 elapsed time, 0:00:44 cpu time, factor 5.50
ML timing:
6.819s elapsed time, 42.923s cpu time, 2.439s GC time, factor 6.29
ML stack maximum:
10.7 MiB
ML stack average:
7.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOLCF-Tutorial

data:
CSV
timing:
0:00:08 elapsed time, 0:00:12 cpu time, factor 1.50
ML timing:
7.200s elapsed time, 10.952s cpu time, 0.386s GC time, factor 1.52
ML stack maximum:
1.4 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-Hahn_Banach

data:
CSV
timing:
0:00:07 elapsed time, 0:00:21 cpu time, factor 3.00
ML timing:
6.638s elapsed time, 19.891s cpu time, 1.947s GC time, factor 3.00
ML stack maximum:
6.6 MiB
ML stack average:
4.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1022.3 MiB
Isabelle version:
cbf5095487bb

HOL-SPARK-Examples

data:
CSV
timing:
0:00:07 elapsed time, 0:00:22 cpu time, factor 3.14
ML timing:
6.118s elapsed time, 21.546s cpu time, 0.435s GC time, factor 3.52
ML stack maximum:
8.5 MiB
ML stack average:
6.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

ZF-UNITY

data:
CSV
timing:
0:00:06 elapsed time, 0:00:23 cpu time, factor 3.83
ML timing:
3.677s elapsed time, 21.781s cpu time, 1.855s GC time, factor 5.92
ML stack maximum:
6.8 MiB
ML stack average:
3.6 MiB
ML heap maximum:
1.6 GiB
ML heap average:
920.2 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Memory

data:
CSV
timing:
0:00:06 elapsed time, 0:00:19 cpu time, factor 3.17
ML timing:
4.829s elapsed time, 18.199s cpu time, 0.406s GC time, factor 3.77
ML stack maximum:
4.1 MiB
ML stack average:
2.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

Implementation

data:
CSV
timing:
0:00:06 elapsed time, 0:00:05 cpu time, factor 0.83
ML timing:
5.298s elapsed time, 4.446s cpu time, 0.071s GC time, factor 0.84
ML stack maximum:
12.7 MiB
ML stack average:
11.1 MiB
ML heap maximum:
1 GiB
ML heap average:
853.5 MiB
Isabelle version:
cbf5095487bb

HOL-TPTP

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
4.875s elapsed time, 6.213s cpu time, 0.323s GC time, factor 1.27
ML code maximum:
4 MiB
ML code average:
2.7 MiB
ML stack maximum:
29.9 MiB
ML stack average:
19.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

CCL

data:
CSV
timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.17
ML timing:
4.507s elapsed time, 6.530s cpu time, 0.442s GC time, factor 1.45
ML code maximum:
1.6 MiB
ML code average:
1.1 MiB
ML stack maximum:
5.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
896.8 MiB
Isabelle version:
cbf5095487bb

IOA-NTP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
4.085s elapsed time, 9.480s cpu time, 0.402s GC time, factor 2.32
ML stack maximum:
2.8 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-NanoJava

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
3.851s elapsed time, 8.907s cpu time, 0.373s GC time, factor 2.31
ML stack maximum:
1.8 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-TLA

data:
CSV
timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.60
ML timing:
1.500s elapsed time, 2.721s cpu time, 0.079s GC time, factor 1.81
ML stack maximum:
2.7 MiB
ML heap maximum:
855 MiB
ML heap average:
198.8 MiB
ML heap stored:
3 MiB
Isabelle version:
cbf5095487bb

FOL-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.80
ML timing:
4.666s elapsed time, 8.611s cpu time, 0.352s GC time, factor 1.85
ML stack maximum:
8.2 MiB
ML stack average:
7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Isar_Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
3.664s elapsed time, 8.860s cpu time, 0.382s GC time, factor 2.42
ML stack maximum:
4.2 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOL-IMPP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
3.329s elapsed time, 6.513s cpu time, 0.283s GC time, factor 1.96
ML stack maximum:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
850.9 MiB
Isabelle version:
cbf5095487bb

System

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
4.542s elapsed time, 1.734s cpu time, 0.000s GC time, factor 0.38
ML stack maximum:
9.1 MiB
ML stack average:
9.1 MiB
ML heap maximum:
629 MiB
ML heap average:
511.1 MiB
Isabelle version:
cbf5095487bb

HOL-Unix

data:
CSV
timing:
0:00:05 elapsed time, 0:00:15 cpu time, factor 3.00
ML timing:
3.850s elapsed time, 13.946s cpu time, 0.704s GC time, factor 3.62
ML stack maximum:
4 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

HOL-Probability-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:18 cpu time, factor 3.60
ML timing:
2.821s elapsed time, 15.875s cpu time, 0.464s GC time, factor 5.63
ML stack maximum:
3.4 MiB
ML stack average:
2.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

HOLCF-IMP

data:
CSV
timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 2.00
ML timing:
4.089s elapsed time, 8.739s cpu time, 0.254s GC time, factor 2.14
ML stack maximum:
2.6 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

ZF-Induct

data:
CSV
timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.00
ML timing:
2.973s elapsed time, 7.182s cpu time, 0.418s GC time, factor 2.42
ML stack maximum:
5 MiB
ML stack average:
3.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
ML heap stored:
4.1 MiB
Isabelle version:
cbf5095487bb

HOL-Proofs-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
2.558s elapsed time, 4.846s cpu time, 0.833s GC time, factor 1.89
ML stack maximum:
8.3 MiB
ML stack average:
5.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1 GiB
Isabelle version:
cbf5095487bb

Tools

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.546s elapsed time, 3.796s cpu time, 0.101s GC time, factor 1.07
ML code maximum:
1.9 MiB
ML code average:
1 MiB
ML stack maximum:
2.6 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOL-Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 3.00
ML timing:
2.977s elapsed time, 11.711s cpu time, 0.584s GC time, factor 3.93
ML code maximum:
1.9 MiB
ML code average:
1.2 MiB
ML stack maximum:
6.2 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.179s elapsed time, 3.613s cpu time, 0.097s GC time, factor 1.14
ML code maximum:
1.4 MiB
ML stack maximum:
2.5 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
885.2 MiB
ML heap stored:
3.7 MiB
Isabelle version:
cbf5095487bb

IOA-ABP

data:
CSV
timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 2.25
ML timing:
3.526s elapsed time, 8.268s cpu time, 0.451s GC time, factor 2.34
ML stack maximum:
1.8 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

ZF-AC

data:
CSV
timing:
0:00:04 elapsed time, 0:00:07 cpu time, factor 1.75
ML timing:
1.285s elapsed time, 6.832s cpu time, 0.507s GC time, factor 5.32
ML stack maximum:
6.7 MiB
ML stack average:
2 MiB
ML heap maximum:
1.4 GiB
ML heap average:
493.2 MiB
Isabelle version:
cbf5095487bb

ZF-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:11 cpu time, factor 2.75
ML timing:
2.907s elapsed time, 10.721s cpu time, 0.638s GC time, factor 3.69
ML stack maximum:
8.8 MiB
ML stack average:
6.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
cbf5095487bb

LCF

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.305s elapsed time, 3.849s cpu time, 0.097s GC time, factor 1.16
ML code maximum:
1.4 MiB
ML stack maximum:
2.5 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
981.6 MiB
Isabelle version:
cbf5095487bb

HOL-SPARK-Manual

data:
CSV
timing:
0:00:03 elapsed time, 0:00:07 cpu time, factor 2.33
ML timing:
2.432s elapsed time, 6.539s cpu time, 0.109s GC time, factor 2.69
ML stack maximum:
4 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
cbf5095487bb

Prog_Prove

data:
CSV
timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 3.00
ML timing:
2.169s elapsed time, 8.383s cpu time, 0.548s GC time, factor 3.86
ML stack maximum:
8.6 MiB
ML stack average:
6.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

HOLCF-FOCUS

data:
CSV
timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.67
ML timing:
2.084s elapsed time, 7.133s cpu time, 0.223s GC time, factor 3.42
ML stack maximum:
3.6 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
cbf5095487bb

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
2.466s elapsed time, 3.782s cpu time, 0.065s GC time, factor 1.53
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
1.4 GiB
ML heap average:
956.2 MiB
Isabelle version:
cbf5095487bb

HOLCF-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 3.00
ML timing:
1.879s elapsed time, 7.948s cpu time, 0.477s GC time, factor 4.23
ML stack maximum:
5 MiB
ML stack average:
3.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.182s elapsed time, 3.430s cpu time, 0.087s GC time, factor 1.57
ML stack maximum:
1.8 MiB
ML stack average:
1.2 MiB
ML heap maximum:
834 MiB
ML heap average:
541.1 MiB
Isabelle version:
cbf5095487bb

Functions

data:
CSV
timing:
0:00:03 elapsed time, 0:00:04 cpu time, factor 1.33
ML timing:
2.504s elapsed time, 3.574s cpu time, 0.071s GC time, factor 1.43
ML stack maximum:
3.5 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.2 GiB
ML heap average:
840 MiB
Isabelle version:
cbf5095487bb

Eisbach

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.053s elapsed time, 2.506s cpu time, 0.108s GC time, factor 1.22
ML stack maximum:
3.7 MiB
ML stack average:
2.6 MiB
ML heap maximum:
773 MiB
ML heap average:
651.4 MiB
Isabelle version:
cbf5095487bb

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.831s elapsed time, 1.037s cpu time, 0.000s GC time, factor 1.25
ML heap maximum:
343 MiB
ML heap average:
338.5 MiB
Isabelle version:
cbf5095487bb

Classes

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.060s elapsed time, 1.745s cpu time, 0.049s GC time, factor 1.65
ML stack maximum:
2.2 MiB
ML stack average:
2.1 MiB
ML heap maximum:
766 MiB
ML heap average:
577.1 MiB
Isabelle version:
cbf5095487bb

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.418s elapsed time, 2.851s cpu time, 0.066s GC time, factor 2.01
ML heap maximum:
1.2 GiB
ML heap average:
807.9 MiB
Isabelle version:
cbf5095487bb

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.654s elapsed time, 1.891s cpu time, 0.173s GC time, factor 1.14
ML stack maximum:
8.7 MiB
ML stack average:
8.5 MiB
ML heap maximum:
785 MiB
ML heap average:
602.5 MiB
Isabelle version:
cbf5095487bb

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.782s elapsed time, 1.814s cpu time, 0.000s GC time, factor 2.32
ML heap maximum:
545 MiB
ML heap average:
403.2 MiB
Isabelle version:
cbf5095487bb

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.350s elapsed time, 1.488s cpu time, 0.057s GC time, factor 1.10
ML stack maximum:
1.4 MiB
ML stack average:
1 MiB
ML heap maximum:
657 MiB
ML heap average:
445 MiB
ML heap stored:
1.5 MiB
Isabelle version:
cbf5095487bb

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.372s elapsed time, 2.054s cpu time, 0.056s GC time, factor 1.50
ML heap maximum:
765 MiB
ML heap average:
626.3 MiB
Isabelle version:
cbf5095487bb

Locales

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.496s elapsed time, 2.293s cpu time, 0.072s GC time, factor 1.53
ML stack maximum:
3.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
772 MiB
ML heap average:
698.7 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Inc

data:
CSV
timing:
0:00:02 elapsed time, 0:00:04 cpu time
ML timing:
1.413s elapsed time, 3.881s cpu time, 0.056s GC time, factor 2.75
ML stack maximum:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
cbf5095487bb

FOLP-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:06 cpu time
ML timing:
1.907s elapsed time, 5.532s cpu time, 0.179s GC time, factor 2.90
ML code maximum:
1.3 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.7 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
cbf5095487bb

JEdit

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.314s elapsed time, 0.803s cpu time, 0.000s GC time, factor 0.61
ML stack maximum:
6.2 MiB
ML stack average:
4.3 MiB
ML heap maximum:
414 MiB
ML heap average:
322.4 MiB
Isabelle version:
cbf5095487bb

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:02 elapsed time, 0:00:03 cpu time
ML timing:
1.435s elapsed time, 2.546s cpu time, 0.047s GC time, factor 1.77
ML stack maximum:
1 MiB
ML heap maximum:
766 MiB
ML heap average:
572.9 MiB
Isabelle version:
cbf5095487bb

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.171s elapsed time, 2.371s cpu time, 0.049s GC time, factor 2.02
ML stack maximum:
1.5 MiB
ML heap maximum:
800 MiB
ML heap average:
435.6 MiB
Isabelle version:
cbf5095487bb

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.655s elapsed time, 1.533s cpu time, 0.048s GC time, factor 2.34
ML stack maximum:
1.6 MiB
ML stack average:
1.6 MiB
ML heap maximum:
666 MiB
ML heap average:
666 MiB
Isabelle version:
cbf5095487bb

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.474s elapsed time, 1.249s cpu time, 0.000s GC time, factor 2.64
ML heap maximum:
623 MiB
ML heap average:
623 MiB
Isabelle version:
cbf5095487bb

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.556s elapsed time, 0.767s cpu time, 0.000s GC time, factor 1.38
ML stack maximum:
1.8 MiB
ML stack average:
1.8 MiB
ML heap maximum:
408 MiB
ML heap average:
408 MiB
Isabelle version:
cbf5095487bb

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.219s elapsed time, 0.461s cpu time, 0.000s GC time, factor 2.11
ML heap maximum:
61 MiB
ML heap average:
61 MiB
Isabelle version:
cbf5095487bb

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.135s elapsed time, 1.380s cpu time, 0.000s GC time, factor 1.22
ML heap maximum:
657 MiB
ML heap average:
511.1 MiB
Isabelle version:
cbf5095487bb

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.919s elapsed time, 1.567s cpu time, 0.092s GC time, factor 1.71
ML stack maximum:
1.4 MiB
ML heap maximum:
773 MiB
ML heap average:
585.7 MiB
Isabelle version:
cbf5095487bb

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.196s elapsed time, 0.282s cpu time, 0.000s GC time, factor 1.44
ML heap maximum:
51 MiB
ML heap average:
51 MiB
Isabelle version:
cbf5095487bb

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.191s elapsed time, 0.267s cpu time, 0.000s GC time, factor 1.40
ML heap maximum:
58 MiB
ML heap average:
58 MiB
Isabelle version:
cbf5095487bb

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.175s elapsed time, 0.218s cpu time, 0.000s GC time, factor 1.25
ML heap maximum:
62 MiB
ML heap average:
62 MiB
Isabelle version:
cbf5095487bb

Sequents

data:
CSV
timing:
0:00:01 elapsed time, 0:00:05 cpu time
ML timing:
1.066s elapsed time, 4.695s cpu time, 0.154s GC time, factor 4.40
ML stack maximum:
1.9 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
788.2 MiB
Isabelle version:
cbf5095487bb

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.331s elapsed time, 0.591s cpu time, 0.000s GC time, factor 1.79
ML heap maximum:
66 MiB
ML heap average:
53 MiB
Isabelle version:
cbf5095487bb

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.160s elapsed time, 0.236s cpu time, 0.000s GC time, factor 1.47
ML heap maximum:
76 MiB
ML heap average:
76 MiB
Isabelle version:
cbf5095487bb

Haskell

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.436s elapsed time, 0.540s cpu time, 0.000s GC time, factor 1.24
ML stack maximum:
4.4 MiB
ML heap maximum:
346 MiB
ML heap average:
346 MiB
Isabelle version:
cbf5095487bb

Main

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.780s elapsed time, 0.891s cpu time, 0.000s GC time, factor 1.14
ML stack maximum:
2.4 MiB
ML stack average:
1.3 MiB
ML heap maximum:
383 MiB
ML heap average:
207 MiB
Isabelle version:
cbf5095487bb

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.149s elapsed time, 0.226s cpu time, 0.000s GC time, factor 1.52
ML heap maximum:
62 MiB
ML heap average:
62 MiB
Isabelle version:
cbf5095487bb

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.349s elapsed time, 0.591s cpu time, 0.000s GC time, factor 1.69
ML heap maximum:
98 MiB
ML heap average:
98 MiB
Isabelle version:
cbf5095487bb

Logics

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

SML

data:
CSV
ML timing:
0.014s elapsed time, 0.021s cpu time, 0.000s GC time, factor 1.50
ML heap maximum:
24 MiB
ML heap average:
24 MiB
Isabelle version:
cbf5095487bb

Sledgehammer

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

Nitpick

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

Pure-ex

data:
CSV
ML timing:
0.237s elapsed time, 0.701s cpu time, 0.000s GC time, factor 2.96
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
116 MiB
ML heap average:
116 MiB
Isabelle version:
cbf5095487bb

Cube

data:
CSV
ML timing:
0.321s elapsed time, 0.364s cpu time, 0.000s GC time, factor 1.13
ML heap maximum:
77 MiB
ML heap average:
77 MiB
Isabelle version:
cbf5095487bb

Intro

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

Pure-Examples

data:
CSV
ML timing:
0.222s elapsed time, 0.609s cpu time, 0.000s GC time, factor 2.74
ML stack maximum:
1 MiB
ML stack average:
1 MiB
ML heap maximum:
101 MiB
ML heap average:
101 MiB
Isabelle version:
cbf5095487bb