Instances of family wmiforward solved by no-prefix-opt-depqbf
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt25_597_598FAIL900
stmt5_731_730FAIL900
stmt41_262_275FAIL900
stmt27_93_98FAIL900