Soundness Testing Problems

THF Problems

ALG001^5 NUM727^1 (Checker problems)
ALG248^2 ALG275^5 CSR141^3 CSR144^3 GEG004^1 LCL230^4 LCL596^1 LCL615^1 LCL743^5 NLP002^7
NLP006^7 NLP008^7 PUZ095^5 PUZ099^5 PUZ106^5 PUZ111^5 PUZ118^5 PUZ124^5 SEU471^1 SEU825^3
SEU966^5 SEV029^5 SEV173^5 SEV180^5 SEV304^5 SEV325^5 SEV330^5 SEV333^5 SEV335^5 SEV342^5
SEV343^5 SEV345^5 SEV360^5 SEV361^5 SEV363^5 SEV368^5 SEV370^5 SEV374^5 SEV379^5 SEV380^5
SWV426^1 SWV426^3 SWV428^1 SWV434^3 SYN001^4.003 SYN392^4 SYN393^4.003 SYN985^1 SYO043^2
SYO052^1 SYO054^1 SYO054^2 SYO055^1 SYO070^4.001 SYO071^4.002 SYO072^4.003 SYO074^4.001
SYO122^5 SYO137^5 SYO150^5 SYO151^5 SYO157^5 SYO166^5 SYO211^5 SYO279^5 SYO284^5 SYO318^5
SYO323^5 SYO328^5 SYO333^5 SYO452^5 SYO453^1 SYO453^6 SYO454^5 SYO456^3 SYO457^1 SYO459^1
SYO461^3 SYO461^6 SYO463^1 SYO463^4 SYO464^2 SYO465^1 SYO465^2 SYO465^3 SYO467^1 SYO467^2
SYO468^1 SYO468^4 SYO470^3 SYO471^3 SYO472^3 SYO473^2 SYO473^3 SYO474^2 SYO479^6 SYO489^6
SYO492^6 SYO511^1 SYO567^7

FOF Problems

GRA011+1 PUZ047+1 ALG230+4 GEO132+1 GEO213+3 GEO215+3 GRA017+1 GRA021+1 GRA023+1 GRA024+1
HAL003+2 KRS173+1 KRS206+1 KRS219+1 KRS220+1 KRS229+1 KRS231+1 KRS243+1 KRS244+1 KRS246+1
KRS253+1 LAT383+1 LCL569+1 LCL639+1.001 LCL643+1.001 LCL645+1.001 LCL647+1.020 LCL651+1.015
LCL653+1.001 LCL653+1.020 LCL657+1.001 LCL657+1.010 LCL661+1.005 LCL661+1.010 LCL661+1.015
LCL663+1.020 LCL667+1.001 LCL667+1.005 LCL669+1.010 LCL675+1.010 LCL675+1.015 LCL677+1.001
LCL679+1.020 LCL681+1.010 LCL685+1.015 LCL689+1.015 MGT031+1 MGT040+2 NLP002+1 NLP018+1
NLP025+1 NLP035+1 NLP037+1 NLP047+1 NLP057+1 NLP067+1 NLP077+1 NLP083+1 NLP102+1 NLP112+1
NLP125+1 NLP129+1 NLP153+1 NLP160+1 NLP164+1 NLP168+1 NLP175+1 NLP177+1 NLP196+1 NLP207+1
NLP218+1 NLP219+1 NLP223+1 NLP230+1 NLP240+1 NLP250+1 NUM351+1 NUM361+1 NUM364+1 NUM372+1
NUM374+1 NUM445+1 PLA024+1 PRO013+1 PRO013+3 SEV516+1 SWB013+3 SWB024+3 SWB025+3 SWB025+4
SWV129+1 SWV440+1 SWV483+1 SWV484+1 SYN342+1 SYN437+1 SYN493+1 SYN513+1 SYN520+1 SYN533+1
SYN535+1 SYN545+1

FNT Problems

HAL003+1 MGT019+2 (Checker problems)
AGT001+1 AGT014+2 ALG068+1 ALG200+1 ALG212+1 CAT029+3 CSR002+2 CSR004+2 CSR019+1 CSR041+5
CSR046+6 CSR060+2 CSR064+2 CSR071+6 CSR113+23 CSR115+8 CSR115+57 CSR115+78 CSR116+39 GEO086+1
GEO192+3 GEO240+3 GEO301+1 GEO488+1 GRP620+3 GRP624+4 GRP625+3 GRP632+2 GRP651+1 HWV039+1
ALG039+1 KLE008+1 KLE062+1 KLE073+1 KLE086+1 KLE160+1 LAT286+1 LAT313+1 LAT338+4 LAT358+2
LAT376+3 LCL483+1 LCL640+1.005 LCL682+1.010 MGT032+2 MGT059+1 MGT062+1 NUM403+1 NUM447+5
NUM508+1 NUM520+1 NUM588+3 NUM634+3 NUM846+2 PRO014+2 PUZ031+3 REL030+1 REL032+1 RNG077+1
RNG123+1 SCT134+1 SET060+1 SET620+3 SET630+3 SET690+4 SET699+4 SET924+1 SET969+1 SEU083+1
SEU126+2 SEU133+1 SEU152+2 SEU196+1 SEU197+2 SEU217+2 SEU331+2 SEU418+2 SEU421+2 SEU443+3
SWB044+1 SWB052+1 SWB064+1 SWC136+1 SWC230+1 SWC236+1 SWC335+1 SWC376+1 SWV054+1 SWV133+1
SWV220+1 SWV234+1 SWV374+1 SWV381+3 SWW255+1 SWW355+1 SYN036+1 SYN326+1 SYN986+1.006 TOP045+3
TOP046+2

UEQ Problems

BOO001-1 LAT089-1 (Checker problems)
ALG299-1 ALG300-1 ALG301-1 BOO019-1 BOO027-1 BOO030-1 BOO033-1 BOO036-1 BOO037-2 BOO077-1
BOO106-1 COL005-1 COL069-1 COL071-1 COL073-1 GRP207-1 GRP393-2 GRP394-3 GRP722-1 GRP735-1
GRP737-1 GRP739-1 GRP741-1 GRP742-1 GRP744-1 GRP773-1 HWC004-1 LAT016-1 LAT024-1 LAT025-1
KLE171-10 LAT047-1 LAT048-1 LAT049-1 LAT051-1 LAT052-1 LAT055-2 LAT060-1 LAT062-1 LAT063-1
LAT098-1 LAT100-1 LAT102-1 LAT104-1 LAT105-1 LAT106-1 LAT108-1 LAT109-1 LAT110-1 LAT112-1
LAT114-1 LAT116-1 LAT118-1 LAT120-1 LAT121-1 LAT122-1 LAT124-1 LAT126-1 LAT128-1 LAT129-1
LAT130-1 LAT132-1 LAT133-1 LAT134-1 LAT136-1 LAT137-1 LCL136-1 LCL165-1 LCL407-1 LCL407-2
LCL410-1 LCL905-1 LDA015-1 LDA017-1 LDA018-1 LDA021-1 LDA022-1 LDA023-1 LDA025-1 LDA026-1
LDA027-1 LDA029-1 LDA030-1 LDA033-1 LDA034-1 LDA035-1 LDA037-1 LDA038-1 LDA039-1 REL014-1
REL053-1 RNG025-8 RNG030-6 RNG030-7 RNG031-6 RNG032-6 RNG032-7 RNG042-2 RNG043-1 SWV918-10