Started 1 mo 1 day ago
Took 3 hr 35 min on workermta1

Build #733 (Sep 2, 2022, 5:10:27 PM)

Changes
  1. added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number (detail / hgweb)
  2. Merge (detail / hgweb)
  3. Three new theorems about real polynomial functions (detail / hgweb)

Started by an SCM change (2 times)

This run spent:

  • 3 hr 15 min waiting;
  • 3 hr 35 min build duration;
  • 6 hr 50 min total from scheduled to completion.
Revision: 2df3c46430752e49742f9574095cd7233117c1a5
Failed entries: