Isabelle build status for Linux C

status date:
16-Aug-2026 08:39:57 +0200
build host:
linux-netcup-g12

HOL-Analysis

data:
CSV
timing:
0:34:52 elapsed time, 0:35:01 cpu time, factor 1.00
ML timing:
1967.824s elapsed time, 1977.417s cpu time, 143.041s GC time, factor 1.00
ML code maximum:
3.7 MiB
ML code average:
2.9 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11 MiB
ML heap maximum:
12.2 GiB
ML heap average:
5.5 GiB
ML heap stored:
364.9 MiB
Isabelle version:
c49c146b758b

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:20:38 elapsed time, 0:20:39 cpu time, factor 1.00
ML timing:
1235.019s elapsed time, 1237.086s cpu time, 23.207s GC time, factor 1.00
ML code maximum:
163.1 MiB
ML code average:
118 MiB
ML stack maximum:
4.3 MiB
ML stack average:
1.4 MiB
ML heap maximum:
2.9 GiB
ML heap average:
1.7 GiB
Isabelle version:
c49c146b758b

HOL-Data_Structures

data:
CSV
timing:
0:16:53 elapsed time, 0:16:57 cpu time, factor 1.00
ML timing:
1004.352s elapsed time, 1008.163s cpu time, 72.243s GC time, factor 1.00
ML stack maximum:
8.3 MiB
ML stack average:
5.6 MiB
ML heap maximum:
8.5 GiB
ML heap average:
3.9 GiB
Isabelle version:
c49c146b758b

HOL-Datatype_Benchmark

data:
CSV
timing:
0:15:22 elapsed time, 0:15:24 cpu time, factor 1.00
ML timing:
901.806s elapsed time, 903.718s cpu time, 151.278s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.4 MiB
ML heap maximum:
16.6 GiB
ML heap average:
7.7 GiB
Isabelle version:
c49c146b758b

HOL-Codegenerator_Test

data:
CSV
timing:
0:13:58 elapsed time, 0:11:00 cpu time, factor 0.79
ML timing:
831.917s elapsed time, 654.022s cpu time, 48.655s GC time, factor 0.79
ML code maximum:
1.8 MiB
ML code average:
1.5 MiB
ML stack maximum:
8.5 MiB
ML stack average:
7.6 MiB
ML heap maximum:
6.9 GiB
ML heap average:
3.8 GiB
Isabelle version:
c49c146b758b

HOL-ex

data:
CSV
timing:
0:13:31 elapsed time, 0:13:11 cpu time, factor 0.98
ML timing:
805.042s elapsed time, 785.249s cpu time, 52.843s 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:
7.9 GiB
ML heap average:
3.8 GiB
Isabelle version:
c49c146b758b

HOL-Proofs

data:
CSV
timing:
0:13:13 elapsed time, 0:13:18 cpu time, factor 1.01
ML timing:
594.871s elapsed time, 600.027s cpu time, 109.089s GC time, factor 1.01
ML code maximum:
28.7 MiB
ML code average:
21.6 MiB
ML stack maximum:
32.3 MiB
ML stack average:
18.7 MiB
ML heap maximum:
10.6 GiB
ML heap average:
5.4 GiB
ML heap stored:
586.2 MiB
Isabelle version:
c49c146b758b

HOL-Nominal-Examples

data:
CSV
timing:
0:12:36 elapsed time, 0:12:34 cpu time, factor 1.00
ML timing:
748.624s elapsed time, 747.063s cpu time, 37.599s GC time, factor 1.00
ML stack maximum:
32.3 MiB
ML stack average:
31.4 MiB
ML heap maximum:
5.7 GiB
ML heap average:
4.8 GiB
Isabelle version:
c49c146b758b

HOL-Decision_Procs

data:
CSV
timing:
0:11:17 elapsed time, 0:11:22 cpu time, factor 1.01
ML timing:
671.689s elapsed time, 677.122s cpu time, 51.563s GC time, factor 1.01
ML code maximum:
4 MiB
ML code average:
2.2 MiB
ML stack maximum:
32.3 MiB
ML stack average:
15.8 MiB
ML heap maximum:
7.4 GiB
ML heap average:
4.4 GiB
Isabelle version:
c49c146b758b

HOL-Library

data:
CSV
timing:
0:10:55 elapsed time, 0:10:54 cpu time, factor 1.00
ML timing:
601.703s elapsed time, 600.943s cpu time, 41.234s GC time, factor 1.00
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:
5.9 GiB
ML heap average:
3.8 GiB
ML heap stored:
196.9 MiB
Isabelle version:
c49c146b758b

HOL

