Instances of family MutexP solved by ghostq-plain
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
mutex-2-sSAT0.11
mutex-32-sFAIL599.81
mutex-16-sFAIL599.81
mutex-8-sFAIL599.81
mutex-128-sFAIL599.81
mutex-64-sFAIL599.91
mutex-4-sFAIL599.91