Instances of family MutexP solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
mutex-2-sSAT0.52
mutex-4-sSAT0.53
mutex-8-sSAT0.85
mutex-16-sSAT0.89
mutex-32-sSAT0.93
mutex-64-sSAT1
mutex-128-sSAT1.13