Instances of family MutexP solved by AIGSolve
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
mutex-4-sSAT0
mutex-2-sSAT0
mutex-8-sSAT0.01
mutex-16-sSAT0.02
mutex-32-sSAT0.07
mutex-64-sSAT0.24
mutex-128-sSAT0.85