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

InstanceResultTime
stmt24_7_8SAT0
stmt44_107_108SAT0
stmt24_148_149SAT0
stmt1_145_146SAT0.01
stmt1_20_21SAT0.01
stmt1_811_812SAT0.05
stmt24_292_293SAT0.13
stmt27_296_297SAT0.14
stmt18_258_260SAT0.14
stmt82_224_225SAT0.14
stmt70_191_213SAT0.14
stmt16_0_1SAT0.2
stmt3_639_640SAT0.42
stmt9_350_351SAT1.36
stmt11_643_645SAT4.4
stmt16_285_286SAT7.08
stmt16_818_819SAT50.84
stmt44_435_436SAT133.24
stmt41_566_580FAIL599.71
stmt44_916_917FAIL599.71
stmt86_889_890FAIL599.71
stmt1_60_61FAIL599.71
stmt16_950_951FAIL599.71
stmt44_554_604FAIL599.71
stmt21_326_327FAIL599.71
stmt16_47_48FAIL599.71
stmt32_570_572FAIL599.71
stmt44_554_555FAIL599.71
stmt27_584_603FAIL599.71
stmt2_480_551FAIL599.71
stmt27_946_955FAIL599.71
stmt1_787_788FAIL599.71
stmt2_649_647FAIL599.71
stmt2_649_776FAIL599.71
stmt41_738_749FAIL599.71
stmt17_99_98FAIL599.71
stmt24_765_766FAIL599.71
stmt124_966_965FAIL599.71
stmt70_495_501FAIL599.71
stmt2_976_999FAIL599.71
stmt2_649_723FAIL599.71
stmt70_854_859FAIL599.71
stmt41_118_131FAIL599.71
stmt38_943_942FAIL599.81
stmt1_919_920FAIL599.81
stmt72_696_721FAIL599.81
stmt41_738_737FAIL599.81
stmt137_903_911FAIL599.81
stmt1_629_630FAIL599.81
stmt37_941_942FAIL599.81