data:
CSV
timing:
0:10:27 elapsed time, 0:10:37 cpu time, factor 1.02
ML timing:
588.868s elapsed time, 599.291s cpu time, 55.022s GC time, factor 1.02
ML code maximum:
29.4 MiB
ML code average:
21.3 MiB
ML stack maximum:
32.3 MiB
ML stack average:
24.5 MiB
ML heap maximum:
8 GiB
ML heap average:
5.3 GiB
ML heap stored:
259.8 MiB
Isabelle version:
c49c146b758b

HOL-Algebra

data:
CSV
timing:
0:07:58 elapsed time, 0:08:04 cpu time, factor 1.01
ML timing:
446.686s elapsed time, 452.973s cpu time, 80.879s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.8 MiB
ML heap maximum:
8.7 GiB
ML heap average:
4.7 GiB
ML heap stored:
86.5 MiB
Isabelle version:
c49c146b758b

HOL-Corec_Examples

data:
CSV
timing:
0:07:38 elapsed time, 0:07:39 cpu time, factor 1.00
ML timing:
443.518s elapsed time, 444.900s cpu time, 78.119s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
8.9 GiB
ML heap average:
4.9 GiB
Isabelle version:
c49c146b758b

HOL-Probability

data:
CSV
timing:
0:05:04 elapsed time, 0:05:04 cpu time, factor 1.00
ML timing:
271.887s elapsed time, 272.186s cpu time, 18.640s GC time, factor 1.00
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
3.4 GiB
ML heap average:
2.5 GiB
ML heap stored:
71.4 MiB
Isabelle version:
c49c146b758b

HOL-Imperative_HOL

data:
CSV
timing:
0:04:58 elapsed time, 0:04:22 cpu time, factor 0.88
ML timing:
295.179s elapsed time, 259.723s cpu time, 15.110s GC time, factor 0.88
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
3.2 GiB
ML heap average:
2.5 GiB
Isabelle version:
c49c146b758b

HOL-Datatype_Examples

data:
CSV
timing:
0:04:27 elapsed time, 0:04:28 cpu time, factor 1.00
ML timing:
258.352s elapsed time, 259.971s cpu time, 35.608s GC time, factor 1.01
ML stack maximum:
2.3 MiB
ML heap maximum:
7.7 GiB
ML heap average:
3.9 GiB
Isabelle version:
c49c146b758b

HOL-Real_Asymp

data:
CSV
timing:
0:04:22 elapsed time, 0:04:25 cpu time, factor 1.01
ML timing:
242.796s elapsed time, 245.505s cpu time, 15.855s GC time, factor 1.01
ML code maximum:
3 MiB
ML code average:
2.6 MiB
ML stack maximum:
16.3 MiB
ML stack average:
11.4 MiB
ML heap maximum:
3.9 GiB
ML heap average:
2 GiB
ML heap stored:
88.1 MiB
Isabelle version:
c49c146b758b

HOL-Homology

data:
CSV
timing:
0:04:04 elapsed time, 0:04:07 cpu time, factor 1.01
ML timing:
238.524s elapsed time, 242.405s cpu time, 22.786s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5.7 MiB
ML heap maximum:
5.6 GiB
ML heap average:
3.4 GiB
Isabelle version:
c49c146b758b

HOL-Auth

data:
CSV
timing:
0:03:59 elapsed time, 0:04:01 cpu time, factor 1.01
ML timing:
229.555s elapsed time, 231.675s cpu time, 8.242s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
3.7 MiB
ML heap maximum:
2 GiB
ML heap average:
1.7 GiB
ML heap stored:
41.7 MiB
Isabelle version:
c49c146b758b

Codegen

data:
CSV
timing:
0:03:50 elapsed time, 0:03:44 cpu time, factor 0.97
ML timing:
227.430s elapsed time, 221.779s cpu time, 17.021s 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.5 GiB
Isabelle version:
c49c146b758b

HOL-MicroJava

data:
CSV
timing:
0:03:47 elapsed time, 0:03:49 cpu time, factor 1.01
ML timing:
225.205s elapsed time, 227.476s cpu time, 6.911s GC time, factor 1.01
ML code maximum:
1.2 MiB
ML code average:
1 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Computational_Algebra

data:
CSV
timing:
0:03:24 elapsed time, 0:03:28 cpu time, factor 1.02
ML timing:
188.352s elapsed time, 191.924s cpu time, 13.626s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
7.6 MiB
ML heap maximum:
2.4 GiB
ML heap average:
1.9 GiB
ML heap stored:
56.2 MiB
Isabelle version:
c49c146b758b

HOL-Hoare_Parallel

