9.42/9.45 YES 9.42/9.45 9.42/9.45 Solver Timeout: 4 9.42/9.45 Global Timeout: 300 9.42/9.45 No parsing errors! 9.42/9.45 Init Location: 0 9.42/9.45 Transitions: 9.42/9.45 9.42/9.45 0) /\ (undef2 > ~(1)) /\ (1 = arg2), par{arg1 -> 0, arg2 -> undef2}> 9.42/9.45 ~(1)) /\ (arg2 > 1) /\ (undef4 > ~(1)) /\ (arg1 > 0), par{arg1 -> undef3, arg2 -> undef4}> 9.42/9.45 0), par{arg1 -> (arg1 - 1), arg2 -> (arg2 + arg1)}> 9.42/9.45 0), par{arg1 -> (arg1 - 1), arg2 -> (arg2 + arg1)}> 9.42/9.45 undef9, arg2 -> undef10}> 9.42/9.45 9.42/9.45 Fresh variables: 9.42/9.45 undef2, undef3, undef4, undef9, undef10, 9.42/9.45 9.42/9.45 Undef variables: 9.42/9.45 undef2, undef3, undef4, undef9, undef10, 9.42/9.45 9.42/9.45 Abstraction variables: 9.42/9.45 9.42/9.45 Exit nodes: 9.42/9.45 9.42/9.45 Accepting locations: 9.42/9.45 9.42/9.45 Asserts: 9.42/9.45 9.42/9.45 Preprocessed LLVMGraph 9.42/9.45 Init Location: 0 9.42/9.45 Transitions: 9.42/9.45 0) /\ (undef2 > ~(1)) /\ (1 = undef10), par{arg1 -> 0, arg2 -> undef2}> 9.42/9.45 ~(1)) /\ (undef10 > 1) /\ (undef4 > ~(1)) /\ (undef9 > 0), par{arg1 -> undef3, arg2 -> undef4}> 9.42/9.45 0), par{arg1 -> (arg1 - 1), arg2 -> (arg2 + arg1)}> 9.42/9.45 0), par{arg1 -> (arg1 - 1), arg2 -> (arg2 + arg1)}> 9.42/9.45 9.42/9.45 Fresh variables: 9.42/9.45 undef2, undef3, undef4, undef9, undef10, 9.42/9.45 9.42/9.45 Undef variables: 9.42/9.45 undef2, undef3, undef4, undef9, undef10, 9.42/9.45 9.42/9.45 Abstraction variables: 9.42/9.45 9.42/9.45 Exit nodes: 9.42/9.45 9.42/9.45 Accepting locations: 9.42/9.45 9.42/9.45 Asserts: 9.42/9.45 9.42/9.45 ************************************************************* 9.42/9.45 ******************************************************************************************* 9.42/9.45 *********************** WORKING TRANSITION SYSTEM (DAG) *********************** 9.42/9.45 ******************************************************************************************* 9.42/9.45 9.42/9.45 Init Location: 0 9.42/9.45 Graph 0: 9.42/9.45 Transitions: 9.42/9.45 Variables: 9.42/9.45 9.42/9.45 Graph 1: 9.42/9.45 Transitions: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Variables: 9.42/9.45 arg1, arg2 9.42/9.45 9.42/9.45 Graph 2: 9.42/9.45 Transitions: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Variables: 9.42/9.45 arg1, arg2 9.42/9.45 9.42/9.45 Precedence: 9.42/9.45 Graph 0 9.42/9.45 9.42/9.45 Graph 1 9.42/9.45 undef3, arg2 -> undef4, rest remain the same}> 9.42/9.45 9.42/9.45 Graph 2 9.42/9.45 0, arg2 -> undef2, rest remain the same}> 9.42/9.45 9.42/9.45 Map Locations to Subgraph: 9.42/9.45 ( 0 , 0 ) 9.42/9.45 ( 2 , 2 ) 9.42/9.45 ( 3 , 1 ) 9.42/9.45 9.42/9.45 ******************************************************************************************* 9.42/9.45 ******************************** CHECKING ASSERTIONS ******************************** 9.42/9.45 ******************************************************************************************* 9.42/9.45 9.42/9.45 Proving termination of subgraph 0 9.42/9.45 Proving termination of subgraph 1 9.42/9.45 Checking unfeasibility... 9.42/9.45 Time used: 0.0022 9.42/9.45 9.42/9.45 Checking conditional termination of SCC {l3}... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000490s 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001386s 9.42/9.45 Trying to remove transition: -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.006115s 9.42/9.45 Time used: 0.005989 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.008496s 9.42/9.45 Time used: 0.008152 9.42/9.45 Improving Solution with cost 1 ... 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetNextSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.000362s 9.42/9.45 Time used: 1.00026 9.42/9.45 9.42/9.45 LOG: SAT solveNonLinear - Elapsed time: 1.008858s 9.42/9.45 Cost: 1; Total time: 1.00841 9.42/9.45 Failed at location 3: arg1 + arg2 <= 0 9.42/9.45 Before Improving: 9.42/9.45 Quasi-invariant at l3: arg1 + arg2 <= 0 9.42/9.45 Optimizing invariants... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.004702s 9.42/9.45 Remaining time after improvement: 0.999007 9.42/9.45 Termination implied by a set of quasi-invariant(s): 9.42/9.45 Quasi-invariant at l3: arg1 + arg2 <= 0 9.42/9.45 [ Invariant Graph ] 9.42/9.45 Strengthening and disabling transitions... 9.42/9.45 9.42/9.45 LOG: CALL solverLinear in Graph for feasibility 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.45 Strengthening transition (result): 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 [ Termination Graph ] 9.42/9.45 Strengthening and disabling transitions... 9.42/9.45 9.42/9.45 LOG: CALL solverLinear in Graph for feasibility 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.45 Strengthening transition (result): 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Ranking function: arg2 9.42/9.45 New Graphs: 9.42/9.45 Calling Safety with literal arg1 + arg2 <= 0 and entry undef3, arg2 -> undef4, rest remain the same}> 9.42/9.45 9.42/9.45 LOG: CALL check - Post:arg1 + arg2 <= 0 - Process 1 9.42/9.45 * Exit transition: undef3, arg2 -> undef4, rest remain the same}> 9.42/9.45 * Postcondition : arg1 + arg2 <= 0 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000431s 9.42/9.45 > Postcondition is not implied! 9.42/9.45 9.42/9.45 LOG: RETURN check - Elapsed time: 0.000547s 9.42/9.45 INVARIANTS: 9.42/9.45 3: 9.42/9.45 Quasi-INVARIANTS to narrow Graph: 9.42/9.45 3: arg1 + arg2 <= 0 , 9.42/9.45 Narrowing transition: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 9.42/9.45 LOG: Narrow transition size 1 9.42/9.45 invGraph after Narrowing: 9.42/9.45 Transitions: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Variables: 9.42/9.45 arg1, arg2 9.42/9.45 Checking conditional termination of SCC {l3}... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000548s 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.002052s 9.42/9.45 Trying to remove transition: -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.007050s 9.42/9.45 Time used: 0.006905 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.010153s 9.42/9.45 Time used: 0.009825 9.42/9.45 Improving Solution with cost 1 ... 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetNextSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.000751s 9.42/9.45 Time used: 1.00049 9.42/9.45 9.42/9.45 LOG: SAT solveNonLinear - Elapsed time: 1.010904s 9.42/9.45 Cost: 1; Total time: 1.01031 9.42/9.45 Failed at location 3: arg1 <= 0 9.42/9.45 Before Improving: 9.42/9.45 Quasi-invariant at l3: arg1 <= 0 9.42/9.45 Optimizing invariants... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.005106s 9.42/9.45 Remaining time after improvement: 0.998658 9.42/9.45 Termination implied by a set of quasi-invariant(s): 9.42/9.45 Quasi-invariant at l3: arg1 <= 0 9.42/9.45 [ Invariant Graph ] 9.42/9.45 Strengthening and disabling transitions... 9.42/9.45 9.42/9.45 LOG: CALL solverLinear in Graph for feasibility 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.45 Strengthening transition (result): 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 [ Termination Graph ] 9.42/9.45 Strengthening and disabling transitions... 9.42/9.45 9.42/9.45 LOG: CALL solverLinear in Graph for feasibility 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.45 Strengthening transition (result): 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Ranking function: arg1 + arg2 9.42/9.45 New Graphs: 9.42/9.45 Calling Safety with literal arg1 <= 0 and entry undef3, arg2 -> undef4, rest remain the same}> 9.42/9.45 9.42/9.45 LOG: CALL check - Post:arg1 <= 0 - Process 2 9.42/9.45 * Exit transition: undef3, arg2 -> undef4, rest remain the same}> 9.42/9.45 * Postcondition : arg1 <= 0 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000429s 9.42/9.45 > Postcondition is not implied! 9.42/9.45 9.42/9.45 LOG: RETURN check - Elapsed time: 0.000542s 9.42/9.45 INVARIANTS: 9.42/9.45 3: 9.42/9.45 Quasi-INVARIANTS to narrow Graph: 9.42/9.45 3: arg1 <= 0 , 9.42/9.45 Narrowing transition: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 9.42/9.45 LOG: Narrow transition size 1 9.42/9.45 invGraph after Narrowing: 9.42/9.45 Transitions: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Variables: 9.42/9.45 arg1, arg2 9.42/9.45 Checking conditional termination of SCC {l3}... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000823s 9.42/9.45 Ranking function: -1 + arg1 9.42/9.45 New Graphs: 9.42/9.45 Proving termination of subgraph 2 9.42/9.45 Checking unfeasibility... 9.42/9.45 Time used: 0.001936 9.42/9.45 9.42/9.45 Checking conditional termination of SCC {l2}... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000555s 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001431s 9.42/9.45 Trying to remove transition: -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005682s 9.42/9.45 Time used: 0.005552 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.009161s 9.42/9.45 Time used: 0.008797 9.42/9.45 Improving Solution with cost 1 ... 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetNextSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.000450s 9.42/9.45 Time used: 1.00036 9.42/9.45 9.42/9.45 LOG: SAT solveNonLinear - Elapsed time: 1.009610s 9.42/9.45 Cost: 1; Total time: 1.00916 9.42/9.45 Failed at location 2: arg2 <= 0 9.42/9.45 Before Improving: 9.42/9.45 Quasi-invariant at l2: arg2 <= 0 9.42/9.45 Optimizing invariants... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.005063s 9.42/9.45 Remaining time after improvement: 0.998857 9.42/9.45 Termination implied by a set of quasi-invariant(s): 9.42/9.45 Quasi-invariant at l2: arg2 <= 0 9.42/9.45 [ Invariant Graph ] 9.42/9.45 Strengthening and disabling transitions... 9.42/9.45 9.42/9.45 LOG: CALL solverLinear in Graph for feasibility 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.45 It's unfeasible. Removing transition: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 [ Termination Graph ] 9.42/9.45 Strengthening and disabling transitions... 9.42/9.45 9.42/9.45 LOG: CALL solverLinear in Graph for feasibility 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.45 It's unfeasible. Removing transition: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 New Graphs: 9.42/9.45 Calling Safety with literal arg2 <= 0 and entry 0, arg2 -> undef2, rest remain the same}> 9.42/9.45 9.42/9.45 LOG: CALL check - Post:arg2 <= 0 - Process 3 9.42/9.45 * Exit transition: 0, arg2 -> undef2, rest remain the same}> 9.42/9.45 * Postcondition : arg2 <= 0 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000601s 9.42/9.45 > Postcondition is not implied! 9.42/9.45 9.42/9.45 LOG: RETURN check - Elapsed time: 0.000694s 9.42/9.45 INVARIANTS: 9.42/9.45 2: 9.42/9.45 Quasi-INVARIANTS to narrow Graph: 9.42/9.45 2: arg2 <= 0 , 9.42/9.45 Narrowing transition: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 9.42/9.45 LOG: Narrow transition size 1 9.42/9.45 invGraph after Narrowing: 9.42/9.45 Transitions: 9.42/9.45 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Variables: 9.42/9.45 arg1, arg2 9.42/9.45 Checking conditional termination of SCC {l2}... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.000447s 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001472s 9.42/9.45 Trying to remove transition: -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005764s 9.42/9.45 Time used: 0.005629 9.42/9.45 Solving with 1 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.001945s 9.42/9.45 Time used: 4.00102 9.42/9.45 Solving with 2 template(s). 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.085519s 9.42/9.45 Time used: 0.080602 9.42/9.45 Improving Solution with cost 2 ... 9.42/9.45 9.42/9.45 LOG: CALL solveNonLinearGetNextSolution 9.42/9.45 9.42/9.45 LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.000778s 9.42/9.45 Time used: 1.00054 9.42/9.45 9.42/9.45 LOG: SAT solveNonLinear - Elapsed time: 1.086297s 9.42/9.45 Cost: 2; Total time: 1.08114 9.42/9.45 Failed at location 2: arg2 <= 3 + arg1 9.42/9.45 Failed at location 2: arg1 + arg2 <= 1 9.42/9.45 Before Improving: 9.42/9.45 Quasi-invariant at l2: arg2 <= 3 + arg1 9.42/9.45 Quasi-invariant at l2: arg1 + arg2 <= 1 9.42/9.45 Optimizing invariants... 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.007367s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001739s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001560s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001569s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001554s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001529s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001533s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001529s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001524s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001503s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001532s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001546s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001551s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001553s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001538s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001540s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001534s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001529s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001513s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001540s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001557s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001545s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001547s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001535s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001540s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001536s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001526s 9.42/9.45 Quasi-invariant improved 9.42/9.45 9.42/9.45 LOG: CALL solveLinear 9.42/9.45 9.42/9.45 LOG: RETURN solveLinear - Elapsed time: 0.001545s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001548s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001557s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001547s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001541s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001546s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001538s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001541s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001552s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001558s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001570s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001550s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001557s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001548s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001549s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001565s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001563s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001562s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001555s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001553s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001564s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001564s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001573s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001578s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001563s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001574s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001575s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001587s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001596s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001570s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001580s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001569s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001571s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001588s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001580s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001589s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001591s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001590s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001595s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001588s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001580s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001592s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001591s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001604s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001608s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001597s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001594s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001599s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001592s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001598s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001601s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001595s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001606s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001600s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001595s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001613s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001610s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001610s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001622s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001621s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001613s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001623s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001625s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001615s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001622s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001611s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001616s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001624s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001620s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001615s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001626s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001624s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001619s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001630s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001622s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001625s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001638s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001632s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001627s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001636s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001641s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001632s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001640s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001643s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001639s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001643s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001640s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001628s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001643s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001646s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001632s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001639s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001647s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001641s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001644s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001647s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001649s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001635s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001647s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001653s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001644s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001648s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001646s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001642s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001652s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001654s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001647s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001650s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001652s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001646s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001643s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001657s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001658s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001646s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001658s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001659s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001654s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001662s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001667s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001660s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001659s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001664s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001691s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001661s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001669s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001674s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001659s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001664s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001685s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001670s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001660s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001679s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001672s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001667s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001664s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001669s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001672s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001667s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001672s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001678s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001676s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001664s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001679s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001673s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001670s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001676s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001678s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001681s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001670s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001678s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001683s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001678s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001682s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001687s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001684s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001677s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001686s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001683s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001690s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001674s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001688s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001685s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001679s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001689s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001688s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001688s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001682s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001692s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001694s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001692s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001686s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001698s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001689s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001697s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001690s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001696s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001697s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001687s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001689s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001706s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001706s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001697s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001691s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001705s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001696s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001699s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001697s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001705s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001700s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001695s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001701s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001704s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001703s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001703s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001705s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001707s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001707s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001700s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001709s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001711s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001708s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001705s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001715s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001720s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001710s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001709s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001713s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001716s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001714s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001712s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001704s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001717s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001713s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001720s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001707s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001720s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001717s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001717s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001713s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001726s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001724s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001726s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001714s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001722s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001723s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001723s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001717s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001727s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001728s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001726s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001731s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001721s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001728s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001726s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001733s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001723s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001731s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001738s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001733s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001729s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001724s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001735s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001735s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001740s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001727s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001742s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001738s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001741s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001743s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001729s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001742s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001742s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001747s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001728s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001744s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001744s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001745s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001740s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001733s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001748s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001751s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001750s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001745s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001742s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001748s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001748s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001749s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001741s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001741s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001749s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001753s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001756s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001749s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001752s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001755s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001761s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001755s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001747s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001749s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001749s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001756s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001754s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001751s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001754s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001761s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001767s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001766s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001753s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001767s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001793s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001778s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001778s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001781s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001772s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001776s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001779s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001776s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001784s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001782s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001771s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001780s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001782s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001779s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001783s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001779s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001768s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001778s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001786s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001784s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001787s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001774s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001781s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001783s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001785s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001788s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001786s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001779s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001785s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001790s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001785s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001785s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001789s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001779s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001787s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001790s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001788s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001792s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001797s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001784s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001795s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001796s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001796s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001789s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001792s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001784s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001799s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001796s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001797s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001796s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001796s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001784s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001794s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001799s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001798s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001794s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001796s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001800s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001792s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001803s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001801s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001800s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001809s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001809s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001799s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.001798s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002359s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002266s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002177s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002168s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002273s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002192s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002150s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002175s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002174s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002176s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002176s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002183s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002184s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002175s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002183s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002274s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002189s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002182s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002190s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002188s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002189s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002181s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002191s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002186s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002188s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002191s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002184s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002184s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002192s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002201s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002192s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002194s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002198s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002201s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002198s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002205s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002204s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002201s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002192s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002206s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002204s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002206s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002206s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002215s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002211s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002215s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002213s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002214s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002209s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002211s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002207s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002214s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002211s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002221s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002210s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002211s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002212s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002221s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002217s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002218s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002217s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002222s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002225s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002214s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002220s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002215s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002229s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002221s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002230s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002220s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002225s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002230s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002234s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002230s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002225s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002226s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002233s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002236s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002242s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002244s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002236s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002234s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002235s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002228s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002241s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002237s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002244s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002234s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002244s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.46 9.42/9.46 LOG: RETURN solveLinear - Elapsed time: 0.002238s 9.42/9.46 Quasi-invariant improved 9.42/9.46 9.42/9.46 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002242s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002251s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002248s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002241s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002245s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002241s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002244s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002247s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002250s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002245s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002256s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002254s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002251s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002259s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002258s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002260s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002257s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002268s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002263s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002260s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002267s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002260s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002259s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002264s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002261s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002260s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002272s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002259s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002267s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002270s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002266s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002267s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002266s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002268s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002271s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002274s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002278s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002275s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002270s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002278s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002281s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002277s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002285s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002280s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002277s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002288s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002286s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002280s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002287s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002277s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002285s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002282s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002278s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002279s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002284s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002279s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002280s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002352s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002272s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002278s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002284s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002270s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002282s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002288s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002280s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002282s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002293s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002283s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002282s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002288s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002285s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002287s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002290s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002281s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002288s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002278s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002288s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002281s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002289s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002274s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002281s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002284s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002282s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002288s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002340s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002303s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002306s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002314s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002303s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002306s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002319s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002305s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002313s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002314s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.007781s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002568s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002433s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002403s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002395s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002409s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002374s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002370s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002373s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002381s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002373s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002360s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002355s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002347s 9.42/9.47 Quasi-invariant improved 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002359s 9.42/9.47 Quasi-invariant improved 9.42/9.47 Remaining time after improvement: -0.00042 9.42/9.47 Termination implied by a set of quasi-invariant(s): 9.42/9.47 Quasi-invariant at l2: arg2 <= 584 + arg1 9.42/9.47 Quasi-invariant at l2: arg1 + arg2 <= 1 9.42/9.47 [ Invariant Graph ] 9.42/9.47 Strengthening and disabling transitions... 9.42/9.47 9.42/9.47 LOG: CALL solverLinear in Graph for feasibility 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.47 Strengthening transition (result): 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 [ Termination Graph ] 9.42/9.47 Strengthening and disabling transitions... 9.42/9.47 9.42/9.47 LOG: CALL solverLinear in Graph for feasibility 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.47 Strengthening transition (result): 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 Ranking function: 582 + arg1 + arg2 9.42/9.47 New Graphs: 9.42/9.47 Calling Safety with literal arg2 <= 584 + arg1 and entry 0, arg2 -> undef2, rest remain the same}> 9.42/9.47 9.42/9.47 LOG: CALL check - Post:arg2 <= 584 + arg1 - Process 4 9.42/9.47 * Exit transition: 0, arg2 -> undef2, rest remain the same}> 9.42/9.47 * Postcondition : arg2 <= 584 + arg1 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.000833s 9.42/9.47 > Postcondition is not implied! 9.42/9.47 9.42/9.47 LOG: RETURN check - Elapsed time: 0.000942s 9.42/9.47 Calling Safety with literal arg1 + arg2 <= 1 and entry 0, arg2 -> undef2, rest remain the same}> 9.42/9.47 9.42/9.47 LOG: CALL check - Post:arg1 + arg2 <= 1 - Process 5 9.42/9.47 * Exit transition: 0, arg2 -> undef2, rest remain the same}> 9.42/9.47 * Postcondition : arg1 + arg2 <= 1 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.000836s 9.42/9.47 > Postcondition is not implied! 9.42/9.47 9.42/9.47 LOG: RETURN check - Elapsed time: 0.000932s 9.42/9.47 INVARIANTS: 9.42/9.47 2: 9.42/9.47 Quasi-INVARIANTS to narrow Graph: 9.42/9.47 2: arg1 + arg2 <= 1 , arg2 <= 584 + arg1 , 9.42/9.47 Narrowing transition: 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 9.42/9.47 LOG: Narrow transition size 2 9.42/9.47 invGraph after Narrowing: 9.42/9.47 Transitions: 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 Variables: 9.42/9.47 arg1, arg2 9.42/9.47 Checking conditional termination of SCC {l2}... 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.001161s 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.015881s 9.42/9.47 Trying to remove transition: -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 Solving with 1 template(s). 9.42/9.47 9.42/9.47 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.47 9.42/9.47 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.010756s 9.42/9.47 Time used: 0.01056 9.42/9.47 Trying to remove transition: -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 Solving with 1 template(s). 9.42/9.47 9.42/9.47 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.47 9.42/9.47 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.009838s 9.42/9.47 Time used: 0.00937 9.42/9.47 9.42/9.47 LOG: SAT solveNonLinear - Elapsed time: 0.009838s 9.42/9.47 Cost: 0; Total time: 0.00937 9.42/9.47 Termination implied by a set of quasi-invariant(s): 9.42/9.47 Quasi-invariant at l2: arg1 <= 0 9.42/9.47 Ranking function: arg2 9.42/9.47 Ranking function and negation of Quasi-Invariant applied 9.42/9.47 New Graphs: 9.42/9.47 Transitions: 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 Variables: 9.42/9.47 arg1, arg2 9.42/9.47 Checking conditional termination of SCC {l2}... 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.000605s 9.42/9.47 9.42/9.47 LOG: CALL solveLinear 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear - Elapsed time: 0.002063s 9.42/9.47 Trying to remove transition: -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 Solving with 1 template(s). 9.42/9.47 9.42/9.47 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.47 9.42/9.47 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.006425s 9.42/9.47 Time used: 0.006276 9.42/9.47 Solving with 1 template(s). 9.42/9.47 9.42/9.47 LOG: CALL solveNonLinearGetFirstSolution 9.42/9.47 9.42/9.47 LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.012172s 9.42/9.47 Time used: 0.011836 9.42/9.47 9.42/9.47 LOG: SAT solveNonLinear - Elapsed time: 0.012172s 9.42/9.47 Cost: 0; Total time: 0.011836 9.42/9.47 Termination implied by a set of invariant(s): 9.42/9.47 Invariant at l2: arg1 <= 0 9.42/9.47 [ Invariant Graph ] 9.42/9.47 Strengthening and disabling transitions... 9.42/9.47 9.42/9.47 LOG: CALL solverLinear in Graph for feasibility 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.47 Strengthening transition (result): 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 9.42/9.47 LOG: CALL solverLinear in Graph for feasibility 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.47 Strengthening transition (result): 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 [ Termination Graph ] 9.42/9.47 Strengthening and disabling transitions... 9.42/9.47 9.42/9.47 LOG: CALL solverLinear in Graph for feasibility 9.42/9.47 9.42/9.47 LOG: RETURN solveLinear in Graph for feasibility 9.42/9.47 Strengthening transition (result): 9.42/9.47 -1 + arg1, arg2 -> arg1 + arg2, rest remain the same}> 9.42/9.47 Ranking function: arg1 + arg2 9.42/9.47 New Graphs: 9.42/9.47 INVARIANTS: 9.42/9.47 2: arg1 <= 0 , 9.42/9.47 Quasi-INVARIANTS to narrow Graph: 9.42/9.47 2: 9.42/9.47 Program Terminates 9.42/9.47 /export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 26: delete: command not found 9.42/9.47 /export/starexec/sandbox/solver/bin/starexec_run_termcomp2019_ITS: line 27: edit: command not found 9.42/9.47 EOF