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

TNT Problems

LCL634^1 PUZ115^5 (Checker problems)
AGT027^1 CSR123^1 GRA074^1 LCL867^1 NUM721^1 PUZ136^1 SET615^5 SEU502^1
SEU554^1 SEU658^1 SEU760^2 SEU933^5 SEV244^5 SWV435^3 SYO049^1 SYO170^5
SYO417^1 SYO501^1

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

CNF Problems

COL088-2 GRP004-2 (Checker problems)
ALG008-1 BOO061-1 GRP123-2.005 GRP132-2.005 LCL179-1 MGT040-1 NLP044-1
NLP225-1 PUZ016-2.004 SET781-3 SWV502-1.030 SWV552-1.004 SWW420-1 SWW467-1
SYN434-1 SYN767-1 SYN908-1 TOP019-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

UEQ Problems

COL043-1 LAT089-1 (Checker problems)
ALG299-1 BOO032-1 COL069-1 GRP399-1 GRP741-1 LAT016-1 LAT050-1 LAT101-1
LAT108-1 LAT115-1 LAT129-1 LAT136-1 LCL409-1 LDA020-1 LDA027-1 LDA034-1
REL014-1 RNG032-7

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