data:
CSV
timing:
0:03:21 elapsed time, 0:03:22 cpu time, factor 1.00
ML timing:
199.408s elapsed time, 200.570s cpu time, 7.975s 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:
c49c146b758b

HOL-Examples

data:
CSV
timing:
0:03:12 elapsed time, 0:03:13 cpu time, factor 1.01
ML timing:
188.321s elapsed time, 189.651s cpu time, 17.972s GC time, factor 1.01
ML stack maximum:
8.5 MiB
ML stack average:
6.7 MiB
ML heap maximum:
4 GiB
ML heap average:
2.4 GiB
Isabelle version:
c49c146b758b

HOL-Number_Theory

data:
CSV
timing:
0:03:09 elapsed time, 0:03:12 cpu time, factor 1.02
ML timing:
185.238s elapsed time, 188.279s cpu time, 21.262s GC time, factor 1.02
ML stack maximum:
4.3 MiB
ML stack average:
3.9 MiB
ML heap maximum:
5.2 GiB
ML heap average:
3 GiB
Isabelle version:
c49c146b758b

HOL-IMP

data:
CSV
timing:
0:03:03 elapsed time, 0:03:03 cpu time, factor 1.00
ML timing:
180.838s elapsed time, 180.599s cpu time, 10.569s GC time, factor 1.00
ML code maximum:
4.6 MiB
ML code average:
2.4 MiB
ML stack maximum:
8.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-Bali

data:
CSV
timing:
0:03:02 elapsed time, 0:03:05 cpu time, factor 1.02
ML timing:
179.855s elapsed time, 183.277s cpu time, 14.455s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
5 MiB
ML heap maximum:
2.2 GiB
ML heap average:
1.8 GiB
Isabelle version:
c49c146b758b

HOL-Complex_Analysis

data:
CSV
timing:
0:02:57 elapsed time, 0:03:00 cpu time, factor 1.02
ML timing:
173.607s elapsed time, 177.461s cpu time, 7.639s 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:
c49c146b758b

HOL-Proofs-Extraction

data:
CSV
timing:
0:02:57 elapsed time, 0:02:59 cpu time, factor 1.01
ML timing:
173.144s elapsed time, 174.663s cpu time, 17.743s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
4.5 GiB
ML heap average:
3 GiB
Isabelle version:
c49c146b758b

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:02:47 elapsed time, 0:02:17 cpu time, factor 0.82
ML timing:
164.726s elapsed time, 134.721s cpu time, 6.442s GC time, factor 0.82
ML code maximum:
4.4 MiB
ML code average:
1.6 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

HOL-SMT_Examples

data:
CSV
timing:
0:02:23 elapsed time, 0:02:07 cpu time, factor 0.89
ML timing:
140.948s elapsed time, 125.484s cpu time, 7.654s GC time, factor 0.89
ML stack maximum:
8.3 MiB
ML stack average:
8 MiB
ML heap maximum:
2.1 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-Nitpick_Examples

data:
CSV
timing:
0:02:08 elapsed time, 0:01:31 cpu time, factor 0.71
ML timing:
125.824s elapsed time, 89.714s cpu time, 2.936s GC time, factor 0.71
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:
c49c146b758b

HOL-Record_Benchmark

data:
CSV
timing:
0:01:53 elapsed time, 0:01:53 cpu time, factor 1.00
ML timing:
110.814s elapsed time, 111.025s cpu time, 9.459s 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:
c49c146b758b

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:53 elapsed time, 0:01:53 cpu time, factor 1.00
ML timing:
110.066s elapsed time, 110.387s cpu time, 10.110s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
2.6 GiB
ML heap average:
1.9 GiB
Isabelle version:
c49c146b758b

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:52 elapsed time, 0:01:53 cpu time, factor 1.01
ML timing:
110.528s elapsed time, 111.719s cpu time, 5.835s 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.8 MiB
ML heap maximum:
2.3 GiB
ML heap average:
2 GiB
Isabelle version:
c49c146b758b

HOL-UNITY

data:
CSV
timing:
0:01:31 elapsed time, 0:01:33 cpu time, factor 1.02
ML timing:
89.166s elapsed time, 90.998s cpu time, 5.913s GC time, factor 1.02
ML stack maximum:
8.3 MiB
ML stack average:
8.2 MiB
ML heap maximum:
1.6 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

HOL-SET_Protocol

data:
CSV
timing:
0:01:25 elapsed time, 0:01:26 cpu time, factor 1.01
ML timing:
84.197s elapsed time, 84.704s cpu time, 1.293s 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:
c49c146b758b

Datatypes

