Instances of family MutexP solved by AQME-C4.5
QBFEVAL'07

InstanceResultTime
mutex-16-sSAT0.58
mutex-32-sSAT0.62
mutex-64-sSAT0.71
mutex-128-sSAT0.87