ement="auto top"><i class="fa fa-flask"></i></a>-->
                <a class="btn btn-default" ng-if="model.isExercise" ng-click="downloadModel(model.id)" uib-tooltip="Download model"><i class="fa fa-download"></i></a>
                <a class="btn btn-default" ng-if="!model.isExercise" ng-click="downloadModelProofs(model.id)" uib-tooltip="Download model+proofs"><i class="fa fa-download"></i></a>
                <a class="btn btn-default" ng-click="deleteModel(model.id)" uib-tooltip="Delete model and proofs