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

InstanceResultTime
stmt1_30_31SAT0
stmt44_107_108SAT0
stmt44_107_113SAT0
stmt17_18_19SAT0.11
stmt41_738_749FAIL599.71
stmt16_950_951FAIL599.71
stmt44_916_917FAIL599.72
stmt27_296_297FAIL599.72
stmt24_765_766FAIL599.72
stmt25_52_53FAIL599.81