13.37/13.41 YES 13.37/13.41 13.37/13.41 Solver Timeout: 4 13.37/13.41 Global Timeout: 300 13.37/13.41 No parsing errors! 13.37/13.41 Init Location: 0 13.37/13.41 Transitions: 13.37/13.41 13.37/13.41 0) /\ (0 = arg2), par{arg1 -> 0, arg2 -> 0, arg3 -> 0}> 13.37/13.41 0) /\ (undef4 > ~(1)) /\ (1 = arg2), par{arg1 -> undef4, arg2 -> 0, arg3 -> undef4}> 13.37/13.41 ~(1)) /\ (arg2 > 1) /\ (undef7 > ~(1)) /\ (arg1 > 0), par{arg1 -> undef7, arg2 -> undef8, arg3 -> undef7}> 13.37/13.41 0) /\ ((arg2 - 1) < arg2) /\ (arg1 = arg3), par{arg1 -> (arg1 + arg2), arg2 -> (arg2 - 1), arg3 -> (arg1 + arg2)}> 13.37/13.41 undef13, arg2 -> undef14, arg3 -> undef15}> 13.37/13.41 13.37/13.41 Fresh variables: 13.37/13.41 undef4, undef7, undef8, undef13, undef14, undef15, 13.37/13.41 13.37/13.41 Undef variables: 13.37/13.41 undef4, undef7, undef8, undef13, undef14, undef15, 13.37/13.41 13.37/13.41 Abstraction variables: 13.37/13.41 13.37/13.41 Exit nodes: 13.37/13.41 13.37/13.41 Accepting locations: 13.37/13.41 13.37/13.41 Asserts: 13.37/13.41 13.37/13.41 Preprocessed LLVMGraph 13.37/13.41 Init Location: 0 13.37/13.41 Transitions: 13.37/13.41 0) /\ (0 = undef14), par{arg1 -> 0, arg2 -> 0, arg3 -> 0}> 13.37/13.41 0) /\ (undef4 > ~(1)) /\ (1 = undef14), par{arg1 -> undef4, arg2 -> 0, arg3 -> undef4}> 13.37/13.41 ~(1)) /\ (undef14 > 1) /\ (undef7 > ~(1)) /\ (undef13 > 0), par{arg1 -> undef7, arg2 -> undef8, arg3 -> undef7}> 13.37/13.41 0) /\ ((arg2 - 1) < arg2) /\ (arg1 = arg3), par{arg1 -> (arg1 + arg2), arg2 -> (arg2 - 1), arg3 -> (arg1 + arg2)}> 13.37/13.41 13.37/13.41 Fresh variables: 13.37/13.41 undef4, undef7, undef8, undef13, undef14, undef15, 13.37/13.41 13.37/13.41 Undef variables: 13.37/13.41 undef4, undef7, undef8, undef13, undef14, undef15, 13.37/13.41 13.37/13.41 Abstraction variables: 13.37/13.41 13.37/13.41 Exit nodes: 13.37/13.41 13.37/13.41 Accepting locations: 13.37/13.41 13.37/13.41 Asserts: 13.37/13.41 13.37/13.41 ************************************************************* 13.37/13.41 ******************************************************************************************* 13.37/13.41 *********************** WORKING TRANSITION SYSTEM (DAG) *********************** 13.37/13.41 ******************************************************************************************* 13.37/13.41 13.37/13.41 Init Location: 0 13.37/13.41 Graph 0: 13.37/13.41 Transitions: 13.37/13.41 Variables: 13.37/13.41 13.37/13.41 Graph 1: 13.37/13.41 Transitions: 13.37/13.41 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.41 Variables: 13.37/13.41 arg1, arg2, arg3 13.37/13.41 13.37/13.41 Precedence: 13.37/13.41 Graph 0 13.37/13.41 13.37/13.41 Graph 1 13.37/13.41 0, arg2 -> 0, arg3 -> 0, rest remain the same}> 13.37/13.41 undef4, arg2 -> 0, arg3 -> undef4, rest remain the same}> 13.37/13.41 undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.41 13.37/13.41 Map Locations to Subgraph: 13.37/13.41 ( 0 , 0 ) 13.37/13.41 ( 2 , 1 ) 13.37/13.41 13.37/13.41 ******************************************************************************************* 13.37/13.41 ******************************** CHECKING ASSERTIONS ******************************** 13.37/13.41 ******************************************************************************************* 13.37/13.41 13.37/13.41 Proving termination of subgraph 0 13.37/13.41 Proving termination of subgraph 1 13.37/13.41 Checking unfeasibility... 13.37/13.41 Time used: 0.003363 13.37/13.41 13.37/13.41 Checking conditional termination of SCC {l2}... 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.000629s 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002002s 13.37/13.41 Trying to remove transition: arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.41 Solving with 1 template(s). 13.37/13.41 13.37/13.41 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.41 13.37/13.41 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.010557s 13.37/13.41 Time used: 0.010387 13.37/13.41 Solving with 1 template(s). 13.37/13.41 13.37/13.41 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.41 13.37/13.41 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.018059s 13.37/13.41 Time used: 0.017483 13.37/13.41 Improving Solution with cost 2 ... 13.37/13.41 13.37/13.41 LOG: CALL solveNonLinearGetNextSolution 13.37/13.41 13.37/13.41 LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.000380s 13.37/13.41 Time used: 1.00027 13.37/13.41 13.37/13.41 LOG: SAT solveNonLinear - Elapsed time: 1.018438s 13.37/13.41 Cost: 2; Total time: 1.01775 13.37/13.41 Failed at location 2: arg3 <= 0 13.37/13.41 Failed at location 2: arg3 <= 0 13.37/13.41 Before Improving: 13.37/13.41 Quasi-invariant at l2: arg3 <= 0 13.37/13.41 Optimizing invariants... 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.004684s 13.37/13.41 Remaining time after improvement: 0.998711 13.37/13.41 Termination implied by a set of quasi-invariant(s): 13.37/13.41 Quasi-invariant at l2: arg3 <= 0 13.37/13.41 [ Invariant Graph ] 13.37/13.41 Strengthening and disabling transitions... 13.37/13.41 13.37/13.41 LOG: CALL solverLinear in Graph for feasibility 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear in Graph for feasibility 13.37/13.41 It's unfeasible. Removing transition: 13.37/13.41 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.41 [ Termination Graph ] 13.37/13.41 Strengthening and disabling transitions... 13.37/13.41 > It's unfeasible. Removing transition: 13.37/13.41 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.41 New Graphs: 13.37/13.41 Calling Safety with literal arg3 <= 0 and entry undef4, arg2 -> 0, arg3 -> undef4, rest remain the same}> 13.37/13.41 13.37/13.41 LOG: CALL check - Post:arg3 <= 0 - Process 1 13.37/13.41 * Exit transition: undef4, arg2 -> 0, arg3 -> undef4, rest remain the same}> 13.37/13.41 * Postcondition : arg3 <= 0 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.000518s 13.37/13.41 > Postcondition is not implied! 13.37/13.41 13.37/13.41 LOG: RETURN check - Elapsed time: 0.000618s 13.37/13.41 Calling Safety with literal arg3 <= 0 and entry undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.41 13.37/13.41 LOG: CALL check - Post:arg3 <= 0 - Process 2 13.37/13.41 * Exit transition: undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.41 * Postcondition : arg3 <= 0 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.000486s 13.37/13.41 > Postcondition is not implied! 13.37/13.41 13.37/13.41 LOG: RETURN check - Elapsed time: 0.000587s 13.37/13.41 INVARIANTS: 13.37/13.41 2: 13.37/13.41 Quasi-INVARIANTS to narrow Graph: 13.37/13.41 2: arg3 <= 0 , 13.37/13.41 Narrowing transition: 13.37/13.41 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.41 13.37/13.41 LOG: Narrow transition size 1 13.37/13.41 invGraph after Narrowing: 13.37/13.41 Transitions: 13.37/13.41 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.41 Variables: 13.37/13.41 arg1, arg2, arg3 13.37/13.41 Checking conditional termination of SCC {l2}... 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.000614s 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002275s 13.37/13.41 Trying to remove transition: arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.41 Solving with 1 template(s). 13.37/13.41 13.37/13.41 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.41 13.37/13.41 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.007692s 13.37/13.41 Time used: 0.007535 13.37/13.41 Solving with 1 template(s). 13.37/13.41 13.37/13.41 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.41 13.37/13.41 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.169744s 13.37/13.41 Time used: 4.16847 13.37/13.41 Solving with 2 template(s). 13.37/13.41 13.37/13.41 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.41 13.37/13.41 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.857228s 13.37/13.41 Time used: 0.828446 13.37/13.41 Improving Solution with cost 4 ... 13.37/13.41 13.37/13.41 LOG: CALL solveNonLinearGetNextSolution 13.37/13.41 13.37/13.41 LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.000639s 13.37/13.41 Time used: 1.00041 13.37/13.41 13.37/13.41 LOG: SAT solveNonLinear - Elapsed time: 1.857867s 13.37/13.41 Cost: 4; Total time: 1.82886 13.37/13.41 Failed at location 2: arg1 <= 2 + arg2 13.37/13.41 Failed at location 2: arg1 <= 2 + arg2 13.37/13.41 Failed at location 2: arg2 + arg3 <= 1 13.37/13.41 Failed at location 2: arg2 + arg3 <= 1 13.37/13.41 Before Improving: 13.37/13.41 Quasi-invariant at l2: arg1 <= 2 + arg2 13.37/13.41 Quasi-invariant at l2: arg2 + arg3 <= 1 13.37/13.41 Optimizing invariants... 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.009003s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002435s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002255s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002224s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002220s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002203s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002192s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002212s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002217s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002212s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002191s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002194s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002222s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002225s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002224s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002226s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002220s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002225s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002217s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002211s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002209s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002221s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002228s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002224s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002216s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002232s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002223s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002229s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002222s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002224s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002224s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002222s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002226s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002233s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002232s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002227s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002234s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002239s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002242s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002235s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002234s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002242s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002248s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002243s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002249s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002254s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002240s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002245s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002251s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002249s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002253s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002260s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002254s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002250s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002253s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002268s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002256s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002257s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002268s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002260s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002261s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002262s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002269s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002262s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002273s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002261s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002268s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002268s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002267s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002278s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002273s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002287s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002277s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002273s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002294s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002273s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002281s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002291s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002278s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002276s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002288s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002294s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002295s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002300s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002298s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002299s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002306s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002296s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002297s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002299s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002299s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002309s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002302s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002305s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002306s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002309s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002305s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002304s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002301s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002299s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002299s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002299s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002302s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002312s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002312s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002312s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002321s 13.37/13.41 Quasi-invariant improved 13.37/13.41 13.37/13.41 LOG: CALL solveLinear 13.37/13.41 13.37/13.41 LOG: RETURN solveLinear - Elapsed time: 0.002308s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002313s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002310s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002315s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002319s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002307s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002311s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002326s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002316s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002307s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002319s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002314s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002313s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002320s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002316s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002321s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002318s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002315s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002320s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002321s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002318s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002328s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002329s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002331s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002329s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002327s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002329s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002321s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002332s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002331s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002328s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002333s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002324s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002314s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002332s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002321s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002326s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002338s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002320s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002334s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002335s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002328s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002341s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002330s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002329s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002342s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002335s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002340s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002336s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002342s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002338s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002333s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002333s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002336s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002340s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002349s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002337s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002339s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002348s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002341s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002344s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002342s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002350s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002356s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002341s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002351s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002348s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002344s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002350s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002349s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002367s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002352s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002347s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002357s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002344s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002357s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002349s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002353s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002369s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002351s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002361s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002360s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002360s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002360s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002358s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002367s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002365s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002353s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002368s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002361s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002370s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002361s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002361s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002360s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002364s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002370s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002360s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002382s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002363s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002362s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002379s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002369s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002375s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002369s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002367s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002366s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002371s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002379s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002368s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002383s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002373s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002374s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002380s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002370s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002381s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002375s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002378s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002376s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002373s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002384s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002379s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002383s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002373s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002385s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002379s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002380s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002391s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002386s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002386s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002389s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002402s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002390s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002402s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002400s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002394s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002403s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002391s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002395s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002385s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002395s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002397s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002389s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002402s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002398s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002402s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002395s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002406s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002408s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002399s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002405s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002405s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002398s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002405s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002412s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002408s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002412s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002402s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002414s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002405s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002413s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002413s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002407s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002410s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002411s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002413s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002413s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002413s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002411s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002424s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002406s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002423s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002410s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002417s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002418s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002419s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002422s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002418s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002428s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002414s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002420s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002418s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002428s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002417s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002433s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002421s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002426s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002429s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002429s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002429s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002427s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002425s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002424s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002431s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002429s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002442s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002427s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002443s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002428s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002435s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002436s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002450s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002438s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002450s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002435s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002443s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002428s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002440s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002434s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002444s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002431s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002445s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002443s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002450s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002448s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002451s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002438s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002448s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002438s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002446s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002450s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002454s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002451s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002456s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002450s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002454s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002444s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002452s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002443s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002459s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002449s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002460s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002452s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002453s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002456s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002460s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002453s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002461s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002457s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002466s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002458s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002466s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002457s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002463s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002456s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002462s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002452s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002461s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002454s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002470s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002458s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002469s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002463s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002470s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002453s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002470s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002461s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002473s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002467s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002478s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002472s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002476s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002473s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002485s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002472s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002478s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002473s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002474s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002473s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002468s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002476s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002470s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002489s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002480s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002486s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002476s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002489s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002479s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002490s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002483s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002489s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002485s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002494s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002488s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002493s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002499s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002491s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002494s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002480s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002497s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002482s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002501s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002486s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002499s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002495s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002500s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002495s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002497s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002502s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002494s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002509s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002492s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002508s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002499s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002504s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002503s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002517s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002504s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002508s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002508s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002499s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002509s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002498s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002514s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002502s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002519s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002511s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002501s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002518s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002508s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002514s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002509s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002515s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002509s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002520s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002520s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002515s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002521s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002508s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002521s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002509s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002525s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002517s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002517s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002520s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002515s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002522s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002521s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002535s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002525s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002526s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002535s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002519s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002530s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002528s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002532s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002538s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002529s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002552s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002544s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002554s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002554s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.002540s 13.37/13.42 Quasi-invariant improved 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.001544s 13.37/13.42 Remaining time after improvement: -0.000656 13.37/13.42 Termination implied by a set of quasi-invariant(s): 13.37/13.42 Quasi-invariant at l2: arg1 <= 461 + arg2 13.37/13.42 Quasi-invariant at l2: arg2 + arg3 <= 2 13.37/13.42 [ Invariant Graph ] 13.37/13.42 Strengthening and disabling transitions... 13.37/13.42 13.37/13.42 LOG: CALL solverLinear in Graph for feasibility 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear in Graph for feasibility 13.37/13.42 Strengthening transition (result): 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 [ Termination Graph ] 13.37/13.42 Strengthening and disabling transitions... 13.37/13.42 13.37/13.42 LOG: CALL solverLinear in Graph for feasibility 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear in Graph for feasibility 13.37/13.42 Strengthening transition (result): 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Ranking function: 460 + arg2 13.37/13.42 New Graphs: 13.37/13.42 Calling Safety with literal arg1 <= 461 + arg2 and entry undef4, arg2 -> 0, arg3 -> undef4, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: CALL check - Post:arg1 <= 461 + arg2 - Process 3 13.37/13.42 * Exit transition: undef4, arg2 -> 0, arg3 -> undef4, rest remain the same}> 13.37/13.42 * Postcondition : arg1 <= 461 + arg2 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.000808s 13.37/13.42 > Postcondition is not implied! 13.37/13.42 13.37/13.42 LOG: RETURN check - Elapsed time: 0.000908s 13.37/13.42 Calling Safety with literal arg2 + arg3 <= 2 and entry undef4, arg2 -> 0, arg3 -> undef4, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: CALL check - Post:arg2 + arg3 <= 2 - Process 4 13.37/13.42 * Exit transition: undef4, arg2 -> 0, arg3 -> undef4, rest remain the same}> 13.37/13.42 * Postcondition : arg2 + arg3 <= 2 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.000802s 13.37/13.42 > Postcondition is not implied! 13.37/13.42 13.37/13.42 LOG: RETURN check - Elapsed time: 0.000898s 13.37/13.42 Calling Safety with literal arg1 <= 461 + arg2 and entry undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: CALL check - Post:arg1 <= 461 + arg2 - Process 5 13.37/13.42 * Exit transition: undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.42 * Postcondition : arg1 <= 461 + arg2 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.000846s 13.37/13.42 > Postcondition is not implied! 13.37/13.42 13.37/13.42 LOG: RETURN check - Elapsed time: 0.000961s 13.37/13.42 Calling Safety with literal arg2 + arg3 <= 2 and entry undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: CALL check - Post:arg2 + arg3 <= 2 - Process 6 13.37/13.42 * Exit transition: undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.42 * Postcondition : arg2 + arg3 <= 2 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.000835s 13.37/13.42 > Postcondition is not implied! 13.37/13.42 13.37/13.42 LOG: RETURN check - Elapsed time: 0.000946s 13.37/13.42 INVARIANTS: 13.37/13.42 2: 13.37/13.42 Quasi-INVARIANTS to narrow Graph: 13.37/13.42 2: arg2 + arg3 <= 2 , arg1 <= 461 + arg2 , 13.37/13.42 Narrowing transition: 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: Narrow transition size 2 13.37/13.42 invGraph after Narrowing: 13.37/13.42 Transitions: 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Variables: 13.37/13.42 arg1, arg2, arg3 13.37/13.42 Checking conditional termination of SCC {l2}... 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.001529s 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.026279s 13.37/13.42 Trying to remove transition: arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Solving with 1 template(s). 13.37/13.42 13.37/13.42 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.42 13.37/13.42 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.018759s 13.37/13.42 Time used: 0.01839 13.37/13.42 Trying to remove transition: arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Solving with 1 template(s). 13.37/13.42 13.37/13.42 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.42 13.37/13.42 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.001365s 13.37/13.42 Time used: 4.00004 13.37/13.42 Solving with 1 template(s). 13.37/13.42 13.37/13.42 LOG: CALL solveNonLinearGetFirstSolution 13.37/13.42 13.37/13.42 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.039561s 13.37/13.42 Time used: 0.034065 13.37/13.42 Improving Solution with cost 1 ... 13.37/13.42 13.37/13.42 LOG: CALL solveNonLinearGetNextSolution 13.37/13.42 13.37/13.42 LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.021631s 13.37/13.42 Time used: 1.0214 13.37/13.42 13.37/13.42 LOG: SAT solveNonLinear - Elapsed time: 1.061192s 13.37/13.42 Cost: 1; Total time: 1.05546 13.37/13.42 Failed at location 2: arg1 + arg2 <= arg3 13.37/13.42 Before Improving: 13.37/13.42 Quasi-invariant at l2: arg1 + arg2 <= arg3 13.37/13.42 Optimizing invariants... 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.009537s 13.37/13.42 Remaining time after improvement: 0.996854 13.37/13.42 Termination implied by a set of quasi-invariant(s): 13.37/13.42 Quasi-invariant at l2: arg1 + arg2 <= arg3 13.37/13.42 [ Invariant Graph ] 13.37/13.42 Strengthening and disabling transitions... 13.37/13.42 13.37/13.42 LOG: CALL solverLinear in Graph for feasibility 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear in Graph for feasibility 13.37/13.42 Strengthening transition (result): 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: CALL solverLinear in Graph for feasibility 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear in Graph for feasibility 13.37/13.42 Strengthening transition (result): 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 [ Termination Graph ] 13.37/13.42 Strengthening and disabling transitions... 13.37/13.42 13.37/13.42 LOG: CALL solverLinear in Graph for feasibility 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear in Graph for feasibility 13.37/13.42 Strengthening transition (result): 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: CALL solverLinear in Graph for feasibility 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear in Graph for feasibility 13.37/13.42 Strengthening transition (result): 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Ranking function: arg2 + arg3 13.37/13.42 New Graphs: 13.37/13.42 Transitions: 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Variables: 13.37/13.42 arg1, arg2, arg3 13.37/13.42 Checking conditional termination of SCC {l2}... 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.001606s 13.37/13.42 Ranking function: (~(1) / 230) + (3 / 460)*arg1 + (~(1) / 460)*arg3 13.37/13.42 New Graphs: 13.37/13.42 Calling Safety with literal arg1 + arg2 <= arg3 and entry undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: CALL check - Post:arg1 + arg2 <= arg3 - Process 7 13.37/13.42 * Exit transition: undef7, arg2 -> undef8, arg3 -> undef7, rest remain the same}> 13.37/13.42 * Postcondition : arg1 + arg2 <= arg3 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.000905s 13.37/13.42 > Postcondition is not implied! 13.37/13.42 13.37/13.42 LOG: RETURN check - Elapsed time: 0.001052s 13.37/13.42 INVARIANTS: 13.37/13.42 2: 13.37/13.42 Quasi-INVARIANTS to narrow Graph: 13.37/13.42 2: arg1 + arg2 <= arg3 , 13.37/13.42 It's unfeasible. Removing transition: 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Narrowing transition: 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 13.37/13.42 LOG: Narrow transition size 1 13.37/13.42 invGraph after Narrowing: 13.37/13.42 Transitions: 13.37/13.42 arg1 + arg2, arg2 -> -1 + arg2, arg3 -> arg1 + arg2, rest remain the same}> 13.37/13.42 Variables: 13.37/13.42 arg1, arg2, arg3 13.37/13.42 Checking conditional termination of SCC {l2}... 13.37/13.42 13.37/13.42 LOG: CALL solveLinear 13.37/13.42 13.37/13.42 LOG: RETURN solveLinear - Elapsed time: 0.001502s 13.37/13.42 Ranking function: -1 + arg2 13.37/13.42 New Graphs: 13.37/13.42 Program Terminates 13.37/13.42 /export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 26: delete: command not found 13.37/13.42 /export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 27: edit: command not found 13.37/13.42 EOF