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

InstanceResultTime
stmt6_13_14SAT0
stmt24_7_8SAT0
stmt1_145_146SAT0.01
stmt1_30_31SAT0.01
stmt1_20_21SAT0.01
stmt24_148_149SAT0.01
stmt32_122_129SAT0.01
stmt44_107_113SAT0.02
stmt44_107_108SAT0.02
stmt1_811_812SAT1.58
stmt44_252_301SAT3.04
stmt3_969_973SAT3.45
stmt82_224_225SAT3.88
stmt18_258_260SAT4.48
stmt16_0_1SAT4.95
stmt70_191_213SAT5.98
stmt9_350_351SAT6.53
stmt17_143_144SAT9.61
stmt27_296_297SAT9.64
stmt24_292_293SAT10.03
stmt3_639_640SAT11.05
stmt17_18_19SAT18.4
stmt1_392_393SAT39.35
stmt2_649_723SAT122.41
stmt9_445_446SAT136.48
stmt16_47_48FAIL512.2
stmt41_262_275FAIL619.4
stmt1_919_920FAIL669.52
stmt25_597_598FAIL730.91
stmt16_818_819SAT774.72
stmt25_52_53FAIL1110.73
stmt11_643_645FAIL1200.14
stmt24_765_766FAIL1200.17
stmt72_696_721FAIL1200.17
stmt137_903_911FAIL1200.17
stmt124_966_965FAIL1200.17
stmt70_495_501FAIL1200.18
stmt44_554_604FAIL1200.18
stmt5_731_730FAIL1200.19
stmt86_889_890FAIL1200.21
stmt2_976_999FAIL1200.21
stmt1_787_788FAIL1200.21
stmt2_649_776FAIL1200.21
stmt37_941_942FAIL1200.23
stmt27_93_98FAIL1200.24
stmt17_99_98FAIL1200.24