Instances of family MutexP solved by QUANTOR
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0
mutex-4-sSAT0.01
mutex-8-sSAT0.81
mutex-32-sFAIL11.03
mutex-64-sFAIL12.82
mutex-128-sFAIL14.7
mutex-16-sFAIL21.71