TSTP Solutions to: KRS053+1

View Problem

agsyHOL---1.0
IAP-Non
Beagle---0.9.47
SAT-Ass
Bliksem---1.12
SAT-Sat
CARINE---0.734
IAP-Non
CiME---2.01
IAP-Non
cocATP---0.2.0
IAP-Non
Crossbow---0.1
SAT-FMo
CSE---1.5
TMO-Non
CSE_E---1.4
UNK-Non
cvc5---1.0
UNK-Non
cvc5-SAT---1.0
SAT-FMo
Darwin---1.4.5
SAT-Mod
DarwinFM---1.4.5
SAT-FMo
DCTP---1.31
IAP-Non
Drodi---3.3.3
SAT-Ass
E---3.0
SAT-Sat
E-Darwin---1.5
SAT-Mod
Enigma---0.5.1
SAT-Sat
ePrincess---1.0
UNK-Non
EQP---0.9e
IAP-Non
Equinox---6.0.1a
SAT-Ass
E-SAT---3.0
SAT-Sat
ET---2.0
UNK-Non
Etableau---0.67
UNK-Non
Fampire---1.3
SAT-Ass
Faust---1.0
UNK-Non
FDP---0.9.16
IAP-Non
Fiesta---2
IAP-Non
Gandalf---c-2.6
IAP-Non
Geo-III---2018C
SAT-Mod
GKC---0.7
UNK-Non
Goeland---1.0.0
TMO-Non
GrAnDe---1.1
SAT-Ass
HOLyHammer---0.21
IAP-Non
Infinox---1.0
UNK-Non
iProver---3.6
SAT-Sat
iProver-Eq---0.85
SAT-Ass
iProverMo---2.5-0.1
UNK-Non
iProver-SAT---3.6
SAT-Sat
Isabelle---2016
TMO-Non
Isabelle-HOT---2016
UNK-Non
Lash---1.12
IAP-Non
lazyCoP---0.1
UNK-Non
leanCoP---2.2
SAT-Ass
LEO-II---1.7.0
SAT-Ass
Leo-III---1.7.0
UNK-Non
Mace4---1109a
SAT-FMo
MaedMax---1.4
IAP-Non
Matita---1.0
IAP-Non
Metis---2.4
SAT-Sat
Moca---0.1
IAP-Non
Muscadet---4.5
TMO-Non
nanoCoP---1.1
SAT-Ass
Nitpick---2016
SAT-FMo
Otter---3.3
UNK-Non
Paradox---4.0
SAT-FMo
Princess---170717
TMO-Non
Prover9---1109a
UNK-Non
PyRes---1.3
SAT-Sat
Refute---2015
TMO-Non
RPx---1.0
SAT-Ass
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
IAP-Non
SInE---0.4
UNK-Non
SnakeForV---1.0
SAT-Sat
SnakeForV-SAT---1.0
SAT-Sat
SNARK---20120808r022
UNK-Non
SOS---2.0
UNK-Non
SPASS---3.9
SAT-Sat
SPASS+T---2.2.22
IAP-Non
SRASS---0.1
UNK-Non
S-SETHEO---0.0
IAP-Non
SuperZenon---0.0.1
UNK-Non
Toma---0.2
IAP-Non
TPS---3.120601S1b
IAP-Non
Twee---2.4.1
SAT-Mod
Vampire---4.7
SAT-Sat
Vampire-SAT---4.7
SAT-Sat
Waldmeister---710
IAP-Non
Z3---4.8.9.0
SAT-Mod
Zenon---0.7.1
UNK-Non
ZenonModulo---0.4.2
UNK-Non
Zipperpin---2.1.999
UNK-Non