Soundness Testing Problems

THF Problems

ALG001^5 NUM727^1 (Checker problems)
ALG248^2 LCL582^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 ARI169=1 ARI575=2 NUM869=1 NUM886=1 SWV996=1 SWW027=1 SWW067=1

FOF Problems

GRA011+1 PUZ047+1 (Checker problems)
COM014+1 CSR095+1 CSR105+2 GEO214+3 GRA024+1 KRS208+1 KRS230+1 KRS253+1
LCL637+1.020 LCL669+1.001 LCL683+1.015 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 ALG213+1 CSR030+6 CSR115+98 GEO205+1 GRP703+1 KLE138+1 LAT297+4
LCL531+1 MGT012+1 NUM853+1 REL046+1 SET978+1 SEU423+1 SWB027+2 SWC324+1
SWW278+1 SYN361+1

EPR 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 GRP123-1.005 GRP126-2.005
GRP132-1.005 NLP118-1 SYN307-1 SYN437-1 SYN517-1 SYN538-1 SYN824-1 SYN864-1

MZR@Turing and LTB Problems

GRA011+1 PUZ047+1 (Checker problems)
COM014+1 CSR095+1 CSR105+2 GEO214+3 GRA024+1 KRS208+1 KRS230+1 KRS253+1
LCL637+1.020 LCL669+1.001 LCL683+1.015 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