TSTP Solutions to: LCL073-1

View Problem
agsyHOL---1.0
IAP-Non		 Beagle---0.9.51
TMO-Non		 Bliksem---1.12
TMO-Non		 CARINE---0.734
TMO-Non		 CiME---2.01
IAP-Non
cocATP---0.2.0
IAP-Non		 ConnectPP---0.3.0
TMO-Non		 Crossbow---0.1
IAP-Non		 CSE---1.7
TMO-Non		 CSE_E---1.6
TMO-Non
cvc5---1.0.5
TMO-Non		 cvc5-SAT---1.0.5
TMO-Non		 Darwin---1.4.5
TMO-Non		 DarwinFM---1.4.5
TMO-Non		 DCTP---1.31
TMO-Non
Drodi---3.6.0
TMO-Non		 Duper---1.0
IAP-Non		 E---3.2.0
TMO-Non		 E-Darwin---1.5
TMO-Non		 Enigma---0.5.1
IAP-Non
ePrincess---1.0
IAP-Non		 EQP---0.9e
IAP-Non		 Equinox---6.0.1a
TMO-Non		 E-SAT---3.2.0
TMO-Non		 ET---2.0
IAP-Non
Etableau---0.67
UNK-Non		 Fampire---1.3
IAP-Non		 Faust---1.0
TMO-Non		 FDP---0.9.16
UNK-Non		 Fiesta---2
IAP-Non
Gandalf---c-2.6
UNK-Non		 Geo-III---2018C
TMO-Non		 GKC---0.8
TMO-Non		 Goeland---1.0.0
IAP-Non		 GrAnDe---1.1
IAP-Non
HOLyHammer---0.21
IAP-Non		 Infinox---1.0
UNK-Non		 iProver---3.9
TMO-Non		 iProver-Eq---0.85
TMO-Non		 iProverMo---2.5-0.1
TMO-Non
iProver-SAT---3.9
TMO-Non		 Isabelle---2016
TMO-Non		 Isabelle-HOT---2016
UNK-Non		 KSP---0.1.6
IAP-Non		 Lash---1.13
IAP-Non
lazyCoP---0.1
TMO-Non		 leanCoP---2.2
IAP-Non		 LEO-II---1.7.0
TMO-Non		 Leo-III---1.7.15
TMO-Non		 Leo-III-SAT---1.7.15
TMO-Non
Mace4---1109a
TMO-Non		 MaedMax---1.4
IAP-Non		 Matita---1.0
IAP-Non		 Metis---2.4
TMO-Non		 MleanCoP---1.3
IAP-Non
Moca---0.1
UNK-Non		 Muscadet---4.5
IAP-Non		 nanoCoP---2.0
IAP-Non		 nanoCoP-M---2.0
IAP-Non		 Nitpick---2016
TMO-Non
Otter---3.3
UNK-Non		 Paradox---4.0
TMO-Non		 Princess---230619
IAP-Non		 Prover9---1109a
TMO-Non		 PyRes---1.5
TMO-Non
Refute---2015
TMO-Non		 RPx---1.0
TMO-Non		 SaKo---3.9-0.5.3
IAP-Non		 Satallax---3.5
IAP-Non		 Satallax-MaLeS---1.3
IAP-Non
SATCoP---0.1
TMO-Non		 SETHEO---3.3
TMO-Non		 SInE---0.4
IAP-Non		 SnakeForV---1.0
TMO-Non		 SnakeForV-SAT---1.0
TMO-Non
SNARK---20120808r022
UNK-Non		 SOS---2.0
TMO-Non		 SPASS---3.9
TMO-Non		 SPASS+T---2.2.22
IAP-Non		 SRASS---0.1
IAP-Non
S-SETHEO---0.0
TMO-Non		 SuperZenon---0.0.1
IAP-Non		 Toma---0.4
IAP-Non		 TPS---3.120601S1b
IAP-Non		 Twee---2.5.0
TMO-Non
Vampire---4.9
TMO-Non		 Vampire-SAT---4.9
TMO-Non		 Waldmeister---710
IAP-Non		 Z3---4.8.9.0
TMO-Non		 Zenon---0.7.1
IAP-Non
ZenonModulo---0.5.0
TMO-Non		 Zipperpin---2.1.9999
TMO-Non