examples/: add time format option