Soundness Testing Problems

FOF Problems

PUZ047+1 (Checker problem)
GEO158+1 GEO161+1 GRP394+3 KRS020+1 KRS050+1 LCL354+1 MGT066+1 MSC009+1
MSC014+1 PLA029+2 PUZ067+1 PUZ072+1 SET783+1 SET785+1 SWC423+1 SWV010+1
SWV013+1 SWV015+1 SWV017+1

CNF Problems

GRP004-2 (Checker problem)
ALG009-1 ANA006-1 BOO059-1 CAT019-5 GEO155-1 HEN013-2 HWV035-2 KRS009-1
LAT056-1 LCL291-3 MGT038-2 NLP241-1 NUM289-1 PLA029-1 RNG042-1 ROB015-1
SET779-1 SWV021-1 SYN317-1

SAT Problems

KRS016-1 (Checker problem)
ALG004-1 ANA042-2 BOO008-1 CAT014-3 COL003-16 COL124-1 COM005-1 FLD021-1
GEO002-3 HWV009-1 KRS010-1 LAT150-1 LCL023-1 LDA009-1 MGT011-1 NLP147-1
NUM004-1 PLA009-2 SET014-4

EPR Problems

SYN056-1 GRP123-1.005 GRP128-3.004 MGT066-1 MSC008-1.010 NLP012-1 NLP127-1
PUZ028-1 PUZ053-1 SYN441-1 GEO079-1 GEO079-1 GRP001-5 KRS004-1 LAT267-2
MGT041-2 MSC008-1.002 NLP009-1 PUZ012-1 SYN051-1

UEQ Problems

LAT089-1 (Checker problem)
BOO027-1 BOO037-3 COL005-1 COL071-1 GRP204-1 GRP399-1 HWC004-1 HWC004-2
LAT114-1 LCL136-1 LCL407-1 LCL410-1 RNG025-8 RNG031-6 RNG031-7 RNG042-3
RNG043-1 ROB028-1 SYN305-1