Soundness Testing Problems

MIX Problems

GRP048-2 (Checker problem)
ALG008-1 ANA006-1 BOO008-3 CAT001-2 COL082-1 GEO078-4 HEN013-1 HWV038-1 
KRS005-1 KRS016-1 LAT058-1 LCL415-1 MGT019-2 MGT066-1 MSC008-1.010 NLP002-1
NLP259-1 NUM059-1 PLA030-1 PUZ001-3 RNG043-2 ROB029-1 SET226-6 SWC128-1
SWV020-1 SYN913-1 TOP001-1

FOF Problems

SYN067+1 (Checker problem)
GEO161+1 GRP394+3 GRP396+1 LCL354+1 MGT019+2 MGT031+1 MSC009+1 NLP002+1 
NLP213+1 PLA024+1 SET781+3 SWC423+1 SWV010+1 

SAT Problems

PUZ048-1 (Checker problem)
ANA004-2 BOO098-1 COL074-1 COM002-2 FLD098-4 GEO011-5 GRP035-3 HWV010-3 
LAT004-1 NLP257-1 RNG006-1 SWC144-1 SYN282-1 

EPR Problems

SYN489-1 (EPS checker problem)   SYN839-1 (EPT checker problem)
GRP124-3.005 GRP126-1.005 GRP127-2.006 GRP131-1.005 MGT066-1 PUZ037-3 
SYN466-1 SYN469-1 SYN507-1 SYN544-1 SYN864-1 SYN866-1 

UEQ Problems

BOO001-1 (Checker problem)
BOO037-2 COL069-1 GRP204-1 GRP394-3 GRP399-1 HWC004-1 LAT016-1 LAT055-2 
LCL165-1 RNG031-7 RNG043-1 ROB028-1 SYN305-1