Started 13 days ago
Took 13 hr

Success Build #49 (Apr 25, 2021 12:14:00 AM)

Build Artifacts
dump.zip728.84 MB view
Changes
  1. collecting more lemmas concerning multisets (detail)
Changes
  1. collecting more lemmas concerning multisets (detail)

Started by timer

This run spent:

  • 49 ms waiting;
  • 13 hr build duration;
  • 13 hr total from scheduled to completion.
Revision: 5c4a09c4bc9c48f7fd7d6ff825ffa9e906b2a5d0
Revision: 28fe4ca859cdb506e2203e570460daa181b3958c