data:
CSV
timing:
0:01:24 elapsed time, 0:01:20 cpu time, factor 0.95
ML timing:
62.404s elapsed time, 59.046s cpu time, 8.487s GC time, factor 0.95
ML stack maximum:
4.3 MiB
ML stack average:
3 MiB
ML heap maximum:
2 GiB
ML heap average:
1.2 GiB
ML heap stored:
95.3 MiB
Isabelle version:
c49c146b758b

HOL-Metis_Examples

data:
CSV
timing:
0:01:12 elapsed time, 0:00:56 cpu time, factor 0.78
ML timing:
70.395s elapsed time, 54.649s cpu time, 4.541s GC time, factor 0.78
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
1.8 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

Corec

data:
CSV
timing:
0:01:09 elapsed time, 0:01:07 cpu time, factor 0.97
ML timing:
65.720s elapsed time, 63.956s cpu time, 6.600s GC time, factor 0.97
ML code maximum:
2.2 MiB
ML code average:
2 MiB
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
2 GiB
ML heap average:
1.5 GiB
Isabelle version:
c49c146b758b

Tutorial

data:
CSV
timing:
0:00:50 elapsed time, 0:00:46 cpu time, factor 0.92
ML timing:
47.953s elapsed time, 44.430s cpu time, 5.105s 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:
c49c146b758b

HOL-Matrix_LP

data:
CSV
timing:
0:00:47 elapsed time, 0:00:47 cpu time, factor 1.00
ML timing:
45.772s elapsed time, 45.869s cpu time, 3.007s 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:
c49c146b758b

HOL-SPARK

data:
CSV
timing:
0:00:46 elapsed time, 0:00:47 cpu time, factor 1.02
ML timing:
38.084s elapsed time, 38.610s cpu time, 3.363s GC time, factor 1.01
ML stack maximum:
8.3 MiB
ML stack average:
6.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
ML heap stored:
20.8 MiB
Isabelle version:
c49c146b758b

HOL-Combinatorics

data:
CSV
timing:
0:00:46 elapsed time, 0:00:47 cpu time, factor 1.02
ML timing:
44.573s elapsed time, 45.781s cpu time, 2.173s GC time, factor 1.03
ML stack maximum:
8.3 MiB
ML stack average:
7.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.4 GiB
Isabelle version:
c49c146b758b

Isar_Ref

data:
CSV
timing:
0:00:46 elapsed time, 0:00:29 cpu time, factor 0.63
ML timing:
43.714s elapsed time, 27.526s cpu time, 2.187s GC time, factor 0.63
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:
c49c146b758b

HOL-Quotient_Examples

data:
CSV
timing:
0:00:43 elapsed time, 0:00:36 cpu time, factor 0.84
ML timing:
40.801s elapsed time, 34.251s cpu time, 2.177s GC time, factor 0.84
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:
c49c146b758b

HOL-Hoare

data:
CSV
timing:
0:00:42 elapsed time, 0:00:42 cpu time, factor 1.00
ML timing:
40.788s elapsed time, 41.132s cpu time, 0.952s 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:
c49c146b758b

HOL-Analysis-ex

data:
CSV
timing:
0:00:40 elapsed time, 0:00:39 cpu time, factor 0.98
ML timing:
37.241s elapsed time, 37.383s cpu time, 0.320s 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:
c49c146b758b

HOLCF

data:
CSV
timing:
0:00:40 elapsed time, 0:00:41 cpu time, factor 1.03
ML timing:
31.202s elapsed time, 32.360s cpu time, 3.397s GC time, factor 1.04
ML stack maximum:
2.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.7 GiB
ML heap average:
1.1 GiB
ML heap stored:
25.9 MiB
Isabelle version:
c49c146b758b

HOL-Cardinals

data:
CSV
timing:
0:00:36 elapsed time, 0:00:37 cpu time, factor 1.03
ML timing:
34.996s elapsed time, 35.836s cpu time, 1.173s 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:
c49c146b758b

HOLCF-Library

data:
CSV
timing:
0:00:32 elapsed time, 0:00:33 cpu time, factor 1.03
ML timing:
23.673s elapsed time, 24.331s cpu time, 0.945s 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:
c49c146b758b

System

data:
CSV
timing:
0:00:30 elapsed time
ML timing:
29.550s elapsed time, 1.440s cpu time, 0.000s GC time, factor 0.05
ML stack maximum:
2.3 MiB
ML stack average:
1.6 MiB
ML heap maximum:
681 MiB
ML heap average:
356.6 MiB
Isabelle version:
c49c146b758b

IOA

