Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapted to timing on lxcisa0 with threads=8: (8:08:58 elapsed time, 47:18:51 cpu time, factor 5.81);
Changeset 8555:13b3e24a71b0 by wenzelm:
adapted to timing on lxcisa0 with threads=8: (8:08:58 elapsed time, 47:18:51 cpu time, factor 5.81);
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_C1.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/ROOT (diff)