Isabelle build status for Linux C

status date:
24-Aug-2026 13:47:21 +0200
build host:
linux-netcup-g12

HOL-Analysis

data:
CSV
timing:
0:32:49 elapsed time, 0:32:56 cpu time, factor 1.00
ML timing:
1852.432s elapsed time, 1860.491s cpu time, 119.959s GC time, factor 1.00
ML code maximum:
3.6 MiB
ML code average:
2.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11 MiB
ML heap maximum:
11 GiB
ML heap average:
5.8 GiB
ML heap stored:
364.9 MiB
Isabelle version:
afac3db38384

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:19:53 elapsed time, 0:19:54 cpu time, factor 1.00
ML timing:
1190.614s elapsed time, 1192.475s cpu time, 19.611s GC time, factor 1.00
ML code maximum:
121.7 MiB
ML code average:
80.2 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
2.6 GiB
ML heap average:
1.7 GiB
Isabelle version:
afac3db38384

HOL-Data_Structures

data:
CSV
timing:
0:16:34 elapsed time, 0:16:37 cpu time, factor 1.00
ML timing:
985.157s elapsed time, 988.617s cpu time, 67.235s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
8.2 GiB
ML heap average:
4.2 GiB
Isabelle version:
afac3db38384

HOL-Datatype_Benchmark

data:
CSV
timing:
0:14:41 elapsed time, 0:14:42 cpu time, factor 1.00
ML timing:
861.274s elapsed time, 863.048s cpu time, 124.248s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.4 MiB
ML heap maximum:
22.2 GiB
ML heap average:
9.5 GiB
Isabelle version:
afac3db38384

HOL-Codegenerator_Test

data:
CSV
timing:
0:13:29 elapsed time, 0:10:35 cpu time, factor 0.78
ML timing:
803.651s elapsed time, 630.233s cpu time, 52.294s GC time, factor 0.78
ML code maximum:
2.3 MiB
ML code average:
2 MiB
ML stack maximum:
8.5 MiB
ML stack average:
7.5 MiB
ML heap maximum:
5.9 GiB
ML heap average:
3.7 GiB
Isabelle version:
afac3db38384

HOL-Proofs

data:
CSV
timing:
0:12:59 elapsed time, 0:13:03 cpu time, factor 1.01
ML timing:
587.502s elapsed time, 591.353s cpu time, 111.578s GC time, factor 1.01
ML code maximum:
28.7 MiB
ML code average:
22.2 MiB
ML stack maximum:
32.3 MiB
ML stack average:
19.1 MiB
ML heap maximum:
10.9 GiB
ML heap average:
5.5 GiB
ML heap stored:
586.2 MiB
Isabelle version:
afac3db38384

HOL-ex

data:
CSV
timing:
0:12:43 elapsed time, 0:12:24 cpu time, factor 0.98
ML timing:
757.212s elapsed time, 738.514s cpu time, 48.148s GC time, factor 0.98
ML code maximum:
4.2 MiB
ML code average:
2.2 MiB
ML stack maximum:
16.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
8.5 GiB
ML heap average:
4 GiB
Isabelle version:
afac3db38384

HOL-Nominal-Examples

data:
CSV
timing:
0:12:08 elapsed time, 0:12:06 cpu time, factor 1.00
ML timing:
720.782s elapsed time, 718.916s cpu time, 44.428s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.4 MiB
ML heap maximum:
4.8 GiB
ML heap average:
3.5 GiB
Isabelle version:
afac3db38384

HOL-Decision_Procs

data:
CSV
timing:
0:11:00 elapsed time, 0:11:05 cpu time, factor 1.01
ML timing:
654.427s elapsed time, 659.748s cpu time, 46.407s GC time, factor 1.01
ML code maximum:
4 MiB
ML code average:
2.3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.4 MiB
ML heap maximum:
9 GiB
ML heap average:
4.9 GiB
Isabelle version:
afac3db38384

HOL-Library

