Instances of family wmiforward solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
stmt1_30_31SAT0.02
stmt44_107_108SAT0.02
stmt44_107_113SAT0.04
stmt17_18_19FAIL125.45
stmt27_296_297FAIL599.43
stmt24_765_766FAIL602.8
stmt41_738_749FAIL605.52
stmt16_950_951FAIL606.82
stmt25_52_53FAIL608.24
stmt44_916_917FAIL631.62