Isabelle build status for jenkins isabelle-nightly-slow, 64bit, 8 threads

status date:
23-Aug-2019 20:26:08 +0200
build host:
workerlrz5.lrz-cloud

Flyspeck-Tame-Computation

data:
CSV
timing:
4:33:43 elapsed time, 6:51:19 cpu time, factor 1.50
ML timing:
4:33:42 elapsed time, 7:23:52 cpu time, factor 1.62
stack maximum:
2 M
stack average:
1 M
heap maximum:
4000 M
heap average:
683 M
Isabelle version:
b85a12c2e2bf
AFP version:
db325e159983

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:02:10 elapsed time, 8:29:27 cpu time, factor 4.17
ML timing:
2:02:05 elapsed time, 12:13:55 cpu time, factor 6.01
code maximum:
139 M
code average:
22 M
stack maximum:
1281 M
stack average:
1112 M
heap maximum:
20478 M
heap average:
18793 M
Isabelle version:
b85a12c2e2bf
AFP version:
db325e159983

AODV

data:
CSV
timing:
1:30:57 elapsed time, 7:59:18 cpu time, factor 5.27
ML timing:
1:30:47 elapsed time, 8:37:21 cpu time, factor 5.70
stack maximum:
21 M
stack average:
19 M
heap maximum:
6805 M
heap average:
5065 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

JinjaThreads

data:
CSV
timing:
0:40:03 elapsed time, 3:00:49 cpu time, factor 4.51
ML timing:
0:39:28 elapsed time, 4:00:55 cpu time, factor 6.10
code maximum:
7 M
code average:
2 M
stack maximum:
231 M
stack average:
121 M
heap maximum:
20479 M
heap average:
18947 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

ConcurrentGC

data:
CSV
timing:
0:29:08 elapsed time, 2:52:53 cpu time, factor 5.93
ML timing:
0:29:02 elapsed time, 3:05:40 cpu time, factor 6.39
stack maximum:
29 M
stack average:
17 M
heap maximum:
10930 M
heap average:
6199 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

HOL

data:
CSV
timing:
0:04:28 elapsed time, 0:13:36 cpu time, factor 3.04
ML timing:
0:03:13 elapsed time, 0:12:17 cpu time, factor 3.81
code maximum:
26 M
code average:
21 M
stack maximum:
116 M
stack average:
54 M
heap maximum:
9517 M
heap average:
5975 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

IP_Addresses

data:
CSV
timing:
0:03:46 elapsed time, 0:11:09 cpu time, factor 2.96
ML timing:
0:03:05 elapsed time, 0:10:18 cpu time, factor 3.34
code maximum:
4 M
code average:
2 M
stack maximum:
53 M
stack average:
43 M
heap maximum:
9597 M
heap average:
7111 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

Iptables_Semantics_Examples

data:
CSV
timing:
0:03:39 elapsed time, 0:22:41 cpu time, factor 6.21
ML timing:
0:03:12 elapsed time, 0:24:09 cpu time, factor 7.54
code maximum:
36 M
code average:
14 M
stack maximum:
65 M
stack average:
39 M
heap maximum:
11309 M
heap average:
6624 M
Isabelle version:
b85a12c2e2bf
AFP version:
db325e159983

Iptables_Semantics

data:
CSV
timing:
0:02:31 elapsed time, 0:09:51 cpu time, factor 3.91
ML timing:
0:01:40 elapsed time, 0:08:09 cpu time, factor 4.89
code maximum:
8 M
code average:
2 M
stack maximum:
23 M
stack average:
15 M
heap maximum:
5597 M
heap average:
4625 M
Isabelle version:
b85a12c2e2bf
AFP version:
db325e159983

HOL-Library

data:
CSV
timing:
0:02:04 elapsed time, 0:09:23 cpu time, factor 4.54
ML timing:
0:01:04 elapsed time, 0:07:29 cpu time, factor 6.94
code maximum:
4 M
code average:
3 M
stack maximum:
52 M
stack average:
32 M
heap maximum:
9384 M
heap average:
8303 M
Isabelle version:
b85a12c2e2bf
AFP version:
db325e159983

Flyspeck-Tame

data:
CSV
timing:
0:01:36 elapsed time, 0:06:25 cpu time, factor 4.01
ML timing:
0:00:56 elapsed time, 0:05:27 cpu time, factor 5.83
stack maximum:
39 M
stack average:
27 M
heap maximum:
9636 M
heap average:
8217 M
Isabelle version:
b85a12c2e2bf
AFP version:
db325e159983

AWN

data:
CSV
timing:
0:01:02 elapsed time, 0:03:34 cpu time, factor 3.45
ML timing:
0:00:31 elapsed time, 0:02:38 cpu time, factor 5.09
stack maximum:
13 M
stack average:
6 M
heap maximum:
3998 M
heap average:
3826 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

Word_Lib

data:
CSV
timing:
0:00:44 elapsed time, 0:01:56 cpu time, factor 2.64
ML timing:
0:00:25 elapsed time, 0:01:22 cpu time, factor 3.20
stack maximum:
22 M
stack average:
16 M
heap maximum:
3989 M
heap average:
3930 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

Simple_Firewall

data:
CSV
timing:
0:00:39 elapsed time, 0:01:58 cpu time, factor 3.03
ML timing:
0:00:15 elapsed time, 0:01:07 cpu time, factor 4.24
code maximum:
1 M
stack maximum:
16 M
stack average:
9 M
heap maximum:
3981 M
heap average:
3884 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

ConcurrentIMP

data:
CSV
timing:
0:00:38 elapsed time, 0:01:28 cpu time, factor 2.32
ML timing:
0:00:15 elapsed time, 0:00:41 cpu time, factor 2.75
stack maximum:
4 M
stack average:
2 M
heap maximum:
3957 M
heap average:
3455 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

HOL-Word

data:
CSV
timing:
0:00:26 elapsed time, 0:01:22 cpu time, factor 3.15
ML timing:
0:00:08 elapsed time, 0:00:47 cpu time, factor 5.65
stack maximum:
19 M
stack average:
8 M
heap maximum:
3968 M
heap average:
3842 M
Isabelle version:
b85a12c2e2bf
AFP version:
276256888922

Routing

data:
CSV
timing:
0:00:24 elapsed time, 0:00:58 cpu time, factor 2.42
ML timing:
0:00:08 elapsed time, 0:00:25 cpu time, factor 2.93
stack maximum:
4 M
stack average:
2 M
heap maximum:
3988 M
heap average:
3333 M
Isabelle version:
b85a12c2e2bf
AFP version:
db325e159983