data:
CSV
timing:
0:10:29 elapsed time, 0:10:26 cpu time, factor 1.00
ML timing:
581.141s elapsed time, 578.214s cpu time, 43.063s GC time, factor 0.99
ML code maximum:
4.4 MiB
ML code average:
3 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.7 MiB
ML heap maximum:
6.7 GiB
ML heap average:
4 GiB
ML heap stored:
196.9 MiB
Isabelle version:
afac3db38384

HOL

data:
CSV
timing:
0:10:22 elapsed time, 0:10:34 cpu time, factor 1.02
ML timing:
582.461s elapsed time, 594.444s cpu time, 55.917s GC time, factor 1.02
ML code maximum:
28.9 MiB
ML code average:
21.2 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.8 MiB
ML heap maximum:
9.9 GiB
ML heap average:
5.9 GiB
ML heap stored:
259.8 MiB
Isabelle version:
afac3db38384

HOL-Algebra

data:
CSV
timing:
0:07:53 elapsed time, 0:07:59 cpu time, factor 1.01
ML timing:
441.696s elapsed time, 447.710s cpu time, 81.742s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
9 GiB
ML heap average:
5 GiB
ML heap stored:
86.5 MiB
Isabelle version:
afac3db38384

HOL-Corec_Examples

data:
CSV
timing:
0:07:06 elapsed time, 0:07:07 cpu time, factor 1.00
ML timing:
411.384s elapsed time, 412.840s cpu time, 59.042s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
8.1 GiB
ML heap average:
3.9 GiB
Isabelle version:
afac3db38384

HOL-Imperative_HOL

data:
CSV
timing:
0:05:02 elapsed time, 0:04:29 cpu time, factor 0.89
ML timing:
299.118s elapsed time, 265.997s cpu time, 16.325s GC time, factor 0.89
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3.8 GiB
ML heap average:
3 GiB
Isabelle version:
afac3db38384

HOL-Probability

data:
CSV
timing:
0:04:40 elapsed time, 0:04:40 cpu time, factor 1.00
ML timing:
250.173s elapsed time, 250.592s cpu time, 13.389s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
3.6 GiB
ML heap average:
2.8 GiB
ML heap stored:
71.4 MiB
Isabelle version:
afac3db38384

HOL-Datatype_Examples

data:
CSV
timing:
0:04:12 elapsed time, 0:04:13 cpu time, factor 1.00
ML timing:
243.783s elapsed time, 245.258s cpu time, 32.609s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1 MiB
ML heap maximum:
6.9 GiB
ML heap average:
3.8 GiB
Isabelle version:
afac3db38384

HOL-Real_Asymp

data:
CSV
timing:
0:04:06 elapsed time, 0:04:09 cpu time, factor 1.01
ML timing:
227.038s elapsed time, 229.568s cpu time, 14.872s GC time, factor 1.01
ML code maximum:
3 MiB
ML code average:
2.7 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.3 MiB
ML heap maximum:
4.9 GiB
ML heap average:
2.3 GiB
ML heap stored:
88.1 MiB
Isabelle version:
afac3db38384

HOL-Homology

data:
CSV
timing:
0:04:00 elapsed time, 0:04:04 cpu time, factor 1.02
ML timing:
234.092s elapsed time, 237.509s cpu time, 21.344s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
6 GiB
ML heap average:
3.6 GiB
Isabelle version:
afac3db38384

Codegen

data:
CSV
timing:
0:03:45 elapsed time, 0:03:40 cpu time, factor 0.98
ML timing:
222.182s elapsed time, 217.546s cpu time, 17.487s GC time, factor 0.98
ML stack maximum:
8.3 MiB
ML stack average:
7.8 MiB
ML heap maximum:
3.3 GiB
ML heap average:
2.1 GiB
Isabelle version:
afac3db38384

HOL-Auth

