Isabelle build status for jenkins isabelle-nightly-benchmark, 6 threads

status date:
20-Oct-2019 18:22:21 +0200
build host:
workermta1.mta_big

HOL-Datatype_Benchmark

data:
CSV
timing:
0:08:29 elapsed time, 0:34:06 cpu time, factor 4.02
ML timing:
0:08:27 elapsed time, 0:46:48 cpu time, factor 5.54
stack maximum:
12 M
stack average:
10 M
heap maximum:
8190 M
heap average:
6608 M
Isabelle version:
3ed399935d7c

HOL-Analysis

data:
CSV
timing:
0:06:59 elapsed time, 0:32:12 cpu time, factor 4.61
ML timing:
0:05:51 elapsed time, 0:31:13 cpu time, factor 5.32
code maximum:
1 M
stack maximum:
92 M
stack average:
82 M
heap maximum:
7975 M
heap average:
7627 M
Isabelle version:
3ed399935d7c

HOL-Proofs

data:
CSV
timing:
0:06:50 elapsed time, 0:12:14 cpu time, factor 1.79
ML timing:
0:05:07 elapsed time, 0:09:40 cpu time, factor 1.89
code maximum:
29 M
code average:
15 M
stack maximum:
81 M
stack average:
51 M
heap maximum:
8161 M
heap average:
6714 M
Isabelle version:
3ed399935d7c

HOL-Quickcheck_Benchmark

data:
CSV
timing:
0:05:07 elapsed time, 0:25:14 cpu time, factor 4.93
ML timing:
0:05:05 elapsed time, 0:26:30 cpu time, factor 5.20
code maximum:
198 M
code average:
118 M
stack maximum:
15 M
stack average:
11 M
heap maximum:
3999 M
heap average:
3982 M
Isabelle version:
3ed399935d7c

HOL-Decision_Procs

data:
CSV
timing:
0:04:26 elapsed time, 0:19:27 cpu time, factor 4.39
ML timing:
0:04:24 elapsed time, 0:22:15 cpu time, factor 5.05
code maximum:
3 M
code average:
1 M
stack maximum:
102 M
stack average:
73 M
heap maximum:
8190 M
heap average:
7522 M
Isabelle version:
3ed399935d7c

HOL

data:
CSV
timing:
0:03:59 elapsed time, 0:12:57 cpu time, factor 3.25
ML timing:
0:03:19 elapsed time, 0:12:30 cpu time, factor 3.76
code maximum:
32 M
code average:
21 M
stack maximum:
86 M
stack average:
54 M
heap maximum:
3999 M
heap average:
3932 M
Isabelle version:
3ed399935d7c

HOL-ex

data:
CSV
timing:
0:03:54 elapsed time, 0:19:12 cpu time, factor 4.92
ML timing:
0:03:51 elapsed time, 0:18:38 cpu time, factor 4.82
code maximum:
6 M
code average:
4 M
stack maximum:
99 M
stack average:
52 M
heap maximum:
8176 M
heap average:
7599 M
Isabelle version:
3ed399935d7c

HOL-Nominal-Examples

data:
CSV
timing:
0:03:50 elapsed time, 0:17:58 cpu time, factor 4.69
ML timing:
0:03:48 elapsed time, 0:19:24 cpu time, factor 5.09
stack maximum:
44 M
stack average:
26 M
heap maximum:
8154 M
heap average:
7403 M
Isabelle version:
3ed399935d7c

HOL-Data_Structures

data:
CSV
timing:
0:03:10 elapsed time, 0:17:34 cpu time, factor 5.55
ML timing:
0:03:08 elapsed time, 0:18:29 cpu time, factor 5.89
stack maximum:
13 M
stack average:
11 M
heap maximum:
8167 M
heap average:
7371 M
Isabelle version:
3ed399935d7c

HOL-Corec_Examples

data:
CSV
timing:
0:02:37 elapsed time, 0:08:18 cpu time, factor 3.17
ML timing:
0:02:35 elapsed time, 0:09:21 cpu time, factor 3.62
stack maximum:
3 M
stack average:
2 M
heap maximum:
8117 M
heap average:
6616 M
Isabelle version:
3ed399935d7c

HOL-Algebra

