Instances of family MutexP solved by caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
mutex-2-sSAT0
mutex-4-sSAT0.02
mutex-8-sSAT0.05
mutex-16-sSAT0.12
mutex-32-sSAT0.42
mutex-64-sSAT1.09
mutex-128-sSAT2.94