Isabelle build status for Windows, 64bit, 4 threads

status date:
20-Oct-2019 18:22:21 +0200
build host:
vmnipkow9

HOL-Analysis

data:
CSV
timing:
0:12:25 elapsed time
ML timing:
0:10:39 elapsed time, 0:41:11 cpu time, factor 3.86
code maximum:
1 M
stack maximum:
69 M
stack average:
66 M
heap maximum:
6552 M
heap average:
5452 M
heap stored:
380 M
Isabelle version:
c13d9d3ee128

HOL-Proofs

data:
CSV
timing:
0:10:48 elapsed time
ML timing:
0:09:21 elapsed time, 0:29:59 cpu time, factor 3.21
code maximum:
27 M
code average:
18 M
stack maximum:
74 M
stack average:
59 M
heap maximum:
6551 M
heap average:
5631 M
heap stored:
712 M
Isabelle version:
c13d9d3ee128

HOL-Decision_Procs

data:
CSV
timing:
0:07:55 elapsed time
ML timing:
0:07:31 elapsed time, 0:28:22 cpu time, factor 3.77
code maximum:
3 M
code average:
1 M
stack maximum:
86 M
stack average:
59 M
heap maximum:
6554 M
heap average:
5824 M
Isabelle version:
84145953b2a5

HOL-Corec_Examples

data:
CSV
timing:
0:05:41 elapsed time
ML timing:
0:05:26 elapsed time, 0:20:04 cpu time, factor 3.69
stack maximum:
2 M
stack average:
1 M
heap maximum:
6552 M
heap average:
5369 M
Isabelle version:
84145953b2a5

HOL-Nitpick_Examples

data:
CSV
timing:
0:05:06 elapsed time
ML timing:
0:05:04 elapsed time, 0:02:07 cpu time, factor 0.42
stack maximum:
16 M
stack average:
12 M
heap maximum:
2997 M
heap average:
2978 M
Isabelle version:
84145953b2a5

HOL-Data_Structures

data:
CSV
timing:
0:04:58 elapsed time
ML timing:
0:04:56 elapsed time, 0:18:29 cpu time, factor 3.74
stack maximum:
12 M
stack average:
9 M
heap maximum:
6724 M
heap average:
6174 M
Isabelle version:
c13d9d3ee128

HOL

data:
CSV
timing:
0:04:41 elapsed time
ML timing:
0:03:45 elapsed time, 0:11:27 cpu time, factor 3.04
code maximum:
26 M
code average:
19 M
stack maximum:
82 M
stack average:
53 M
heap maximum:
5687 M
heap average:
4100 M
heap stored:
456 M
Isabelle version:
c13d9d3ee128

HOL-Algebra

data:
CSV
timing:
0:04:09 elapsed time
ML timing:
0:02:39 elapsed time, 0:09:50 cpu time, factor 3.71
stack maximum:
20 M
stack average:
16 M
heap maximum:
6552 M
heap average:
5182 M
heap stored:
375 M
Isabelle version:
84145953b2a5

HOL-Probability

data:
CSV
timing:
0:02:34 elapsed time
ML timing:
0:02:00 elapsed time, 0:05:03 cpu time, factor 2.51
stack maximum:
25 M
stack average:
23 M
heap maximum:
2999 M
heap average:
2944 M
heap stored:
129 M
Isabelle version:
c13d9d3ee128

HOL-Auth

data:
CSV
timing:
0:02:06 elapsed time
ML timing:
0:01:37 elapsed time, 0:05:12 cpu time, factor 3.21
stack maximum:
12 M
stack average:
10 M
heap maximum:
2999 M
heap average:
2929 M
heap stored:
62 M
Isabelle version:
84145953b2a5

HOL-Imperative_HOL

data:
CSV
timing:
0:02:02 elapsed time
ML timing:
0:02:00 elapsed time, 0:01:14 cpu time, factor 0.62
stack maximum:
5 M
stack average:
4 M
heap maximum:
2993 M
heap average:
2962 M
Isabelle version:
84145953b2a5

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:55 elapsed time
ML timing:
0:01:53 elapsed time, 0:02:12 cpu time, factor 1.17
stack maximum:
5 M
stack average:
3 M
heap maximum:
2999 M
heap average:
2937 M
Isabelle version:
c13d9d3ee128