data:
CSV
timing:
0:02:35 elapsed time, 0:10:34 cpu time, factor 4.09
ML timing:
0:01:56 elapsed time, 0:10:34 cpu time, factor 5.46
stack maximum:
26 M
stack average:
21 M
heap maximum:
6680 M
heap average:
4292 M
Isabelle version:
3ed399935d7c

HOL-Record_Benchmark

data:
CSV
timing:
0:02:29 elapsed time, 0:03:41 cpu time, factor 1.48
ML timing:
0:02:28 elapsed time, 0:03:48 cpu time, factor 1.55
stack maximum:
9 M
stack average:
5 M
heap maximum:
3979 M
heap average:
3781 M
Isabelle version:
3ed399935d7c

HOL-Library

data:
CSV
timing:
0:02:05 elapsed time, 0:09:33 cpu time, factor 4.58
ML timing:
0:01:26 elapsed time, 0:08:20 cpu time, factor 5.77
code maximum:
3 M
code average:
2 M
stack maximum:
31 M
stack average:
28 M
heap maximum:
8146 M
heap average:
6325 M
Isabelle version:
3ed399935d7c

HOL-Proofs-Lambda

data:
CSV
timing:
0:01:38 elapsed time, 0:01:54 cpu time, factor 1.16
ML timing:
0:01:36 elapsed time, 0:01:58 cpu time, factor 1.23
stack maximum:
6 M
stack average:
3 M
heap maximum:
3993 M
heap average:
3881 M
Isabelle version:
3ed399935d7c

HOL-Proofs-Extraction

data:
CSV
timing:
0:01:30 elapsed time, 0:02:42 cpu time, factor 1.80
ML timing:
0:01:29 elapsed time, 0:02:50 cpu time, factor 1.91
stack maximum:
10 M
stack average:
9 M
heap maximum:
3999 M
heap average:
3924 M
Isabelle version:
3ed399935d7c

HOL-Probability

data:
CSV
timing:
0:01:29 elapsed time, 0:06:34 cpu time, factor 4.43
ML timing:
0:01:05 elapsed time, 0:05:28 cpu time, factor 5.01
stack maximum:
29 M
stack average:
26 M
heap maximum:
7552 M
heap average:
5579 M
Isabelle version:
3ed399935d7c

HOL-Auth

data:
CSV
timing:
0:01:27 elapsed time, 0:05:58 cpu time, factor 4.11
ML timing:
0:01:09 elapsed time, 0:05:31 cpu time, factor 4.75
stack maximum:
18 M
stack average:
15 M
heap maximum:
3995 M
heap average:
3842 M
Isabelle version:
3ed399935d7c

HOL-Homology

data:
CSV
timing:
0:01:19 elapsed time, 0:06:10 cpu time, factor 4.68
ML timing:
0:01:18 elapsed time, 0:06:27 cpu time, factor 4.97
stack maximum:
27 M
stack average:
16 M
heap maximum:
3996 M
heap average:
3944 M
Isabelle version:
3ed399935d7c

HOL-Datatype_Examples

data:
CSV
timing:
0:01:16 elapsed time, 0:05:29 cpu time, factor 4.33
ML timing:
0:01:14 elapsed time, 0:06:03 cpu time, factor 4.87
stack maximum:
6 M
stack average:
4 M
heap maximum:
7888 M
heap average:
6005 M
Isabelle version:
3ed399935d7c

HOL-Quickcheck_Examples

data:
CSV
timing:
0:01:16 elapsed time, 0:04:31 cpu time, factor 3.57
ML timing:
0:01:14 elapsed time, 0:02:49 cpu time, factor 2.27
code maximum:
14 M
code average:
11 M
stack maximum:
21 M
stack average:
18 M
heap maximum:
3992 M
heap average:
3938 M
Isabelle version:
3ed399935d7c

HOL-Number_Theory

data:
CSV
timing:
0:01:10 elapsed time, 0:04:40 cpu time, factor 4.00
ML timing:
0:00:47 elapsed time, 0:04:06 cpu time, factor 5.14
stack maximum:
10 M
stack average:
8 M
heap maximum:
3996 M
heap average:
3909 M
Isabelle version:
3ed399935d7c

HOL-Computational_Algebra

