SYO691-1.002

Darwin---1.4.5.UNS-Ass.s Drodi-SAT---4.1.1.UNS-Ass.s Etableau---0.67.UNS-CRf.s GKC---0.8.UNS-CRf.s Metis---2.4.UNS-CRf.s Vampire---5.0.1.UNS-Ref.s Vampire-SAT---5.0.1.UNS-Ref.s hopCoP---0.1.UNS-CRf.s