#1100 (Sep 20, 2017, 3:59:13 PM)

1. metadata (detail / hgweb)
2. min-range approximations for all remaining floatarith-constants; formalization of Poincare map; numerics for variational equation and Poincare map; computation of enclosure for Lorenz attractor; verified algorithms for checking C1-information of Lorenz attractor (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 52 min build duration;
• 52 min total from scheduled to completion.