Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems