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

InstanceResultTime
mutex-4-sSAT0.01
mutex-32-sSAT0.07
mutex-64-sSAT0.15