Soundness Testing Problems

FOF Problems

GRA011+1 PUZ047+1 (Checker problems)
COM014+1 CSR078+5 CSR095+5 CSR102+5 CSR106+5 GEO214+3 GRA016+1 HAL005+1
KRS207+1 KRS222+1 KRS237+1 KRS249+1 LAT386+1 LCL639+1.005 LCL643+1.015
LCL649+1.001 LCL653+1.010 LCL657+1.020 LCL663+1.005 LCL667+1.015 LCL673+1.001
LCL677+1.010 LCL681+1.020 LCL687+1.005 MGT033+1 NLP003+1 NLP020+1 NLP032+1
NLP044+1 NLP056+1 NLP068+1 NLP083+1 NLP096+1 NLP108+1 NLP121+1 NLP134+1
NLP151+1 NLP163+1 NLP175+1 NLP187+1 NLP199+1 NLP213+1 NLP225+1 NLP237+1
NLP249+1 NUM352+1 NUM364+1 NUM374+3 PLA025+1 PRO013+4 SWV482+1 SYN329+1
SYN422+1 SYN434+1 SYN491+1 SYN518+1 SYN530+1 SYN542+1

FNT Problems

HAL003+1 MGT019+2 (Checker problems)
AGT001+1 ALG234+1 CSR050+5 GEO088+1 GEO263+3 KLE027+1 KRS268+1 LAT351+3
LCL638+1.020 NUM318+1 NUM528+1 PRO016+3 RNG113+1 SET691+4 SEU428+3 SWC168+1
SWV411+1 SYN721+1 

CNF Problems

COL088-2 GRP004-2 (Checker problems)
ALG008-1 CAT020-3 GRP024-4 GRP124-2.005 GRP128-2.004 GRP135-2.005 HWV038-1
LCL184-1 LCL291-3 MGT066-1 NLP024-1 NLP044-1 NLP064-1 NLP087-1 NLP155-1
NLP175-1 NLP217-1 NLP237-1 NUM286-1 PUZ048-1 SET226-6 SWV021-1 SWV499-1.040
SWV508-1.030 SWV522-1.050 SWV534-1.004 SWV548-1.010 SWV560-1.010 SYN309-1
SYN424-1 SYN464-1 SYN544-1 SYN773-1 SYN794-1 SYN817-1 SYN851-1 SYN910-1
TOP017-1

SAT Problems

BOO056-1 KRS016-1 (Checker problems)
ALG001-1 COL004-3 FLD025-2 GEO084-1 GRP156-1 GRP372-1 GRP684-1 LAT077-1 
LCL069-1 LCL264-3 MGT057-1 REL011-2 SET031-4 SET513-6 SWC161-1 SWV421-1.305 
SYN146-1 SYN565-1

EPR Problems

GEO079-1 GRP135-1.002 PUZ030-1 SWV421-1.365 SYN061-1 SYN147-1 SYN197-1
SYN297-1 SYN487-1 SYN876-1 GRP123-1.005 GRP126-1.005 GRP131-1.005 NLP114-1
PUZ052-1 SYN431-1 SYN496-1 SYN531-1 SYN814-1 SYN840-1

UEQ Problems

NLP001-1 GEO079-1 (Checker problems)
BOO019-1 BOO037-2 COL073-1 GRP735-1 GRP742-1 LAT024-1 LAT050-1 LAT059-1
LAT099-1 LAT105-1 LAT111-1 LAT117-1 LAT123-1 LAT129-1 LAT135-1 LCL407-1
RNG030-6 RNG042-2

LTB Problems

GRA011+1 PUZ047+1 (Checker problems)
COM014+1 CSR078+5 CSR095+5 CSR102+5 CSR106+5 GEO214+3 GRA016+1 HAL005+1
KRS207+1 KRS222+1 KRS237+1 KRS249+1 LAT386+1 LCL639+1.005 LCL643+1.015
LCL649+1.001 LCL653+1.010 LCL657+1.020 LCL663+1.005 LCL667+1.015 LCL673+1.001
LCL677+1.010 LCL681+1.020 LCL687+1.005 MGT033+1 NLP003+1 NLP020+1 NLP032+1
NLP044+1 NLP056+1 NLP068+1 NLP083+1 NLP096+1 NLP108+1 NLP121+1 NLP134+1
NLP151+1 NLP163+1 NLP175+1 NLP187+1 NLP199+1 NLP213+1 NLP225+1 NLP237+1
NLP249+1 NUM352+1 NUM364+1 NUM374+3 PLA025+1 PRO013+4 SWV482+1 SYN329+1
SYN422+1 SYN434+1 SYN491+1 SYN518+1 SYN530+1 SYN542+1