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

InstanceResultTime
stmt24_7_8SAT0.05
stmt44_107_108SAT0.05
stmt1_20_21SAT0.07
stmt1_145_146SAT0.1
stmt24_148_149SAT0.1
stmt27_296_297FAIL203.94
stmt18_258_260FAIL227.85
stmt24_292_293FAIL233.64
stmt70_191_213FAIL238.65
stmt17_99_98FAIL247.44
stmt82_224_225FAIL275.64
stmt16_0_1FAIL294.44
stmt11_643_645FAIL330.15
stmt2_649_776FAIL334.34
stmt16_285_286FAIL344.14
stmt27_946_955FAIL347.55
stmt44_916_917FAIL348.35
stmt1_919_920FAIL348.44
stmt124_966_965FAIL350.35
stmt44_554_555FAIL354.94
stmt2_649_647FAIL362.85
stmt72_696_721FAIL365.25
stmt86_889_890FAIL368.24
stmt44_435_436FAIL370.34
stmt41_118_131FAIL370.74
stmt2_480_551FAIL373.34
stmt41_738_737FAIL373.64
stmt137_903_911FAIL376.74
stmt32_570_572FAIL381.94
stmt44_554_604FAIL382.04
stmt2_649_723FAIL384.06
stmt24_765_766FAIL384.24
stmt70_495_501FAIL399.35
stmt2_976_999FAIL402.65
stmt70_854_859FAIL403.54
stmt16_950_951FAIL403.94
stmt41_738_749FAIL419.54
stmt21_326_327FAIL424.44
stmt41_566_580FAIL426.54
stmt38_943_942FAIL430.64
stmt9_350_351FAIL435.25
stmt16_47_48FAIL446.14
stmt37_941_942FAIL450.53
stmt16_818_819FAIL479.44
stmt1_60_61FAIL487.03
stmt27_584_603FAIL504.24
stmt1_629_630FAIL517.54
stmt3_639_640FAIL520.84
stmt1_787_788FAIL529.73
stmt1_811_812FAIL578.44