data:
CSV
timing:
0:03:44 elapsed time, 0:03:46 cpu time, factor 1.01
ML timing:
215.683s elapsed time, 217.601s cpu time, 8.182s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.4 GiB
ML heap stored:
41.7 MiB
Isabelle version:
afac3db38384

HOL-MicroJava

data:
CSV
timing:
0:03:39 elapsed time, 0:03:41 cpu time, factor 1.01
ML timing:
217.373s elapsed time, 219.538s cpu time, 10.461s GC time, factor 1.01
ML code maximum:
1.1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.6 GiB
Isabelle version:
afac3db38384

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:13 elapsed time, 0:03:14 cpu time, factor 1.01
ML timing:
191.284s elapsed time, 192.392s cpu time, 6.355s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Computational_Algebra

data:
CSV
timing:
0:03:10 elapsed time, 0:03:13 cpu time, factor 1.02
ML timing:
174.297s elapsed time, 177.580s cpu time, 8.814s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
2.5 GiB
ML heap average:
2.1 GiB
ML heap stored:
56.2 MiB
Isabelle version:
afac3db38384

HOL-IMP

data:
CSV
timing:
0:03:06 elapsed time, 0:03:06 cpu time, factor 1.00
ML timing:
183.827s elapsed time, 183.540s cpu time, 14.302s GC time, factor 1.00
ML code maximum:
4.8 MiB
ML code average:
2.4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Number_Theory

data:
CSV
timing:
0:02:59 elapsed time, 0:03:01 cpu time, factor 1.01
ML timing:
175.896s elapsed time, 178.759s cpu time, 19.523s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
5.5 GiB
ML heap average:
3 GiB
Isabelle version:
afac3db38384

HOL-Examples

data:
CSV
timing:
0:02:57 elapsed time, 0:02:58 cpu time, factor 1.01
ML timing:
174.064s elapsed time, 175.178s cpu time, 12.237s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
6.6 MiB
ML heap maximum:
4.5 GiB
ML heap average:
2.7 GiB
Isabelle version:
afac3db38384

HOL-Complex_Analysis

data:
CSV
timing:
0:02:52 elapsed time, 0:02:56 cpu time, factor 1.02
ML timing:
169.438s elapsed time, 173.119s cpu time, 7.378s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:49 elapsed time, 0:02:50 cpu time, factor 1.01
ML timing:
164.593s elapsed time, 165.992s cpu time, 16.044s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
4.2 GiB
ML heap average:
3 GiB
Isabelle version:
afac3db38384

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:47 elapsed time, 0:02:17 cpu time, factor 0.82
ML timing:
165.128s elapsed time, 135.136s cpu time, 6.107s GC time, factor 0.82
ML code maximum:
4.7 MiB
ML code average:
1.9 MiB
ML stack maximum:
8.3 MiB
ML stack average:
3.4 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Bali

data:
CSV
timing:
0:02:47 elapsed time, 0:02:50 cpu time, factor 1.02
ML timing:
164.537s elapsed time, 167.410s cpu time, 11.839s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.1 MiB
ML heap maximum:
2.6 GiB
ML heap average:
1.6 GiB
Isabelle version:
afac3db38384

HOL-SMT_Examples

data:
CSV
timing:
0:02:10 elapsed time, 0:01:54 cpu time, factor 0.88
ML timing:
128.409s elapsed time, 112.832s cpu time, 5.847s GC time, factor 0.88
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.5 GiB
Isabelle version:
afac3db38384

HOL-Nitpick_Examples

data:
CSV
timing:
0:01:57 elapsed time, 0:01:22 cpu time, factor 0.70
ML timing:
115.539s elapsed time, 81.238s cpu time, 1.556s GC time, factor 0.70
ML stack maximum:
4.3 MiB
ML stack average:
4.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Record_Benchmark

