Instances of family MutexP solved by qbfbdd
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0
mutex-4-sSAT0.01
mutex-8-sSAT7.97
mutex-64-sFAIL900.92
mutex-16-sFAIL900.95
mutex-128-sFAIL900.96
mutex-32-sFAIL900.99