data:
CSV
timing:
0:00:30 elapsed time, 0:00:31 cpu time, factor 1.03
ML timing:
22.332s elapsed time, 22.940s cpu time, 0.833s 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:
c49c146b758b

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:29 elapsed time, 0:00:29 cpu time, factor 1.00
ML timing:
19.649s elapsed time, 20.508s cpu time, 0.814s 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:
1007.6 MiB
ML heap stored:
14.2 MiB
Isabelle version:
c49c146b758b

ZF

data:
CSV
timing:
0:00:28 elapsed time, 0:00:29 cpu time, factor 1.04
ML timing:
26.011s elapsed time, 26.894s cpu time, 2.774s GC time, factor 1.03
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.6 GiB
ML heap average:
1.3 GiB
ML heap stored:
17.9 MiB
Isabelle version:
c49c146b758b

HOL-Induct

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
23.804s elapsed time, 24.124s cpu time, 2.143s GC time, factor 1.01
ML heap maximum:
1.6 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Nominal

data:
CSV
timing:
0:00:26 elapsed time, 0:00:26 cpu time, factor 1.00
ML timing:
18.922s elapsed time, 19.214s cpu time, 1.643s GC time, factor 1.02
ML code maximum:
1.6 MiB
ML stack maximum:
4.3 MiB
ML stack average:
2.7 MiB
ML heap maximum:
1.5 GiB
ML heap average:
976.3 MiB
ML heap stored:
13.2 MiB
Isabelle version:
c49c146b758b

HOL-SPARK-Examples

data:
CSV
timing:
0:00:24 elapsed time, 0:00:24 cpu time, factor 1.00
ML timing:
22.285s elapsed time, 22.510s cpu time, 0.359s 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:
c49c146b758b

HOL-ZF

data:
CSV
timing:
0:00:23 elapsed time, 0:00:24 cpu time, factor 1.04
ML timing:
21.893s elapsed time, 22.671s cpu time, 1.149s GC time, factor 1.04
ML stack maximum:
8.3 MiB
ML stack average:
7.9 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

ZF-Constructible

data:
CSV
timing:
0:00:23 elapsed time, 0:00:23 cpu time, factor 1.00
ML timing:
22.425s elapsed time, 23.268s cpu time, 4.287s GC time, factor 1.04
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:
c49c146b758b

HOL-Types_To_Sets

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
19.011s elapsed time, 19.354s cpu time, 0.749s 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:
c49c146b758b

HOL-TLA-Memory

data:
CSV
timing:
0:00:20 elapsed time, 0:00:20 cpu time, factor 1.00
ML timing:
18.373s elapsed time, 18.594s cpu time, 0.347s 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:
c49c146b758b

Pure

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
0.665s elapsed time, 0.699s 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:
588.4 MiB
ML heap stored:
27.6 MiB
Isabelle version:
c49c146b758b

Typeclass_Hierarchy

data:
CSV
timing:
0:00:19 elapsed time, 0:00:19 cpu time, factor 1.00
ML timing:
18.191s elapsed time, 18.010s cpu time, 0.903s GC time, factor 0.99
ML stack maximum:
8.3 MiB
ML stack average:
8.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Hahn_Banach

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
16.485s elapsed time, 17.024s cpu time, 0.779s GC time, factor 1.03
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:
c49c146b758b

ZF-UNITY

data:
CSV
timing:
0:00:18 elapsed time, 0:00:18 cpu time, factor 1.00
ML timing:
17.709s elapsed time, 18.344s cpu time, 0.720s GC time, factor 1.04
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:
c49c146b758b

HOL-Unix

data:
CSV
timing:
0:00:17 elapsed time, 0:00:17 cpu time, factor 1.00
ML timing:
15.610s elapsed time, 15.593s cpu time, 1.597s GC time, factor 1.00
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

HOL-Probability-ex

data:
CSV
timing:
0:00:16 elapsed time, 0:00:16 cpu time, factor 1.00
ML timing:
13.301s elapsed time, 13.521s cpu time, 0.379s GC time, factor 1.02
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:
c49c146b758b

HOL-Statespace

data:
CSV
timing:
0:00:15 elapsed time, 0:00:15 cpu time, factor 1.00
ML timing:
13.521s elapsed time, 13.689s cpu time, 0.549s 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:
c49c146b758b

HOL-Import

data:
CSV
timing:
0:00:14 elapsed time, 0:00:13 cpu time, factor 0.93
ML timing:
12.195s elapsed time, 12.262s cpu time, 0.381s GC time, factor 1.01
ML stack maximum:
64.3 MiB
ML stack average:
56.6 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.3 GiB
Isabelle version:
c49c146b758b

HOL-Eisbach

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.568s elapsed time, 11.800s cpu time, 0.344s 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:
c49c146b758b

Implementation

