Instances of family MutexP solved by openQbf
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0.19
mutex-4-sSAT0.6
mutex-8-sSAT138.57
mutex-128-sFAIL900.89
mutex-16-sFAIL900.92
mutex-64-sFAIL900.93
mutex-32-sFAIL900.94