data:
CSV
timing:
0:01:47 elapsed time, 0:01:47 cpu time, factor 1.00
ML timing:
104.618s elapsed time, 104.790s cpu time, 9.043s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:46 elapsed time, 0:01:46 cpu time, factor 1.00
ML timing:
103.521s elapsed time, 103.750s cpu time, 8.995s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.3 GiB
ML heap average:
1.7 GiB
Isabelle version:
afac3db38384

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:43 elapsed time, 0:01:44 cpu time, factor 1.01
ML timing:
101.238s elapsed time, 102.325s cpu time, 5.621s GC time, factor 1.01
ML code maximum:
12.3 MiB
ML code average:
4.4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
2.3 GiB
ML heap average:
2 GiB
Isabelle version:
afac3db38384

HOL-UNITY

data:
CSV
timing:
0:01:25 elapsed time, 0:01:26 cpu time, factor 1.01
ML timing:
82.726s elapsed time, 84.384s cpu time, 5.768s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
2 GiB
ML heap average:
1.6 GiB
Isabelle version:
afac3db38384

HOL-SET_Protocol

data:
CSV
timing:
0:01:20 elapsed time, 0:01:20 cpu time, factor 1.00
ML timing:
79.179s elapsed time, 79.647s cpu time, 1.190s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

Datatypes

data:
CSV
timing:
0:01:19 elapsed time, 0:01:16 cpu time, factor 0.96
ML timing:
58.980s elapsed time, 56.218s cpu time, 7.184s GC time, factor 0.95
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.3 GiB
ML heap stored:
95.4 MiB
Isabelle version:
afac3db38384

HOL-Metis_Examples

data:
CSV
timing:
0:01:08 elapsed time, 0:00:52 cpu time, factor 0.76
ML timing:
66.958s elapsed time, 51.110s cpu time, 3.160s GC time, factor 0.76
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.6 GiB
Isabelle version:
afac3db38384

Corec

data:
CSV
timing:
0:01:07 elapsed time, 0:01:05 cpu time, factor 0.97
ML timing:
63.751s elapsed time, 61.981s cpu time, 7.857s GC time, factor 0.97
ML code maximum:
2.2 MiB
ML code average:
2.1 MiB
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.6 GiB
Isabelle version:
afac3db38384

HOL-Matrix_LP

data:
CSV
timing:
0:00:46 elapsed time, 0:00:46 cpu time, factor 1.00
ML timing:
45.012s elapsed time, 45.067s cpu time, 3.088s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

Tutorial

data:
CSV
timing:
0:00:45 elapsed time, 0:00:42 cpu time, factor 0.93
ML timing:
43.236s elapsed time, 40.144s cpu time, 4.439s GC time, factor 0.93
ML stack maximum:
1.5 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.9 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Combinatorics

data:
CSV
timing:
0:00:43 elapsed time, 0:00:44 cpu time, factor 1.02
ML timing:
41.814s elapsed time, 42.947s cpu time, 1.987s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
7.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

Isar_Ref

data:
CSV
timing:
0:00:43 elapsed time, 0:00:27 cpu time, factor 0.63
ML timing:
41.583s elapsed time, 25.978s cpu time, 2.024s GC time, factor 0.62
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-SPARK

data:
CSV
timing:
0:00:41 elapsed time, 0:00:41 cpu time, factor 1.00
ML timing:
33.710s elapsed time, 34.206s cpu time, 2.151s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.2 GiB
ML heap stored:
20.8 MiB
Isabelle version:
afac3db38384

HOL-Hoare

data:
CSV
timing:
0:00:41 elapsed time, 0:00:42 cpu time, factor 1.02
ML timing:
40.367s elapsed time, 40.696s cpu time, 0.886s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Analysis-ex

data:
CSV
timing:
0:00:39 elapsed time, 0:00:39 cpu time, factor 1.00
ML timing:
36.437s elapsed time, 36.586s cpu time, 0.329s GC time, factor 1.00
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

HOL-Quotient_Examples

data:
CSV
timing:
0:00:39 elapsed time, 0:00:33 cpu time, factor 0.85
ML timing:
37.379s elapsed time, 31.827s cpu time, 2.848s GC time, factor 0.85
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
afac3db38384

