Instances of family MutexP solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
mutex-64-sFAIL10.36
mutex-32-sFAIL10.68
mutex-128-sFAIL11.96
mutex-16-sFAIL17.59