Soundness Testing Problems

THF Problems

ALG001^5 NUM727^1 (Checker problems)
ALG248^2 ALG269^4 ALG275^5 CSR141^3 CSR142^3 CSR144^3 GEG004^1 LCL181^4
LCL582^1 LCL599^1 LCL634^1 LCL869^1 NUM803^5 NUM805^5 NUM807^5 PUZ095^5
PUZ101^5 PUZ112^5 PUZ118^5 PUZ124^5 PUZ126^5 SEU824^3 SEV020^5 SEV334^5
SEV340^5 SEV364^5 SEV370^5 SEV376^5 SWV425^1 SWV431^1 SYN001^4.001 SYO051^1
SYO073^4.002 SYO074^4.004 SYO211^5 SYO461^5 SYO473^2 SYO511^1 

TFA Problems

ARI085=1 ARI197=1 (Checker problems)
TFA090=1 TFA094=1 TFA098=1 TFA141=1 TFA149=1 TFA200=1 TFA204=1 TFA218=1
TFA231=1 TFA250=1 TFA267=1 TFA296=1 TFA317=1

FOF Problems

GRA011+1 PUZ047+1 (Checker problems)
GRA011+1 PUZ047+1 COM014+1 CSR078+5 CSR095+4 CSR102+3 CSR106+3 GEO212+3
GEO260+3 GRA025+1 KRS198+1 KRS213+1 KRS227+1 KRS241+1 KRS253+1 LCL569+1
LCL639+1.010 LCL643+1.015 LCL647+1.020 LCL653+1.001 LCL657+1.005 LCL661+1.010
LCL665+1.015 LCL675+1.001 LCL679+1.005 LCL683+1.010 LCL687+1.015 MGT033+2
NLP003+1 NLP019+1 NLP030+1 NLP041+1 NLP052+1 NLP063+1 NLP074+1 NLP088+1
NLP111+1 NLP124+1 NLP135+1 NLP151+1 NLP162+1 NLP184+1 NLP195+1 NLP207+1
NLP230+1 NLP241+1 NLP254+1 NUM354+1 NUM365+1 NUM374+3 NUM447+1 PLA027+1
RNG107+1 SWV482+1 SYN420+1 SYN431+1 SYN513+1 SYN524+1 SYN535+1 SYN546+1

FNT Problems

HAL003+1 MGT019+2 (Checker problems)
AGT001+1 ALG089+1 ALG226+1 CSR022+1 CSR044+4 CSR086+5 CSR115+81 GEO172+3
GEO214+1 GEO281+1 GRP625+1 GRP660+3 KLE046+1 KLE153+1 LAT285+1 LAT350+3
LCL562+1 LCL678+1.015 NLP145+1 NUM502+3 NUM627+1 PRO016+4 REL040+3 RNG099+2
SET105+1 SET771+4 SET968+1 SEU168+2 SEU334+1 SWC036+1 SWC158+1 SWC400+1
SWV118+1 SWV367+1 SYN056+1 SYN439+1 SYN961+1 TOP046+2

CNF Problems

COL088-2 GRP004-2 (Checker problems)
COL088-2 GRP004-2 ALG008-1 ALG322-1 BOO059-1 GEO153-2 GRP027-2 GRP125-2.004
GRP130-2.005 GRP398-2 KRS016-1 LCL242-1 LCL413-1 NLP012-1 NLP032-1 NLP096-1
NLP116-1 NLP163-1 NLP183-1 NLP225-1 NLP245-1 PUZ015-1 PUZ068-1 SET778-1
SWV020-1 SWV499-1.030 SWV507-1.050 SWV522-1.040 SWV533-1.010 SWV548-1.007
SWV560-1.007 SYN078-1 SYN438-1 SYN517-1 SYN742-1 SYN787-1 SYN809-1 SYN832-1
SYN903-1 TOP010-1

EPR Problems

GEO079-1 GRP001-5 GRP123-1.003 LAT005-1 PUZ037-1 SWV421-1.500 SYN103-1
SYN154-1 SYN256-1 SYN506-1 GRP123-1.005 GRP130-3.004 NLP023-1 PUZ028-1
SYN426-1 SYN490-1 SYN524-1 SYN543-1 SYN827-1 SYN868-1

UEQ Problems

COL043-1 LAT089-1 (Checker problems)
ALG299-1 BOO019-1 BOO033-1 COL005-1 COL073-1 GRP394-3 GRP737-1 GRP741-1
GRP773-1 LAT024-1 LAT048-1 LAT052-1 LAT059-1 LAT063-1 LAT101-1 LAT105-1
LAT113-1 LAT117-1 LAT121-1 LAT125-1 LAT129-1 LAT133-1 LAT137-1 LCL407-1
LDA015-1 LDA019-1 LDA023-1 LDA027-1 LDA031-1 LDA035-1 LDA039-1 RNG030-6
RNG032-6 RNG042-2 RNG042-3 RNG043-1 ROB028-1 SYN305-1

LTB Problems

GRA011+1 PUZ047+1 (Checker problems)
GRA011+1 PUZ047+1 COM014+1 CSR078+5 CSR095+4 CSR102+3 CSR106+3 GEO212+3
GEO260+3 GRA025+1 KRS198+1 KRS213+1 KRS227+1 KRS241+1 KRS253+1 LCL569+1
LCL639+1.010 LCL643+1.015 LCL647+1.020 LCL653+1.001 LCL657+1.005 LCL661+1.010
LCL665+1.015 LCL675+1.001 LCL679+1.005 LCL683+1.010 LCL687+1.015 MGT033+2
NLP003+1 NLP019+1 NLP030+1 NLP041+1 NLP052+1 NLP063+1 NLP074+1 NLP088+1
NLP111+1 NLP124+1 NLP135+1 NLP151+1 NLP162+1 NLP184+1 NLP195+1 NLP207+1
NLP230+1 NLP241+1 NLP254+1 NUM354+1 NUM365+1 NUM374+3 NUM447+1 PLA027+1
RNG107+1 SWV482+1 SYN420+1 SYN431+1 SYN513+1 SYN524+1 SYN535+1 SYN546+1