Instances of family MutexP solved by Qbfl
QBFEVAL'06

InstanceResultTime
mutex-16-sFAIL5986.29
mutex-32-sFAIL5995.56
mutex-64-sFAIL5997.38
mutex-128-sFAIL5998.28