Sota solver results for family MutexP
QBFEVAL'17 - Prenex non-CNF Track


InstanceSolverResultTime
mutex-32-scqestoSAT0.04
mutex-4-scqestoSAT0
mutex-64-scqestoSAT0.08