HOL-Real_Asymp

data:
CSV
timing:
0:01:50 elapsed time
ML timing:
0:01:12 elapsed time, 0:05:01 cpu time, factor 4.15
code maximum:
3 M
code average:
1 M
stack maximum:
49 M
stack average:
31 M
heap maximum:
3899 M
heap average:
2983 M
heap stored:
129 M
Isabelle version:
c13d9d3ee128

HOL-Datatype_Examples

data:
CSV
timing:
0:01:48 elapsed time
ML timing:
0:01:37 elapsed time, 0:06:17 cpu time, factor 3.86
stack maximum:
4 M
stack average:
3 M
heap maximum:
6582 M
heap average:
5471 M
Isabelle version:
84145953b2a5

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:44 elapsed time
ML timing:
0:01:41 elapsed time, 0:02:58 cpu time, factor 1.75
stack maximum:
9 M
stack average:
8 M
heap maximum:
2999 M
heap average:
2942 M
Isabelle version:
c13d9d3ee128

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:34 elapsed time
ML timing:
0:01:33 elapsed time, 0:05:38 cpu time, factor 3.62
stack maximum:
7 M
stack average:
6 M
heap maximum:
2999 M
heap average:
2959 M
Isabelle version:
c13d9d3ee128

HOL-Number_Theory

data:
CSV
timing:
0:01:30 elapsed time
ML timing:
0:01:00 elapsed time, 0:03:53 cpu time, factor 3.85
stack maximum:
9 M
stack average:
7 M
heap maximum:
2999 M
heap average:
2923 M
heap stored:
143 M
Isabelle version:
84145953b2a5

HOL-MicroJava

data:
CSV
timing:
0:01:23 elapsed time
ML timing:
0:01:22 elapsed time, 0:04:53 cpu time, factor 3.57
code maximum:
1 M
stack maximum:
18 M
stack average:
13 M
heap maximum:
2999 M
heap average:
2936 M
Isabelle version:
84145953b2a5

HOL-IMP

data:
CSV
timing:
0:01:22 elapsed time
ML timing:
0:01:20 elapsed time, 0:04:36 cpu time, factor 3.43
code maximum:
12 M
code average:
4 M
stack maximum:
31 M
stack average:
12 M
heap maximum:
5384 M
heap average:
4759 M
Isabelle version:
84145953b2a5

Haskell

data:
CSV
timing:
0:01:20 elapsed time
ML timing:
0:01:20 elapsed time
stack maximum:
3 M
stack average:
2 M
heap maximum:
183 M
heap average:
173 M
Isabelle version:
c13d9d3ee128

HOL-Computational_Algebra

data:
CSV
timing:
0:01:19 elapsed time
ML timing:
0:00:57 elapsed time, 0:02:40 cpu time, factor 2.79
code maximum:
12 M
code average:
3 M
stack maximum:
31 M
stack average:
20 M
heap maximum:
2998 M
heap average:
2897 M
heap stored:
73 M
Isabelle version:
84145953b2a5

Datatypes

data:
CSV
timing:
0:01:14 elapsed time
ML timing:
0:00:45 elapsed time, 0:01:13 cpu time, factor 1.63
stack maximum:
7 M
stack average:
6 M
heap maximum:
2970 M
heap average:
2864 M
heap stored:
165 M
Isabelle version:
c13d9d3ee128

HOL-Bali

data:
CSV
timing:
0:01:14 elapsed time
ML timing:
0:01:12 elapsed time, 0:03:26 cpu time, factor 2.82
stack maximum:
18 M
stack average:
10 M
heap maximum:
2998 M
heap average:
2898 M
Isabelle version:
84145953b2a5

HOL-Word-SMT_Examples

data:
CSV
timing:
0:01:08 elapsed time
ML timing:
0:01:06 elapsed time, 0:01:33 cpu time, factor 1.40
stack maximum:
4 M
stack average:
3 M
heap maximum:
2998 M
heap average:
2945 M
Isabelle version:
62b3acc801ec

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:01:01 elapsed time
ML timing:
0:00:55 elapsed time, 0:03:09 cpu time, factor 3.40
code maximum:
4 M
code average:
1 M
stack maximum:
14 M
stack average:
11 M
heap maximum:
4621 M
heap average:
2849 M
Isabelle version:
ee2f490a06b4

