Instances of family wmiforward solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
stmt16_950_951FAIL900
stmt41_738_749FAIL900