Instances of family MutexP solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
mutex-64-sSAT26.73
mutex-32-sSAT27.83
mutex-16-sSAT28.46
mutex-128-sSAT33.95