data:
CSV
timing:
0:00:13 elapsed time, 0:00:06 cpu time, factor 0.46
ML timing:
11.405s elapsed time, 4.799s cpu time, 0.031s GC time, factor 0.42
ML stack maximum:
4.3 MiB
ML stack average:
3.2 MiB
ML heap maximum:
1.2 GiB
ML heap average:
711.7 MiB
Isabelle version:
c49c146b758b

HOLCF-Tutorial

data:
CSV
timing:
0:00:13 elapsed time, 0:00:13 cpu time, factor 1.00
ML timing:
11.349s elapsed time, 11.487s cpu time, 0.436s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

IOA-NTP

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
10.368s elapsed time, 10.488s cpu time, 0.442s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

ZF-ex

data:
CSV
timing:
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
ML timing:
11.968s elapsed time, 12.365s cpu time, 1.116s GC time, factor 1.03
ML stack maximum:
4.3 MiB
ML stack average:
3.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

HOL-Isar_Examples

data:
CSV
timing:
0:00:11 elapsed time, 0:00:10 cpu time, factor 0.91
ML timing:
9.521s elapsed time, 9.277s cpu time, 0.397s GC time, factor 0.97
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

ZF-Induct

data:
CSV
timing:
0:00:10 elapsed time, 0:00:08 cpu time, factor 0.80
ML timing:
8.476s elapsed time, 7.342s cpu time, 0.239s GC time, factor 0.87
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
893.2 MiB
ML heap stored:
5.6 MiB
Isabelle version:
c49c146b758b

HOL-NanoJava

data:
CSV
timing:
0:00:10 elapsed time, 0:00:10 cpu time, factor 1.00
ML timing:
8.812s elapsed time, 8.948s cpu time, 0.451s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

FOL-ex

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.992s elapsed time, 9.140s cpu time, 0.204s GC time, factor 1.02
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:
c49c146b758b

IOA-ABP

data:
CSV
timing:
0:00:10 elapsed time, 0:00:09 cpu time, factor 0.90
ML timing:
8.316s elapsed time, 8.407s cpu time, 0.302s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

HOL-TLA

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
2.783s elapsed time, 2.976s cpu time, 0.074s GC time, factor 1.07
ML stack maximum:
2.3 MiB
ML heap maximum:
1 GiB
ML heap average:
271.5 MiB
ML heap stored:
5.1 MiB
Isabelle version:
c49c146b758b

Prog_Prove

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.743s elapsed time, 7.583s cpu time, 0.465s GC time, factor 0.98
ML stack maximum:
2.3 MiB
ML stack average:
2.1 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

HOLCF-FOCUS

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.518s elapsed time, 7.724s cpu time, 0.222s 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:
c49c146b758b

HOLCF-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:09 cpu time, factor 1.00
ML timing:
7.965s elapsed time, 8.216s cpu time, 0.399s 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:
c49c146b758b

HOLCF-IMP

data:
CSV
timing:
0:00:09 elapsed time, 0:00:08 cpu time, factor 0.89
ML timing:
7.510s elapsed time, 7.553s cpu time, 0.269s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
1.2 GiB
Isabelle version:
c49c146b758b

HOL-SPARK-Manual

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.512s elapsed time, 6.407s cpu time, 0.081s 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:
c49c146b758b

HOL-IMPP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.174s elapsed time, 6.302s cpu time, 0.259s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

HOL-TPTP

data:
CSV
timing:
0:00:08 elapsed time, 0:00:08 cpu time, factor 1.00
ML timing:
6.335s elapsed time, 6.471s cpu time, 0.243s 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:
c49c146b758b

JEdit

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
7.268s elapsed time, 0.824s cpu time, 0.000s GC time, factor 0.11
ML stack maximum:
4.3 MiB
ML stack average:
4 MiB
ML heap maximum:
410 MiB
ML heap average:
285 MiB
Isabelle version:
c49c146b758b

CCL

data:
CSV
timing:
0:00:08 elapsed time, 0:00:07 cpu time, factor 0.88
ML timing:
6.277s elapsed time, 6.508s cpu time, 0.395s GC time, factor 1.04
ML code maximum:
1.6 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.8 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1002.3 MiB
Isabelle version:
c49c146b758b

HOL-Proofs-ex

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
4.860s elapsed time, 4.895s cpu time, 0.948s GC time, factor 1.01
ML stack maximum:
4.3 MiB
ML stack average:
1.7 MiB
ML heap maximum:
1.4 GiB
ML heap average:
971.9 MiB
Isabelle version:
c49c146b758b

ZF-AC

data:
CSV
timing:
0:00:07 elapsed time, 0:00:07 cpu time, factor 1.00
ML timing:
6.409s elapsed time, 6.721s cpu time, 0.337s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.2 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

