Soundness Testing Problems

THF Problems

ALG001^5 NUM727^1 (Checker problems)
LCL596^1 SYO151^5 SYO279^5 SEV345^5 SEV343^5 SYO284^5 SYO052^1 LCL743^5
SEV363^5 SEV333^5 CSR141^3 SYO467^1 SEV180^5 SEV361^5 SYO043^2 SYO461^6
SEV370^5 SEV335^5 SEV029^5 SEV379^5 ALG275^5 PUZ106^5 SYO463^1 SYO328^5
SYO055^1 SYO318^5 PUZ099^5 SYO567^7 SYO054^2 SYO465^1 SYO457^1 SYN985^1
SYO333^5 SYO489^6 SWV426^3 SYO468^4 SYO137^5 SYO463^4 NLP006^7 SYO473^3
SYO452^5 SYO465^3 SYO072^4.003 SYN393^4.003 NLP008^7 CSR144^3 SYO456^3
SWV426^1 SYO465^2 SEU825^3

THN Problems

CSR141^3 SEV350^5 (Checker problems)
SYO008^1 SEU771^2 SYO255^5 SYO189^5 SEU936^5 NUM726^1 SYN989^1 SEU467^1
SYO359^5 LCL862^1 CSR128^1 ALG286^5 GEG015^1 SET591^5 QUA002^1 SYO437^1
CSR142^2 SEU876^5 SYO457^4 SEU533^1 SEV229^5 SEU550^1 SEU549^2 SEV241^5
LCL720^1 SYO455^5 SEU521^1 SYO299^5 SEU679^1 SEU669^1 SEU771^1 SEV221^5
SEU735^1 SEV300^5 SWV444^1 PUZ086^1 CSR130^2 SEV000^5 SYO441^1 SYO376^5
SEV128^5 ALG258^1 SEU481^1 SYO222^5 SEU558^1 SEU701^1 SEU916^5 SEV143^5
SEU877^5 SEU645^1

TFA Problems

ARI085=1 ARI197=1 (Checker problems)
NUM897=1 NUM884=1 NUM874=1 NUM881=1 NUM899=1 NUM887=1 NUM896=1 ARI169=1
NUM883=1 NUM872=1 ARI170=1 ARI086=1 ARI533=1 ARI125=1 NUM888=1 ARI168=1
NUM898=1 ARI171=1 ARI534=1 NUM871=1 ARI087=1 ARI525=1 ARI126=1 NUM879=1
NUM886=1 NUM880=1 NUM885=1 ARI127=1 SYO521=1 ARI600=1 ARI536=3 SWW028=1
SWW036=1 SWW001=1 SWW019=1 SWV996=1 SWW074=1 HWV048=2 DAT054=1 SWW085=1
SWW016=1 SWW009=1 SWW078=1 SWW067=1 HWV042=1 SWW045=1 SWW062=1 HWV049=1
SWW027=1 SWW007=1

TFN Problems

ARI086=1 NUM874=1 (Checker problems)
ARI059=1 ARI352=1 ARI371=1 ARI217=1 DAT046=1 ARI042=1 DAT083=1 ARI131=1
ARI348=1 ARI012=1 NUM894=1 ARI013=1 DAT034=1 ARI187=1 DAT033=1 ARI209=1
ARI002=1 ARI128=1 DAT036=1 ARI312=1 ARI297=1 NUM911=1 DAT038=1 SWW626=2
ARI565=1 ARI462=1 NUM903=1 ARI279=1 ARI268=1 ARI594=1 SWW031=1 SWW025=1
SWW057=1 ARI310=1 MSC022=2 SWW024=1 SWW041=1 DAT042=1 DAT086=1 SWW639=2
ARI597=1 SWW636=2 SWW622=2 HWV040=1 HWV123=1 SWW579=2 HWV107=1 HWV039=2
HWV120=1 SWW669=2

FOF Problems

