Instances of family wmiforward solved by depqbf-v1
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt24_7_8SAT0.02
stmt44_107_108SAT0.02
stmt24_148_149SAT0.02
stmt1_145_146SAT0.02
stmt1_20_21SAT0.02
stmt16_0_1SAT0.81
stmt1_811_812SAT1.02
stmt3_639_640SAT87.41
stmt1_60_61FAIL592.52
stmt2_976_999FAIL592.62
stmt1_787_788FAIL592.93
stmt16_47_48FAIL592.94
stmt38_943_942FAIL593.02
stmt70_191_213FAIL593.03
stmt82_224_225FAIL593.12
stmt41_566_580FAIL593.12
stmt137_903_911FAIL593.22
stmt37_941_942FAIL593.22
stmt44_916_917FAIL593.22
stmt32_570_572FAIL593.32
stmt2_480_551FAIL593.32
stmt17_99_98FAIL593.32
stmt1_629_630FAIL593.32
stmt21_326_327FAIL593.42
stmt41_738_749FAIL593.42
stmt41_738_737FAIL593.42
stmt2_649_723FAIL593.42
stmt44_554_604FAIL593.52
stmt16_818_819FAIL593.52
stmt27_946_955FAIL593.52
stmt2_649_647FAIL593.52
stmt24_765_766FAIL593.52
stmt70_854_859FAIL593.52
stmt72_696_721FAIL593.52
stmt70_495_501FAIL593.62
stmt41_118_131FAIL593.63
stmt16_950_951FAIL593.72
stmt27_584_603FAIL593.72
stmt2_649_776FAIL593.72
stmt44_435_436FAIL593.72
stmt124_966_965FAIL593.72
stmt86_889_890FAIL593.72
stmt16_285_286FAIL593.82
stmt27_296_297FAIL593.82
stmt24_292_293FAIL593.92
stmt9_350_351FAIL593.93
stmt44_554_555FAIL593.94
stmt18_258_260FAIL593.94
stmt11_643_645FAIL594.03
stmt1_919_920FAIL594.04