Instances of family MutexP solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
mutex-4-sFAIL0.02
mutex-2-sFAIL0.02
mutex-8-sFAIL4.43
mutex-64-sFAIL612.22
mutex-16-sFAIL613.84
mutex-32-sFAIL634.42
mutex-128-sFAIL647.62