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

InstanceResultTime
stmt16_950_951SAT0.01
stmt41_738_749SAT0.03