#1703 (May 28, 2022, 1:35:48 AM)

1. added predicate totalp_on and abbreviation totalp (detail / hgweb)
2. excluded dummy ATPs from Sledgehammer's default provers (detail / hgweb)

Started by an SCM change

This run spent:

• 45 min waiting;
• 1 hr 36 min build duration;
• 2 hr 22 min total from scheduled to completion.