Instances of family MutexP solved by QuBE7-c
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
mutex-2-sSAT0.01
mutex-4-sSAT0.02
mutex-8-sSAT0.06
mutex-16-sSAT9.83
mutex-32-sFAIL1200.02
mutex-64-sFAIL1200.03
mutex-128-sFAIL1200.05