Isabelle build status for AFP bulky2, 64bit, 8 threads

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

Flyspeck-Tame-Computation

data:
CSV
timing:
4:22:48 elapsed time, 6:35:01 cpu time, factor 1.50
ML timing:
4:22:46 elapsed time, 6:41:44 cpu time, factor 1.53
stack maximum:
3 M
stack average:
3 M
heap maximum:
3000 M
heap average:
2998 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:07:32 elapsed time, 8:53:34 cpu time, factor 4.18
ML timing:
2:07:29 elapsed time, 12:09:55 cpu time, factor 5.73
code maximum:
153 M
code average:
33 M
stack maximum:
1283 M
stack average:
1095 M
heap maximum:
29998 M
heap average:
26371 M
Isabelle version:
5f6dea6a7a4c
AFP version:
02b9d0561118

AODV

data:
CSV
timing:
1:29:25 elapsed time, 8:11:36 cpu time, factor 5.50
ML timing:
1:29:23 elapsed time, 8:42:55 cpu time, factor 5.85
stack maximum:
26 M
stack average:
22 M
heap maximum:
9692 M
heap average:
5988 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

JinjaThreads

data:
CSV
timing:
0:43:54 elapsed time, 3:17:48 cpu time, factor 4.51
ML timing:
0:43:51 elapsed time, 4:09:44 cpu time, factor 5.69
code maximum:
10 M
code average:
3 M
stack maximum:
235 M
stack average:
125 M
heap maximum:
29999 M
heap average:
26082 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

ConcurrentGC

data:
CSV
timing:
0:30:45 elapsed time, 3:01:09 cpu time, factor 5.89
ML timing:
0:30:43 elapsed time, 3:15:21 cpu time, factor 6.36
stack maximum:
33 M
stack average:
19 M
heap maximum:
9694 M
heap average:
6102 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lorenz_C0

data:
CSV
timing:
0:06:19 elapsed time, 0:44:45 cpu time, factor 7.08
ML timing:
0:06:15 elapsed time, 0:45:44 cpu time, factor 7.30
stack maximum:
2 M
stack average:
2 M
heap maximum:
2999 M
heap average:
2972 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

HOL-ODE-Examples

data:
CSV
timing:
0:03:19 elapsed time, 0:11:28 cpu time, factor 3.46
ML timing:
0:03:17 elapsed time, 0:11:45 cpu time, factor 3.58
stack maximum:
12 M
stack average:
9 M
heap maximum:
2999 M
heap average:
2995 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118

Lorenz_C1

data:
CSV
timing:
0:00:04 elapsed time, 0:00:05 cpu time, factor 1.25
ML timing:
0:00:01 elapsed time
stack maximum:
2 M
stack average:
2 M
heap maximum:
452 M
heap average:
452 M
Isabelle version:
3ed399935d7c
AFP version:
02b9d0561118