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