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

InstanceResultTime
mutex-2-sSAT0.03
mutex-4-sSAT0.08
mutex-8-sSAT0.31
mutex-16-sSAT0.81
mutex-32-sSAT3.11
mutex-64-sSAT10.31
mutex-128-sSAT28.71