TSTP Solutions to: KLE090-10

View Problem

agsyHOL---1.0
IAP-Non
Beagle---0.9.47
TMO-Non
Bliksem---1.12
UNS-Ref
CiME---2.01
TMO-Non
cocATP---0.2.0
IAP-Non
Crossbow---0.1
IAP-Non
CSE---1.3
TMO-Non
CSE_E---1.2
UNS-CRf
CVC4---1.9
TMO-Non
CVC4---SAT-1.9
TMO-Non
Darwin---1.4.5
TMO-Non
DarwinFM---1.4.5
TMO-Non
Drodi---3.1
UNS-CRf
E---2.6
UNS-CRf
E-Darwin---1.5
TMO-Non
E---FNT-2.6
UNS-CRf
Enigma---0.5.1
IAP-Non
ePrincess---1.0
IAP-Non
EQP---0.9e
UNS-Ref
Equinox---6.0.1a
TMO-Non
ET---2.0
IAP-Non
Fampire---1.3
IAP-Non
Fiesta---2
UNS-CRf
Geo-III---2018C
TMO-Non
GKC---0.5.1
TMO-Non
GrAnDe---1.1
IAP-Non
HOLyHammer---0.21
IAP-Non
Infinox---1.0
FUN-Ass
iProver---3.5
UNS-CRf
iProverMo---2.5-0.1
GUP-Non
iProver---SAT-3.5
UNS-CRf
Isabelle---2016
UNS-Ass
Isabelle-HOT---2016
UNS-Ass
leanCoP---2.2
IAP-Non
LEO-II---1.7.0
UNS-CRf
Leo-III---1.5.6
UNS-Ref
Mace4---1109a
TMO-Non
MaedMax---1.3
UNS-CRf
Matita---1.0
UNS-CRf
Metis---2.4
UNS-CRf
Moca---0.1
UNK-Non
Muscadet---4.5
IAP-Non
nanoCoP---1.1
IAP-Non
Nitpick---2016
TMO-Non
Otter---3.3
UNS-Ref
Paradox---4.0
TMO-Non
Princess---170717
IAP-Non
Prover9---1109a
UNS-Ref
PyRes---1.3
TMO-Non
RPx---0.1
IAP-Non
Satallax---3.5
IAP-Non
Satallax-MaLeS---1.3
IAP-Non
SInE---0.4
IAP-Non
SNARK---20120808r022
UNS-Ref
SOS---2.0
UNK-Non
SPASS---3.9
UNS-Ref
SPASS+T---2.2.22
IAP-Non
SuperZenon---0.0.1
IAP-Non
Twee---2.3.1
UNS-CRf
Vampire---4.5.1
UNS-Ref
Vampire---SAT-4.5.1
TMO-Non
Waldmeister---710
UNS-CRf
Z3---4.8.9.0
TMO-Non
Zenon---0.7.1
IAP-Non
ZenonModulo---0.4.2
TMO-Non
Zipperpin---2.0
UNS-Ref