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

InstanceResultTime
mutex-2-sSAT0.01
mutex-4-sSAT0.03
mutex-8-sSAT46.7
mutex-64-sFAIL1200.16
mutex-16-sFAIL1200.16
mutex-128-sFAIL1200.17
mutex-32-sFAIL1200.18