Isabelle build status for AFP bulky, 64bit, 6 threads

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

Flyspeck-Tame-Computation

data:
CSV
timing:
6:56:05 elapsed time, 10:25:48 cpu time, factor 1.50
ML timing:
6:56:03 elapsed time, 10:31:50 cpu time, factor 1.52
stack maximum:
3 M
stack average:
3 M
heap maximum:
3000 M
heap average:
2997 M
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7

AODV

data:
CSV
timing:
3:13:02 elapsed time, 14:33:00 cpu time, factor 4.52
ML timing:
3:13:00 elapsed time, 15:34:54 cpu time, factor 4.84
stack maximum:
19 M
stack average:
18 M
heap maximum:
7072 M
heap average:
5226 M
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7

Iptables_Semantics_Examples_Big

data:
CSV
timing:
3:06:41 elapsed time, 12:47:46 cpu time, factor 4.11
ML timing:
3:06:37 elapsed time, 16:04:45 cpu time, factor 5.17
code maximum:
190 M
code average:
31 M
stack maximum:
1026 M
stack average:
881 M
heap maximum:
29999 M
heap average:
26888 M
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7

ConcurrentGC

data:
CSV
timing:
1:03:41 elapsed time, 5:34:04 cpu time, factor 5.25
ML timing:
1:03:39 elapsed time, 5:55:14 cpu time, factor 5.58
stack maximum:
29 M
stack average:
16 M
heap maximum:
9233 M
heap average:
5520 M
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7

Lorenz_C0

data:
CSV
timing:
0:13:22 elapsed time, 1:17:00 cpu time, factor 5.76
ML timing:
0:13:18 elapsed time, 1:17:41 cpu time, factor 5.84
stack maximum:
2 M
stack average:
2 M
heap maximum:
2999 M
heap average:
2996 M
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7

HOL-ODE-Examples

data:
CSV
timing:
0:04:57 elapsed time, 0:17:43 cpu time, factor 3.58
ML timing:
0:04:53 elapsed time, 0:17:56 cpu time, factor 3.67
stack maximum:
11 M
stack average:
8 M
heap maximum:
2999 M
heap average:
2994 M
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7

Lorenz_C1

data:
CSV
timing:
0:00:05 elapsed time, 0:00:07 cpu time, factor 1.40
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
20 M
heap average:
20 M
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7

JinjaThreads

data:
CSV
timing:
0:00:00 elapsed time
ML timing:
0:00:00 elapsed time
Isabelle version:
c5232e6fb10b
AFP version:
e783400723b7