Added test for push, updated benchmark.out