Unpack ISPD04 benchmarks