Soundness Testing Problems


THF Problems

ALG001^5 NUM727^1 (Checker problems)
ALG248^2 KRS277^7 LCL582^1 LCL634^1 NUM803^5 PUZ105^5 PUZ123^5 SEV029^5
SEV322^5 SEV333^5 SEV344^5 SEV356^5 SEV368^5 SEV379^5 SWV433^1 SYN047^4
SYN988^1 SYO054^2 SYO071^4.002 SYO074^4.001 SYO150^5 SYO166^5 SYO284^5
SYO340^5 SYO452^4 SYO454^3 SYO459^3 SYO467^3 SYO471^5 SYO492^6

TFA Problems

ARI085=1 ARI197=1 (Checker problems)
ARI086=1 ARI126=1 ARI169=1 ARI575=2 DAT054=1 HWV048=2 NUM869=1 NUM886=1
SWV996=1 SWV999=1 SWW001=1 SWW019=1 SWW067=1 SWW074=1 SYO521=1

FOF Problems

GRA011+1 PUZ047+1 (Checker problems)
COM014+1 GEO214+3 GEO259+3 GRA013+1 GRA024+1 HAL003+1 KRS208+1 KRS230+1
KRS253+1 LCL637+1.020 LCL669+1.001 LCL683+1.015 MGT019+2 MGT031+1 NLP014+1
NLP033+1 NLP071+1 NLP113+1 NLP236+1 NUM365+1 NUM442+1 PLA026+1 SEU289+1
SWB016+3 SWB026+4 SWV484+1 SYN421+1 SYN449+1 SYN519+1 SYN538+1

FNT Problems

HAL003+1 MGT019+2 (Checker problems)
AGT001+1 CSR030+6 GEO205+1 GRP703+1 KLE138+1 LAT297+4 LCL531+1 MGT012+1
NUM853+1 REL046+1 SET978+1 SEU423+1 SWB027+2 SWC324+1 SYN361+1

EPT Problems

PUZ002-1 SYN171-1 (Checker problems)
GRP123-1.005 GRP126-2.005 GRP132-1.005 NLP118-1 SYN307-1 SYN437-1
SYN517-1 SYN538-1 SYN824-1 SYN864-1

EPS Problems

NLP118-1 SYN307-1 (Checker problems)
GEO079-1 GRP128-2.006 MSC008-1.002 PUZ002-1 SWV418-1.300 SWV421-1.365
SWV424-1.050 SYN109-1 SYN140-1 SYN171-1

UEQ Problems

BOO003-4 LAT014-1 (Checker problems)
ALG300-1 BOO019-1 BOO106-1 COL005-1 COL073-1 GRP204-1 GRP742-1 HWC004-1
LAT016-1 LDA016-1 LDA036-1 RNG025-9 RNG042-2 SYN305-1 SYN552-1