Instances of family MutexP solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
mutex-2-sSAT2.51
mutex-128-sFAIL85.03
mutex-64-sFAIL91.68
mutex-16-sFAIL96.91
mutex-32-sFAIL106.13
mutex-8-sFAIL136.72
mutex-4-sFAIL599.72