HOL-Quotient_Examples

data:
CSV
timing:
0:01:00 elapsed time
ML timing:
0:00:53 elapsed time, 0:00:42 cpu time, factor 0.80
stack maximum:
4 M
stack average:
3 M
heap maximum:
2971 M
heap average:
2918 M
Isabelle version:
ee2f490a06b4

Corec

data:
CSV
timing:
0:00:57 elapsed time
ML timing:
0:00:55 elapsed time, 0:01:21 cpu time, factor 1.46
code maximum:
1 M
stack maximum:
9 M
stack average:
8 M
heap maximum:
2981 M
heap average:
2844 M
Isabelle version:
c13d9d3ee128

HOL-Mirabelle-ex

data:
CSV
timing:
0:00:48 elapsed time
ML timing:
0:00:47 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
26 M
heap average:
18 M
Isabelle version:
c13d9d3ee128

Codegen

data:
CSV
timing:
0:00:46 elapsed time
ML timing:
0:00:45 elapsed time, 0:01:58 cpu time, factor 2.62
stack maximum:
12 M
stack average:
7 M
heap maximum:
2999 M
heap average:
2936 M
Isabelle version:
c13d9d3ee128

HOL-SET_Protocol

data:
CSV
timing:
0:00:36 elapsed time
ML timing:
0:00:34 elapsed time, 0:01:47 cpu time, factor 3.13
stack maximum:
7 M
stack average:
5 M
heap maximum:
2998 M
heap average:
2871 M
Isabelle version:
ee2f490a06b4

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:34 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:25 cpu time, factor 2.95
stack maximum:
5 M
stack average:
3 M
heap maximum:
2990 M
heap average:
2346 M
heap stored:
21 M
Isabelle version:
84145953b2a5

HOL-UNITY

data:
CSV
timing:
0:00:31 elapsed time
ML timing:
0:00:28 elapsed time, 0:01:35 cpu time, factor 3.32
stack maximum:
7 M
stack average:
6 M
heap maximum:
2991 M
heap average:
2909 M
Isabelle version:
ee2f490a06b4

HOL-Metis_Examples

data:
CSV
timing:
0:00:30 elapsed time
ML timing:
0:00:28 elapsed time, 0:01:01 cpu time, factor 2.18
stack maximum:
11 M
stack average:
9 M
heap maximum:
2988 M
heap average:
2914 M
Isabelle version:
84145953b2a5

HOL-Analysis-ex

data:
CSV
timing:
0:00:30 elapsed time
ML timing:
0:00:23 elapsed time, 0:00:45 cpu time, factor 1.96
stack maximum:
4 M
stack average:
3 M
heap maximum:
2998 M
heap average:
2909 M
Isabelle version:
c13d9d3ee128

HOL-Import

data:
CSV
timing:
0:00:26 elapsed time
ML timing:
0:00:24 elapsed time, 0:00:25 cpu time, factor 1.04
stack maximum:
2 M
stack average:
1 M
heap maximum:
2992 M
heap average:
2757 M
Isabelle version:
c13d9d3ee128

HOLCF

data:
CSV
timing:
0:00:25 elapsed time
ML timing:
0:00:13 elapsed time, 0:00:34 cpu time, factor 2.57
code maximum:
1 M
stack maximum:
7 M
stack average:
4 M
heap maximum:
2959 M
heap average:
2650 M
heap stored:
43 M
Isabelle version:
c13d9d3ee128

Pure

data:
CSV
timing:
0:00:24 elapsed time
ML timing:
0:00:01 elapsed time
code maximum:
14 M
code average:
14 M
stack maximum:
4 M
stack average:
4 M
heap maximum:
2996 M
heap average:
2996 M
heap stored:
25 M
Isabelle version:
c13d9d3ee128

HOL-Hoare

