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
TFA Problems
ARI085_1 ARI197_1 (Checker problems)
ARI086_1 ARI087_1 ARI088_1 ARI125_1 ARI126_1 ARI127_1 ARI168_1 ARI169_1 ARI170_1 ARI171_1 ARI525_1
ARI533_1 ARI534_1 ARI536_3 ARI536_4 ARI575_2 ARI575_3 ARI579_1 ARI600_1 ARI625_2 ARI644_1 ARI665_1
DAT054_1 HWV042_1 HWV042_2 HWV048_1 HWV048_2 HWV049_1 HWV049_2 NUM868_1 NUM869_1 NUM870_1 NUM871_1
NUM872_1 NUM873_1 NUM874_1 NUM875_1 NUM879_1 NUM880_1 NUM881_1 NUM882_1 NUM883_1 NUM884_1 NUM885_1
NUM886_1 NUM887_1 NUM888_1 NUM896_1 NUM897_1 NUM898_1 NUM899_1 NUM927_2 SEV423_1 SEV426_1 SWV996_1
SWV999_1 SWW001_1 SWW007_1 SWW009_1 SWW016_1 SWW019_1 SWW027_1 SWW028_1 SWW034_1 SWW036_1 SWW044_1
SWW053_1 SWW062_1 SWW067_1 SWW074_1 SWW078_1 SWW085_1 SWW086_1 SWW740_1 SYO521_1
TFN Problems
COM001_10 DAT335_2 (Checker problems)
COM001_1 COM002_1 COM002_2 COM003_1 DAT333_3 DAT334_19 DAT334_23 DAT334_8 GEO001_1 HWV039_1
HWV050_1 HWV099_1 HWV115_1 HWV131_1 ITP001_1 ITP005_1 ITP009_5 ITP013_5 ITP018_5 ITP022_5 ITP211_1
ITP228_1 ITP244_1 ITP260_1 ITP277_1 ITP293_1 ITP365_1 ITP377_1 ITP386_1 ITP397_1 LCL942_2
LCL947_10 LCL953_8 LCL954_19 LCL962_16 NLP265_17 NLP266_4 NLP267_1 NLP267_17 NLP267_2 NLP267_4
NUM923_1 NUM923_2 NUM924_3 NUM926_1 NUM926_4 PLA053_2 PLA053_4 PLA053_5 PLA054_4 PUZ012_1 PUZ031_1
PUZ130_1 PUZ134_1 PUZ134_2 PUZ135_2 PUZ149_13 SCT169_1 SCT169_3 SCT170_1 SCT170_3 SCT171_2
SWW469_1 SWW470_1 SWW471_3 SWW475_3 SWW477_2 SWW478_3 SYN000_1 SYO886_3 SYO889_16 SYO892_15
SYO895_9 SYO899_8 SYO902_8
FOF Problems
GRA011+1 PUZ047+1 (Checker problems)
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
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 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