0.00/0.14	YES
0.00/0.14	
0.00/0.14	Solver Timeout: 4
0.00/0.14	Global Timeout: 300
0.00/0.14	No parsing errors!
0.00/0.14	Init Location: 0
0.00/0.14	Transitions:
0.00/0.14	<l0, l51, true>
0.00/0.14	<l1, l2, true>
0.00/0.14	<l3, l4, true, par{tmp35^0 -> (0 + ret_check838^0)}>
0.00/0.14	<l4, l5, ((0 + tmp35^0) <= 0) /\ (0 <= (0 + tmp35^0))>
0.00/0.14	<l4, l1, (1 <= (0 + tmp35^0))>
0.00/0.14	<l4, l1, ((1 + tmp35^0) <= 0)>
0.00/0.14	<l6, l3, true, par{ret_check838^0 -> 10}>
0.00/0.14	<l6, l3, true, par{ret_check838^0 -> 0}>
0.00/0.14	<l7, l6, (1 <= (0 + n33^0))>
0.00/0.14	<l7, l5, ((0 + n33^0) <= 0)>
0.00/0.14	<l8, l7, true, par{n33^0 -> 50}>
0.00/0.14	<l9, l10, (1 <= (0 + n5^0))>
0.00/0.14	<l9, l11, ((0 + n5^0) <= 0)>
0.00/0.14	<l12, l8, ((0 + n19^0) <= (0 + i20^0))>
0.00/0.14	<l12, l13, ((1 + i20^0) <= (0 + n19^0)), par{i20^0 -> (1 + i20^0)}>
0.00/0.14	<l14, l13, true, par{i20^0 -> 0}>
0.00/0.14	<l15, l16, true, par{tmp___022^0 -> (0 + ret_check1026^0)}>
0.00/0.14	<l16, l8, ((0 + tmp___022^0) <= 0) /\ (0 <= (0 + tmp___022^0))>
0.00/0.14	<l16, l14, (1 <= (0 + tmp___022^0))>
0.00/0.14	<l16, l14, ((1 + tmp___022^0) <= 0)>
0.00/0.14	<l17, l15, true, par{ret_check1026^0 -> 10}>
0.00/0.14	<l17, l15, true, par{ret_check1026^0 -> 0}>
0.00/0.14	<l18, l17, true>
0.00/0.14	<l19, l20, true, par{tmp21^0 -> (0 + ret_check824^0)}>
0.00/0.14	<l20, l8, ((0 + tmp21^0) <= 0) /\ (0 <= (0 + tmp21^0))>
0.00/0.14	<l20, l18, (1 <= (0 + tmp21^0))>
0.00/0.14	<l20, l18, ((1 + tmp21^0) <= 0)>
0.00/0.14	<l21, l19, true, par{ret_check824^0 -> 10}>
0.00/0.14	<l21, l19, true, par{ret_check824^0 -> 0}>
0.00/0.14	<l22, l23, true>
0.00/0.14	<l24, l21, (1 <= (0 + n19^0))>
0.00/0.14	<l24, l8, ((0 + n19^0) <= 0)>
0.00/0.14	<l11, l24, true, par{n19^0 -> 200}>
0.00/0.14	<l13, l12, true>
0.00/0.14	<l25, l26, true>
0.00/0.14	<l23, l11, ((0 + n5^0) <= (0 + i6^0))>
0.00/0.14	<l23, l22, ((1 + i6^0) <= (0 + n5^0)), par{i6^0 -> (1 + i6^0)}>
0.00/0.14	<l27, l22, true, par{i6^0 -> 0}>
0.00/0.14	<l28, l29, true, par{tmp___08^0 -> (0 + ret_check1012^0)}>
0.00/0.14	<l29, l11, ((0 + tmp___08^0) <= 0) /\ (0 <= (0 + tmp___08^0))>
0.00/0.14	<l29, l27, (1 <= (0 + tmp___08^0))>
0.00/0.14	<l29, l27, ((1 + tmp___08^0) <= 0)>
0.00/0.14	<l30, l28, true, par{ret_check1012^0 -> 10}>
0.00/0.14	<l30, l28, true, par{ret_check1012^0 -> 0}>
0.00/0.14	<l31, l32, true>
0.00/0.14	<l33, l30, true>
0.00/0.14	<l34, l35, true, par{tmp7^0 -> (0 + ret_check810^0)}>
0.00/0.14	<l36, l37, true>
0.00/0.14	<l35, l11, ((0 + tmp7^0) <= 0) /\ (0 <= (0 + tmp7^0))>
0.00/0.14	<l35, l33, (1 <= (0 + tmp7^0))>
0.00/0.14	<l35, l33, ((1 + tmp7^0) <= 0)>
0.00/0.14	<l32, l36, ((0 + n47^0) <= (0 + i48^0))>
0.00/0.14	<l32, l31, ((1 + i48^0) <= (0 + n47^0)), par{i48^0 -> (1 + i48^0)}>
0.00/0.14	<l38, l31, true, par{i48^0 -> 0}>
0.00/0.14	<l39, l40, true, par{tmp___050^0 -> (0 + ret_check1054^0)}>
0.00/0.14	<l40, l36, ((0 + tmp___050^0) <= 0) /\ (0 <= (0 + tmp___050^0))>
0.00/0.14	<l40, l38, (1 <= (0 + tmp___050^0))>
0.00/0.14	<l40, l38, ((1 + tmp___050^0) <= 0)>
0.00/0.14	<l41, l39, true, par{ret_check1054^0 -> 10}>
0.00/0.14	<l41, l39, true, par{ret_check1054^0 -> 0}>
0.00/0.14	<l42, l41, true>
0.00/0.14	<l43, l44, true, par{tmp49^0 -> (0 + ret_check852^0)}>
0.00/0.14	<l44, l36, ((0 + tmp49^0) <= 0) /\ (0 <= (0 + tmp49^0))>
0.00/0.14	<l44, l42, (1 <= (0 + tmp49^0))>
0.00/0.14	<l44, l42, ((1 + tmp49^0) <= 0)>
0.00/0.14	<l45, l43, true, par{ret_check852^0 -> 10}>
0.00/0.14	<l45, l43, true, par{ret_check852^0 -> 0}>
0.00/0.14	<l46, l45, (1 <= (0 + n47^0))>
0.00/0.14	<l46, l36, ((0 + n47^0) <= 0)>
0.00/0.14	<l5, l46, true, par{n47^0 -> 20}>
0.00/0.14	<l10, l34, true, par{ret_check810^0 -> 10}>
0.00/0.14	<l10, l34, true, par{ret_check810^0 -> 0}>
0.00/0.14	<l26, l5, ((0 + n33^0) <= (0 + i34^0))>
0.00/0.14	<l26, l25, ((1 + i34^0) <= (0 + n33^0)), par{i34^0 -> (1 + i34^0)}>
0.00/0.14	<l47, l25, true, par{i34^0 -> 0}>
0.00/0.14	<l48, l49, true, par{tmp___036^0 -> (0 + ret_check1040^0)}>
0.00/0.14	<l49, l5, ((0 + tmp___036^0) <= 0) /\ (0 <= (0 + tmp___036^0))>
0.00/0.14	<l49, l47, (1 <= (0 + tmp___036^0))>
0.00/0.14	<l49, l47, ((1 + tmp___036^0) <= 0)>
0.00/0.14	<l2, l48, true, par{ret_check1040^0 -> 10}>
0.00/0.14	<l2, l48, true, par{ret_check1040^0 -> 0}>
0.00/0.14	<l50, l9, true, par{n5^0 -> 100}>
0.00/0.14	<l51, l50, true>
0.00/0.14	
0.00/0.14	Fresh variables:
0.00/0.14	
0.00/0.14	Undef variables:
0.00/0.14	
0.00/0.14	Abstraction variables:
0.00/0.14	
0.00/0.14	Exit nodes:
0.00/0.14	
0.00/0.14	Accepting locations:
0.00/0.14	
0.00/0.14	Asserts:
0.00/0.14	
0.00/0.14	Preprocessed LLVMGraph
0.00/0.14	Init Location: 0
0.00/0.14	Transitions:
0.00/0.14	<l0, l22, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ (1 <= (0 + (0 + 10))), par{i6^0 -> 0, tmp___08^0 -> (0 + 10)}>
0.00/0.14	<l0, l13, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ (1 <= (0 + (0 + 10))), par{i20^0 -> 0, n19^0 -> 200, tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 10), tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 0), tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ ((0 + 50) <= 0) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 10), tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 0), tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ ((0 + 50) <= 0) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, tmp___08^0 -> (0 + 0)}>
0.00/0.14	<l0, l13, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ (1 <= (0 + (0 + 10))), par{i20^0 -> 0, n19^0 -> 200}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 10)}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 0)}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ ((0 + 50) <= 0) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 10)}>
0.00/0.14	<l0, l49, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 0)}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l0, l45, (100 = 100) /\ (1 <= (0 + 100)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ ((0 + 50) <= 0) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l13, l49, ((0 + n19^0) <= (0 + i20^0)) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n33^0 -> 50, tmp___036^0 -> (0 + 10)}>
0.00/0.14	<l13, l49, ((0 + n19^0) <= (0 + i20^0)) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n33^0 -> 50, tmp___036^0 -> (0 + 0)}>
0.00/0.14	<l13, l45, ((0 + n19^0) <= (0 + i20^0)) /\ (1 <= (0 + 50)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 20)), par{n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l13, l45, ((0 + n19^0) <= (0 + i20^0)) /\ ((0 + 50) <= 0) /\ (1 <= (0 + 20)), par{n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l13, l13, ((1 + i20^0) <= (0 + n19^0)), par{i20^0 -> (1 + i20^0)}>
0.00/0.14	<l22, l13, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ (1 <= (0 + (0 + 10))), par{i20^0 -> 0, n19^0 -> 200}>
0.00/0.14	<l22, l49, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 10)}>
0.00/0.14	<l22, l49, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 0)}>
0.00/0.14	<l22, l45, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l22, l45, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ ((0 + 50) <= 0) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l22, l49, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 10)}>
0.00/0.14	<l22, l49, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ (1 <= (0 + (0 + 10))), par{n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> (0 + 0)}>
0.00/0.14	<l22, l45, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 50)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l22, l45, ((0 + 100) <= (0 + i6^0)) /\ (1 <= (0 + 200)) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0))) /\ ((0 + 50) <= 0) /\ (1 <= (0 + 20)), par{n19^0 -> 200, n33^0 -> 50, n47^0 -> 20}>
0.00/0.14	<l22, l22, ((1 + i6^0) <= (0 + 100)), par{i6^0 -> (1 + i6^0)}>
0.00/0.14	<l25, l45, ((0 + n33^0) <= (0 + i34^0)) /\ (1 <= (0 + 20)), par{n47^0 -> 20}>
0.00/0.14	<l25, l25, ((1 + i34^0) <= (0 + n33^0)), par{i34^0 -> (1 + i34^0)}>
0.00/0.14	<l31, l37, ((0 + n47^0) <= (0 + i48^0))>
0.00/0.14	<l31, l31, ((1 + i48^0) <= (0 + n47^0)), par{i48^0 -> (1 + i48^0)}>
0.00/0.14	<l45, l31, (1 <= (0 + (0 + 10))) /\ (1 <= (0 + (0 + 10))), par{i48^0 -> 0}>
0.00/0.14	<l45, l37, (1 <= (0 + (0 + 10))) /\ ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0)))>
0.00/0.14	<l45, l37, ((0 + (0 + 0)) <= 0) /\ (0 <= (0 + (0 + 0)))>
0.00/0.14	<l49, l45, ((0 + tmp___036^0) <= 0) /\ (0 <= (0 + tmp___036^0)) /\ (1 <= (0 + 20)), par{n47^0 -> 20}>
0.00/0.14	<l49, l25, (1 <= (0 + tmp___036^0)), par{i34^0 -> 0}>
0.00/0.14	<l49, l25, ((1 + tmp___036^0) <= 0), par{i34^0 -> 0}>
0.00/0.14	
0.00/0.14	Fresh variables:
0.00/0.14	
0.00/0.14	Undef variables:
0.00/0.14	
0.00/0.14	Abstraction variables:
0.00/0.14	
0.00/0.14	Exit nodes:
0.00/0.14	
0.00/0.14	Accepting locations:
0.00/0.14	
0.00/0.14	Asserts:
0.00/0.14	
0.00/0.14	*************************************************************
0.00/0.14	*******************************************************************************************
0.00/0.14	***********************       WORKING TRANSITION SYSTEM (DAG)       ***********************
0.00/0.14	*******************************************************************************************
0.00/0.14	
0.00/0.14	Init Location: 0
0.00/0.14	Graph 0:
0.00/0.14	Transitions:
0.00/0.14	Variables:
0.00/0.14	
0.00/0.14	Graph 1:
0.00/0.14	Transitions:
0.00/0.14	<l22, l22, i6^0 <= 99, {i6^0 -> 1 + i6^0, rest remain the same}>
0.00/0.14	Variables:
0.00/0.14	i6^0
0.00/0.14	
0.00/0.14	Graph 2:
0.00/0.14	Transitions:
0.00/0.14	<l13, l13, 1 + i20^0 <= n19^0, {i20^0 -> 1 + i20^0, rest remain the same}>
0.00/0.14	Variables:
0.00/0.14	i20^0, n19^0
0.00/0.14	
0.00/0.14	Graph 3:
0.00/0.14	Transitions:
0.00/0.14	Variables:
0.00/0.14	
0.00/0.14	Graph 4:
0.00/0.14	Transitions:
0.00/0.14	<l25, l25, 1 + i34^0 <= n33^0, {i34^0 -> 1 + i34^0, rest remain the same}>
0.00/0.14	Variables:
0.00/0.14	i34^0, n33^0
0.00/0.14	
0.00/0.14	Graph 5:
0.00/0.14	Transitions:
0.00/0.14	Variables:
0.00/0.14	
0.00/0.14	Graph 6:
0.00/0.14	Transitions:
0.00/0.14	<l31, l31, 1 + i48^0 <= n47^0, {i48^0 -> 1 + i48^0, rest remain the same}>
0.00/0.14	Variables:
0.00/0.14	i48^0, n47^0
0.00/0.14	
0.00/0.14	Graph 7:
0.00/0.14	Transitions:
0.00/0.14	Variables:
0.00/0.14	
0.00/0.14	Precedence: 
0.00/0.14	Graph 0
0.00/0.14	
0.00/0.14	Graph 1
0.00/0.14	<l0, l22, true, {i6^0 -> 0, tmp___08^0 -> 10, rest remain the same}>
0.00/0.14	
0.00/0.14	Graph 2
0.00/0.14	<l0, l13, true, {i20^0 -> 0, n19^0 -> 200, tmp___08^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l13, true, {i20^0 -> 0, n19^0 -> 200, rest remain the same}>
0.00/0.14	<l22, l13, 100 <= i6^0, {i20^0 -> 0, n19^0 -> 200, rest remain the same}>
0.00/0.14	
0.00/0.14	Graph 3
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 10, tmp___08^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 0, tmp___08^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 10, tmp___08^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 0, tmp___08^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 10, rest remain the same}>
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 10, rest remain the same}>
0.00/0.14	<l0, l49, true, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 0, rest remain the same}>
0.00/0.14	<l13, l49, n19^0 <= i20^0, {n33^0 -> 50, tmp___036^0 -> 10, rest remain the same}>
0.00/0.14	<l13, l49, n19^0 <= i20^0, {n33^0 -> 50, tmp___036^0 -> 0, rest remain the same}>
0.00/0.14	<l22, l49, 100 <= i6^0, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 10, rest remain the same}>
0.00/0.14	<l22, l49, 100 <= i6^0, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 0, rest remain the same}>
0.00/0.14	<l22, l49, 100 <= i6^0, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 10, rest remain the same}>
0.00/0.14	<l22, l49, 100 <= i6^0, {n19^0 -> 200, n33^0 -> 50, tmp___036^0 -> 0, rest remain the same}>
0.00/0.14	
0.00/0.14	Graph 4
0.00/0.14	<l49, l25, 1 <= tmp___036^0, {i34^0 -> 0, rest remain the same}>
0.00/0.14	<l49, l25, 1 + tmp___036^0 <= 0, {i34^0 -> 0, rest remain the same}>
0.00/0.14	
0.00/0.14	Graph 5
0.00/0.14	<l0, l45, true, {n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, tmp___08^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l45, true, {n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, tmp___08^0 -> 0, rest remain the same}>
0.00/0.14	<l0, l45, true, {n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, rest remain the same}>
0.00/0.14	<l0, l45, true, {n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, rest remain the same}>
0.00/0.14	<l13, l45, n19^0 <= i20^0, {n33^0 -> 50, n47^0 -> 20, rest remain the same}>
0.00/0.14	<l22, l45, 100 <= i6^0, {n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, rest remain the same}>
0.00/0.14	<l22, l45, 100 <= i6^0, {n19^0 -> 200, n33^0 -> 50, n47^0 -> 20, rest remain the same}>
0.00/0.14	<l25, l45, n33^0 <= i34^0, {n47^0 -> 20, rest remain the same}>
0.00/0.14	<l49, l45, tmp___036^0 = 0, {n47^0 -> 20, rest remain the same}>
0.00/0.14	
0.00/0.14	Graph 6
0.00/0.14	<l45, l31, true, {i48^0 -> 0, rest remain the same}>
0.00/0.14	
0.00/0.14	Graph 7
0.00/0.14	<l31, l37, n47^0 <= i48^0, {all remain the same}>
0.00/0.14	<l45, l37, true, {all remain the same}>
0.00/0.14	<l45, l37, true, {all remain the same}>
0.00/0.14	
0.00/0.14	Map Locations to Subgraph:
0.00/0.14	( 0 , 0 )
0.00/0.14	( 13 , 2 )
0.00/0.14	( 22 , 1 )
0.00/0.14	( 25 , 4 )
0.00/0.14	( 31 , 6 )
0.00/0.14	( 37 , 7 )
0.00/0.14	( 45 , 5 )
0.00/0.14	( 49 , 3 )
0.00/0.14	
0.00/0.14	*******************************************************************************************
0.00/0.14	********************************    CHECKING ASSERTIONS    ********************************
0.00/0.14	*******************************************************************************************
0.00/0.14	
0.00/0.14	Proving termination of subgraph 0
0.00/0.14	Proving termination of subgraph 1
0.00/0.14	Checking unfeasibility...
0.00/0.14	Time used: 0.00138
0.00/0.14	
0.00/0.14	Checking conditional termination of SCC {l22}...
0.00/0.14	
0.00/0.14	LOG: CALL solveLinear
0.00/0.14	
0.00/0.14	LOG: RETURN solveLinear - Elapsed time: 0.001517s
0.00/0.14	Ranking function: 99 - i6^0
0.00/0.14	New Graphs: 
0.00/0.14	Proving termination of subgraph 2
0.00/0.14	Checking unfeasibility...
0.00/0.14	Time used: 0.002157
0.00/0.14	
0.00/0.14	Checking conditional termination of SCC {l13}...
0.00/0.14	
0.00/0.14	LOG: CALL solveLinear
0.00/0.14	
0.00/0.14	LOG: RETURN solveLinear - Elapsed time: 0.002007s
0.00/0.14	Ranking function: -1 - i20^0 + n19^0
0.00/0.14	New Graphs: 
0.00/0.14	Proving termination of subgraph 3
0.00/0.14	Analyzing SCC {l49}...
0.00/0.14	No cycles found.
0.00/0.14	
0.00/0.14	Proving termination of subgraph 4
0.00/0.14	Checking unfeasibility...
0.00/0.14	Time used: 0.002051
0.00/0.14	
0.00/0.14	Checking conditional termination of SCC {l25}...
0.00/0.14	
0.00/0.14	LOG: CALL solveLinear
0.00/0.14	
0.00/0.14	LOG: RETURN solveLinear - Elapsed time: 0.001884s
0.00/0.14	Ranking function: -1 - i34^0 + n33^0
0.00/0.14	New Graphs: 
0.00/0.14	Proving termination of subgraph 5
0.00/0.14	Analyzing SCC {l45}...
0.00/0.14	No cycles found.
0.00/0.14	
0.00/0.14	Proving termination of subgraph 6
0.00/0.14	Checking unfeasibility...
0.00/0.14	Time used: 0.001672
0.00/0.14	
0.00/0.14	Checking conditional termination of SCC {l31}...
0.00/0.14	
0.00/0.14	LOG: CALL solveLinear
0.00/0.14	
0.00/0.14	LOG: RETURN solveLinear - Elapsed time: 0.002018s
0.00/0.14	Ranking function: -1 - i48^0 + n47^0
0.00/0.14	New Graphs: 
0.00/0.14	Proving termination of subgraph 7
0.00/0.14	Analyzing SCC {l37}...
0.00/0.14	No cycles found.
0.00/0.14	
0.00/0.14	Program Terminates
0.00/0.14	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 26: delete: command not found
0.00/0.14	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 27: edit: command not found
0.00/0.14	EOF