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

InstanceResultTime
stmt44_107_108SAT0.05
stmt1_30_31SAT0.06
stmt44_107_113SAT0.06
stmt27_296_297FAIL204.25
stmt17_18_19FAIL327.15
stmt44_916_917FAIL348.55
stmt24_765_766FAIL384.44
stmt16_950_951FAIL403.76
stmt41_738_749FAIL419.74
stmt25_52_53FAIL457.34