#1550 (Sep 16, 2021, 12:50:08 AM)

1. provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche; (detail / hgweb)
2. obsolete; (detail / hgweb)
3. tuned; (detail / hgweb)
4. clarified name and options for old vampire-4.2.2; (detail / hgweb)
5. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 2 hr 7 min build duration;
• 2 hr 7 min total from scheduled to completion.