Instances of family MutexP solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
mutex-16-sSAT0.62
mutex-32-sSAT0.66
mutex-64-sSAT0.75
mutex-128-sSAT0.92