Soundness Testing Problems

MIX Problems

ALG009-1 BOO058-1 CAT020-1 GRP025-3 HEN013-2 HWV038-1 KRS016-1 LAT056-1
LCL338-3 MSC008-1.010 NLP174-1 NUM286-3 PLA029-1 RNG043-2 ROB015-1 SET781-2
SWV017-1 SYN429-1 TOP015-1
GRP004-2 (Checker problem)

FOF Problems

GEO158+1 GEO161+1 GRP394+3 GRP396+1 KRS020+1 KRS041+1 KRS062+1 LCL354+1
MGT066+1 MSC009+1 PLA029+2 SET781+3 SET784+1 SET785+1 SWC423+1 SWV012+1
SWV013+1 SWV015+1 SWV017+1
PUZ047+1 (Checker problem)

SAT Problems

ALG004-1 BOO016-1 CAT011-1 COL003-1 COM003-1 GRA001-1 GRP615-1 HEN009-6
HWC003-1 HWV030-1 LAT257-1 LCL386-1 MGT061-1 NLP251-1 NUM263-2 PUZ022-1
RNG028-8 ROB021-1 SET287-6
KRS016-1 (Checker problem)

EPR Problems

GRP127-3.005 GRP135-2.005 MGT066-1 MSC008-1.010 NLP124-1 PUZ001-3 PUZ052-1 
SYN426-1 SYN494-1
GEO079-1 (Checker problem)
GEO079-1 KRS004-1 LAT005-2 MGT053-1 MSC008-1.002 NLP117-1 SET043-5
SWV001-1 SYN103-1
SYN056-1 (Checker problem)

UEQ Problems

BOO019-1 BOO037-2 COL047-1 COL073-1 GRP207-1 GRP399-1 HWC004-1 HWC004-2
LAT054-1 LAT127-1 LCL136-1 LCL407-2 LCL409-1 LCL410-1 RNG025-8 RNG031-6
RNG043-1 ROB028-1 SYN305-1
LAT089-1 (Checker problem)