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

status date:
23-Aug-2019 20:26:08 +0200
build host:
lrzcloud1

Flyspeck-Tame-Computation

data:
CSV
timing:
6:58:02 elapsed time, 10:30:15 cpu time, factor 1.51
ML timing:
6:58:00 elapsed time, 10:36:15 cpu time, factor 1.52
stack maximum:
2 M
stack average:
2 M
heap maximum:
3000 M
heap average:
2997 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:59:34 elapsed time, 12:46:27 cpu time, factor 4.27
ML timing:
2:59:30 elapsed time, 16:01:22 cpu time, factor 5.36
code maximum:
131 M
code average:
30 M
stack maximum:
1025 M
stack average:
885 M
heap maximum:
29998 M
heap average:
26597 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

AODV

data:
CSV
timing:
2:54:21 elapsed time, 13:59:15 cpu time, factor 4.81
ML timing:
2:54:19 elapsed time, 14:40:16 cpu time, factor 5.05
stack maximum:
17 M
stack average:
15 M
heap maximum:
9007 M
heap average:
6151 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

ConcurrentGC

data:
CSV
timing:
1:06:32 elapsed time, 5:46:50 cpu time, factor 5.21
ML timing:
1:06:30 elapsed time, 6:08:33 cpu time, factor 5.54
stack maximum:
27 M
stack average:
15 M
heap maximum:
12728 M
heap average:
6703 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

JinjaThreads

data:
CSV
timing:
1:03:46 elapsed time, 4:19:04 cpu time, factor 4.06
ML timing:
1:03:42 elapsed time, 5:15:22 cpu time, factor 4.95
code maximum:
10 M
code average:
3 M
stack maximum:
220 M
stack average:
107 M
heap maximum:
29998 M
heap average:
25298 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Lorenz_C0

data:
CSV
timing:
0:13:23 elapsed time, 1:17:13 cpu time, factor 5.77
ML timing:
0:13:19 elapsed time, 1:17:54 cpu time, factor 5.85
stack maximum:
1 M
stack average:
1 M
heap maximum:
2999 M
heap average:
2996 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

HOL-ODE-Examples

data:
CSV
timing:
0:04:56 elapsed time, 0:17:58 cpu time, factor 3.64
ML timing:
0:04:52 elapsed time, 0:18:11 cpu time, factor 3.73
stack maximum:
11 M
stack average:
7 M
heap maximum:
2999 M
heap average:
2994 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73

Lorenz_C1

data:
CSV
timing:
0:00:05 elapsed time, 0:00:06 cpu time, factor 1.20
ML timing:
0:00:01 elapsed time
stack maximum:
1 M
stack average:
1 M
heap maximum:
142 M
heap average:
142 M
Isabelle version:
b85a12c2e2bf
AFP version:
aa28642efb73