RNG004-3

E---3.5.1.UNS-CRf.s E-SAT---3.5.1.UNS-CRf.s FDP---0.9.16.UNS-Ass.s FindProof---0.1.UNS-Prf.s GKC---0.8.UNS-CRf.s Isabelle---2016.UNS-Ass.s Isabelle-HOT---2016.UNS-Ass.s Otter---3.3.UNS-Ref.s S-SETHEO---0.0.UNS-Ass.s SATCoP---0.1.UNS-Prf.s SETHEO---3.3.UNS-Ass.s SNARK---20120808r022.UNS-Ref.s Vampire---5.0.1.UNS-Ref.s Vampire-SAT---5.0.1.UNS-Ref.s cvc5---1.3.4.UNS-Prf.s hopCoP---0.1.UNS-CRf.s