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

status date:
22-Feb-2019 18:05:34 +0100
build host:
workerlrz5.lrz-cloud

Flyspeck-Tame-Computation

data:
CSV
timing:
7:53:27 elapsed time, 11:41:18 cpu time, factor 1.48
ML timing:
7:53:25 elapsed time, 12:37:05 cpu time, factor 1.60
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

AODV

data:
CSV
timing:
2:49:13 elapsed time, 15:20:41 cpu time, factor 5.44
ML timing:
2:48:58 elapsed time, 16:37:17 cpu time, factor 5.90
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

ConcurrentGC

data:
CSV
timing:
2:34:27 elapsed time, 9:26:13 cpu time, factor 3.67
ML timing:
2:34:19 elapsed time, 10:06:36 cpu time, factor 3.93
maximum heap:
9046 M
average heap:
4795 M
Isabelle version:
d21789843f01
AFP version:
4943a3cb91e3

JinjaThreads

data:
CSV
timing:
1:03:05 elapsed time, 4:42:34 cpu time, factor 4.48
ML timing:
1:02:04 elapsed time, 6:07:02 cpu time, factor 5.91
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

HOL

data:
CSV
timing:
0:06:17 elapsed time, 0:18:43 cpu time, factor 2.98
ML timing:
0:04:41 elapsed time, 0:16:43 cpu time, factor 3.57
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

Iptables_Semantics_Examples

data:
CSV
timing:
0:06:05 elapsed time, 0:36:45 cpu time, factor 6.04
ML timing:
0:05:35 elapsed time, 0:39:33 cpu time, factor 7.07
maximum heap:
7009 M
average heap:
5250 M
Isabelle version:
d21789843f01
AFP version:
6f2bc60575f8

IP_Addresses

data:
CSV
timing:
0:06:05 elapsed time, 0:17:39 cpu time, factor 2.90
ML timing:
0:05:21 elapsed time, 0:16:52 cpu time, factor 3.15
maximum heap:
9763 M
average heap:
7268 M
Isabelle version:
d21789843f01
AFP version:
4943a3cb91e3

Iptables_Semantics

data:
CSV
timing:
0:03:56 elapsed time, 0:16:20 cpu time, factor 4.15
ML timing:
0:02:55 elapsed time, 0:14:12 cpu time, factor 4.87
maximum heap:
4531 M
average heap:
4075 M
Isabelle version:
d21789843f01
AFP version:
4943a3cb91e3

HOL-Library

data:
CSV
timing:
0:02:57 elapsed time, 0:14:02 cpu time, factor 4.76
ML timing:
0:01:44 elapsed time, 0:11:35 cpu time, factor 6.64
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

Flyspeck-Tame

data:
CSV
timing:
0:02:28 elapsed time, 0:10:20 cpu time, factor 4.19
ML timing:
0:01:34 elapsed time, 0:09:08 cpu time, factor 5.81
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

Word_Lib

data:
CSV
timing:
0:01:30 elapsed time, 0:03:47 cpu time, factor 2.52
ML timing:
0:01:11 elapsed time, 0:03:17 cpu time, factor 2.74
maximum heap:
3998 M
average heap:
3960 M
Isabelle version:
d21789843f01
AFP version:
6f2bc60575f8

AWN

data:
CSV
timing:
0:01:21 elapsed time, 0:05:11 cpu time, factor 3.84
ML timing:
0:00:49 elapsed time, 0:04:12 cpu time, factor 5.08
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

Simple_Firewall

data:
CSV
timing:
0:00:55 elapsed time, 0:02:47 cpu time, factor 3.04
ML timing:
0:00:26 elapsed time, 0:01:45 cpu time, factor 4.02
maximum heap:
3983 M
average heap:
3814 M
Isabelle version:
d21789843f01
AFP version:
6f2bc60575f8

ConcurrentIMP

data:
CSV
timing:
0:00:49 elapsed time, 0:01:48 cpu time, factor 2.20
ML timing:
0:00:22 elapsed time, 0:00:57 cpu time, factor 2.57
Isabelle version:
3bfa28b3a5b2
AFP version:
be6c8dcb2ec1

HOL-Word

data:
CSV
timing:
0:00:34 elapsed time, 0:01:51 cpu time, factor 3.26
ML timing:
0:00:14 elapsed time, 0:01:14 cpu time, factor 5.34
maximum heap:
3976 M
average heap:
3794 M
Isabelle version:
d21789843f01
AFP version:
4943a3cb91e3

Routing

data:
CSV
timing:
0:00:33 elapsed time, 0:01:16 cpu time, factor 2.30
ML timing:
0:00:12 elapsed time, 0:00:38 cpu time, factor 2.94
maximum heap:
3978 M
average heap:
3032 M
Isabelle version:
d21789843f01
AFP version:
6f2bc60575f8