HOLCF

data:
CSV
timing:
0:00:37 elapsed time, 0:00:38 cpu time, factor 1.03
ML timing:
28.685s elapsed time, 29.802s cpu time, 3.142s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.1 GiB
ML heap stored:
25.9 MiB
Isabelle version:
afac3db38384

HOL-Cardinals

data:
CSV
timing:
0:00:33 elapsed time, 0:00:34 cpu time, factor 1.03
ML timing:
31.933s elapsed time, 32.656s cpu time, 1.057s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
afac3db38384

System

data:
CSV
timing:
0:00:31 elapsed time
ML timing:
30.998s elapsed time, 1.413s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
680 MiB
ML heap average:
348.6 MiB
Isabelle version:
afac3db38384

ZF

data:
CSV
timing:
0:00:31 elapsed time, 0:00:32 cpu time, factor 1.03
ML timing:
29.131s elapsed time, 30.367s cpu time, 3.721s GC time, factor 1.04
ML code maximum:
1.8 MiB
ML code average:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.3 GiB
ML heap stored:
17.9 MiB
Isabelle version:
afac3db38384

HOLCF-Library

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
ML timing:
21.269s elapsed time, 21.886s cpu time, 0.779s GC time, factor 1.03
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
13.9 MiB
Isabelle version:
afac3db38384

IOA

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
ML timing:
21.004s elapsed time, 21.533s cpu time, 0.877s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
ML heap stored:
10 MiB
Isabelle version:
afac3db38384

HOL-Nominal

data:
CSV
timing:
0:00:27 elapsed time, 0:00:25 cpu time, factor 0.93
ML timing:
18.231s elapsed time, 18.458s cpu time, 1.707s GC time, factor 1.01
ML code maximum:
1.6 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
933.6 MiB
ML heap stored:
13.2 MiB
Isabelle version:
afac3db38384

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:27 elapsed time, 0:00:27 cpu time, factor 1.00
ML timing:
18.508s elapsed time, 19.296s cpu time, 0.757s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1006.1 MiB
ML heap stored:
14.2 MiB
Isabelle version:
afac3db38384

HOL-Induct

data:
CSV
timing:
0:00:26 elapsed time, 0:00:25 cpu time, factor 0.96
ML timing:
24.229s elapsed time, 23.872s cpu time, 2.203s GC time, factor 0.99
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-ZF

data:
CSV
timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.04
ML timing:
22.986s elapsed time, 23.798s cpu time, 1.843s GC time, factor 1.04
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

ZF-Constructible

data:
CSV
timing:
0:00:22 elapsed time, 0:00:23 cpu time, factor 1.05
ML timing:
21.863s elapsed time, 22.850s cpu time, 4.362s GC time, factor 1.05
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-SPARK-Examples

data:
CSV
timing:
0:00:21 elapsed time, 0:00:21 cpu time, factor 1.00
ML timing:
19.546s elapsed time, 19.752s cpu time, 0.302s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

Pure

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0.693s elapsed time, 0.725s cpu time, 0.000s GC time, factor 1.05
ML code maximum:
17.9 MiB
ML code average:
17.9 MiB
ML stack maximum:
2 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
587.9 MiB
ML heap stored:
27.5 MiB
Isabelle version:
afac3db38384

HOL-Types_To_Sets

data:
CSV
timing:
0:00:18 elapsed time, 0:00:19 cpu time, factor 1.06
ML timing:
17.295s elapsed time, 17.619s cpu time, 0.671s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

Typeclass_Hierarchy

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.316s elapsed time, 16.945s cpu time, 0.836s GC time, factor 0.98
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

ZF-UNITY

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.588s elapsed time, 18.129s cpu time, 0.730s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-TLA-Memory

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
16.922s elapsed time, 17.134s cpu time, 0.288s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-Hahn_Banach

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
16.251s elapsed time, 16.540s cpu time, 0.725s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-Unix

