Instances of family MutexP solved by ghostq-plain
QBFEVAL'16 - Prenex CNF Track.

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