data:
CSV
timing:
0:01:05 elapsed time, 0:03:28 cpu time, factor 3.20
ML timing:
0:00:48 elapsed time, 0:03:01 cpu time, factor 3.71
code maximum:
11 M
code average:
2 M
stack maximum:
33 M
stack average:
21 M
heap maximum:
3993 M
heap average:
3858 M
Isabelle version:
3ed399935d7c

HOL-Hoare_Parallel

data:
CSV
timing:
0:01:04 elapsed time, 0:05:34 cpu time, factor 5.22
ML timing:
0:01:02 elapsed time, 0:05:40 cpu time, factor 5.42
stack maximum:
7 M
stack average:
5 M
heap maximum:
3998 M
heap average:
3937 M
Isabelle version:
3ed399935d7c

HOL-MicroJava

data:
CSV
timing:
0:01:02 elapsed time, 0:04:43 cpu time, factor 4.56
ML timing:
0:01:01 elapsed time, 0:04:51 cpu time, factor 4.75
code maximum:
1 M
stack maximum:
18 M
stack average:
14 M
heap maximum:
3998 M
heap average:
3897 M
Isabelle version:
3ed399935d7c

HOL-Bali

data:
CSV
timing:
0:01:00 elapsed time, 0:03:42 cpu time, factor 3.70
ML timing:
0:00:58 elapsed time, 0:03:53 cpu time, factor 3.98
stack maximum:
26 M
stack average:
10 M
heap maximum:
3991 M
heap average:
3729 M
Isabelle version:
3ed399935d7c

HOL-Word-SMT_Examples

data:
CSV
timing:
0:00:57 elapsed time, 0:01:27 cpu time, factor 1.53
ML timing:
0:00:55 elapsed time, 0:01:24 cpu time, factor 1.51
stack maximum:
5 M
stack average:
4 M
heap maximum:
3998 M
heap average:
3943 M
Isabelle version:
3ed399935d7c

HOL-IMP

data:
CSV
timing:
0:00:57 elapsed time, 0:04:44 cpu time, factor 4.98
ML timing:
0:00:56 elapsed time, 0:04:58 cpu time, factor 5.31
code maximum:
11 M
code average:
4 M
stack maximum:
34 M
stack average:
14 M
heap maximum:
7974 M
heap average:
5942 M
Isabelle version:
3ed399935d7c

HOL-Predicate_Compile_Examples

data:
CSV
timing:
0:00:51 elapsed time, 0:06:16 cpu time, factor 7.37
ML timing:
0:00:49 elapsed time, 0:03:38 cpu time, factor 4.42
code maximum:
4 M
code average:
2 M
stack maximum:
37 M
stack average:
18 M
heap maximum:
7359 M
heap average:
5918 M
Isabelle version:
3ed399935d7c

HOL-Imperative_HOL

data:
CSV
timing:
0:00:36 elapsed time, 0:05:44 cpu time, factor 9.56
ML timing:
0:00:34 elapsed time, 0:01:25 cpu time, factor 2.46
stack maximum:
8 M
stack average:
6 M
heap maximum:
3988 M
heap average:
3858 M
Isabelle version:
3ed399935d7c

HOL-Quotient_Examples

data:
CSV
timing:
0:00:29 elapsed time, 0:01:46 cpu time, factor 3.66
ML timing:
0:00:26 elapsed time, 0:00:47 cpu time, factor 1.78
stack maximum:
5 M
stack average:
4 M
heap maximum:
3972 M
heap average:
3837 M
Isabelle version:
3ed399935d7c

HOL-SET_Protocol

data:
CSV
timing:
0:00:26 elapsed time, 0:01:51 cpu time, factor 4.27
ML timing:
0:00:24 elapsed time, 0:01:52 cpu time, factor 4.61
stack maximum:
8 M
stack average:
6 M
heap maximum:
3996 M
heap average:
3565 M
Isabelle version:
3ed399935d7c

HOL-UNITY

data:
CSV
timing:
0:00:22 elapsed time, 0:01:49 cpu time, factor 4.95
ML timing:
0:00:20 elapsed time, 0:01:52 cpu time, factor 5.39
stack maximum:
8 M
stack average:
7 M
heap maximum:
3982 M
heap average:
3779 M
Isabelle version:
3ed399935d7c

HOLCF

data:
CSV
timing:
0:00:21 elapsed time, 0:00:58 cpu time, factor 2.76
ML timing:
0:00:12 elapsed time, 0:00:42 cpu time, factor 3.41
stack maximum:
7 M
stack average:
4 M
heap maximum:
3942 M
heap average:
3427 M
Isabelle version:
3ed399935d7c

