Instances of family MutexP solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
mutex-2-sSAT0.06
mutex-4-sSAT0.11
mutex-32-sSAT1.48
mutex-64-sSAT4.3