Instances of family MutexP solved by qube5.0
QBFEVAL'06

InstanceResultTime
mutex-16-sSAT0.19
mutex-32-sSAT0.96
mutex-64-sSAT1.64
mutex-128-sSAT5.55