Instances of family MutexP solved by WalkQSAT
QBFEVAL'04

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