FLD054-4

CSE---1.7.TMO-Non.f CSE_E---1.7.UNS-CRf.s Darwin---1.4.5.UNS-Ass.s Drodi-SAT---4.1.1.UNS-Ass.s E---3.5.1.UNS-CRf.s E-SAT---3.5.1.UNS-CRf.s EQP---0.9e.IAP-Non.f Equinox---6.0.1a.UNS-Ass.s Etableau---0.67.UNS-CRf.s FDP---0.9.16.TMO-Non.f G4Plus---1.5.2.IAP-Non.f GKC---0.8.UNS-CRf.s Gandalf---c-2.6.UNS-Ass.s Nitpick---2016.IAP-Non.f Otter---3.3.UNS-Ref.s Prover9---2026-6A.UNS-CRf.s SATCoP---0.1.UNS-Prf.s SNARK---20120808r022.UNS-Ref.s SOS---2.0.TMO-Non.f SRASS---0.1.IAP-Non.f Vampire---5.0.1.UNS-Ref.s Zenon---0.7.1.IAP-Non.f Zipperpin---2.1.9999.TMO-Non.f cocATP---0.2.0.IAP-Non.f ePrincess---1.0.IAP-Non.f iProver---3.9.4.TMO-Non.f iProver-Eq---0.85.TMO-Non.f