data:
CSV
timing:
0:00:17 elapsed time, 0:00:16 cpu time, factor 0.94
ML timing:
15.248s elapsed time, 14.430s cpu time, 1.435s GC time, factor 0.95
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
afac3db38384

HOL-Probability-ex

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
12.967s elapsed time, 13.148s cpu time, 0.362s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-Statespace

data:
CSV
timing:
0:00:14 elapsed time, 0:00:14 cpu time, factor 1.00
ML timing:
12.770s elapsed time, 12.918s cpu time, 0.470s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

HOL-Import

data:
CSV
timing:
0:00:14 elapsed time, 0:00:13 cpu time, factor 0.93
ML timing:
12.371s elapsed time, 12.432s cpu time, 0.358s GC time, factor 1.00
ML stack maximum:
64.3 MiB
ML stack average:
54.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
afac3db38384

HOL-Eisbach

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.234s elapsed time, 11.445s cpu time, 0.307s GC time, factor 1.02
ML code maximum:
1.9 MiB
ML code average:
1.5 MiB
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
afac3db38384

Implementation

data:
CSV
timing:
0:00:12 elapsed time, 0:00:05 cpu time, factor 0.42
ML timing:
10.963s elapsed time, 4.412s cpu time, 0.027s GC time, factor 0.40
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.2 GiB
ML heap average:
706.2 MiB
Isabelle version:
afac3db38384

ZF-ex

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
12.106s elapsed time, 12.490s cpu time, 1.247s GC time, factor 1.03
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

HOLCF-Tutorial

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.700s elapsed time, 10.821s cpu time, 0.392s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

HOL-Isar_Examples

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
9.599s elapsed time, 9.328s cpu time, 0.399s GC time, factor 0.97
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

IOA-NTP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
9.175s elapsed time, 9.281s cpu time, 0.382s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
afac3db38384

FOL-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
9.463s elapsed time, 9.621s cpu time, 0.754s GC time, factor 1.02
ML stack maximum:
2.3 MiB
ML stack average:
2.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

ZF-Induct

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
7.490s elapsed time, 6.760s cpu time, 0.230s GC time, factor 0.90
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
5.6 MiB
Isabelle version:
afac3db38384

HOL-NanoJava

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.944s elapsed time, 8.066s cpu time, 0.380s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
afac3db38384

Prog_Prove

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
7.328s elapsed time, 7.168s cpu time, 0.385s GC time, factor 0.98
ML stack maximum:
2.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

HOLCF-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.650s elapsed time, 7.902s cpu time, 0.385s GC time, factor 1.03
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

IOA-ABP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.894s elapsed time, 7.980s cpu time, 0.286s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

CCL

data:
CSV
timing:
0:00:09 elapsed time, 0:00:07 cpu time, factor 0.78
ML timing:
6.361s elapsed time, 6.559s cpu time, 0.433s GC time, factor 1.03
ML code maximum:
1.6 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
928.4 MiB
Isabelle version:
afac3db38384

HOL-TLA

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
2.563s elapsed time, 2.737s cpu time, 0.065s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
1011 MiB
ML heap average:
247.7 MiB
ML heap stored:
5.1 MiB
Isabelle version:
afac3db38384

HOLCF-FOCUS

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.717s elapsed time, 6.865s cpu time, 0.179s GC time, factor 1.02
ML stack maximum:
1.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

JEdit

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
7.290s elapsed time, 0.803s cpu time, 0.000s GC time, factor 0.11
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
410 MiB
ML heap average:
305.2 MiB
Isabelle version:
afac3db38384

HOLCF-IMP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
7.365s elapsed time, 7.407s cpu time, 0.250s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

HOL-SPARK-Manual

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.327s elapsed time, 6.219s cpu time, 0.078s GC time, factor 0.98
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

HOL-Proofs-ex