data:
CSV
timing:
0:00:22 elapsed time
ML timing:
0:00:21 elapsed time, 0:00:48 cpu time, factor 2.29
stack maximum:
4 M
stack average:
3 M
heap maximum:
2999 M
heap average:
2879 M
Isabelle version:
c13d9d3ee128

Tutorial

data:
CSV
timing:
0:00:21 elapsed time
ML timing:
0:00:20 elapsed time, 0:01:04 cpu time, factor 3.23
stack maximum:
7 M
stack average:
4 M
heap maximum:
3945 M
heap average:
2917 M
Isabelle version:
c13d9d3ee128

HOL-Nominal

data:
CSV
timing:
0:00:20 elapsed time
ML timing:
0:00:07 elapsed time, 0:00:13 cpu time, factor 1.89
code maximum:
1 M
stack maximum:
5 M
stack average:
4 M
heap maximum:
2971 M
heap average:
2388 M
heap stored:
14 M
Isabelle version:
84145953b2a5

HOL-Statespace

data:
CSV
timing:
0:00:20 elapsed time
ML timing:
0:00:18 elapsed time, 0:00:21 cpu time, factor 1.17
stack maximum:
2 M
stack average:
1 M
heap maximum:
2958 M
heap average:
2685 M
Isabelle version:
c13d9d3ee128

IOA

data:
CSV
timing:
0:00:20 elapsed time
ML timing:
0:00:09 elapsed time, 0:00:30 cpu time, factor 3.30
stack maximum:
4 M
stack average:
3 M
heap maximum:
2990 M
heap average:
2727 M
heap stored:
14 M
Isabelle version:
c13d9d3ee128

HOLCF-Library

data:
CSV
timing:
0:00:19 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:30 cpu time, factor 3.45
stack maximum:
5 M
stack average:
3 M
heap maximum:
2979 M
heap average:
2789 M
heap stored:
24 M
Isabelle version:
c13d9d3ee128

ZF

data:
CSV
timing:
0:00:16 elapsed time
ML timing:
0:00:13 elapsed time, 0:00:36 cpu time, factor 2.65
code maximum:
2 M
code average:
1 M
stack maximum:
13 M
stack average:
8 M
heap maximum:
2991 M
heap average:
2653 M
heap stored:
30 M
Isabelle version:
c13d9d3ee128

Isar_Ref

data:
CSV
timing:
0:00:16 elapsed time
ML timing:
0:00:14 elapsed time, 0:00:36 cpu time, factor 2.46
stack maximum:
17 M
stack average:
14 M
heap maximum:
2976 M
heap average:
2785 M
Isabelle version:
c13d9d3ee128

HOL-Hahn_Banach

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:09 cpu time, factor 2.24
stack maximum:
3 M
stack average:
1 M
heap maximum:
2939 M
heap average:
1970 M
Isabelle version:
84145953b2a5

HOL-Mirabelle

data:
CSV
timing:
0:00:15 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
578 M
heap average:
422 M
heap stored:
3 M
Isabelle version:
c13d9d3ee128

HOL-Types_To_Sets

data:
CSV
timing:
0:00:14 elapsed time
ML timing:
0:00:12 elapsed time, 0:00:25 cpu time, factor 1.96
stack maximum:
4 M
stack average:
3 M
heap maximum:
2987 M
heap average:
2704 M
Isabelle version:
c13d9d3ee128

HOL-SPARK-Examples

data:
CSV
timing:
0:00:13 elapsed time
ML timing:
0:00:12 elapsed time, 0:00:34 cpu time, factor 2.85
stack maximum:
7 M
stack average:
5 M
heap maximum:
2998 M
heap average:
2679 M
Isabelle version:
62b3acc801ec

HOLCF-Tutorial

data:
CSV
timing:
0:00:13 elapsed time
ML timing:
0:00:11 elapsed time, 0:00:16 cpu time, factor 1.37
stack maximum:
1 M
stack average:
1 M
heap maximum:
2944 M
heap average:
2485 M
Isabelle version:
c13d9d3ee128

HOL-Cardinals

data:
CSV
timing:
0:00:12 elapsed time
ML timing:
0:00:10 elapsed time, 0:00:41 cpu time, factor 3.81
stack maximum:
11 M
stack average:
8 M
heap maximum:
2990 M
heap average:
2769 M
Isabelle version:
c13d9d3ee128

