docker demo runs precise and quantal machines