Test ran at 2025-02-13 12:51:23.312487+00:00 SOLUTION: elevator=1.0.0: A Simple Elevator System Origin: commit b439645aabfe091eef46b3a3174e47ffa86e3930 from https://github.com/ada-Soton/elevator.git Properties: Author: Thai Son Hoang Description: A Simple Elevator System Executable: main License: CC-BY-SA-4.0 Maintainer: Thai Son Hoang Maintainers_Logins: tshoang Name: elevator Tag: elevator Tag: teaching Version: 1.0.0 Website: https://github.com/ada-Soton/elevator Dependencies (direct): gnatprove^12.1.1 Dependencies (solution): gnatprove=12.1.1 Dependencies (graph): elevator=1.0.0 --> gnatprove=12.1.1 (^12.1.1) LOG: Spawning: alr -d -n get --build elevator=1.0.0 Note: Deploying elevator=1.0.0... Note: Deploying gnatprove=12.1.1... #=#=# ##O#-# 0.0% 0.3% 0.5% 0.8% 1.2% # 1.4% # 1.6% # 2.0% # 2.3% ## 3.1% ### 4.8% #### 6.8% ##### 7.2% ##### 7.4% ##### 8.1% ###### 9.6% ######## 11.3% ######## 12.3% ########## 14.0% ########### 15.4% ############ 16.8% ############# 18.7% ############## 20.2% ############### 21.6% ################ 22.5% ################ 22.5% ################ 23.5% ################# 24.9% ################# 24.9% ################## 25.9% ################### 27.3% #################### 28.7% ###################### 30.7% ###################### 31.1% ####################### 33.1% ######################## 33.7% ######################## 34.6% ######################### 35.9% ########################## 36.1% ########################## 37.0% ########################### 38.3% ############################ 40.2% ############################# 40.9% ############################## 41.9% ############################### 43.1% ############################### 44.4% ################################ 45.7% ################################## 47.4% ################################### 48.7% #################################### 50.3% ##################################### 52.2% ###################################### 53.7% ####################################### 55.1% ######################################### 57.0% ########################################## 58.4% ########################################### 59.9% ############################################ 61.2% ############################################ 61.2% ############################################ 62.3% ############################################# 63.0% ############################################## 64.6% ############################################## 65.2% ################################################ 67.0% ################################################# 69.0% ################################################## 69.8% ################################################### 71.6% #################################################### 72.8% ##################################################### 74.2% ###################################################### 75.2% ###################################################### 75.2% ####################################################### 76.6% ######################################################## 78.6% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.0% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.1% ######################################################## 79.2% ######################################################## 79.2% ######################################################## 79.2% ######################################################## 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.2% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.3% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.4% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.5% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.6% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.7% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.8% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 79.9% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.0% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.1% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.2% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.3% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.4% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.5% ######################################################### 80.6% ######################################################### 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.6% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.7% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.8% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 80.9% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.0% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.1% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.2% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.3% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################## 81.4% ########################################################### 82.4% ########################################################### 82.4% ############################################################ 83.8% ############################################################# 85.8% ############################################################## 86.7% ############################################################### 88.3% ################################################################ 89.6% ################################################################# 91.0% ################################################################## 91.9% ################################################################## 92.9% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.4% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.5% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.6% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.7% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.8% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 93.9% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.0% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.1% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.2% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.3% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% ################################################################### 94.4% #################################################################### 94.4% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.5% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.6% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.7% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.8% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 94.9% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.0% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.1% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.2% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.3% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.4% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.5% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.6% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.7% #################################################################### 95.8% ##################################################################### 96.7% ###################################################################### 98.2% ######################################################################## 100.0% Note: Building elevator=1.0.0/elevator.gpr... Setup [mkdir] object directory for project Elevator [mkdir] exec directory for project Elevator Compile [Ada] main.adb [Ada] cabin_package.adb [Ada] controller_package.adb [Ada] elevator.adb [Ada] user_package.adb [Ada] floor_package.ads [Ada] motor_package.ads [Ada] button_package.ads [Ada] direction_package.ads [Ada] door_package.ads Bind [gprbind] main.bexch [Ada] main.ali Link [link] main.adb elevator=1.0.0 successfully retrieved and built. Dependencies were solved as follows: +b gnatprove 12.1.1 (new,binary) Found declared GPR file: elevator.gpr