Soundness Testing Problems

FOF Problems

PUZ047+1 (Checker problem)
CSR010+1 GEO158+1 GEO161+1 GRP394+3 GRP396+1 KRS018+1 KRS037+1 KRS044+1
KRS054+1 LCL354+1 MGT066+1 MSC009+1 MSC014+1 PLA029+2 PUZ065+1 PUZ070+1
SET784+1 SWV015+1 SWV017+1

CNF Problems

GRP004-2 (Checker problem)
ALG009-1 ANA006-1 BOO066-1 CAT019-5 COL082-1 GEO154-2 GRP026-2 GRP129-4.005
HWV034-1 KRS008-1 LCL168-1 MGT033-1 MSC008-1.010 NLP061-1 PLA030-1 PUZ001-3
PUZ053-1 SET229-6 SYN426-1

FNT Problems

SWV010+1 (Checker problem)
AGT003+2 ALG095+1 CSR017+1 GEO198+2 GRA007+1 LCL479+1 MED002+1 NUM291+1
SET014+3 SET669+3 SET770+4 SEU044+1 SEU291+1 SEU392+1 SWC176+1 SWC378+1
SWV178+1 SYN366+1 SYN503+1

SAT Problems

KRS016-1 (Checker problem)
ALG001-1 CAT012-3 COL104-1 FLD068-3 GRP004-2 GRP310-1 LAT213-1 LCL106-1
LCL249-3 LDA005-2 PLA009-1 SET011-1 SET160-6 SET854-2 SWC203-1 SWV009-1
SWV339-1 SYN184-1 SYN847-1

EPR Problems

GEO079-1 GEO079-1 GRP124-2.005 GRP127-4.005 GRP128-2.006 GRP133-2.004
KRS004-1 LAT267-2 MGT053-1 MGT066-1 MSC008-1.002 MSC008-1.010 NLP011-1
NLP126-1 PUZ030-1 PUZ053-1 SYN056-1 SYN109-1 SYN493-1 SYN816-1

UEQ Problems

LAT089-1 (Checker problem)
BOO036-1 COL071-1 GRP399-1 HWC004-1 LAT047-1 LAT053-1 LAT062-1 LAT102-1
LAT108-1 LAT114-1 LAT120-1 LAT126-1 LAT132-1 LCL136-1 LCL410-1 RNG032-6
RNG043-1 ROB028-1 SYN305-1