Instances of family wmiforward solved by Nenofex
QBFEVAL'08

InstanceResultTime
stmt24_7_8SAT0
stmt1_30_31SAT0
stmt44_107_113SAT0
stmt6_13_14SAT0
stmt32_122_129SAT0.01
stmt44_107_108SAT0.01
stmt1_20_21SAT0.01
stmt24_148_149SAT0.02
stmt1_145_146SAT0.02
stmt16_0_1SAT25.83
stmt17_18_19SAT73.53
stmt18_258_260SAT150.86
stmt41_262_275FAIL228.42
stmt41_738_749FAIL230.49
stmt41_566_580FAIL248.17
stmt41_118_131FAIL269.32
stmt137_903_911FAIL284.71
stmt1_629_630FAIL331.51
stmt70_495_501FAIL340.49
stmt44_554_604FAIL365.03
stmt38_943_942FAIL367.8
stmt86_889_890FAIL387.24
stmt2_649_776FAIL391.64
stmt37_941_942FAIL421.77
stmt16_47_48FAIL422.21
stmt21_326_327FAIL423.93
stmt70_854_859FAIL425.31
stmt27_946_955FAIL435.55
stmt44_435_436FAIL445.09
stmt32_570_572FAIL457.85
stmt1_79_80FAIL458.54
stmt16_68_69FAIL468.33
stmt16_588_589FAIL469.79
stmt1_60_61FAIL479.7
stmt72_696_721FAIL480.7
stmt44_916_917FAIL493.45
stmt16_950_951FAIL510.32
stmt1_392_393FAIL536.51
stmt1_811_812SAT542.45
stmt17_99_98FAIL543.42
stmt9_350_351FAIL549.21
stmt1_919_920FAIL566.52
stmt44_554_555FAIL579.77
stmt2_976_999FAIL590.87
stmt5_731_730FAIL594.63
stmt16_285_286FAIL596
stmt124_966_965FAIL596.62
stmt27_584_603FAIL600
stmt44_252_301FAIL600
stmt25_597_598FAIL600
stmt3_969_973FAIL600
stmt16_76_77FAIL600
stmt82_224_225FAIL600
stmt16_818_819FAIL600
stmt137_542_543FAIL600
stmt27_296_297FAIL600
stmt24_292_293FAIL600
stmt2_649_723FAIL600
stmt9_445_446FAIL600
stmt1_787_788FAIL600
stmt44_726_773FAIL600
stmt27_93_98FAIL600
stmt70_191_213FAIL600
stmt41_738_737FAIL600
stmt25_52_53FAIL600
stmt1_953_954FAIL600
stmt11_643_645FAIL600
stmt24_765_766FAIL600
stmt2_480_551FAIL600
stmt2_649_647FAIL600
stmt3_639_640FAIL600
stmt17_143_144FAIL600