That doesn't seem like a fair comparison. They just used the default "high" settings for WMV and DivX. The high settings on WMV was over 6kbps where the DivX was just above 3kbps. If they had manually set the encoding rates to something similar they'd have the same file size but more than likely find that DivX is faster to encode while still producing equal if not better results.
Now that we've thrown 'em off the trail, use the form below to get in touch with the people at Engadget. Please fill in all of the required fields because they're required.
That doesn't seem like a fair comparison. They just used the default "high" settings for WMV and DivX. The high settings on WMV was over 6kbps where the DivX was just above 3kbps. If they had manually set the encoding rates to something similar they'd have the same file size but more than likely find that DivX is faster to encode while still producing equal if not better results.