Soundness Testing Problems


MIX Problems

SYN073-1 (Checker problem)
ALG008-1 ANA006-1 BOO058-1 CAT015-3 GEO078-6 GRP129-3.005 GRP026-2
HEN013-2 HWV035-2 KRS007-1 LCL078-1 NLP255-1 NUM286-1 PLA030-1 PUZ001-3
RNG043-2 ROB015-1 SWV020-1 TOP008-1

FOF Problems

ALG023+1 MGT013+1 (Checker problems)
ALG152+1 GEO159+1 LCL354+1 MGT019+2 MGT034+1 MSC009+1 NLP002+1 NLP220+1
PLA025+1 PLA029+2 SET781+3 SET785+1 SWC423+1 SWV017+1 SWV018+1 SYN316+1
SYN537+1 SYN547+1

SAT Problems

KRS005-1 (Checker problem)
BOO101-1 COL039-1 COM004-1 FLD050-3 GEO139-1 GRP382-1 GRP516-1 HEN006-1
KRS017-1 LCL044-1 LCL358-1 MGT039-2 NUM192-1 PLA011-1 RNG025-4 SET021-6
SET556-6 SWC112-1 SYN071-1

EPR Problems

NLP005-1 (EPS checker problem)  001-5 EPT checker problem)
GEO079-1 GRP127-3.004 GRP134-1.005 KRS004-1 LAT005-2 MGT013-1
MGT066-1 MSC006-1 MSC008-1.010 NLP006-1 NLP124-1 PUZ001-3 PUZ028-4
PUZ037-3 SET043-5 SWV001-1 SYN056-1 SYN851-1

UEQ Problems

BOO001-1 (Checker problem)
BOO019-1 BOO030-1 BOO033-1 BOO037-2 COL005-1 COL069-1 COL073-1 GRP207-1
GRP394-3 HWC004-1 LAT016-1 LAT062-1 LCL407-2 LCL410-1 RNG031-6 RNG042-2
RNG043-1 ROB028-1 SYN305-1