Instances of family wmiforward solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
stmt1_30_31SAT0.77
stmt44_107_113SAT0.79
stmt44_107_108SAT0.81
stmt6_13_14SAT0.81
stmt32_122_129SAT0.83
stmt24_148_149SAT0.83
stmt1_20_21SAT0.83
stmt17_143_144SAT0.86
stmt17_18_19SAT0.86
stmt1_145_146SAT0.87
stmt1_811_812SAT0.89
stmt3_639_640SAT0.97
stmt16_818_819SAT0.97
stmt18_258_260SAT0.97
stmt70_191_213SAT0.97
stmt44_252_301SAT0.98
stmt16_0_1SAT0.99
stmt3_969_973SAT0.99
stmt9_350_351SAT1
stmt1_392_393SAT1.02
stmt82_224_225SAT1.02
stmt44_435_436SAT1.03
stmt24_292_293SAT1.04
stmt27_296_297SAT1.05
stmt2_649_647SAT1.06
stmt2_649_723SAT1.07
stmt16_285_286SAT1.08
stmt9_445_446SAT1.09
stmt5_731_730SAT1.1
stmt70_854_859SAT1.16
stmt44_726_773SAT1.18
stmt137_903_911SAT1.2
stmt2_480_551SAT1.21
stmt124_966_965SAT1.22
stmt2_649_776SAT1.23
stmt72_696_721SAT1.24
stmt137_542_543SAT1.26
stmt70_495_501SAT1.29
stmt1_953_954SAT1.3
stmt41_118_131SAT1.31
stmt44_554_604SAT1.31
stmt27_946_955SAT1.33
stmt32_570_572SAT1.33
stmt27_584_603SAT1.34
stmt86_889_890SAT1.36
stmt25_597_598SAT1.37
stmt16_950_951SAT1.38
stmt44_554_555SAT1.39
stmt16_588_589SAT1.45
stmt24_7_8SAT1.58
stmt41_262_275SAT1.74
stmt41_738_749SAT1.98
stmt1_787_788SAT3.64
stmt16_76_77SAT4.7
stmt16_47_48SAT4.88
stmt1_79_80SAT4.89
stmt27_93_98SAT5.56
stmt25_52_53SAT5.58
stmt17_99_98SAT6.1
stmt1_60_61SAT7.72
stmt16_68_69SAT8
stmt11_643_645SAT10.6
stmt41_738_737SAT14.54
stmt1_919_920SAT14.82
stmt44_916_917SAT14.88
stmt21_326_327SAT49.64
stmt37_941_942SAT68.64
stmt24_765_766SAT86.83
stmt41_566_580SAT148.03
stmt1_629_630FAIL468.17
stmt2_976_999FAIL471.16
stmt38_943_942FAIL481.04