Instances of family MutexP solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
mutex-16-sSAT0.02
mutex-32-sSAT0.04
mutex-64-sSAT0.07
mutex-128-sSAT0.14