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

InstanceResultTime
mutex-2-sSAT0.13
mutex-64-sFAIL599.71
mutex-32-sFAIL599.71
mutex-4-sFAIL599.81