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

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