19.70/19.79	NO
19.70/19.79	
19.70/19.79	Solver Timeout: 4
19.70/19.79	Global Timeout: 300
19.70/19.79	No parsing errors!
19.70/19.79	Init Location: 0
19.70/19.79	Transitions:
19.70/19.79	<l0, l4, true>
19.70/19.79	<l1, l2, (undef1 = (1 + x^0)) /\ (201 <= (0 + undef1)), par{x^0 -> undef1}>
19.70/19.79	<l2, l1, true>
19.70/19.79	<l3, l1, true>
19.70/19.79	<l4, l3, true>
19.70/19.79	
19.70/19.79	Fresh variables:
19.70/19.79	undef1, 
19.70/19.79	
19.70/19.79	Undef variables:
19.70/19.79	undef1, 
19.70/19.79	
19.70/19.79	Abstraction variables:
19.70/19.79	
19.70/19.79	Exit nodes:
19.70/19.79	
19.70/19.79	Accepting locations:
19.70/19.79	
19.70/19.79	Asserts:
19.70/19.79	
19.70/19.79	Preprocessed LLVMGraph
19.70/19.79	Init Location: 0
19.70/19.79	Transitions:
19.70/19.79	<l0, l1, true>
19.70/19.79	<l1, l1, (undef1 = (1 + x^0)) /\ (201 <= (0 + undef1)), par{x^0 -> undef1}>
19.70/19.79	
19.70/19.79	Fresh variables:
19.70/19.79	undef1, 
19.70/19.79	
19.70/19.79	Undef variables:
19.70/19.79	undef1, 
19.70/19.79	
19.70/19.79	Abstraction variables:
19.70/19.79	
19.70/19.79	Exit nodes:
19.70/19.79	
19.70/19.79	Accepting locations:
19.70/19.79	
19.70/19.79	Asserts:
19.70/19.79	
19.70/19.79	*************************************************************
19.70/19.79	*******************************************************************************************
19.70/19.79	***********************       WORKING TRANSITION SYSTEM (DAG)       ***********************
19.70/19.79	*******************************************************************************************
19.70/19.79	
19.70/19.79	Init Location: 0
19.70/19.79	Graph 0:
19.70/19.79	Transitions:
19.70/19.79	Variables:
19.70/19.79	
19.70/19.79	Graph 1:
19.70/19.79	Transitions:
19.70/19.79	<l1, l1, 201 <= undef1 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.79	Variables:
19.70/19.79	x^0
19.70/19.79	
19.70/19.79	Precedence: 
19.70/19.79	Graph 0
19.70/19.79	
19.70/19.79	Graph 1
19.70/19.79	<l0, l1, true, {all remain the same}>
19.70/19.79	
19.70/19.79	Map Locations to Subgraph:
19.70/19.79	( 0 , 0 )
19.70/19.79	( 1 , 1 )
19.70/19.79	
19.70/19.79	*******************************************************************************************
19.70/19.79	********************************    CHECKING ASSERTIONS    ********************************
19.70/19.79	*******************************************************************************************
19.70/19.79	
19.70/19.79	Proving termination of subgraph 0
19.70/19.79	Proving termination of subgraph 1
19.70/19.79	Checking unfeasibility...
19.70/19.79	Time used: 0.001453
19.70/19.79	
19.70/19.79	Checking conditional termination of SCC {l1}...
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.000527s
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001819s
19.70/19.79	Trying to remove transition: <l1, l1, 201 <= undef1 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.79	Solving with 1 template(s).
19.70/19.79	
19.70/19.79	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.79	
19.70/19.79	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.004393s
19.70/19.79	Time used: 0.00424
19.70/19.79	Solving with 1 template(s).
19.70/19.79	
19.70/19.79	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.79	
19.70/19.79	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.004661s
19.70/19.79	Time used: 0.004397
19.70/19.79	Improving Solution with cost 1 ...
19.70/19.79	
19.70/19.79	LOG: CALL solveNonLinearGetNextSolution
19.70/19.79	
19.70/19.79	LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.008671s
19.70/19.79	Time used: 0.008666
19.70/19.79	
19.70/19.79	LOG: SAT solveNonLinear - Elapsed time: 0.013332s
19.70/19.79	Cost: 1; Total time: 0.013063
19.70/19.79	Failed at location 1: x^0 <= 1
19.70/19.79	Before Improving: 
19.70/19.79	Quasi-invariant at l1: x^0 <= 1
19.70/19.79	Optimizing invariants...
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001586s
19.70/19.79	Remaining time after improvement: 0.999176
19.70/19.79	Termination implied by a set of quasi-invariant(s):
19.70/19.79	Quasi-invariant at l1: x^0 <= 1
19.70/19.79	[ Invariant Graph ]
19.70/19.79	Strengthening and disabling transitions...
19.70/19.79	
19.70/19.79	LOG: CALL solverLinear in Graph for feasibility
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear in Graph for feasibility
19.70/19.79	It's unfeasible. Removing transition: 
19.70/19.79	<l1, l1, 201 <= undef1 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.79	[ Termination Graph ]
19.70/19.79	Strengthening and disabling transitions...
19.70/19.79	> It's unfeasible. Removing transition: 
19.70/19.79	<l1, l1, 201 <= undef1 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.79	New Graphs: 
19.70/19.79	Calling Safety with literal x^0 <= 1 and entry <l0, l1, true, {all remain the same}>
19.70/19.79	
19.70/19.79	LOG: CALL check - Post:x^0 <= 1 - Process 1
19.70/19.79	* Exit transition: <l0, l1, true, {all remain the same}>
19.70/19.79	* Postcondition  : x^0 <= 1
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.000288s
19.70/19.79	> Postcondition is not implied!
19.70/19.79	
19.70/19.79	LOG: RETURN check - Elapsed time: 0.000352s
19.70/19.79	INVARIANTS: 
19.70/19.79	1: 
19.70/19.79	Quasi-INVARIANTS to narrow Graph: 
19.70/19.79	1: x^0 <= 1 , 
19.70/19.79	Narrowing transition: 
19.70/19.79	<l1, l1, 201 <= undef1 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.79	
19.70/19.79	LOG: Narrow transition size 1
19.70/19.79	invGraph after Narrowing: 
19.70/19.79	Transitions:
19.70/19.79	<l1, l1, 201 <= undef1 /\ 2 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.79	Variables:
19.70/19.79	x^0
19.70/19.79	Checking conditional termination of SCC {l1}...
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.000558s
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.002018s
19.70/19.79	Trying to remove transition: <l1, l1, 201 <= undef1 /\ 2 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.79	Solving with 1 template(s).
19.70/19.79	
19.70/19.79	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.79	
19.70/19.79	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.003801s
19.70/19.79	Time used: 0.003659
19.70/19.79	Solving with 1 template(s).
19.70/19.79	
19.70/19.79	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.79	
19.70/19.79	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.010589s
19.70/19.79	Time used: 0.010266
19.70/19.79	Improving Solution with cost 1 ...
19.70/19.79	
19.70/19.79	LOG: CALL solveNonLinearGetNextSolution
19.70/19.79	
19.70/19.79	LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.013172s
19.70/19.79	Time used: 0.013167
19.70/19.79	
19.70/19.79	LOG: SAT solveNonLinear - Elapsed time: 0.023761s
19.70/19.79	Cost: 1; Total time: 0.023433
19.70/19.79	Failed at location 1: x^0 <= 2
19.70/19.79	Before Improving: 
19.70/19.79	Quasi-invariant at l1: x^0 <= 2
19.70/19.79	Optimizing invariants...
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.002268s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001615s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001610s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001611s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001616s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001612s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001600s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001609s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001621s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001606s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001611s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001619s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001610s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001620s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001626s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001611s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001616s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001612s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001606s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001616s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001615s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001613s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001622s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001618s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001609s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001626s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001620s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001621s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001624s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001617s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001629s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001631s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001630s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001637s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001631s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001625s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001620s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001634s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001626s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001631s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001633s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001631s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001622s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001633s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001630s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001630s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001620s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001612s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001631s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001638s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001636s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001629s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001634s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001641s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001637s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001617s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001619s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001635s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001640s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001640s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001640s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001643s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001641s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001638s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001622s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001627s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001623s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001617s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001651s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001650s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001636s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001651s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001653s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001639s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001653s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001633s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001615s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001625s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001635s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001621s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001647s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001658s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001650s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001650s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001657s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001658s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001653s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001662s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001636s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001631s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001631s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001636s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001643s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001651s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001675s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001669s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001666s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001669s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001670s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001669s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001660s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001650s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001655s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001672s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001677s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001654s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001654s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001649s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001652s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001659s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001675s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001688s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001676s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.79	
19.70/19.79	LOG: RETURN solveLinear - Elapsed time: 0.001683s
19.70/19.79	Quasi-invariant improved
19.70/19.79	
19.70/19.79	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001672s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001676s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001685s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001677s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001792s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001767s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001809s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001775s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001797s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001798s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001789s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001798s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001799s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001796s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001803s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001781s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001772s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001807s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001812s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001809s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001817s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001817s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001818s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001808s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001819s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001794s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001798s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001818s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001821s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001829s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001815s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001823s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001824s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001824s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001825s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001804s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001803s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001804s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001798s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001833s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001834s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001838s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001840s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001841s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001835s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001844s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001836s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001810s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001813s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001844s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001841s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001850s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001851s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001852s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001854s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001844s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001846s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001853s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001824s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001834s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001834s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001873s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001865s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001860s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001866s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001853s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001860s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001861s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001865s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001868s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001845s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001845s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001845s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001867s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001873s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001873s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001862s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001870s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001869s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001871s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001873s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001841s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001841s
19.70/19.80	Quasi-invariant improved
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001142s
19.70/19.80	Remaining time after improvement: 0.69376
19.70/19.80	Termination implied by a set of quasi-invariant(s):
19.70/19.80	Quasi-invariant at l1: x^0 <= 199
19.70/19.80	[ Invariant Graph ]
19.70/19.80	Strengthening and disabling transitions...
19.70/19.80	
19.70/19.80	LOG: CALL solverLinear in Graph for feasibility
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear in Graph for feasibility
19.70/19.80	It's unfeasible. Removing transition: 
19.70/19.80	<l1, l1, 201 <= undef1 /\ 2 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	[ Termination Graph ]
19.70/19.80	Strengthening and disabling transitions...
19.70/19.80	
19.70/19.80	LOG: CALL solverLinear in Graph for feasibility
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear in Graph for feasibility
19.70/19.80	It's unfeasible. Removing transition: 
19.70/19.80	<l1, l1, 201 <= undef1 /\ 2 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	New Graphs: 
19.70/19.80	Calling Safety with literal x^0 <= 199 and entry <l0, l1, 2 <= x^0, {all remain the same}>
19.70/19.80	
19.70/19.80	LOG: CALL check - Post:x^0 <= 199 - Process 2
19.70/19.80	* Exit transition: <l0, l1, 2 <= x^0, {all remain the same}>
19.70/19.80	* Postcondition  : x^0 <= 199
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.000451s
19.70/19.80	> Postcondition is not implied!
19.70/19.80	
19.70/19.80	LOG: RETURN check - Elapsed time: 0.000521s
19.70/19.80	INVARIANTS: 
19.70/19.80	1: 
19.70/19.80	Quasi-INVARIANTS to narrow Graph: 
19.70/19.80	1: x^0 <= 199 , 
19.70/19.80	Narrowing transition: 
19.70/19.80	<l1, l1, 201 <= undef1 /\ 2 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	
19.70/19.80	LOG: Narrow transition size 1
19.70/19.80	invGraph after Narrowing: 
19.70/19.80	Transitions:
19.70/19.80	<l1, l1, 201 <= undef1 /\ 200 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	Variables:
19.70/19.80	x^0
19.70/19.80	Checking conditional termination of SCC {l1}...
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.000570s
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001888s
19.70/19.80	Trying to remove transition: <l1, l1, 201 <= undef1 /\ 200 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	Solving with 1 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.003862s
19.70/19.80	Time used: 0.003663
19.70/19.80	Solving with 1 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.014575s
19.70/19.80	Time used: 4.01376
19.70/19.80	Solving with 2 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.023457s
19.70/19.80	Time used: 4.00179
19.70/19.80	Solving with 3 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.052619s
19.70/19.80	Time used: 1.04645
19.70/19.80	Solving with 1 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.010325s
19.70/19.80	Time used: 0.006007
19.70/19.80	Improving Solution with cost 1 ...
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetNextSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.015389s
19.70/19.80	Time used: 0.015382
19.70/19.80	
19.70/19.80	LOG: SAT solveNonLinear - Elapsed time: 0.025714s
19.70/19.80	Cost: 1; Total time: 0.021389
19.70/19.80	Quasi-ranking function: 50000 - x^0
19.70/19.80	New Graphs: 
19.70/19.80	Transitions:
19.70/19.80	<l1, l1, 201 <= undef1 /\ 50001 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	Variables:
19.70/19.80	x^0
19.70/19.80	Checking conditional termination of SCC {l1}...
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.000602s
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.002117s
19.70/19.80	Trying to remove transition: <l1, l1, 201 <= undef1 /\ 50001 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	Solving with 1 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.004175s
19.70/19.80	Time used: 0.00402
19.70/19.80	Solving with 1 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.002209s
19.70/19.80	Time used: 4.00142
19.70/19.80	Solving with 2 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.054815s
19.70/19.80	Time used: 4.03343
19.70/19.80	Solving with 3 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.009708s
19.70/19.80	Time used: 1.00358
19.70/19.80	Solving with 1 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.009860s
19.70/19.80	Time used: 0.005156
19.70/19.80	
19.70/19.80	Proving non-termination of subgraph 1
19.70/19.80	Transitions:
19.70/19.80	<l1, l1, 201 <= undef1 /\ 200 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	Variables:
19.70/19.80	x^0
19.70/19.80	
19.70/19.80	Checking that every undef value has an assignment...
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.001084s
19.70/19.80	Checking conditional non-termination of SCC {l1}...
19.70/19.80	EXIT TRANSITIONS:
19.70/19.80	<l1, end, x^0 <= 199, {all remain the same}>
19.70/19.80	
19.70/19.80	Solving with 1 template(s).
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetFirstSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.974104s
19.70/19.80	Time used: 0.973647
19.70/19.80	Improving Solution with cost 1 ...
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinearGetNextSolution
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.101153s
19.70/19.80	Time used: 0.10114
19.70/19.80	
19.70/19.80	LOG: SAT solveNonLinear - Elapsed time: 1.075257s
19.70/19.80	Cost: 1; Total time: 1.07479
19.70/19.80	Failed at location 1: 234 <= x^0
19.70/19.80	Before Improving: 
19.70/19.80	Quasi-invariant at l1: 234 <= x^0
19.70/19.80	Optimizing invariants...
19.70/19.80	
19.70/19.80	LOG: CALL solveLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear - Elapsed time: 0.005992s
19.70/19.80	Remaining time after improvement: 0.998138
19.70/19.80	Minimizing number of undef constraints...
19.70/19.80	
19.70/19.80	LOG: CALL solveNonLinear
19.70/19.80	
19.70/19.80	LOG: RETURN solveNonLinear - Elapsed time: 0.004011s
19.70/19.80	Number of undef constraints reduced!
19.70/19.80	
19.70/19.80	Non-termination implied by a set of quasi-invariant(s):
19.70/19.80	Quasi-invariant at l1: 234 <= x^0
19.70/19.80	
19.70/19.80	Strengthening and disabling EXIT transitions...
19.70/19.80	Closed exits from l1: 1
19.70/19.80	
19.70/19.80	Strengthening and disabling transitions...
19.70/19.80	
19.70/19.80	LOG: CALL solverLinear in Graph for feasibility
19.70/19.80	
19.70/19.80	LOG: RETURN solveLinear in Graph for feasibility
19.70/19.80	Strengthening transition (result): 
19.70/19.80	<l1, l1, 201 <= undef1 /\ 234 <= x^0 /\ 1 + x^0 = undef1, {x^0 -> undef1, rest remain the same}>
19.70/19.80	
19.70/19.80	Calling reachability with...
19.70/19.80	Transition: <l1, end, true, {all remain the same}>
19.70/19.80	Conditions: 234 <= x^0, 
19.70/19.80	OPEN EXITS: 
19.70/19.80	<l1, end, 234 <= x^0, {all remain the same}>
19.70/19.80	
19.70/19.80	--- Reachability graph ---
19.70/19.80	> Graph without transitions.
19.70/19.80	
19.70/19.80	Calling reachability with...
19.70/19.80	Transition: <l0, l1, true, {all remain the same}>
19.70/19.80	Conditions: 234 <= x^0, 
19.70/19.80	OPEN EXITS: 
19.70/19.80	<l0, l1, 234 <= x^0, {all remain the same}>
19.70/19.80	
19.70/19.80	> Conditions are reachable!
19.70/19.80	
19.70/19.80	Program does NOT terminate
19.70/19.80	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 26: delete: command not found
19.70/19.80	/export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 27: edit: command not found
19.70/19.80	EOF