Benchmarks on GIF encoding and decoding