Instances of family MutexP solved by QMRes
QBFEVAL'05

InstanceResultTime
mutex-2-sSAT0.01
mutex-4-sSAT0.03
mutex-8-sSAT0.15
mutex-16-sSAT0.62
mutex-32-sSAT6.91
mutex-64-sFAIL900.4
mutex-128-sFAIL900.73