Soundness Testing Problems

MIX Problems

ALG008-1 ANA006-1 BOO037-1 CAT001-2 COL082-1 GEO154-2 GRP392-1 HEN013-1
HWV034-1 KRS005-1 LAT055-1 LCL142-1 MGT019-2 MSC008-1.010 NLP100-1 NUM286-1
PLA029-1 PUZ016-2.004 RNG042-1 ROB012-1 SET777-1 SWC128-1 SWV010-1 SYN036-2
TOP001-1

UEQ Problems

BOO019-1 BOO037-3 COL005-1 COL073-1 GRP204-1 GRP399-1 HWC004-1 HWC004-2
LAT016-1 LAT063-1 LCL136-1 LCL410-1 RNG025-8 RNG043-1 ROB028-1 SYN305-1

SAT Problems

ALG001-1 ANA001-1 BOO003-2 CAT009-4 FLD033-3 GEO138-1 GRA001-1 GRP061-1
HEN009-4 HWC003-2 KRS004-1 LAT041-1 LCL013-1 LDA008-1 MGT054-1 MSC002-2
NLP214-1 PLA016-1 PUZ015-2.006 ROB004-1 ROB018-1 SET009-1 SWC119-1 
SYN002-1.007.008 TOP002-2

FOF Problems

GEO158+1 GRP394+3 LCL354+1 MGT019+2 MGT033+1 MSC009+1 NLP002+1 NLP060+1
NLP200+1 PLA024+1 SET781+3 SWC423+1 SWV010+1 SYN316+1 SYN513+1 SYN725+1

EPR Problems

SYN483-1 PUZ037-3 PUZ010-1 SYN833-1 SYN857-1 PUZ017-1 GRP128-3.005 PUZ037-2
SYN429-1 SYN832-1 MGT066-1 GRP134-2.005 SYN307-1 SYN817-1 GRP127-4.005 SYN434-1