#1002 (Mar 21, 2024, 11:27:08 AM)

1. redefined wfP as an abbreviation for "wfp_on UNIV" (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 4 hr 48 min build duration;
• 4 hr 48 min total from scheduled to completion.

• MiniSail
• Polynomials
• Quantifier_Elimination_Hybrid
• Linear_Recurrences
• Goedel_HFSet_Semanticless
• Simple_Clause_Learning
• Incompleteness
• Real_Impl
• Factor_Algebraic_Polynomial
• Symmetric_Polynomials
• CakeML
• Schwartz_Zippel
• Fishburn_Impossibility
• Robinson_Arithmetic
• Fishers_Inequality
• Resolution_FOL
• Groebner_Bases
• Clean
• Launchbury
• Automatic_Refinement
• Virtual_Substitution
• Propositional_Logic_Class
• Nominal2
• Goedel_HFSet_Semantic