Instances of family MutexP solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
mutex-4-sSAT0.12
mutex-2-sSAT0.12
mutex-8-sSAT0.12
mutex-16-sSAT0.32
mutex-32-sSAT0.82
mutex-64-sSAT2.12
mutex-128-sSAT6.03