1.24/1.27	YES
1.24/1.27	
1.24/1.27	Solver Timeout: 4
1.24/1.27	Global Timeout: 300
1.24/1.27	No parsing errors!
1.24/1.27	Init Location: 0
1.24/1.27	Transitions:
1.24/1.27	<l0, l3, true>
1.24/1.27	<l1, l2, (undef1 <= arg1) /\ (arg1 > 0) /\ (undef1 > 0) /\ (0 = arg2), par{arg1 -> undef1, arg2 -> 0, arg3 -> 0, arg4 -> 0, arg5 -> 0, arg6 -> 0}>
1.24/1.27	<l1, l2, (undef7 <= arg1) /\ (undef8 > ~(1)) /\ (arg1 > 0) /\ (undef7 > 0) /\ (1 = arg2), par{arg1 -> undef7, arg2 -> undef8, arg3 -> 0, arg4 -> 1, arg5 -> 1, arg6 -> 1}>
1.24/1.27	<l1, l2, (undef15 > ~(1)) /\ (arg2 > 1) /\ (undef14 > ~(1)) /\ (undef13 <= arg1) /\ (arg1 > 0) /\ (undef13 > 0), par{arg1 -> undef13, arg2 -> undef14, arg3 -> undef15, arg4 -> arg2, arg5 -> 2, arg6 -> arg2}>
1.24/1.27	<l2, l2, (arg5 >= arg4) /\ (arg4 > ~(1)) /\ (arg3 > 0) /\ (undef19 <= arg1) /\ (arg1 > 0) /\ (undef19 > 0) /\ (arg4 = arg6), par{arg1 -> undef19, arg2 -> (arg2 - 1), arg3 -> (arg2 - 1), arg6 -> arg4}>
1.24/1.27	<l2, l2, (arg3 > 0) /\ (arg4 > ~(1)) /\ (arg5 > ~(1)) /\ (arg5 < arg4) /\ (undef31 > ~(1)) /\ (undef25 <= arg1) /\ (arg1 > 0) /\ (undef25 > 0) /\ (arg4 = arg6), par{arg1 -> undef25, arg2 -> ((arg2 - 1) - undef31), arg3 -> ((arg2 - 1) - undef31), arg5 -> (arg5 + 1), arg6 -> arg4}>
1.24/1.27	<l3, l1, true, par{arg1 -> undef32, arg2 -> undef33, arg3 -> undef34, arg4 -> undef35, arg5 -> undef36, arg6 -> undef37}>
1.24/1.27	
1.24/1.27	Fresh variables:
1.24/1.27	undef1, undef7, undef8, undef13, undef14, undef15, undef19, undef25, undef31, undef32, undef33, undef34, undef35, undef36, undef37, 
1.24/1.27	
1.24/1.27	Undef variables:
1.24/1.27	undef1, undef7, undef8, undef13, undef14, undef15, undef19, undef25, undef31, undef32, undef33, undef34, undef35, undef36, undef37, 
1.24/1.27	
1.24/1.27	Abstraction variables:
1.24/1.27	
1.24/1.27	Exit nodes:
1.24/1.27	
1.24/1.27	Accepting locations:
1.24/1.27	
1.24/1.27	Asserts:
1.24/1.27	
1.24/1.27	Preprocessed LLVMGraph
1.24/1.27	Init Location: 0
1.24/1.27	Transitions:
1.24/1.27	<l0, l2, (undef1 <= undef32) /\ (undef32 > 0) /\ (undef1 > 0) /\ (0 = undef33), par{arg1 -> undef1, arg2 -> 0, arg3 -> 0, arg4 -> 0, arg5 -> 0, arg6 -> 0}>
1.24/1.27	<l0, l2, (undef7 <= undef32) /\ (undef8 > ~(1)) /\ (undef32 > 0) /\ (undef7 > 0) /\ (1 = undef33), par{arg1 -> undef7, arg2 -> undef8, arg3 -> 0, arg4 -> 1, arg5 -> 1, arg6 -> 1}>
1.24/1.27	<l0, l2, (undef15 > ~(1)) /\ (undef33 > 1) /\ (undef14 > ~(1)) /\ (undef13 <= undef32) /\ (undef32 > 0) /\ (undef13 > 0), par{arg1 -> undef13, arg2 -> undef14, arg3 -> undef15, arg4 -> undef33, arg5 -> 2, arg6 -> undef33}>
1.24/1.27	<l2, l2, (arg5 >= arg4) /\ (arg4 > ~(1)) /\ (arg3 > 0) /\ (undef19 <= arg1) /\ (arg1 > 0) /\ (undef19 > 0) /\ (arg4 = arg6), par{arg1 -> undef19, arg2 -> (arg2 - 1), arg3 -> (arg2 - 1), arg6 -> arg4}>
1.24/1.27	<l2, l2, (arg3 > 0) /\ (arg4 > ~(1)) /\ (arg5 > ~(1)) /\ (arg5 < arg4) /\ (undef31 > ~(1)) /\ (undef25 <= arg1) /\ (arg1 > 0) /\ (undef25 > 0) /\ (arg4 = arg6), par{arg1 -> undef25, arg2 -> ((arg2 - 1) - undef31), arg3 -> ((arg2 - 1) - undef31), arg5 -> (arg5 + 1), arg6 -> arg4}>
1.24/1.27	
1.24/1.27	Fresh variables:
1.24/1.27	undef1, undef7, undef8, undef13, undef14, undef15, undef19, undef25, undef31, undef32, undef33, undef34, undef35, undef36, undef37, 
1.24/1.27	
1.24/1.27	Undef variables:
1.24/1.27	undef1, undef7, undef8, undef13, undef14, undef15, undef19, undef25, undef31, undef32, undef33, undef34, undef35, undef36, undef37, 
1.24/1.27	
1.24/1.27	Abstraction variables:
1.24/1.27	
1.24/1.27	Exit nodes:
1.24/1.27	
1.24/1.27	Accepting locations:
1.24/1.27	
1.24/1.27	Asserts:
1.24/1.27	
1.24/1.27	*************************************************************
1.24/1.27	*******************************************************************************************
1.24/1.27	***********************       WORKING TRANSITION SYSTEM (DAG)       ***********************
1.24/1.27	*******************************************************************************************
1.24/1.27	
1.24/1.27	Init Location: 0
1.24/1.27	Graph 0:
1.24/1.27	Transitions:
1.24/1.27	Variables:
1.24/1.27	
1.24/1.27	Graph 1:
1.24/1.27	Transitions:
1.24/1.27	<l2, l2, undef19 <= arg1 /\ arg4 <= arg5 /\ 0 <= arg4 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 <= undef19 /\ arg4 = arg6, {arg1 -> undef19, arg2 -> -1 + arg2, arg3 -> -1 + arg2, arg6 -> arg4, rest remain the same}>
1.24/1.27	<l2, l2, undef25 <= arg1 /\ 0 <= arg4 /\ 0 <= arg5 /\ 0 <= undef31 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 + arg5 <= arg4 /\ 1 <= undef25 /\ arg4 = arg6, {arg1 -> undef25, arg2 -> -1 + arg2 - undef31, arg3 -> -1 + arg2 - undef31, arg5 -> 1 + arg5, arg6 -> arg4, rest remain the same}>
1.24/1.27	Variables:
1.24/1.27	arg1, arg2, arg3, arg4, arg5, arg6
1.24/1.27	
1.24/1.27	Precedence: 
1.24/1.27	Graph 0
1.24/1.27	
1.24/1.27	Graph 1
1.24/1.27	<l0, l2, undef1 <= undef32 /\ 1 <= undef1 /\ 1 <= undef32 /\ undef33 = 0, {arg1 -> undef1, arg2 -> 0, arg3 -> 0, arg4 -> 0, arg5 -> 0, arg6 -> 0, rest remain the same}>
1.24/1.27	<l0, l2, undef7 <= undef32 /\ 0 <= undef8 /\ 1 <= undef7 /\ 1 <= undef32 /\ undef33 = 1, {arg1 -> undef7, arg2 -> undef8, arg3 -> 0, arg4 -> 1, arg5 -> 1, arg6 -> 1, rest remain the same}>
1.24/1.27	<l0, l2, undef13 <= undef32 /\ 0 <= undef14 /\ 0 <= undef15 /\ 1 <= undef13 /\ 1 <= undef32 /\ 2 <= undef33, {arg1 -> undef13, arg2 -> undef14, arg3 -> undef15, arg4 -> undef33, arg5 -> 2, arg6 -> undef33, rest remain the same}>
1.24/1.27	
1.24/1.27	Map Locations to Subgraph:
1.24/1.27	( 0 , 0 )
1.24/1.27	( 2 , 1 )
1.24/1.27	
1.24/1.27	*******************************************************************************************
1.24/1.27	********************************    CHECKING ASSERTIONS    ********************************
1.24/1.27	*******************************************************************************************
1.24/1.27	
1.24/1.27	Proving termination of subgraph 0
1.24/1.27	Proving termination of subgraph 1
1.24/1.27	Checking unfeasibility...
1.24/1.27	Time used: 0.01286
1.24/1.27	
1.24/1.27	Checking conditional termination of SCC {l2}...
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.003002s
1.24/1.27	Ranking function: -4 + 4*arg4 - 4*arg5
1.24/1.27	New Graphs: 
1.24/1.27	Transitions:
1.24/1.27	<l2, l2, undef19 <= arg1 /\ arg4 <= arg5 /\ 0 <= arg4 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 <= undef19 /\ arg4 = arg6, {arg1 -> undef19, arg2 -> -1 + arg2, arg3 -> -1 + arg2, arg6 -> arg4, rest remain the same}>
1.24/1.27	Variables:
1.24/1.27	arg1, arg2, arg3, arg4, arg5, arg6
1.24/1.27	Checking conditional termination of SCC {l2}...
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.001067s
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004432s
1.24/1.27	Trying to remove transition: <l2, l2, undef19 <= arg1 /\ arg4 <= arg5 /\ 0 <= arg4 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 <= undef19 /\ arg4 = arg6, {arg1 -> undef19, arg2 -> -1 + arg2, arg3 -> -1 + arg2, arg6 -> arg4, rest remain the same}>
1.24/1.27	Solving with 1 template(s).
1.24/1.27	
1.24/1.27	LOG: CALL solveNonLinearGetFirstSolution
1.24/1.27	
1.24/1.27	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.016674s
1.24/1.27	Time used: 0.016353
1.24/1.27	Solving with 1 template(s).
1.24/1.27	
1.24/1.27	LOG: CALL solveNonLinearGetFirstSolution
1.24/1.27	
1.24/1.27	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.037177s
1.24/1.27	Time used: 0.036022
1.24/1.27	Improving Solution with cost 1 ...
1.24/1.27	
1.24/1.27	LOG: CALL solveNonLinearGetNextSolution
1.24/1.27	
1.24/1.27	LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.049863s
1.24/1.27	Time used: 0.049855
1.24/1.27	
1.24/1.27	LOG: SAT solveNonLinear - Elapsed time: 0.087040s
1.24/1.27	Cost: 1; Total time: 0.085877
1.24/1.27	Failed at location 2: 1 + arg3 + arg4 <= arg1 + arg2 + arg6
1.24/1.27	Before Improving: 
1.24/1.27	Quasi-invariant at l2: 1 + arg3 + arg4 <= arg1 + arg2 + arg6
1.24/1.27	Optimizing invariants...
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.008260s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004293s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004256s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004237s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004203s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004209s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004190s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004189s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004180s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004196s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004187s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004195s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004197s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004199s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004204s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004215s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004198s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004230s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004199s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004207s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004210s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004221s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004222s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004218s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004210s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004228s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004217s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004217s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004212s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004226s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004219s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004218s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004216s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004224s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004229s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004233s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004237s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004238s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004238s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004232s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004253s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004240s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004243s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004256s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004249s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004253s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004265s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004267s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004259s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004255s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004265s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004261s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004257s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004278s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004273s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004267s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004266s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004262s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004273s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004280s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004268s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004268s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004258s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004269s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004279s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004273s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004300s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004290s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004291s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004283s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004298s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004301s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004294s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004305s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004300s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004291s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004288s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004284s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004294s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004293s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004303s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004293s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004293s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004311s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004322s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004301s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004311s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004303s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004354s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004406s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004365s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004376s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004365s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004351s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004356s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004363s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004358s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004339s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004327s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004342s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004342s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004350s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004353s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004341s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004342s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004495s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004366s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004349s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004365s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004344s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004350s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004342s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004353s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004359s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004351s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004348s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004359s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004356s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004347s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004351s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004348s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004356s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004358s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004358s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004372s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004371s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004382s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004372s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004374s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004366s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004381s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004378s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004374s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004368s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004382s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004383s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004368s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004385s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004388s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004385s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004392s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004396s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004402s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004379s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004376s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004402s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004398s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004391s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004396s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004410s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004384s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004401s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004383s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004410s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004403s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004404s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004406s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004394s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004401s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004400s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004404s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004404s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004401s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004402s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004401s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004429s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004428s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004408s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004407s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004403s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004417s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004436s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004412s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004413s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004422s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004406s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004422s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004433s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004428s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004434s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004429s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004434s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004423s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004438s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004425s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004416s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004424s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004433s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004423s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004427s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004431s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004430s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004430s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004444s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004418s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004432s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004430s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004431s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004438s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004443s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004436s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004445s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004453s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004445s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004441s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004452s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004465s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004530s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004530s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004516s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004482s
1.24/1.27	Quasi-invariant improved
1.24/1.27	
1.24/1.27	LOG: CALL solveLinear
1.24/1.27	
1.24/1.27	LOG: RETURN solveLinear - Elapsed time: 0.004487s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004548s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004491s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004485s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004468s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004467s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004470s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004486s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004479s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004469s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004468s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004471s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004467s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004473s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004488s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004476s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004469s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004475s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004486s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004498s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004480s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004476s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004476s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004481s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004484s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004498s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004508s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004486s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004477s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004491s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004494s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004471s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004488s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004490s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004482s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004478s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.004509s
1.24/1.28	Quasi-invariant improved
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.003232s
1.24/1.28	Remaining time after improvement: -0.001229
1.24/1.28	Termination implied by a set of quasi-invariant(s):
1.24/1.28	Quasi-invariant at l2: arg3 + arg4 <= 247 + arg1 + arg2 + arg6
1.24/1.28	[ Invariant Graph ]
1.24/1.28	Strengthening and disabling transitions...
1.24/1.28	
1.24/1.28	LOG: CALL solverLinear in Graph for feasibility
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear in Graph for feasibility
1.24/1.28	Strengthening transition (result): 
1.24/1.28	<l2, l2, undef19 <= arg1 /\ arg4 <= arg5 /\ 0 <= arg4 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 <= undef19 /\ arg3 + arg4 <= 247 + arg1 + arg2 + arg6 /\ arg4 = arg6, {arg1 -> undef19, arg2 -> -1 + arg2, arg3 -> -1 + arg2, arg6 -> arg4, rest remain the same}>
1.24/1.28	
1.24/1.28	LOG: CALL solverLinear in Graph for feasibility
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear in Graph for feasibility
1.24/1.28	Strengthening transition (result): 
1.24/1.28	<l2, l2, undef25 <= arg1 /\ 0 <= arg4 /\ 0 <= arg5 /\ 0 <= undef31 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 + arg5 <= arg4 /\ 1 <= undef25 /\ arg3 + arg4 <= 247 + arg1 + arg2 + arg6 /\ arg4 = arg6, {arg1 -> undef25, arg2 -> -1 + arg2 - undef31, arg3 -> -1 + arg2 - undef31, arg5 -> 1 + arg5, arg6 -> arg4, rest remain the same}>
1.24/1.28	[ Termination Graph ]
1.24/1.28	Strengthening and disabling transitions...
1.24/1.28	
1.24/1.28	LOG: CALL solverLinear in Graph for feasibility
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear in Graph for feasibility
1.24/1.28	Strengthening transition (result): 
1.24/1.28	<l2, l2, undef19 <= arg1 /\ arg4 <= arg5 /\ 0 <= arg4 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 <= undef19 /\ arg3 + arg4 <= 247 + arg1 + arg2 + arg6 /\ arg4 = arg6, {arg1 -> undef19, arg2 -> -1 + arg2, arg3 -> -1 + arg2, arg6 -> arg4, rest remain the same}>
1.24/1.28	Ranking function: 1 + 246*arg1 + arg2
1.24/1.28	New Graphs: 
1.24/1.28	Calling Safety with literal arg3 + arg4 <= 247 + arg1 + arg2 + arg6 and entry <l0, l2, undef13 <= undef32 /\ 0 <= undef14 /\ 0 <= undef15 /\ 1 <= undef13 /\ 1 <= undef32 /\ 2 <= undef33, {arg1 -> undef13, arg2 -> undef14, arg3 -> undef15, arg4 -> undef33, arg5 -> 2, arg6 -> undef33, rest remain the same}>
1.24/1.28	
1.24/1.28	LOG: CALL check - Post:arg3 + arg4 <= 247 + arg1 + arg2 + arg6 - Process 1
1.24/1.28	* Exit transition: <l0, l2, undef13 <= undef32 /\ 0 <= undef14 /\ 0 <= undef15 /\ 1 <= undef13 /\ 1 <= undef32 /\ 2 <= undef33, {arg1 -> undef13, arg2 -> undef14, arg3 -> undef15, arg4 -> undef33, arg5 -> 2, arg6 -> undef33, rest remain the same}>
1.24/1.28	* Postcondition  : arg3 + arg4 <= 247 + arg1 + arg2 + arg6
1.24/1.28	
1.24/1.28	LOG: CALL solveLinear
1.24/1.28	
1.24/1.28	LOG: RETURN solveLinear - Elapsed time: 0.000854s
1.24/1.28	> Postcondition is not implied!
1.24/1.28	
1.24/1.28	LOG: RETURN check - Elapsed time: 0.001034s
1.24/1.28	INVARIANTS: 
1.24/1.28	2: 
1.24/1.28	Quasi-INVARIANTS to narrow Graph: 
1.24/1.28	2: arg3 + arg4 <= 247 + arg1 + arg2 + arg6 , 
1.24/1.28	It's unfeasible. Removing transition: 
1.24/1.28	<l2, l2, undef19 <= arg1 /\ arg4 <= arg5 /\ 0 <= arg4 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 <= undef19 /\ arg4 = arg6, {arg1 -> undef19, arg2 -> -1 + arg2, arg3 -> -1 + arg2, arg6 -> arg4, rest remain the same}>
1.24/1.28	It's unfeasible. Removing transition: 
1.24/1.28	<l2, l2, undef25 <= arg1 /\ 0 <= arg4 /\ 0 <= arg5 /\ 0 <= undef31 /\ 1 <= arg1 /\ 1 <= arg3 /\ 1 + arg5 <= arg4 /\ 1 <= undef25 /\ arg4 = arg6, {arg1 -> undef25, arg2 -> -1 + arg2 - undef31, arg3 -> -1 + arg2 - undef31, arg5 -> 1 + arg5, arg6 -> arg4, rest remain the same}>
1.24/1.28	invGraph after Narrowing: 
1.24/1.28	Transitions:
1.24/1.28	Variables:
1.24/1.28	arg1, arg2, arg3, arg4, arg5, arg6
1.24/1.28	Analyzing SCC {l2}...
1.24/1.28	No cycles found.
1.24/1.28	
1.24/1.28	Program Terminates
1.24/1.28	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 26: delete: command not found
1.24/1.28	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 27: edit: command not found
1.24/1.28	EOF