Instances of family wmiforward solved by ASPQ2
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt25_597_598SAT0.02
stmt5_731_730SAT0.02
stmt41_262_275SAT0.04
stmt27_93_98SAT0.07