0.00/0.02 YES 0.00/0.02 0.00/0.03 Solver Timeout: 4 0.00/0.03 Global Timeout: 300 0.00/0.03 No parsing errors! 0.00/0.03 Init Location: 0 0.00/0.03 Transitions: 0.00/0.03 0.00/0.03 (0 + undef41), i2^0 -> (0 + undef42), i3^0 -> (0 + undef43), i4^0 -> (0 + undef44), i5^0 -> (0 + undef45), i6^0 -> (0 + undef46), i7^0 -> (0 + undef47), i8^0 -> (0 + undef48), n17^0 -> 2, n21^0 -> 2, n25^0 -> 2, n29^0 -> 2, n33^0 -> 2, n37^0 -> 2, n41^0 -> 2, n45^0 -> 2, ret18^0 -> undef17, ret22^0 -> undef18, ret26^0 -> undef19, ret30^0 -> undef20, ret34^0 -> undef21, ret38^0 -> undef22, ret42^0 -> undef23, ret46^0 -> undef24, ret_fn120^0 -> undef25, ret_fn124^0 -> undef26, ret_fn128^0 -> undef27, ret_fn132^0 -> undef28, ret_fn136^0 -> undef29, ret_fn140^0 -> undef30, ret_fn144^0 -> undef31, ret_fn148^0 -> undef32, tmp19^0 -> undef33, tmp23^0 -> undef34, tmp27^0 -> undef35, tmp31^0 -> undef36, tmp35^0 -> undef37, tmp39^0 -> undef38, tmp43^0 -> undef39, tmp47^0 -> undef40, tmp^0 -> undef41, tmp___0^0 -> undef42, tmp___1^0 -> undef43, tmp___2^0 -> undef44, tmp___3^0 -> undef45, tmp___4^0 -> undef46, tmp___5^0 -> undef47, tmp___6^0 -> undef48}> 0.00/0.03 0.00/0.03 0.00/0.03 Fresh variables: 0.00/0.03 undef17, undef18, undef19, undef20, undef21, undef22, undef23, undef24, undef25, undef26, undef27, undef28, undef29, undef30, undef31, undef32, undef33, undef34, undef35, undef36, undef37, undef38, undef39, undef40, undef41, undef42, undef43, undef44, undef45, undef46, undef47, undef48, 0.00/0.03 0.00/0.03 Undef variables: 0.00/0.03 undef17, undef18, undef19, undef20, undef21, undef22, undef23, undef24, undef25, undef26, undef27, undef28, undef29, undef30, undef31, undef32, undef33, undef34, undef35, undef36, undef37, undef38, undef39, undef40, undef41, undef42, undef43, undef44, undef45, undef46, undef47, undef48, 0.00/0.03 0.00/0.03 Abstraction variables: 0.00/0.03 0.00/0.03 Exit nodes: 0.00/0.03 0.00/0.03 Accepting locations: 0.00/0.03 0.00/0.03 Asserts: 0.00/0.03 0.00/0.03 Preprocessed LLVMGraph 0.00/0.03 Init Location: 0 0.00/0.03 Transitions: 0.00/0.03 0.00/0.03 0.00/0.03 Fresh variables: 0.00/0.03 undef17, undef18, undef19, undef20, undef21, undef22, undef23, undef24, undef25, undef26, undef27, undef28, undef29, undef30, undef31, undef32, undef33, undef34, undef35, undef36, undef37, undef38, undef39, undef40, undef41, undef42, undef43, undef44, undef45, undef46, undef47, undef48, 0.00/0.03 0.00/0.03 Undef variables: 0.00/0.03 undef17, undef18, undef19, undef20, undef21, undef22, undef23, undef24, undef25, undef26, undef27, undef28, undef29, undef30, undef31, undef32, undef33, undef34, undef35, undef36, undef37, undef38, undef39, undef40, undef41, undef42, undef43, undef44, undef45, undef46, undef47, undef48, 0.00/0.03 0.00/0.03 Abstraction variables: 0.00/0.03 0.00/0.03 Exit nodes: 0.00/0.03 0.00/0.03 Accepting locations: 0.00/0.03 0.00/0.03 Asserts: 0.00/0.03 0.00/0.03 ************************************************************* 0.00/0.03 ******************************************************************************************* 0.00/0.03 *********************** WORKING TRANSITION SYSTEM (DAG) *********************** 0.00/0.03 ******************************************************************************************* 0.00/0.03 0.00/0.03 Init Location: 0 0.00/0.03 Graph 0: 0.00/0.03 Transitions: 0.00/0.03 Variables: 0.00/0.03 0.00/0.03 Graph 1: 0.00/0.03 Transitions: 0.00/0.03 Variables: 0.00/0.03 0.00/0.03 Precedence: 0.00/0.03 Graph 0 0.00/0.03 0.00/0.03 Graph 1 0.00/0.03 0.00/0.03 0.00/0.03 Map Locations to Subgraph: 0.00/0.03 ( 0 , 0 ) 0.00/0.03 ( 2 , 1 ) 0.00/0.03 0.00/0.03 ******************************************************************************************* 0.00/0.03 ******************************** CHECKING ASSERTIONS ******************************** 0.00/0.03 ******************************************************************************************* 0.00/0.03 0.00/0.03 Proving termination of subgraph 0 0.00/0.03 Proving termination of subgraph 1 0.00/0.03 Analyzing SCC {l2}... 0.00/0.03 No cycles found. 0.00/0.03 0.00/0.03 Program Terminates 0.00/0.03 /export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 26: delete: command not found 0.00/0.03 /export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 27: edit: command not found 0.00/0.03 EOF