Sota solver results for family MutexP
QBFEVAL'06


InstanceSolverResultTime
mutex-128-ssKizzo-0.9-absSAT0.14
mutex-16-ssKizzo-0.9-grnSAT0.01
mutex-32-ssKizzo-0.9-grnSAT0.03
mutex-64-ssKizzo-0.9-absSAT0.07