Instances of family MutexP solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0
mutex-4-sSAT0.02
mutex-128-sFAIL0.05
mutex-8-sSAT3.98
mutex-64-sFAIL886.19
mutex-16-sFAIL892.98
mutex-32-sFAIL894.9