Instances of family wmiforward solved by quantor3.0
QBFEVAL'08

InstanceResultTime
stmt1_20_21SAT0
stmt1_30_31SAT0
stmt44_107_108SAT0
stmt44_107_113SAT0
stmt32_122_129SAT0
stmt6_13_14SAT0
stmt24_7_8SAT0
stmt24_148_149SAT0.01
stmt1_145_146SAT0.01
stmt16_0_1SAT0.07
stmt17_18_19SAT1.24
stmt17_143_144SAT4.05
stmt1_629_630FAIL29.73
stmt41_262_275FAIL30.44
stmt17_99_98FAIL31.13
stmt16_68_69FAIL31.15
stmt16_76_77FAIL31.54
stmt16_47_48FAIL31.56
stmt1_787_788FAIL31.62
stmt27_93_98FAIL31.92
stmt37_941_942FAIL32.59
stmt9_445_446FAIL33.99
stmt38_943_942FAIL33.99
stmt41_738_749FAIL35.47
stmt1_60_61FAIL36.64
stmt25_597_598FAIL36.73
stmt41_566_580FAIL37.17
stmt124_966_965FAIL37.3
stmt1_79_80FAIL37.43
stmt25_52_53FAIL37.49
stmt44_726_773FAIL37.67
stmt27_584_603FAIL37.71
stmt41_738_737FAIL37.72
stmt2_480_551FAIL37.78
stmt32_570_572FAIL37.89
stmt44_554_604FAIL37.98
stmt16_588_589FAIL38.04
stmt44_916_917FAIL38.08
stmt21_326_327FAIL38.4
stmt1_919_920FAIL38.65
stmt137_542_543FAIL39.15
stmt5_731_730FAIL41.2
stmt70_495_501FAIL41.47
stmt2_976_999FAIL42.74
stmt2_649_776FAIL43.45
stmt2_649_647FAIL43.91
stmt44_435_436FAIL44.6
stmt86_889_890FAIL44.96
stmt24_765_766FAIL45.06
stmt70_854_859FAIL45.66
stmt2_649_723FAIL46.91
stmt3_969_973FAIL47.56
stmt72_696_721FAIL48.28
stmt1_392_393FAIL49.03
stmt1_953_954FAIL49.23
stmt16_285_286FAIL49.67
stmt24_292_293FAIL50.35
stmt9_350_351FAIL50.44
stmt16_950_951FAIL51
stmt44_554_555FAIL51.95
stmt3_639_640FAIL53.87
stmt41_118_131FAIL55.49
stmt82_224_225FAIL55.89
stmt44_252_301FAIL60.75
stmt18_258_260FAIL60.99
stmt27_946_955FAIL62.31
stmt137_903_911FAIL65.18
stmt70_191_213FAIL67.29
stmt16_818_819FAIL73.36
stmt11_643_645FAIL74.51
stmt27_296_297FAIL75.03
stmt1_811_812FAIL128.26