Instances of family MutexP solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
mutex-16-sSAT17.01
mutex-32-sSAT104.19
mutex-64-sFAIL600
mutex-128-sFAIL600