Instances of family MutexP solved by yQuaffle
QBFEVAL'07

InstanceResultTime
mutex-64-sFAIL600
mutex-32-sFAIL600
mutex-16-sFAIL600
mutex-128-sFAIL600