Instances of family MutexP solved by quantor-3.1
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
mutex-4-sSAT0.01
mutex-2-sSAT0.01
mutex-8-sSAT0.61
mutex-32-sFAIL27.53
mutex-64-sFAIL30.31
mutex-128-sFAIL31.79
mutex-16-sFAIL35.45