Instances of family MutexP solved by yQuaffle
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0.02
mutex-4-sSAT44.45
mutex-128-sFAIL820.24
mutex-64-sFAIL833.64
mutex-32-sFAIL850.7
mutex-16-sFAIL870
mutex-8-sFAIL882.27