Instances of family MutexP solved by semprop
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0
mutex-4-sSAT0.03
mutex-8-sSAT6.1
mutex-128-sFAIL900.97
mutex-16-sFAIL900.99
mutex-64-sFAIL900.99
mutex-32-sFAIL901