Instances of family MutexP solved by ssolve-A
QBFEVAL'08

InstanceResultTime
mutex-2-sSAT0.01
mutex-4-sSAT0.02
mutex-8-sSAT0.02
mutex-16-sSAT0.04
mutex-32-sSAT0.08
mutex-64-sSAT0.16
mutex-128-sSAT0.34