Instances of family MutexP solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
mutex-16-sSAT0.02
mutex-32-sSAT0.04
mutex-64-sSAT0.08
mutex-128-sSAT0.16