HOL-Word

data:
CSV
timing:
0:00:19 elapsed time, 0:01:10 cpu time, factor 3.68
ML timing:
0:00:09 elapsed time, 0:00:53 cpu time, factor 5.48
stack maximum:
19 M
stack average:
12 M
heap maximum:
3974 M
heap average:
3693 M
Isabelle version:
3ed399935d7c

HOL-Nonstandard_Analysis

data:
CSV
timing:
0:00:19 elapsed time, 0:00:54 cpu time, factor 2.84
ML timing:
0:00:06 elapsed time, 0:00:31 cpu time, factor 4.72
stack maximum:
5 M
stack average:
3 M
heap maximum:
3978 M
heap average:
2814 M
Isabelle version:
3ed399935d7c

HOL-Nominal

data:
CSV
timing:
0:00:16 elapsed time, 0:00:34 cpu time, factor 2.13
ML timing:
0:00:06 elapsed time, 0:00:15 cpu time, factor 2.42
code maximum:
1 M
stack maximum:
5 M
stack average:
4 M
heap maximum:
3964 M
heap average:
2345 M
Isabelle version:
3ed399935d7c

HOL-Metis_Examples

data:
CSV
timing:
0:00:15 elapsed time, 0:01:18 cpu time, factor 5.20
ML timing:
0:00:13 elapsed time, 0:01:03 cpu time, factor 4.69
stack maximum:
10 M
stack average:
8 M
heap maximum:
3983 M
heap average:
3719 M
Isabelle version:
3ed399935d7c

ZF

data:
CSV
timing:
0:00:14 elapsed time, 0:00:51 cpu time, factor 3.64
ML timing:
0:00:12 elapsed time, 0:00:49 cpu time, factor 4.00
code maximum:
2 M
code average:
1 M
stack maximum:
16 M
stack average:
8 M
heap maximum:
3961 M
heap average:
3222 M
Isabelle version:
3ed399935d7c

HOL-Probability-ex

data:
CSV
timing:
0:00:09 elapsed time, 0:00:25 cpu time, factor 2.78
ML timing:
0:00:07 elapsed time, 0:00:24 cpu time, factor 3.38
stack maximum:
12 M
stack average:
5 M
heap maximum:
3978 M
heap average:
3563 M
Isabelle version:
3ed399935d7c

HOL-Cardinals

data:
CSV
timing:
0:00:08 elapsed time, 0:00:45 cpu time, factor 5.63
ML timing:
0:00:07 elapsed time, 0:00:45 cpu time, factor 5.92
stack maximum:
11 M
stack average:
9 M
heap maximum:
3981 M
heap average:
3585 M
Isabelle version:
3ed399935d7c

IOA

data:
CSV
timing:
0:00:08 elapsed time, 0:00:33 cpu time, factor 4.13
ML timing:
0:00:07 elapsed time, 0:00:33 cpu time, factor 4.63
stack maximum:
5 M
stack average:
3 M
heap maximum:
3970 M
heap average:
3067 M
Isabelle version:
3ed399935d7c

ZF-UNITY

data:
CSV
timing:
0:00:06 elapsed time, 0:00:31 cpu time, factor 5.17
ML timing:
0:00:05 elapsed time, 0:00:32 cpu time, factor 5.42
stack maximum:
6 M
stack average:
5 M
heap maximum:
3987 M
heap average:
3538 M
Isabelle version:
3ed399935d7c

ZF-Induct

data:
CSV
timing:
0:00:05 elapsed time, 0:00:16 cpu time, factor 3.20
ML timing:
0:00:03 elapsed time, 0:00:12 cpu time, factor 3.65
stack maximum:
6 M
stack average:
4 M
heap maximum:
3903 M
heap average:
2802 M
Isabelle version:
3ed399935d7c

HOL-Nonstandard_Analysis-Examples

data:
CSV
timing:
0:00:03 elapsed time, 0:00:05 cpu time, factor 1.67
ML timing:
0:00:01 elapsed time, 0:00:03 cpu time
stack maximum:
2 M
stack average:
1 M
heap maximum:
1370 M
heap average:
1028 M
Isabelle version:
3ed399935d7c