Instances of family MutexP solved by qsts
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
mutex-2-sSAT0
mutex-16-sSAT0.01
mutex-8-sSAT0.01
mutex-4-sSAT0.01
mutex-32-sSAT0.03
mutex-64-sSAT0.05
mutex-128-sSAT0.1