HOL-SPARK

data:
CSV
timing:
0:00:11 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
stack maximum:
3 M
stack average:
2 M
heap maximum:
1527 M
heap average:
1388 M
heap stored:
5 M
Isabelle version:
62b3acc801ec

HOL-Eisbach

data:
CSV
timing:
0:00:11 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 1.77
code maximum:
1 M
stack maximum:
4 M
stack average:
3 M
heap maximum:
2957 M
heap average:
2091 M
Isabelle version:
c13d9d3ee128

ZF-Constructible

data:
CSV
timing:
0:00:11 elapsed time
ML timing:
0:00:10 elapsed time, 0:00:37 cpu time, factor 3.48
stack maximum:
10 M
stack average:
6 M
heap maximum:
3272 M
heap average:
2511 M
Isabelle version:
c13d9d3ee128

HOL-Probability-ex

data:
CSV
timing:
0:00:11 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:23 cpu time, factor 2.83
stack maximum:
10 M
stack average:
4 M
heap maximum:
2985 M
heap average:
2702 M
Isabelle version:
c13d9d3ee128

HOL-Matrix_LP

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
0:00:07 elapsed time, 0:00:28 cpu time, factor 3.74
code maximum:
1 M
stack maximum:
6 M
stack average:
5 M
heap maximum:
2976 M
heap average:
2756 M
Isabelle version:
84145953b2a5

HOL-TLA

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
3 M
stack average:
2 M
heap maximum:
1538 M
heap average:
1151 M
heap stored:
5 M
Isabelle version:
c13d9d3ee128

HOL-TLA-Memory

data:
CSV
timing:
0:00:09 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:23 cpu time, factor 2.75
stack maximum:
4 M
stack average:
3 M
heap maximum:
2994 M
heap average:
2492 M
Isabelle version:
c13d9d3ee128

Typeclass_Hierarchy

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
0:00:07 elapsed time, 0:00:19 cpu time, factor 2.67
stack maximum:
6 M
stack average:
4 M
heap maximum:
2974 M
heap average:
2369 M
Isabelle version:
c13d9d3ee128

ZF-UNITY

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
0:00:08 elapsed time, 0:00:30 cpu time, factor 3.64
stack maximum:
6 M
stack average:
5 M
heap maximum:
2992 M
heap average:
2848 M
Isabelle version:
c13d9d3ee128

ZF-ex

data:
CSV
timing:
0:00:08 elapsed time
ML timing:
0:00:07 elapsed time, 0:00:18 cpu time, factor 2.42
stack maximum:
8 M
stack average:
7 M
heap maximum:
2985 M
heap average:
2844 M
Isabelle version:
c13d9d3ee128

IOA-NTP

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:06 elapsed time, 0:00:14 cpu time, factor 2.35
stack maximum:
2 M
stack average:
1 M
heap maximum:
2969 M
heap average:
2318 M
Isabelle version:
c13d9d3ee128

HOL-NanoJava

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:06 elapsed time, 0:00:11 cpu time, factor 1.82
stack maximum:
2 M
stack average:
1 M
heap maximum:
2928 M
heap average:
1930 M
Isabelle version:
c13d9d3ee128

HOL-Isar_Examples

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 3.03
stack maximum:
2 M
stack average:
1 M
heap maximum:
2940 M
heap average:
2299 M
Isabelle version:
84145953b2a5

IOA-ABP

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:10 cpu time, factor 1.89
stack maximum:
2 M
stack average:
1 M
heap maximum:
2932 M
heap average:
1777 M
Isabelle version:
c13d9d3ee128

HOL-Unix

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:09 cpu time, factor 1.75
stack maximum:
3 M
stack average:
2 M
heap maximum:
2928 M
heap average:
2128 M
Isabelle version:
ee2f490a06b4

HOL-TPTP

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:06 elapsed time, 0:00:07 cpu time, factor 1.16
code maximum:
4 M
code average:
2 M
stack maximum:
24 M
stack average:
19 M
heap maximum:
2968 M
heap average:
2326 M
Isabelle version:
ee2f490a06b4