data:
CSV
timing:
0:00:07 elapsed time, 0:00:06 cpu time, factor 0.86
ML timing:
4.707s elapsed time, 4.742s cpu time, 0.960s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.4 GiB
ML heap average:
950.7 MiB
Isabelle version:
afac3db38384

HOL-IMPP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.067s elapsed time, 6.182s cpu time, 0.220s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

HOL-TPTP

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
5.699s elapsed time, 5.810s cpu time, 0.257s GC time, factor 1.02
ML code maximum:
4 MiB
ML code average:
2.7 MiB
ML stack maximum:
16.3 MiB
ML stack average:
15.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
afac3db38384

ZF-AC

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.391s elapsed time, 6.669s cpu time, 0.346s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
afac3db38384

Tools

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
3.866s elapsed time, 3.915s cpu time, 0.117s GC time, factor 1.01
ML code maximum:
2 MiB
ML code average:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
679.1 MiB
Isabelle version:
afac3db38384

LCF

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
3.738s elapsed time, 3.871s cpu time, 0.095s GC time, factor 1.04
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
770.2 MiB
Isabelle version:
afac3db38384

FOL

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.603s elapsed time, 3.725s cpu time, 0.094s GC time, factor 1.03
ML code maximum:
1.4 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
807.9 MiB
ML heap stored:
4.8 MiB
Isabelle version:
afac3db38384

Sequents

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
4.078s elapsed time, 4.167s cpu time, 0.072s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
afac3db38384

HOL-TLA-Inc

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.611s elapsed time, 3.652s cpu time, 0.039s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
922.1 MiB
Isabelle version:
afac3db38384

FOLP-ex

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
5.018s elapsed time, 5.124s cpu time, 0.074s GC time, factor 1.02
ML code maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1 GiB
Isabelle version:
afac3db38384

Functions

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.875s elapsed time, 3.657s cpu time, 0.170s GC time, factor 0.94
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
779.8 MiB
Isabelle version:
afac3db38384

HOL-IOA

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.532s elapsed time, 3.595s cpu time, 0.066s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
912.6 MiB
Isabelle version:
afac3db38384

Classes

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
3.101s elapsed time, 1.698s cpu time, 0.045s GC time, factor 0.55
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
757 MiB
ML heap average:
389.9 MiB
Isabelle version:
afac3db38384

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.082s elapsed time, 3.119s cpu time, 0.069s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
752.7 MiB
Isabelle version:
afac3db38384

Locales

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.609s elapsed time, 2.092s cpu time, 0.063s GC time, factor 0.80
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
760 MiB
ML heap average:
530.1 MiB
Isabelle version:
afac3db38384

HOL-Lattice

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.166s elapsed time, 3.303s cpu time, 0.067s GC time, factor 1.04
ML stack maximum:
1.3 MiB
ML heap maximum:
976 MiB
ML heap average:
635.9 MiB
Isabelle version:
afac3db38384

Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.708s elapsed time, 2.395s cpu time, 0.012s GC time, factor 0.88
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
837 MiB
ML heap average:
628 MiB
Isabelle version:
afac3db38384

ZF-Resid

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.612s elapsed time, 2.740s cpu time, 0.047s GC time, factor 1.05
ML heap maximum:
1.1 GiB
ML heap average:
624.6 MiB
Isabelle version:
afac3db38384

HOL-Mutabelle

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.751s elapsed time, 1.785s cpu time, 0.164s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.3 MiB
ML heap maximum:
771 MiB
ML heap average:
541.1 MiB
Isabelle version:
afac3db38384

IOA-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
1.724s elapsed time, 1.749s cpu time, 0.066s GC time, factor 1.01
ML heap maximum:
740 MiB
ML heap average:
514.5 MiB
Isabelle version:
afac3db38384