GRA011+1 PUZ047+1 (Checker problems)
LCL679+1.020 SYN535+1 NLP129+1 LCL645+1.001 NLP160+1 LCL661+1.005
SYN437+1 SYN545+1 NLP223+1 SWB025+4 NLP037+1 SYN533+1 GRA023+1 NLP218+1
SYN493+1 SYN520+1 LCL677+1.001 GEO213+3 NLP018+1 MGT040+2 LCL661+1.010
NLP168+1 LCL667+1.001 NLP125+1 NLP083+1 LCL653+1.001 NLP177+1 SYN513+1
GRA021+1 GRA017+1 LCL663+1.020 GRA024+1 PRO013+3 SWV483+1 LCL669+1.010
LCL653+1.020 SWV484+1 SWB024+3 LCL657+1.010 KRS253+1 KRS243+1 KRS229+1
KRS220+1 GEO132+1 KRS244+1 LCL647+1.020 NUM364+1 SWV129+1 LCL675+1.015
NUM374+1

FNT Problems

HAL003+1 MGT019+2 (Checker problems)
ALG039+1 ALG200+1 HWV039+1 GEO240+3 NUM634+3 MGT059+1 SET924+1 PUZ031+3
MGT032+2 CSR004+2 SET630+3 SWV054+1 NUM520+1 CSR064+2 SET620+3 SWV220+1
SYN326+1 SEU126+2 SEU133+1 SEU217+2 CSR115+78 AGT014+2 LAT313+1 KLE086+1
CSR115+8 RNG123+1 CSR002+2 NUM508+1 CSR116+39 SET699+4 SWV374+1 KLE062+1
NUM447+5 SWC230+1 SWB064+1 SCT134+1 SWC376+1 SEU197+2 CSR071+6 CSR046+6
GRP632+2 SET969+1 GRP620+3 LAT376+3 SEU421+2 GRP625+3 REL032+1 SWV381+3
SWB052+1 LAT358+2

EPT Problems

NLP118-1 SYN307-1 (Checker problems)
GRP135-1.005 SYN521-1 SYN541-1 SYN446-1 NLP042-1 GRP125-1.004 HWV076-1
GRP126-2.005 GRP129-4.005 GRP124-4.005 GRP131-1.005 GRP125-2.004 GRP124-3.005
GRP130-2.005 SYN522-1 SYN538-1 GRP127-2.005 SYN525-1 GRP123-1.005 SYN515-1
GRP124-2.005 GRP128-2.004 NLP114-1 SYN534-1 SYN493-1 SYN523-1 NLP126-1
NLP124-1 NLP012-1 SYN426-1 SYN520-1 SYN546-1 SYN425-1 SYN547-1 SYN872-1
HWV067-1 SYN427-1 SYN514-1 HWV077-1 SYN513-1 SYN828-1 SYN829-1 SYN863-1
SYN821-1 PLA034-1 SYN812-1 KRS290-1 PLA041-1 HWV085-1 SYO603-1

EPS Problems

PUZ002-1 SYN171-1 (Checker problems)
GRP129-3.004 HWV047-1 SYN196-1 SYN300-1 SYN500-1 SYN116-1 GRP128-1.003
SYN203-1 GRP124-3.004 SWV424-1.350 GRP128-3.005 SYN485-1 SYN298-1
SYN450-1 SYN149-1 PUZ028-5 MSC007-1.008 HWV039-1 PUZ010-1 HWV069-1
SYN189-1 SWV421-1.060 SYN047-1 SYN137-1 MGT013-1 SYN194-1 SYN173-1
SYN119-1 SYN129-1 SYN508-1 SYN209-1 SYN175-1 SYN155-1 SYN890-1 SYN849-1
PUZ037-2 SYN901-1 SWV422-1.360 SWV422-1.300 SWV421-1.505 SWV418-1.820
SWV422-1.305 SWV420-1.050 HWV124-1 HWV083-1 HWV116-1 PUZ056-2.022 HWV134-1
MSC015-1.030 HWV133-1