Instances of family wmiforward solved by ghostq-plain
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt24_7_8SAT0.06
stmt44_107_108SAT0.07
stmt1_20_21SAT0.07
stmt24_148_149SAT0.08
stmt1_145_146SAT0.08
stmt16_0_1SAT0.09
stmt1_811_812SAT0.2
stmt70_191_213SAT0.32
stmt82_224_225SAT0.73
stmt18_258_260SAT1.52
stmt16_818_819SAT1.76
stmt11_643_645SAT3.63
stmt24_292_293SAT3.81
stmt27_296_297SAT4.86
stmt3_639_640SAT14.57
stmt9_350_351SAT27.61
stmt16_285_286SAT49.22
stmt41_738_737SAT72.98
stmt70_854_859SAT75.53
stmt137_903_911SAT152.69
stmt21_326_327SAT176.29
stmt16_950_951SAT301.72
stmt72_696_721SAT354
stmt1_919_920SAT475.76
stmt44_916_917SAT479.81
stmt24_765_766SAT565
stmt41_118_131SAT566.06
stmt2_480_551FAIL599.71
stmt44_554_604FAIL599.71
stmt27_584_603FAIL599.81
stmt27_946_955FAIL599.81
stmt2_649_647FAIL599.81
stmt2_649_776FAIL599.81
stmt41_738_749FAIL599.81
stmt44_435_436FAIL599.81
stmt124_966_965FAIL599.81
stmt70_495_501FAIL599.81
stmt1_629_630FAIL599.81
stmt37_941_942FAIL599.81
stmt41_566_580FAIL599.81
stmt32_570_572FAIL599.91
stmt44_554_555FAIL599.91
stmt1_787_788FAIL599.91
stmt17_99_98FAIL599.91
stmt2_976_999FAIL599.91
stmt2_649_723FAIL599.91
stmt86_889_890FAIL599.91
stmt38_943_942FAIL599.91
stmt1_60_61FAIL600.01
stmt16_47_48FAIL600.11