Instances of family MutexP solved by QUANTOR
QBFEVAL'04

InstanceResultTime
mutex-2-sSAT0
mutex-4-sSAT0.01
mutex-8-sSAT0.18
mutex-64-sFAIL11.61
mutex-32-sFAIL11.65
mutex-128-sFAIL11.8
mutex-16-sFAIL18.31