BADGER benchmark

For Time