Instances of family wmiforward solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
stmt16_950_951SAT0.19
stmt41_738_749SAT0.26