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

status date:
22-Feb-2019 18:05:34 +0100
build host:
lrzcloud1

Flyspeck-Tame

data:
CSV
timing:
8:25:31 elapsed time, 12:50:02 cpu time, factor 1.52
ML timing:
8:25:30 elapsed time, 13:11:06 cpu time, factor 1.56
maximum heap:
7404 M
average heap:
3796 M
Isabelle version:
56d5bb8c102e
AFP version:
bc6ca24b0141

Flyspeck-Tame-Computation

data:
CSV
timing:
6:55:36 elapsed time, 10:23:40 cpu time, factor 1.50
ML timing:
6:55:34 elapsed time, 10:29:39 cpu time, factor 1.52
maximum heap:
3000 M
average heap:
2997 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Iptables_Semantics_Examples_Big

data:
CSV
timing:
2:47:48 elapsed time, 11:53:09 cpu time, factor 4.25
ML timing:
2:47:44 elapsed time, 15:00:58 cpu time, factor 5.37
maximum heap:
29998 M
average heap:
26087 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

ConcurrentGC

data:
CSV
timing:
2:32:03 elapsed time, 8:10:07 cpu time, factor 3.22
ML timing:
2:32:01 elapsed time, 8:35:41 cpu time, factor 3.39
maximum heap:
9488 M
average heap:
7399 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

AODV

data:
CSV
timing:
2:22:23 elapsed time, 11:38:03 cpu time, factor 4.90
ML timing:
2:22:21 elapsed time, 11:45:31 cpu time, factor 4.96
maximum heap:
6996 M
average heap:
5591 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

JinjaThreads

data:
CSV
timing:
0:56:57 elapsed time, 3:51:43 cpu time, factor 4.07
ML timing:
0:56:55 elapsed time, 4:44:19 cpu time, factor 5.00
maximum heap:
29999 M
average heap:
23862 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lorenz_C0

data:
CSV
timing:
0:12:18 elapsed time, 1:10:42 cpu time, factor 5.75
ML timing:
0:12:15 elapsed time, 1:11:23 cpu time, factor 5.82
maximum heap:
2999 M
average heap:
2996 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

HOL-ODE-Examples

data:
CSV
timing:
0:05:05 elapsed time, 0:17:26 cpu time, factor 3.43
ML timing:
0:05:02 elapsed time, 0:17:37 cpu time, factor 3.50
maximum heap:
2999 M
average heap:
2994 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725

Lorenz_C1

data:
CSV
timing:
0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50
ML timing:
0:00:01 elapsed time
maximum heap:
378 M
average heap:
378 M
Isabelle version:
3bfa28b3a5b2
AFP version:
54743b08b725