Sota solver results for family MutexP
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
mutex-128-sqstsSAT0.1
mutex-16-sqestoSAT0.01
mutex-2-sAIGSolveSAT0
mutex-32-sqstsSAT0.02
mutex-4-sAIGSolveSAT0
mutex-64-sqstsSAT0.05
mutex-8-srareqsSAT0