Instances of family MutexP solved by CLearn
QBFEVAL'04

InstanceResultTime
mutex-2-sSAT0.01
mutex-4-sSAT0.02
mutex-8-sSAT1.72
mutex-128-sFAIL901
mutex-64-sFAIL901
mutex-32-sFAIL901
mutex-16-sFAIL901.01