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

InstanceResultTime
stmt6_13_14SAT0
stmt44_107_113SAT0
stmt24_7_8SAT0
stmt1_145_146SAT0.01
stmt1_30_31SAT0.01
stmt32_122_129SAT0.01
stmt44_107_108SAT0.01
stmt1_20_21SAT0.01
stmt24_148_149SAT0.02
stmt16_0_1SAT72.32
stmt1_811_812SAT102.2
stmt16_47_48FAIL1199.94
stmt11_643_645FAIL1200.12
stmt2_649_723FAIL1200.13
stmt1_392_393FAIL1200.14
stmt3_969_973FAIL1200.14
stmt82_224_225FAIL1200.14
stmt37_941_942FAIL1200.15
stmt86_889_890FAIL1200.15
stmt3_639_640FAIL1200.15
stmt72_696_721FAIL1200.15
stmt2_649_776FAIL1200.16
stmt17_143_144FAIL1200.16
stmt70_191_213FAIL1200.16
stmt44_252_301FAIL1200.16
stmt2_976_999FAIL1200.16
stmt24_765_766FAIL1200.16
stmt16_818_819FAIL1200.16
stmt27_296_297FAIL1200.16
stmt24_292_293FAIL1200.16
stmt18_258_260FAIL1200.16
stmt1_919_920FAIL1200.16
stmt70_495_501FAIL1200.16
stmt5_731_730FAIL1200.16
stmt17_18_19FAIL1200.16
stmt9_350_351FAIL1200.16
stmt41_262_275FAIL1200.16
stmt25_52_53FAIL1200.16
stmt25_597_598FAIL1200.16
stmt137_903_911FAIL1200.16
stmt124_966_965FAIL1200.16
stmt44_554_604FAIL1200.17
stmt27_93_98FAIL1200.17
stmt1_787_788FAIL1200.17
stmt9_445_446FAIL1200.17
stmt17_99_98FAIL1200.18