Instances of family MutexP solved by cqesto
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
mutex-4-sSAT0
mutex-32-sSAT0.04
mutex-64-sSAT0.08