TSTP Solutions to: GEO643+1

View Problem

agsyHOL---1.0
IAP-Non
Beagle---0.9.51
TMO-Non
Bliksem---1.12
THM-Ref
cocATP---0.2.0
IAP-Non
ConnectPP---0.2.2
TMO-Non
ConnectPP---0.3.0
TMO-Non
Crossbow---0.1
IAP-Non
CSE---1.6
THM-CRf
CSE_E---1.5
THM-CRf
cvc5---1.0.5
TMO-Non
cvc5-SAT---1.0.5
THM-Ass
Darwin---1.4.5
THM-Ass
DarwinFM---1.4.5
TMO-Non
Drodi---3.5.1
THM-CRf
Duper---1.0
THM-Prf
E---3.1
THM-CRf
E-Darwin---1.5
THM-Ass
Enigma---0.5.1
THM-CRf
ePrincess---1.0
TMO-Non
EQP---0.9e
IAP-Non
Equinox---6.0.1a
TMO-Non
E-SAT---3.1
THM-CRf
ET---2.0
THM-CRf
Etableau---0.67
THM-CRf
Fampire---1.3
THM-Ass
Fiesta---2
IAP-Non
Geo-III---2018C
TMO-Non
GKC---0.8
THM-CRf
Goeland---1.0.0
TMO-Non
GrAnDe---1.1
IAP-Non
HOLyHammer---0.21
IAP-Non
Infinox---1.0
FTH-Ass
iProver---3.8
THM-CRf
iProverMo---2.5-0.1
TMO-Non
iProver-SAT---3.8
TMO-Non
Isabelle-HOT---2016
UNK-Non
Lash---1.13
IAP-Non
lazyCoP---0.1
TMO-Non
leanCoP---2.2
TMO-Non
LEO-II---1.7.0
TMO-Non
Leo-III---1.7.7
THM-Ref
Mace4---1109a
IAP-Non
MaedMax---1.4
IAP-Non
Matita---1.0
IAP-Non
Metis---2.4
TMO-Non
Moca---0.1
IAP-Non
Muscadet---4.5
TMO-Non
nanoCoP---2.0
TMO-Non
Nitpick---2016
IAP-Non
Otter---3.3
UNK-Non
Paradox---4.0
TMO-Non
Princess---230619
TMO-Non
Prover9---1109a
THM-Ref
PyRes---1.3
THM-Ref
RPx---1.0
TMO-Non
Satallax---3.5
IAP-Non
Satallax-MaLeS---1.3
IAP-Non
SATCoP---0.1
THM-Prf
SInE---0.4
UNK-Non
SnakeForV---1.0
THM-Ref
SnakeForV-SAT---1.0
THM-Ref
SNARK---20120808r022
THM-Ref
SOS---2.0
THM-Ref
SPASS---3.9
THM-Ref
SPASS+T---2.2.22
IAP-Non
SuperZenon---0.0.1
TMO-Non
Toma---0.4
IAP-Non
Twee---2.4.2
THM-Prf
Vampire---4.8
THM-Ref
Vampire-SAT---4.8
THM-Ref
Waldmeister---710
IAP-Non
Z3---4.8.9.0
TMO-Non
Zenon---0.7.1
TMO-Non
ZenonModulo---0.4.2
TMO-Non
Zipperpin---2.1.9999
TMO-Non