Implementation of the Sleeping Barber IPC problem