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

InstanceResultTime
stmt5_731_730SAT0.17
stmt25_597_598SAT0.26
stmt41_262_275SAT0.57
stmt27_93_98FAIL900