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

InstanceResultTime
mutex-16-sSAT0.01
mutex-32-sSAT0.03
mutex-64-sSAT0.07
mutex-128-sSAT0.16