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

InstanceResultTime
stmt44_107_113SAT0
stmt1_20_21SAT0
stmt24_7_8SAT0
stmt1_30_31SAT0
stmt1_145_146SAT0
stmt6_13_14SAT0
stmt24_148_149SAT0
stmt44_107_108SAT0.01
stmt32_122_129SAT0.01
stmt16_0_1SAT0.04
stmt17_18_19SAT0.15
stmt17_143_144SAT0.3
stmt1_811_812SAT2.28
stmt3_969_973SAT10.97
stmt70_191_213SAT25.69
stmt70_495_501FAIL36.43
stmt2_976_999FAIL36.47
stmt3_639_640SAT36.77
stmt1_787_788FAIL40.94
stmt24_765_766FAIL48.27
stmt27_93_98FAIL52.4
stmt37_941_942FAIL55.19
stmt44_554_604FAIL56.8
stmt17_99_98FAIL57.9
stmt9_445_446FAIL66.66
stmt18_258_260SAT71.52
stmt44_252_301SAT71.79
stmt11_643_645FAIL79.73
stmt137_903_911FAIL87.88
stmt72_696_721FAIL91.83
stmt24_292_293SAT104.77
stmt41_262_275FAIL105.21
stmt82_224_225SAT105.97
stmt2_649_776FAIL116.86
stmt27_296_297SAT120.78
stmt1_919_920FAIL122.04
stmt5_731_730FAIL122.05
stmt124_966_965FAIL123.81
stmt25_52_53FAIL149.34
stmt16_47_48FAIL163.26
stmt25_597_598FAIL168.18
stmt2_649_723FAIL187.16
stmt1_392_393FAIL374.92
stmt86_889_890FAIL425.52
stmt9_350_351SAT530.32
stmt16_818_819FAIL912.91