[Openflipper] [OpenFlipper] Using the batch mode