Instances of family wmiforward solved by struqs-10
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt24_7_8SAT0
stmt44_107_108SAT0
stmt24_148_149SAT0
stmt1_145_146SAT0
stmt1_20_21SAT0
stmt1_811_812SAT4.67
stmt16_0_1SAT4.67
stmt1_787_788FAIL599.71
stmt2_649_647FAIL599.71
stmt3_639_640FAIL599.71
stmt2_649_776FAIL599.71
stmt41_738_749FAIL599.71
stmt41_738_737FAIL599.71
stmt17_99_98FAIL599.71
stmt44_435_436FAIL599.71
stmt24_765_766FAIL599.71
stmt124_966_965FAIL599.71
stmt16_285_286FAIL599.71
stmt70_495_501FAIL599.71
stmt137_903_911FAIL599.71
stmt1_629_630FAIL599.71
stmt2_649_723FAIL599.71
stmt37_941_942FAIL599.71
stmt9_350_351FAIL599.71
stmt70_854_859FAIL599.71
stmt41_118_131FAIL599.71
stmt70_191_213FAIL599.71
stmt41_566_580FAIL599.71
stmt44_916_917FAIL599.71
stmt27_296_297FAIL599.71
stmt86_889_890FAIL599.71
stmt24_292_293FAIL599.71
stmt18_258_260FAIL599.71
stmt1_60_61FAIL599.71
stmt38_943_942FAIL599.71
stmt1_919_920FAIL599.71
stmt72_696_721FAIL599.71
stmt16_950_951FAIL599.71
stmt44_554_604FAIL599.71
stmt21_326_327FAIL599.71
stmt11_643_645FAIL599.71
stmt16_47_48FAIL599.71
stmt82_224_225FAIL599.71
stmt16_818_819FAIL599.71
stmt32_570_572FAIL599.71
stmt44_554_555FAIL599.71
stmt27_584_603FAIL599.71
stmt2_480_551FAIL599.71
stmt27_946_955FAIL599.71
stmt2_976_999FAIL599.81