1.13/1.20	YES
1.13/1.20	
1.13/1.20	Solver Timeout: 4
1.13/1.20	Global Timeout: 300
1.13/1.20	No parsing errors!
1.13/1.20	Init Location: 0
1.13/1.20	Transitions:
1.13/1.20	<l0, l7, true>
1.13/1.20	<l1, l2, (undef4 = undef4) /\ (undef5 = undef5) /\ (undef6 = undef6), par{oldX0^0 -> (0 + x0^0), oldX1^0 -> (0 + x1^0), oldX2^0 -> (0 + x2^0), oldX3^0 -> undef4, oldX4^0 -> undef5, oldX5^0 -> undef6, x0^0 -> (0 + undef4), x1^0 -> (0 + undef5), x2^0 -> (0 + undef6)}>
1.13/1.20	<l3, l4, (undef10 = (0 + x0^0)) /\ (undef11 = (0 + x1^0)) /\ (undef12 = (0 + x2^0)), par{oldX0^0 -> undef10, oldX1^0 -> undef11, oldX2^0 -> undef12, x0^0 -> (1 + undef10), x1^0 -> (0 + undef12), x2^0 -> (~(1) + undef11)}>
1.13/1.20	<l4, l1, (undef19 = (0 + x0^0)) /\ (undef20 = (0 + x1^0)) /\ (undef21 = (0 + x2^0)) /\ ((0 + undef20) <= 0), par{oldX0^0 -> undef19, oldX1^0 -> undef20, oldX2^0 -> undef21, x0^0 -> (0 + undef19), x1^0 -> (0 + undef20), x2^0 -> (0 + undef21)}>
1.13/1.20	<l4, l3, (undef28 = (0 + x0^0)) /\ (undef29 = (0 + x1^0)) /\ (undef30 = (0 + x2^0)) /\ (1 <= (0 + undef29)), par{oldX0^0 -> undef28, oldX1^0 -> undef29, oldX2^0 -> undef30, x0^0 -> (0 + undef28), x1^0 -> (0 + undef29), x2^0 -> (0 + undef30)}>
1.13/1.20	<l5, l4, (undef40 = undef40) /\ (undef41 = undef41), par{oldX0^0 -> (0 + x0^0), oldX1^0 -> (0 + x1^0), oldX2^0 -> (0 + x2^0), oldX3^0 -> undef40, oldX4^0 -> undef41, x0^0 -> 0, x1^0 -> (0 + undef40), x2^0 -> (0 + undef41)}>
1.13/1.20	<l6, l5, (undef49 = undef49) /\ (undef50 = undef50) /\ (undef51 = undef51), par{oldX0^0 -> (0 + x0^0), oldX1^0 -> (0 + x1^0), oldX2^0 -> (0 + x2^0), oldX3^0 -> undef49, oldX4^0 -> undef50, oldX5^0 -> undef51, x0^0 -> (0 + undef49), x1^0 -> (0 + undef50), x2^0 -> (0 + undef51)}>
1.13/1.20	<l6, l2, true>
1.13/1.20	<l6, l1, true>
1.13/1.20	<l6, l3, true>
1.13/1.20	<l6, l4, true>
1.13/1.20	<l6, l5, true>
1.13/1.20	<l7, l6, true>
1.13/1.20	
1.13/1.20	Fresh variables:
1.13/1.20	undef4, undef5, undef6, undef10, undef11, undef12, undef19, undef20, undef21, undef28, undef29, undef30, undef40, undef41, undef49, undef50, undef51, 
1.13/1.20	
1.13/1.20	Undef variables:
1.13/1.20	undef4, undef5, undef6, undef10, undef11, undef12, undef19, undef20, undef21, undef28, undef29, undef30, undef40, undef41, undef49, undef50, undef51, 
1.13/1.20	
1.13/1.20	Abstraction variables:
1.13/1.20	
1.13/1.20	Exit nodes:
1.13/1.20	
1.13/1.20	Accepting locations:
1.13/1.20	
1.13/1.20	Asserts:
1.13/1.20	
1.13/1.20	Preprocessed LLVMGraph
1.13/1.20	Init Location: 0
1.13/1.20	Transitions:
1.13/1.20	<l0, l2, (undef49 = undef49) /\ (undef50 = undef50) /\ (undef51 = undef51) /\ (undef40 = undef40) /\ (undef41 = undef41) /\ (undef19 = (0 + 0)) /\ (undef20 = (0 + (0 + undef40))) /\ (undef21 = (0 + (0 + undef41))) /\ ((0 + undef20) <= 0) /\ (undef4 = undef4) /\ (undef5 = undef5) /\ (undef6 = undef6), par{x0^0 -> (0 + undef4), x1^0 -> (0 + undef5), x2^0 -> (0 + undef6)}>
1.13/1.20	<l0, l3, (undef49 = undef49) /\ (undef50 = undef50) /\ (undef51 = undef51) /\ (undef40 = undef40) /\ (undef41 = undef41) /\ (undef28 = (0 + 0)) /\ (undef29 = (0 + (0 + undef40))) /\ (undef30 = (0 + (0 + undef41))) /\ (1 <= (0 + undef29)), par{x0^0 -> (0 + undef28), x1^0 -> (0 + undef29), x2^0 -> (0 + undef30)}>
1.13/1.20	<l0, l2, true>
1.13/1.20	<l0, l2, (undef4 = undef4) /\ (undef5 = undef5) /\ (undef6 = undef6), par{x0^0 -> (0 + undef4), x1^0 -> (0 + undef5), x2^0 -> (0 + undef6)}>
1.13/1.20	<l0, l3, true>
1.13/1.20	<l0, l2, (undef19 = (0 + x0^0)) /\ (undef20 = (0 + x1^0)) /\ (undef21 = (0 + x2^0)) /\ ((0 + undef20) <= 0) /\ (undef4 = undef4) /\ (undef5 = undef5) /\ (undef6 = undef6), par{x0^0 -> (0 + undef4), x1^0 -> (0 + undef5), x2^0 -> (0 + undef6)}>
1.13/1.20	<l0, l3, (undef28 = (0 + x0^0)) /\ (undef29 = (0 + x1^0)) /\ (undef30 = (0 + x2^0)) /\ (1 <= (0 + undef29)), par{x0^0 -> (0 + undef28), x1^0 -> (0 + undef29), x2^0 -> (0 + undef30)}>
1.13/1.20	<l0, l2, (undef40 = undef40) /\ (undef41 = undef41) /\ (undef19 = (0 + 0)) /\ (undef20 = (0 + (0 + undef40))) /\ (undef21 = (0 + (0 + undef41))) /\ ((0 + undef20) <= 0) /\ (undef4 = undef4) /\ (undef5 = undef5) /\ (undef6 = undef6), par{x0^0 -> (0 + undef4), x1^0 -> (0 + undef5), x2^0 -> (0 + undef6)}>
1.13/1.20	<l0, l3, (undef40 = undef40) /\ (undef41 = undef41) /\ (undef28 = (0 + 0)) /\ (undef29 = (0 + (0 + undef40))) /\ (undef30 = (0 + (0 + undef41))) /\ (1 <= (0 + undef29)), par{x0^0 -> (0 + undef28), x1^0 -> (0 + undef29), x2^0 -> (0 + undef30)}>
1.13/1.20	<l3, l2, (undef10 = (0 + x0^0)) /\ (undef11 = (0 + x1^0)) /\ (undef12 = (0 + x2^0)) /\ (undef19 = (0 + (1 + undef10))) /\ (undef20 = (0 + (0 + undef12))) /\ (undef21 = (0 + (~(1) + undef11))) /\ ((0 + undef20) <= 0) /\ (undef4 = undef4) /\ (undef5 = undef5) /\ (undef6 = undef6), par{x0^0 -> (0 + undef4), x1^0 -> (0 + undef5), x2^0 -> (0 + undef6)}>
1.13/1.20	<l3, l3, (undef10 = (0 + x0^0)) /\ (undef11 = (0 + x1^0)) /\ (undef12 = (0 + x2^0)) /\ (undef28 = (0 + (1 + undef10))) /\ (undef29 = (0 + (0 + undef12))) /\ (undef30 = (0 + (~(1) + undef11))) /\ (1 <= (0 + undef29)), par{x0^0 -> (0 + undef28), x1^0 -> (0 + undef29), x2^0 -> (0 + undef30)}>
1.13/1.20	
1.13/1.20	Fresh variables:
1.13/1.20	undef4, undef5, undef6, undef10, undef11, undef12, undef19, undef20, undef21, undef28, undef29, undef30, undef40, undef41, undef49, undef50, undef51, 
1.13/1.20	
1.13/1.20	Undef variables:
1.13/1.20	undef4, undef5, undef6, undef10, undef11, undef12, undef19, undef20, undef21, undef28, undef29, undef30, undef40, undef41, undef49, undef50, undef51, 
1.13/1.20	
1.13/1.20	Abstraction variables:
1.13/1.20	
1.13/1.20	Exit nodes:
1.13/1.20	
1.13/1.20	Accepting locations:
1.13/1.20	
1.13/1.20	Asserts:
1.13/1.20	
1.13/1.20	*************************************************************
1.13/1.20	*******************************************************************************************
1.13/1.20	***********************       WORKING TRANSITION SYSTEM (DAG)       ***********************
1.13/1.20	*******************************************************************************************
1.13/1.20	
1.13/1.20	Init Location: 0
1.13/1.20	Graph 0:
1.13/1.20	Transitions:
1.13/1.20	Variables:
1.13/1.20	
1.13/1.20	Graph 1:
1.13/1.20	Transitions:
1.13/1.20	<l3, l3, 1 <= undef29 /\ x0^0 = undef10 /\ x1^0 = undef11 /\ x2^0 = undef12 /\ undef12 = undef29 /\ 1 + undef10 = undef28 /\ undef11 = 1 + undef30, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.20	Variables:
1.13/1.20	x0^0, x1^0, x2^0
1.13/1.20	
1.13/1.20	Graph 2:
1.13/1.20	Transitions:
1.13/1.20	Variables:
1.13/1.20	
1.13/1.20	Precedence: 
1.13/1.20	Graph 0
1.13/1.20	
1.13/1.20	Graph 1
1.13/1.20	<l0, l3, 1 <= undef29 /\ undef28 = 0 /\ undef29 = undef40 /\ undef30 = undef41, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.20	<l0, l3, true, {all remain the same}>
1.13/1.20	<l0, l3, 1 <= undef29 /\ x0^0 = undef28 /\ x1^0 = undef29 /\ x2^0 = undef30, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.20	<l0, l3, 1 <= undef29 /\ undef28 = 0 /\ undef29 = undef40 /\ undef30 = undef41, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.20	
1.13/1.20	Graph 2
1.13/1.20	<l0, l2, undef20 <= 0 /\ undef19 = 0 /\ undef20 = undef40 /\ undef21 = undef41, {x0^0 -> undef4, x1^0 -> undef5, x2^0 -> undef6, rest remain the same}>
1.13/1.20	<l0, l2, true, {all remain the same}>
1.13/1.20	<l0, l2, true, {x0^0 -> undef4, x1^0 -> undef5, x2^0 -> undef6, rest remain the same}>
1.13/1.20	<l0, l2, undef20 <= 0 /\ x0^0 = undef19 /\ x1^0 = undef20 /\ x2^0 = undef21, {x0^0 -> undef4, x1^0 -> undef5, x2^0 -> undef6, rest remain the same}>
1.13/1.20	<l0, l2, undef20 <= 0 /\ undef19 = 0 /\ undef20 = undef40 /\ undef21 = undef41, {x0^0 -> undef4, x1^0 -> undef5, x2^0 -> undef6, rest remain the same}>
1.13/1.20	<l3, l2, undef20 <= 0 /\ x0^0 = undef10 /\ x1^0 = undef11 /\ x2^0 = undef12 /\ undef12 = undef20 /\ 1 + undef10 = undef19 /\ undef11 = 1 + undef21, {x0^0 -> undef4, x1^0 -> undef5, x2^0 -> undef6, rest remain the same}>
1.13/1.20	
1.13/1.20	Map Locations to Subgraph:
1.13/1.20	( 0 , 0 )
1.13/1.20	( 2 , 2 )
1.13/1.20	( 3 , 1 )
1.13/1.20	
1.13/1.20	*******************************************************************************************
1.13/1.20	********************************    CHECKING ASSERTIONS    ********************************
1.13/1.20	*******************************************************************************************
1.13/1.20	
1.13/1.20	Proving termination of subgraph 0
1.13/1.20	Proving termination of subgraph 1
1.13/1.20	Checking unfeasibility...
1.13/1.20	Time used: 0.003611
1.13/1.20	
1.13/1.20	Checking conditional termination of SCC {l3}...
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.001072s
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.004992s
1.13/1.20	Trying to remove transition: <l3, l3, 1 <= undef29 /\ x0^0 = undef10 /\ x1^0 = undef11 /\ x2^0 = undef12 /\ undef12 = undef29 /\ 1 + undef10 = undef28 /\ undef11 = 1 + undef30, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.20	Solving with 1 template(s).
1.13/1.20	
1.13/1.20	LOG: CALL solveNonLinearGetFirstSolution
1.13/1.20	
1.13/1.20	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.009430s
1.13/1.20	Time used: 0.00914
1.13/1.20	Solving with 1 template(s).
1.13/1.20	
1.13/1.20	LOG: CALL solveNonLinearGetFirstSolution
1.13/1.20	
1.13/1.20	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.014268s
1.13/1.20	Time used: 0.013532
1.13/1.20	Improving Solution with cost 1 ...
1.13/1.20	
1.13/1.20	LOG: CALL solveNonLinearGetNextSolution
1.13/1.20	
1.13/1.20	LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.022884s
1.13/1.20	Time used: 0.022874
1.13/1.20	
1.13/1.20	LOG: SAT solveNonLinear - Elapsed time: 0.037152s
1.13/1.20	Cost: 1; Total time: 0.036406
1.13/1.20	Failed at location 3: 0 <= 1 + x1^0
1.13/1.20	Before Improving: 
1.13/1.20	Quasi-invariant at l3: 0 <= 1 + x1^0
1.13/1.20	Optimizing invariants...
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.005634s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003647s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003628s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003607s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003592s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003591s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003600s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003586s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003588s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003609s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003591s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003592s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003584s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003576s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003584s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003588s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003597s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003607s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003586s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003598s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003607s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003605s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003621s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003623s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003599s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003617s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003618s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003598s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003608s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003610s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003624s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003617s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003618s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003608s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003623s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003619s
1.13/1.20	Quasi-invariant improved
1.13/1.20	
1.13/1.20	LOG: CALL solveLinear
1.13/1.20	
1.13/1.20	LOG: RETURN solveLinear - Elapsed time: 0.003621s
1.13/1.20	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003625s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003613s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003621s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003640s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003625s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003612s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003626s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003628s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003620s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003632s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003631s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003622s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003640s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003639s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003634s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003643s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003645s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003633s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003644s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003652s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003634s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003647s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003642s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003642s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003646s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003647s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003638s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003642s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003646s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003653s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003642s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003655s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003657s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003643s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003658s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003658s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003659s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003662s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003667s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003678s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003649s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003663s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003665s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003661s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003666s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003672s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003669s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003666s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003670s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003683s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003662s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003699s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003686s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003686s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003666s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003688s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003691s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003675s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003680s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003695s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003687s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003685s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003684s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003689s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003694s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003683s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003688s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003695s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003692s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003686s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003697s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003699s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003686s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003689s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003722s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003754s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003749s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003739s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003727s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003738s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003725s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003718s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003718s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003731s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003731s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003727s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003724s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003726s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003730s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003737s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003721s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003732s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003734s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003737s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003727s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003733s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003730s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003742s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003739s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003733s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003732s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003748s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003751s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003730s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003720s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003741s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003740s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003744s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003732s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003738s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003747s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003749s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003762s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003737s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003747s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003754s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003757s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003766s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003753s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003762s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003760s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003768s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003763s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003751s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003761s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003769s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003770s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003778s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003756s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003771s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003768s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003770s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003773s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003769s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003761s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003771s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003772s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003780s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003784s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003767s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003779s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003779s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003783s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003790s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003784s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003772s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003795s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003788s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003787s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003794s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003785s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003781s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003785s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003784s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003791s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003788s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003797s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003778s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003791s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003795s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003804s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003810s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003806s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003791s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003802s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003810s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003816s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003814s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003826s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.003815s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004195s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004120s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004119s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004115s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004107s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004071s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004071s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004084s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004059s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004065s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004080s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004081s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004084s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004077s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004080s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004086s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004097s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004087s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004093s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004097s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004136s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004141s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004095s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004096s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004109s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004100s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004099s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004107s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004101s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004108s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004127s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004133s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004117s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004114s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004115s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004113s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004129s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004180s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004176s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004123s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004129s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004126s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004130s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004130s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004139s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004138s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004143s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004140s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004164s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004258s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004228s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004176s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004334s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004196s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004233s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004230s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004183s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004187s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004181s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004191s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004181s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004182s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004187s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004194s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004183s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004192s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004179s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004191s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004190s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004182s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004196s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004205s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004204s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004289s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004252s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004201s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.004200s
1.13/1.21	Quasi-invariant improved
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.002672s
1.13/1.21	Remaining time after improvement: -0.00086
1.13/1.21	Termination implied by a set of quasi-invariant(s):
1.13/1.21	Quasi-invariant at l3: 0 <= 285 + x1^0
1.13/1.21	[ Invariant Graph ]
1.13/1.21	Strengthening and disabling transitions...
1.13/1.21	
1.13/1.21	LOG: CALL solverLinear in Graph for feasibility
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear in Graph for feasibility
1.13/1.21	Strengthening transition (result): 
1.13/1.21	<l3, l3, 1 <= undef29 /\ 0 <= 285 + x1^0 /\ x0^0 = undef10 /\ x1^0 = undef11 /\ x2^0 = undef12 /\ undef12 = undef29 /\ 1 + undef10 = undef28 /\ undef11 = 1 + undef30, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.21	[ Termination Graph ]
1.13/1.21	Strengthening and disabling transitions...
1.13/1.21	
1.13/1.21	LOG: CALL solverLinear in Graph for feasibility
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear in Graph for feasibility
1.13/1.21	Strengthening transition (result): 
1.13/1.21	<l3, l3, 1 <= undef29 /\ 0 <= 285 + x1^0 /\ x0^0 = undef10 /\ x1^0 = undef11 /\ x2^0 = undef12 /\ undef12 = undef29 /\ 1 + undef10 = undef28 /\ undef11 = 1 + undef30, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.21	Ranking function: 284 + x1^0 + x2^0
1.13/1.21	New Graphs: 
1.13/1.21	Calling Safety with literal 0 <= 285 + x1^0 and entry <l0, l3, true, {all remain the same}>
1.13/1.21	
1.13/1.21	LOG: CALL check - Post:0 <= 285 + x1^0 - Process 1
1.13/1.21	* Exit transition: <l0, l3, true, {all remain the same}>
1.13/1.21	* Postcondition  : 0 <= 285 + x1^0
1.13/1.21	
1.13/1.21	LOG: CALL solveLinear
1.13/1.21	
1.13/1.21	LOG: RETURN solveLinear - Elapsed time: 0.000578s
1.13/1.21	> Postcondition is not implied!
1.13/1.21	
1.13/1.21	LOG: RETURN check - Elapsed time: 0.000647s
1.13/1.21	INVARIANTS: 
1.13/1.21	3: 
1.13/1.21	Quasi-INVARIANTS to narrow Graph: 
1.13/1.21	3: 0 <= 285 + x1^0 , 
1.13/1.21	It's unfeasible. Removing transition: 
1.13/1.21	<l3, l3, 1 <= undef29 /\ x0^0 = undef10 /\ x1^0 = undef11 /\ x2^0 = undef12 /\ undef12 = undef29 /\ 1 + undef10 = undef28 /\ undef11 = 1 + undef30, {x0^0 -> undef28, x1^0 -> undef29, x2^0 -> undef30, rest remain the same}>
1.13/1.21	invGraph after Narrowing: 
1.13/1.21	Transitions:
1.13/1.21	Variables:
1.13/1.21	x0^0, x1^0, x2^0
1.13/1.21	Analyzing SCC {l3}...
1.13/1.21	No cycles found.
1.13/1.21	
1.13/1.21	Proving termination of subgraph 2
1.13/1.21	Analyzing SCC {l2}...
1.13/1.21	No cycles found.
1.13/1.21	
1.13/1.21	Program Terminates
1.13/1.21	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 26: delete: command not found
1.13/1.21	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 27: edit: command not found
1.13/1.21	EOF