Instances of family wmiforward solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
stmt32_122_129SAT0
stmt1_30_31SAT0
stmt1_145_146SAT0.01
stmt1_20_21SAT0.01
stmt44_107_113SAT0.01
stmt44_107_108SAT0.01
stmt24_7_8SAT0.01
stmt6_13_14SAT0.01
stmt24_148_149SAT0.01
stmt1_811_812SAT0.07
stmt70_191_213SAT0.11
stmt3_639_640SAT0.11
stmt3_969_973SAT0.11
stmt82_224_225SAT0.11
stmt24_292_293SAT0.11
stmt18_258_260SAT0.12
stmt44_252_301SAT0.12
stmt27_296_297SAT0.12
stmt1_392_393SAT0.15
stmt16_0_1SAT0.2
stmt17_143_144SAT0.22
stmt17_18_19SAT0.22
stmt9_350_351SAT0.34
stmt11_643_645SAT0.49
stmt44_435_436SAT0.56
stmt9_445_446SAT0.7
stmt21_326_327SAT8.73
stmt2_649_723SAT10.52
stmt2_649_647SAT10.74
stmt72_696_721SAT13.43
stmt44_726_773SAT13.43
stmt137_903_911SAT13.45
stmt41_738_737SAT13.45
stmt24_765_766SAT13.54
stmt44_916_917SAT13.71
stmt5_731_730SAT13.71
stmt1_919_920SAT13.73
stmt70_854_859SAT13.73
stmt1_953_954SAT13.82
stmt124_966_965SAT13.96
stmt2_480_551SAT65.72
stmt16_818_819SAT73.77
stmt27_946_955SAT74.77
stmt137_542_543SAT74.89
stmt32_570_572SAT74.98
stmt44_554_604SAT75.15
stmt44_554_555SAT75.16
stmt70_495_501SAT75.23
stmt27_584_603SAT76.82
stmt25_597_598SAT77.71
stmt25_52_53FAIL600
stmt27_93_98FAIL600
stmt16_47_48FAIL600
stmt16_285_286FAIL600
stmt1_60_61FAIL600
stmt1_629_630FAIL600
stmt37_941_942FAIL600
stmt17_99_98FAIL600
stmt41_118_131FAIL600
stmt41_738_749FAIL600
stmt38_943_942FAIL600
stmt16_68_69FAIL600
stmt16_950_951FAIL600
stmt2_976_999FAIL600
stmt41_262_275FAIL600
stmt16_588_589FAIL600
stmt41_566_580FAIL600
stmt1_79_80FAIL600
stmt16_76_77FAIL600
stmt1_787_788FAIL600
stmt86_889_890FAIL600
stmt2_649_776FAIL600