Isabelle build status for AFP bulky, 64bit, 6 threads
- status date:
- 22-Feb-2019 18:05:34 +0100
- build host:
- lrzcloud1
- Flyspeck-Tame (8:25:31 elapsed time, 12:50:02 cpu time, factor 1.52)
- Flyspeck-Tame-Computation (6:55:36 elapsed time, 10:23:40 cpu time, factor 1.50)
- Iptables_Semantics_Examples_Big (2:47:48 elapsed time, 11:53:09 cpu time, factor 4.25)
- ConcurrentGC (2:32:03 elapsed time, 8:10:07 cpu time, factor 3.22)
- AODV (2:22:23 elapsed time, 11:38:03 cpu time, factor 4.90)
- JinjaThreads (0:56:57 elapsed time, 3:51:43 cpu time, factor 4.07)
- Lorenz_C0 (0:12:18 elapsed time, 1:10:42 cpu time, factor 5.75)
- HOL-ODE-Examples (0:05:05 elapsed time, 0:17:26 cpu time, factor 3.43)
- Lorenz_C1 (0:00:04 elapsed time, 0:00:06 cpu time, factor 1.50)
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





