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

status date:
20-Oct-2019 18:22:21 +0200
build host:
workerlrz5.lrz-cloud

Flyspeck-Tame-Computation

data:
CSV
timing:
4:42:29 elapsed time, 7:02:59 cpu time, factor 1.50
ML timing:
4:42:27 elapsed time, 7:36:36 cpu time, factor 1.62
stack maximum:
3 M
stack average:
2 M
heap maximum:
3999 M
heap average:
679 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:01:59 elapsed time, 8:34:16 cpu time, factor 4.22
ML timing:
2:01:53 elapsed time, 12:20:10 cpu time, factor 6.07
code maximum:
131 M
code average:
24 M
stack maximum:
1282 M
stack average:
1103 M
heap maximum:
20479 M
heap average:
18409 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

AODV

data:
CSV
timing:
1:24:50 elapsed time, 7:52:08 cpu time, factor 5.57
ML timing:
1:24:39 elapsed time, 8:19:33 cpu time, factor 5.90
stack maximum:
23 M
stack average:
21 M
heap maximum:
9307 M
heap average:
6753 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

JinjaThreads

data:
CSV
timing:
0:45:05 elapsed time, 3:27:27 cpu time, factor 4.60
ML timing:
0:44:29 elapsed time, 4:48:36 cpu time, factor 6.49
code maximum:
7 M
code average:
2 M
stack maximum:
242 M
stack average:
123 M
heap maximum:
20480 M
heap average:
18750 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

ConcurrentGC

data:
CSV
timing:
0:29:18 elapsed time, 2:55:11 cpu time, factor 5.98
ML timing:
0:29:12 elapsed time, 3:07:40 cpu time, factor 6.42
stack maximum:
29 M
stack average:
23 M
heap maximum:
11186 M
heap average:
6559 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

HOL

data:
CSV
timing:
0:05:08 elapsed time, 0:15:29 cpu time, factor 3.02
ML timing:
0:03:38 elapsed time, 0:14:06 cpu time, factor 3.88
code maximum:
26 M
code average:
21 M
stack maximum:
105 M
stack average:
54 M
heap maximum:
13448 M
heap average:
6786 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

IP_Addresses

data:
CSV
timing:
0:04:07 elapsed time, 0:12:07 cpu time, factor 2.94
ML timing:
0:03:16 elapsed time, 0:11:10 cpu time, factor 3.42
code maximum:
4 M
code average:
2 M
stack maximum:
53 M
stack average:
42 M
heap maximum:
11358 M
heap average:
7625 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

Iptables_Semantics_Examples

data:
CSV
timing:
0:04:01 elapsed time, 0:24:35 cpu time, factor 6.12
ML timing:
0:03:28 elapsed time, 0:25:54 cpu time, factor 7.45
code maximum:
39 M
code average:
17 M
stack maximum:
66 M
stack average:
39 M
heap maximum:
11249 M
heap average:
7168 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

Iptables_Semantics

data:
CSV
timing:
0:02:54 elapsed time, 0:11:01 cpu time, factor 3.80
ML timing:
0:01:46 elapsed time, 0:08:55 cpu time, factor 5.02
code maximum:
8 M
code average:
2 M
stack maximum:
27 M
stack average:
17 M
heap maximum:
9377 M
heap average:
5990 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

HOL-Library

data:
CSV
timing:
0:02:20 elapsed time, 0:10:13 cpu time, factor 4.38
ML timing:
0:01:08 elapsed time, 0:07:58 cpu time, factor 7.00
code maximum:
4 M
code average:
3 M
stack maximum:
49 M
stack average:
31 M
heap maximum:
9409 M
heap average:
8237 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

Flyspeck-Tame

data:
CSV
timing:
0:01:47 elapsed time, 0:07:02 cpu time, factor 3.94
ML timing:
0:00:59 elapsed time, 0:05:55 cpu time, factor 5.97
stack maximum:
40 M
stack average:
28 M
heap maximum:
9612 M
heap average:
8019 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

AWN

data:
CSV
timing:
0:01:08 elapsed time, 0:03:47 cpu time, factor 3.34
ML timing:
0:00:33 elapsed time, 0:02:44 cpu time, factor 4.93
stack maximum:
17 M
stack average:
8 M
heap maximum:
3998 M
heap average:
3807 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

Word_Lib

data:
CSV
timing:
0:00:48 elapsed time, 0:02:05 cpu time, factor 2.60
ML timing:
0:00:26 elapsed time, 0:01:27 cpu time, factor 3.25
stack maximum:
26 M
stack average:
17 M
heap maximum:
3989 M
heap average:
3925 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

Simple_Firewall

data:
CSV
timing:
0:00:46 elapsed time, 0:02:10 cpu time, factor 2.83
ML timing:
0:00:17 elapsed time, 0:01:12 cpu time, factor 4.07
code maximum:
1 M
stack maximum:
18 M
stack average:
11 M
heap maximum:
3973 M
heap average:
3897 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

ConcurrentIMP

data:
CSV
timing:
0:00:45 elapsed time, 0:01:37 cpu time, factor 2.16
ML timing:
0:00:16 elapsed time, 0:00:44 cpu time, factor 2.64
stack maximum:
6 M
stack average:
4 M
heap maximum:
3970 M
heap average:
3434 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

Routing

data:
CSV
timing:
0:00:29 elapsed time, 0:01:05 cpu time, factor 2.24
ML timing:
0:00:09 elapsed time, 0:00:28 cpu time, factor 2.84
stack maximum:
5 M
stack average:
3 M
heap maximum:
3979 M
heap average:
3172 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f

HOL-Word

data:
CSV
timing:
0:00:29 elapsed time, 0:01:29 cpu time, factor 3.07
ML timing:
0:00:09 elapsed time, 0:00:50 cpu time, factor 5.48
stack maximum:
13 M
stack average:
7 M
heap maximum:
3966 M
heap average:
3847 M
Isabelle version:
3ed399935d7c
AFP version:
c7faf745010f