Instances of family MutexP solved by squolem
QBFEVAL'07

InstanceResultTime
mutex-16-sSAT0.32
mutex-32-sSAT1.06
mutex-64-sSAT4.59
mutex-128-sSAT17.97