Instances of family MutexP solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0
mutex-4-sSAT0.01
mutex-8-sSAT2.23
mutex-128-sFAIL901
mutex-64-sFAIL901
mutex-32-sFAIL901
mutex-16-sFAIL901