Instances of family wmiforward solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
stmt1_30_31SAT0.01
stmt44_107_108SAT0.01
stmt44_107_113SAT0.01
stmt25_52_53FAIL603.66
stmt44_916_917FAIL604.42
stmt27_296_297FAIL604.48
stmt17_18_19FAIL607.02
stmt16_950_951FAIL613.74
stmt24_765_766FAIL618.54
stmt41_738_749FAIL643.85