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

InstanceResultTime
stmt1_30_31SAT0.01
stmt44_107_108SAT0.01
stmt44_107_113SAT0.01
stmt17_18_19SAT0.04
stmt27_296_297SAT0.11
stmt44_916_917SAT0.15
stmt24_765_766SAT0.16
stmt16_950_951SAT0.21
stmt41_738_749SAT0.36
stmt25_52_53SAT0.56