Instances of family wmiforward solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
stmt44_107_108SAT0.06
stmt17_18_19SAT0.08
stmt27_296_297SAT0.19
stmt16_950_951SAT0.33
stmt41_738_749SAT0.55