CCL

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:08 cpu time, factor 1.40
code maximum:
1 M
stack maximum:
6 M
stack average:
3 M
heap maximum:
2954 M
heap average:
2110 M
Isabelle version:
c13d9d3ee128

HOLCF-IMP

data:
CSV
timing:
0:00:07 elapsed time
ML timing:
0:00:05 elapsed time, 0:00:12 cpu time, factor 2.11
stack maximum:
2 M
stack average:
1 M
heap maximum:
2965 M
heap average:
2310 M
Isabelle version:
c13d9d3ee128

ZF-Induct

data:
CSV
timing:
0:00:06 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:12 cpu time, factor 2.90
stack maximum:
5 M
stack average:
4 M
heap maximum:
2970 M
heap average:
2687 M
heap stored:
8 M
Isabelle version:
c13d9d3ee128

HOL-SPARK-Manual

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:09 cpu time, factor 2.45
stack maximum:
3 M
stack average:
2 M
heap maximum:
2977 M
heap average:
2169 M
Isabelle version:
62b3acc801ec

Prog_Prove

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:14 cpu time, factor 3.18
stack maximum:
5 M
stack average:
4 M
heap maximum:
2952 M
heap average:
2268 M
Isabelle version:
c13d9d3ee128

Tools

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 0.99
code maximum:
2 M
stack maximum:
3 M
stack average:
2 M
heap maximum:
2976 M
heap average:
1929 M
Isabelle version:
c13d9d3ee128

HOLCF-ex

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:12 cpu time, factor 3.44
stack maximum:
3 M
stack average:
2 M
heap maximum:
2936 M
heap average:
2265 M
Isabelle version:
c13d9d3ee128

HOL-IMPP

data:
CSV
timing:
0:00:05 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:08 cpu time, factor 2.05
stack maximum:
1 M
stack average:
1 M
heap maximum:
2947 M
heap average:
1717 M
Isabelle version:
c13d9d3ee128

HOLCF-FOCUS

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:10 cpu time, factor 3.09
stack maximum:
2 M
stack average:
1 M
heap maximum:
2975 M
heap average:
2242 M
Isabelle version:
c13d9d3ee128

HOL-ZF

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:09 cpu time
stack maximum:
3 M
stack average:
2 M
heap maximum:
2962 M
heap average:
2245 M
Isabelle version:
ee2f490a06b4

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
stack maximum:
1 M
stack average:
1 M
heap maximum:
1520 M
heap average:
1136 M
Isabelle version:
84145953b2a5

FOL

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:03 cpu time, factor 1.12
code maximum:
1 M
stack maximum:
3 M
stack average:
2 M
heap maximum:
2131 M
heap average:
1552 M
heap stored:
5 M
Isabelle version:
c13d9d3ee128

Implementation

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:06 cpu time
code maximum:
1 M
stack maximum:
12 M
stack average:
9 M
heap maximum:
2038 M
heap average:
1526 M
Isabelle version:
c13d9d3ee128

ZF-AC

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:13 cpu time, factor 3.43
stack maximum:
5 M
stack average:
4 M
heap maximum:
2962 M
heap average:
2474 M
Isabelle version:
c13d9d3ee128

Functions

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
stack maximum:
3 M
stack average:
2 M
heap maximum:
1537 M
heap average:
1251 M
Isabelle version:
c13d9d3ee128

LCF

data:
CSV
timing:
0:00:04 elapsed time
ML timing:
0:00:04 elapsed time, 0:00:04 cpu time, factor 0.99
code maximum:
1 M
stack maximum:
3 M
stack average:
2 M
heap maximum:
2381 M
heap average:
1539 M
Isabelle version:
c13d9d3ee128

HOL-IOA

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:04 cpu time
stack maximum:
1 M
stack average:
1 M
heap maximum:
1524 M
heap average:
1287 M
Isabelle version:
c13d9d3ee128

Classes

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
1358 M
heap average:
979 M
Isabelle version:
c13d9d3ee128

Sequents

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:09 cpu time
stack maximum:
2 M
stack average:
1 M
heap maximum:
2989 M
heap average:
2420 M
Isabelle version:
c13d9d3ee128

HOL-Real_Asymp-Manual

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
469 M
heap average:
356 M
Isabelle version:
c13d9d3ee128