Tools

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
4.178s elapsed time, 4.223s cpu time, 0.123s GC time, factor 1.01
ML code maximum:
2 MiB
ML code average:
1.2 MiB
ML stack maximum:
2.3 MiB
ML stack average:
1.5 MiB
ML heap maximum:
1.5 GiB
ML heap average:
807.6 MiB
Isabelle version:
c49c146b758b

FOLP-ex

data:
CSV
timing:
0:00:06 elapsed time, 0:00:06 cpu time, factor 1.00
ML timing:
5.370s elapsed time, 5.501s cpu time, 0.079s GC time, factor 1.02
ML code maximum:
1.4 MiB
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

LCF

data:
CSV
timing:
0:00:06 elapsed time, 0:00:04 cpu time, factor 0.67
ML timing:
4.117s elapsed time, 4.256s cpu time, 0.110s GC time, factor 1.03
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:
805 MiB
Isabelle version:
c49c146b758b

HOL-IOA

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
3.764s elapsed time, 3.832s cpu time, 0.093s GC time, factor 1.02
ML heap maximum:
1.5 GiB
ML heap average:
807.4 MiB
Isabelle version:
c49c146b758b

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:05 elapsed time, 0:00:04 cpu time, factor 0.80
ML timing:
3.059s elapsed time, 3.096s cpu time, 0.079s GC time, factor 1.01
ML stack maximum:
1.3 MiB
ML heap maximum:
1.4 GiB
ML heap average:
887.8 MiB
Isabelle version:
c49c146b758b

Sequents

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.424s elapsed time, 4.563s cpu time, 0.061s GC time, factor 1.03
ML heap maximum:
1.5 GiB
ML heap average:
1.1 GiB
Isabelle version:
c49c146b758b

HOL-TLA-Inc

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
3.858s elapsed time, 3.901s cpu time, 0.039s GC time, factor 1.01
ML heap maximum:
1.5 GiB
ML heap average:
967.3 MiB
Isabelle version:
c49c146b758b

Functions

data:
CSV
timing:
0:00:05 elapsed time, 0:00:05 cpu time, factor 1.00
ML timing:
4.058s elapsed time, 3.845s cpu time, 0.188s GC time, factor 0.95
ML stack maximum:
2.3 MiB
ML stack average:
2.3 MiB
ML heap maximum:
1.5 GiB
ML heap average:
859.2 MiB
Isabelle version:
c49c146b758b

Classes

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
3.391s elapsed time, 1.884s cpu time, 0.045s GC time, factor 0.56
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
684 MiB
ML heap average:
328.4 MiB
Isabelle version:
c49c146b758b

FOL

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.653s elapsed time, 3.787s cpu time, 0.084s GC time, factor 1.04
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:
862.9 MiB
ML heap stored:
4.8 MiB
Isabelle version:
c49c146b758b

Locales

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.677s elapsed time, 2.151s cpu time, 0.080s GC time, factor 0.80
ML stack maximum:
1.3 MiB
ML stack average:
1.1 MiB
ML heap maximum:
761 MiB
ML heap average:
529.2 MiB
Isabelle version:
c49c146b758b

HOL-Lattice

data:
CSV
timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 1.00
ML timing:
3.020s elapsed time, 3.160s cpu time, 0.071s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML heap maximum:
1 GiB
ML heap average:
703.8 MiB
Isabelle version:
c49c146b758b

Eisbach

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.901s elapsed time, 2.589s cpu time, 0.012s GC time, factor 0.89
ML stack maximum:
2.3 MiB
ML stack average:
1.9 MiB
ML heap maximum:
901 MiB
ML heap average:
722.6 MiB
Isabelle version:
c49c146b758b

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:04 elapsed time, 0:00:03 cpu time, factor 0.75
ML timing:
2.541s elapsed time, 2.609s cpu time, 0.039s GC time, factor 1.03
ML heap maximum:
756 MiB
ML heap average:
590.7 MiB
Isabelle version:
c49c146b758b

ZF-Resid

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.424s elapsed time, 2.537s cpu time, 0.042s GC time, factor 1.05
ML heap maximum:
1.1 GiB
ML heap average:
750.7 MiB
Isabelle version:
c49c146b758b

HOL-Mutabelle

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.000s elapsed time, 2.032s cpu time, 0.185s 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:
632.2 MiB
Isabelle version:
c49c146b758b

IOA-ex

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
1.812s elapsed time, 1.838s cpu time, 0.055s GC time, factor 1.01
ML heap maximum:
705 MiB
ML heap average:
368.3 MiB
Isabelle version:
c49c146b758b