IOA-Storage

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.046s elapsed time, 2.064s cpu time, 0.044s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
589.2 MiB
Isabelle version:
afac3db38384

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.235s elapsed time, 2.292s cpu time, 0.044s GC time, factor 1.03
ML heap maximum:
756 MiB
ML heap average:
469.5 MiB
Isabelle version:
afac3db38384

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.308s elapsed time, 1.217s cpu time, 0.000s GC time, factor 0.93
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
548 MiB
ML heap average:
444.1 MiB
Isabelle version:
afac3db38384

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.190s elapsed time, 1.215s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
646 MiB
ML heap average:
326 MiB
Isabelle version:
afac3db38384

CTT

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.535s elapsed time, 1.620s cpu time, 0.093s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
763 MiB
ML heap average:
579.6 MiB
Isabelle version:
afac3db38384

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.615s elapsed time, 0.632s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
338 MiB
ML heap average:
338 MiB
Isabelle version:
afac3db38384

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.469s elapsed time, 1.540s cpu time, 0.103s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
654 MiB
ML heap average:
384.3 MiB
ML heap stored:
2.3 MiB
Isabelle version:
afac3db38384

Haskell

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.728s elapsed time, 0.754s cpu time, 0.000s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
330 MiB
ML heap average:
330 MiB
Isabelle version:
afac3db38384

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.916s elapsed time, 0.974s cpu time, 0.000s GC time, factor 1.06
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
573 MiB
ML heap average:
460.5 MiB
Isabelle version:
afac3db38384

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.488s elapsed time, 1.546s cpu time, 0.041s GC time, factor 1.04
ML heap maximum:
757 MiB
ML heap average:
552.8 MiB
Isabelle version:
afac3db38384

Logics_ZF

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.787s elapsed time, 0.677s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
275 MiB
ML heap average:
139 MiB
Isabelle version:
afac3db38384

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.487s elapsed time, 0.498s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
302 MiB
ML heap average:
302 MiB
Isabelle version:
afac3db38384

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.311s elapsed time, 1.343s cpu time, 0.026s GC time, factor 1.02
ML heap maximum:
657 MiB
ML heap average:
512.9 MiB
Isabelle version:
afac3db38384

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.220s elapsed time, 0.226s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
45 MiB
ML heap average:
45 MiB
Isabelle version:
afac3db38384

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.263s elapsed time, 0.225s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
42 MiB
ML heap average:
42 MiB
Isabelle version:
afac3db38384

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.287s elapsed time, 0.250s cpu time, 0.000s GC time, factor 0.87
ML heap maximum:
48 MiB
ML heap average:
48 MiB
Isabelle version:
afac3db38384

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.807s elapsed time, 0.689s cpu time, 0.000s GC time, factor 0.85
ML heap maximum:
246 MiB
ML heap average:
124.1 MiB
Isabelle version:
afac3db38384

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.248s elapsed time, 0.211s cpu time, 0.000s GC time, factor 0.85
ML heap maximum:
41 MiB
ML heap average:
41 MiB
Isabelle version:
afac3db38384

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.269s elapsed time, 0.232s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
53 MiB
ML heap average:
53 MiB
Isabelle version:
afac3db38384

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.648s elapsed time, 0.480s cpu time, 0.000s GC time, factor 0.74
ML heap maximum:
202 MiB
ML heap average:
202 MiB
Isabelle version:
afac3db38384

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.554s elapsed time, 0.589s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
366 MiB
ML heap average:
366 MiB
Isabelle version:
afac3db38384

Logics

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
afac3db38384

SML

data:
CSV
ML timing:
0.013s elapsed time, 0.016s cpu time, 0.000s GC time, factor 1.23
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
afac3db38384

Sledgehammer

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
afac3db38384

Nitpick

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
afac3db38384

Cube

data:
CSV
ML timing:
0.374s elapsed time, 0.398s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
39 MiB
ML heap average:
3 MiB
Isabelle version:
afac3db38384

Intro

data:
CSV
ML heap maximum:
3 MiB
ML heap average:
3 MiB
Isabelle version:
afac3db38384