Locales

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
stack maximum:
3 M
stack average:
2 M
heap maximum:
1402 M
heap average:
926 M
Isabelle version:
c13d9d3ee128

HOL-TLA-Inc

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:01 elapsed time, 0:00:04 cpu time
stack maximum:
1 M
stack average:
1 M
heap maximum:
1524 M
heap average:
1481 M
Isabelle version:
c13d9d3ee128

FOLP-ex

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:03 elapsed time, 0:00:08 cpu time, factor 2.45
stack maximum:
2 M
stack average:
1 M
heap maximum:
2965 M
heap average:
2294 M
Isabelle version:
c13d9d3ee128

HOL-Lattice

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time, 0:00:03 cpu time
stack maximum:
2 M
stack average:
1 M
heap maximum:
1541 M
heap average:
1134 M
Isabelle version:
c13d9d3ee128

Eisbach

data:
CSV
timing:
0:00:03 elapsed time
ML timing:
0:00:02 elapsed time
stack maximum:
4 M
stack average:
3 M
heap maximum:
1516 M
heap average:
1233 M
Isabelle version:
c13d9d3ee128

Sugar

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
589 M
heap average:
556 M
Isabelle version:
c13d9d3ee128

HOL-Proofs-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
4 M
stack average:
2 M
heap maximum:
1132 M
heap average:
1032 M
Isabelle version:
c13d9d3ee128

HOL-Mutabelle

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
445 M
heap average:
445 M
Isabelle version:
84145953b2a5

IOA-ex

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
779 M
heap average:
760 M
Isabelle version:
c13d9d3ee128

IOA-Storage

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
999 M
heap average:
784 M
Isabelle version:
c13d9d3ee128

JEdit

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
5 M
stack average:
3 M
heap maximum:
521 M
heap average:
396 M
Isabelle version:
c13d9d3ee128

Main

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
922 M
heap average:
768 M
Isabelle version:
c13d9d3ee128

Spec_Check

data:
CSV
timing:
0:00:02 elapsed time
ML timing:
0:00:01 elapsed time, 0:00:04 cpu time
stack maximum:
1 M
stack average:
1 M
heap maximum:
2618 M
heap average:
2006 M
Isabelle version:
c13d9d3ee128

ZF-Resid

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:01 elapsed time, 0:00:03 cpu time
stack maximum:
1 M
stack average:
1 M
heap maximum:
1526 M
heap average:
1426 M
Isabelle version:
c13d9d3ee128

ZF-Coind

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
995 M
heap average:
995 M
Isabelle version:
c13d9d3ee128

HOL-TLA-Buffer

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
637 M
heap average:
637 M
Isabelle version:
c13d9d3ee128

How_to_Prove_it

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
338 M
heap average:
338 M
Isabelle version:
c13d9d3ee128

ZF-IMP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
863 M
heap average:
846 M
Isabelle version:
c13d9d3ee128

CTT

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
981 M
heap average:
981 M
Isabelle version:
c13d9d3ee128

FOLP

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
1161 M
heap average:
1030 M
heap stored:
2 M
Isabelle version:
c13d9d3ee128

HOL-Prolog

data:
CSV
timing:
0:00:01 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
371 M
heap average:
371 M
Isabelle version:
c13d9d3ee128

Logics

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

HOL-Word

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

FOL-ex

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

Logics_ZF

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
496 M
heap average:
496 M
Isabelle version:
c13d9d3ee128

SML

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
23 M
heap average:
23 M
Isabelle version:
c13d9d3ee128

HOL-Induct

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
84145953b2a5

HOL-Nominal-Examples

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
84145953b2a5

Sledgehammer

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

System

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
2 M
stack average:
1 M
heap maximum:
615 M
heap average:
615 M
Isabelle version:
c13d9d3ee128

Nitpick

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

HOL-ex

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
ee2f490a06b4

HOL-Quickcheck_Examples

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
ee2f490a06b4

Cube

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
266 M
heap average:
266 M
Isabelle version:
c13d9d3ee128

Intro

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

HOL-Homology

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

HOL-Library

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c13d9d3ee128

HOL-Codegenerator_Test

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
84145953b2a5