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

InstanceResultTime
mutex-2-sSAT0.02
mutex-4-sSAT2.41
mutex-8-sFAIL96.15
mutex-16-sFAIL616.51
mutex-128-sFAIL626.12
mutex-32-sFAIL634.92
mutex-64-sFAIL687.44