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

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

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 iALG039+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

EPT Problems

PUZ002-1 SYN171-1 (Checker problems)
GRP123-1.005 GRP123-2.005 GRP123-3.004 GRP123-8.004 GRP124-2.005 GRP124-3.005
GRP124-4.005 GRP124-7.005 GRP125-1.004 GRP125-2.004 GRP125-4.004 GRP126-2.005
GRP127-1.005 GRP127-2.005 GRP128-2.004 GRP128-3.004 GRP129-3.005 GRP129-4.005
GRP130-2.005 GRP131-1.005 GRP131-2.005 GRP133-2.004 GRP135-1.005 HWC004-1
HWV048-2 HWV054-1 HWV067-1 HWV070-1 HWV074-1 HWV076-1 HWV077-1 HWV082-1
HWV085-1 KRS285-1 KRS290-1 NLP005-1 NLP012-1 NLP023-1 NLP042-1 NLP114-1
NLP118-1 NLP123-1 NLP124-1 NLP126-1 NLP129-1 PLA034-1 PLA041-1 PLA045-1
PUZ028-2 PUZ053-1 SYN317-1 SYN420-1 SYN424-1 SYN425-1 SYN426-1 SYN427-1
SYN431-1 SYN435-1 SYN446-1 SYN449-1 SYN464-1 SYN493-1 SYN494-1 SYN513-1
SYN514-1 SYN515-1 SYN516-1 SYN520-1 SYN521-1 SYN522-1 SYN523-1 SYN524-1
SYN525-1 SYN529-1 SYN533-1 SYN534-1 SYN538-1 SYN539-1 SYN541-1 SYN544-1
SYN546-1 SYN547-1 SYN812-1 SYN814-1 SYN818-1 SYN821-1 SYN825-1 SYN828-1
SYN829-1 SYN831-1 SYN839-1 SYN851-1 SYN855-1 SYN863-1 SYN870-1 SYN872-1
SYO584-1 SYO593-1 SYO595-1 SYO603-1

EPS Problems

NLP118-1 SYN307-1 (Checker problems)
GEO079-1 GRP001-5 GRP123-1.003 GRP124-3.004 GRP124-4.004 GRP128-1.003
GRP128-3.005 GRP129-2.004 GRP129-3.004 GRP133-1.003 HWV039-1 HWV041-2
HWV047-1 HWV050-1 HWV061-1 HWV069-1 HWV083-1 HWV100-1 HWV110-1 HWV116-1
HWV121-1 HWV124-1 HWV132-1 HWV133-1 HWV134-1 LAT005-1 MGT013-1 MGT053-1
MSC007-1.008 MSC015-1.027 MSC015-1.030 PLA031-1.002 PLA031-1.019 PUZ003-1
PUZ010-1 PUZ028-5 PUZ030-1 PUZ037-2 PUZ056-2.022 PUZ056-2.025 SWV418-1.580
SWV418-1.820 SWV420-1.050 SWV421-1.060 SWV421-1.105 SWV421-1.505 SWV422-1.300
SWV422-1.305 SWV422-1.360 SWV422-1.405 SWV423-1.200 SWV424-1.350 SYN005-1.010
SYN047-1 SYN057-1 SYN095-1.002 SYN107-1 SYN116-1 SYN118-1 SYN119-1 SYN129-1
SYN137-1 SYN149-1 SYN152-1 SYN155-1 SYN163-1 SYN173-1 SYN174-1 SYN175-1
SYN189-1 SYN194-1 SYN196-1 SYN198-1 SYN203-1 SYN209-1 SYN210-1 SYN220-1
SYN250-1 SYN260-1 SYN270-1 SYN280-1 SYN298-1 SYN300-1 SYN447-1 SYN450-1
SYN461-1 SYN473-1 SYN483-1 SYN485-1 SYN500-1 SYN508-1 SYN724-1 SYN844-1
SYN849-1 SYN876-1 SYN886-1 SYN890-1 SYN898-1 SYN901-1 SYO597-1

UEQ Problems

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