Instances of the SMC problem.