Instances of family MutexP solved by QSAT
QBFEVAL'04

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