IOA-Storage

data:
CSV
timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.00
ML timing:
2.238s elapsed time, 2.260s cpu time, 0.049s GC time, factor 1.01
ML heap maximum:
757 MiB
ML heap average:
452.5 MiB
Isabelle version:
c49c146b758b

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.313s elapsed time, 1.185s cpu time, 0.000s GC time, factor 0.90
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
554 MiB
ML heap average:
450.5 MiB
Isabelle version:
c49c146b758b

ZF-Coind

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.563s elapsed time, 1.625s cpu time, 0.042s GC time, factor 1.04
ML heap maximum:
757 MiB
ML heap average:
512.8 MiB
Isabelle version:
c49c146b758b

HOL-TLA-Buffer

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.281s elapsed time, 1.310s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
610 MiB
ML heap average:
388 MiB
Isabelle version:
c49c146b758b

Logics_ZF

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.663s elapsed time, 0.710s cpu time, 0.000s GC time, factor 0.43
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
384 MiB
ML heap average:
255.1 MiB
Isabelle version:
c49c146b758b

CTT

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.683s elapsed time, 1.775s cpu time, 0.079s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
763 MiB
ML heap average:
550.8 MiB
Isabelle version:
c49c146b758b

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.692s elapsed time, 0.709s cpu time, 0.000s GC time, factor 1.02
ML heap maximum:
318 MiB
ML heap average:
318 MiB
Isabelle version:
c49c146b758b

FOLP

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.522s elapsed time, 1.593s cpu time, 0.111s GC time, factor 1.05
ML stack maximum:
1.3 MiB
ML stack average:
1 MiB
ML heap maximum:
766 MiB
ML heap average:
417.2 MiB
ML heap stored:
2.3 MiB
Isabelle version:
c49c146b758b

Haskell

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0.615s elapsed time, 0.639s cpu time, 0.000s GC time, factor 1.04
ML stack maximum:
4.3 MiB
ML stack average:
4.3 MiB
ML heap maximum:
332 MiB
ML heap average:
332 MiB
Isabelle version:
c49c146b758b

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
1.062s elapsed time, 1.137s cpu time, 0.000s GC time, factor 1.07
ML stack maximum:
1.3 MiB
ML stack average:
1.3 MiB
ML heap maximum:
570 MiB
ML heap average:
442.6 MiB
Isabelle version:
c49c146b758b

How_to_Prove_it

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

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
1.363s elapsed time, 1.398s cpu time, 0.030s GC time, factor 1.03
ML heap maximum:
630 MiB
ML heap average:
326.4 MiB
Isabelle version:
c49c146b758b

Demo_FoilTeX

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.229s elapsed time, 0.236s cpu time, 0.000s GC time, factor 1.03
ML heap maximum:
39 MiB
ML heap average:
39 MiB
Isabelle version:
c49c146b758b

Demo_LLNCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.278s elapsed time, 0.240s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
51 MiB
ML heap average:
51 MiB
Isabelle version:
c49c146b758b

Demo_LIPIcs

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.286s elapsed time, 0.249s cpu time, 0.000s GC time, factor 0.87
ML heap maximum:
31 MiB
ML heap average:
31 MiB
Isabelle version:
c49c146b758b

Pure-ex

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.815s elapsed time, 0.703s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
237 MiB
ML heap average:
120.1 MiB
Isabelle version:
c49c146b758b

Demo_Easychair

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.264s elapsed time, 0.227s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
43 MiB
ML heap average:
43 MiB
Isabelle version:
c49c146b758b

Demo_EPTCS

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.262s elapsed time, 0.226s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
46 MiB
ML heap average:
46 MiB
Isabelle version:
c49c146b758b

Pure-Examples

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.682s elapsed time, 0.584s cpu time, 0.000s GC time, factor 0.86
ML heap maximum:
186 MiB
ML heap average:
95.5 MiB
Isabelle version:
c49c146b758b

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0.560s elapsed time, 0.595s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
364 MiB
ML heap average:
364 MiB
Isabelle version:
c49c146b758b

Logics

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

SML

data:
CSV
ML timing:
0.013s elapsed time, 0.015s cpu time, 0.000s GC time, factor 1.15
ML heap maximum:
23 MiB
ML heap average:
23 MiB
Isabelle version:
c49c146b758b

Sledgehammer

data:
CSV
Isabelle version:
c49c146b758b

Nitpick

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

Cube

data:
CSV
ML timing:
0.455s elapsed time, 0.483s cpu time, 0.000s GC time, factor 1.06
ML heap maximum:
249 MiB
ML heap average:
249 MiB
Isabelle version:
c49c146b758b

Intro

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