Experimental evaluation of Cost Analysis of Programs Based on the Refinement of Cost Relations

Functional Programs

Select type of table:

See all systems Compare two systems
System 1: CoFloCo CoFloCo_max Raml
System 2: CoFloCo CoFloCo_max Raml

Summary table:

SystemO(1)O(log(n))O(n)O(nlog(n))O(n^2)O(n^3)O(>n^3)O(exp)InfinityNo resultTotal
CoFloCo80120039500100182
CoFloCo_max8093040900257182
Raml8093044235081182

Detailed table:

CoFloCo
CoFloCo_max
Raml
bitvectors bitToIntp (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
bitvectors bitToInt (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
bitvectors sum (abs_file)
O(1) Time:0m6.587s Ignoring not supported annotation str(selector)
O(1) Time:0m4.795s Ignoring not supported annotation str(selector)
O(1) Time:0m0.970s
bitvectors addp (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
bitvectors add (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
bitvectors mult (abs_file)
O(n^2) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n^2) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n^2) Time:0m0.970s
bitvectors diff (abs_file)
O(1) Time:0m6.587s Ignoring not supported annotation str(selector)
O(1) Time:0m4.795s Ignoring not supported annotation str(selector)
O(1) Time:0m0.970s
bitvectors subp (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
bitvectors sub (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
bitvectors compare (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
bitvectors leq (abs_file)
O(n) Time:0m6.587s Ignoring not supported annotation str(selector)
O(n) Time:0m4.795s Ignoring not supported annotation str(selector)
O(n) Time:0m0.970s
calculator add (abs_file)
O(n) Time:0m3.979s
O(n) Time:0m5.975s
O(n) Time:0m3.957s
calculator sub (abs_file)
O(n) Time:0m3.979s
O(n) Time:0m5.975s
O(n) Time:0m3.957s
calculator mult (abs_file)
O(n^2) Time:0m3.979s
O(n^2) Time:0m5.975s
O(n^2) Time:0m3.957s
calculator eval_simpl (abs_file)
O(n^2) Time:0m3.979s
Inf Time:0m5.975s
O(n^3) Time:0m3.957s
calculator eval (abs_file)
O(n) Time:0m3.979s
O(n) Time:0m5.975s
O(n^3) Time:0m3.957s
calculator nat_to_int (abs_file)
O(n) Time:0m3.979s
O(n) Time:0m5.975s
O(n) Time:0m3.957s
duplicates eqD (abs_file)
O(n) Time:0m6.974s Failed max/minimization of -F+C'+F' in 37: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of C' in 37: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of -F+C'+F' in 38: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of C' in 38: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')]
O(n) Time:0m4.739s
O(n) Time:0m1.200s
duplicates removeL (abs_file)
O(n) Time:0m6.974s Failed max/minimization of -F+C'+F' in 37: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of C' in 37: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of -F+C'+F' in 38: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of C' in 38: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')]
O(n^2) Time:0m4.739s
O(n^2) Time:0m1.200s
duplicates nub (abs_file)
O(n^2) Time:0m6.974s Failed max/minimization of -F+C'+F' in 37: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of C' in 37: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of -F+C'+F' in 38: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')] Failed max/minimization of C' in 38: nub(A,B,C,D,E,F) -> [nub(A',B',C',D',E',F')]
O(n^3) Time:0m4.739s
O(n^3) Time:0m1.200s
echelon_form sizeL (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form get_elem (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form get_2elems (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form subtract_row_helper (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form subtract_row (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form subtract_helper (abs_file)
O(n) Time:0m9.667s
O(n^2) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n^2) Time:4m33.250s
echelon_form concat (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form tl (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form hd_helper (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form reverse_helper (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form reverseL (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form hd (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form split_helper (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form split (abs_file)
O(n) Time:0m9.667s
O(n) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n) Time:4m33.250s
echelon_form subtract (abs_file)
O(n) Time:0m9.667s
O(n^2) Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n^2) Time:4m33.250s
echelon_form echelon_helper (abs_file)
max([5*A+63+max([46*A+46+nat(-2*A+2*B+2)*10+max([max([10*B,5*A+5+nat(-4*A+4*B+2)*10]),21*A*nat(-A+B+E)+5*B*nat(-A+B+E)+nat(-A+B+E)*68+max([B/2* (42*A)+10*B+B/2* (30*B)+B/2* (nat(1/2*nat(-2*A+2*B+2)+ -1)*10)+B/2* (32*A+32)+B/2* (nat(-2*A+B+2)*34)+B/2* (135/2*nat(-2*A+2*B+2))+103/2*B,nat(1/2*nat(-2*A+2*B+2)+ -1)*10*nat(-A+B)+30*B*nat(-A+B)+ (5*A+5)+ (32*A+32)*nat(-A+B)+nat(-A+B)*103+nat(-A+B)*42*A+nat(-A+B)*34*nat(-2*A+B+2)+135/2*nat(-A+B)*nat(-2*A+2*B+2)+nat(-4*A+4*B+2)*10])]),30*B*nat(-A+B)+21*A*nat(-A+B+E)+5*B*nat(-A+B+E)+nat(1/2*nat(-2*A+2*B+2)+ -1)*10*nat(-A+B)+ (32*A+32)*nat(-A+B)+nat(-A+B)*103+nat(-A+B)*42*A+nat(-A+B)*34*nat(-2*A+B+2)+135/2*nat(-A+B)*nat(-2*A+2*B+2)+nat(-A+B+E)*68]),21*A*nat(-A+B+E)+16*A*nat(-A+B-D+1)+5*B*nat(-A+B+E)+20*B*nat(-A+B-D+1)+nat(1/2*nat(-2*A+2*B+2)+ -1)*10*nat(-A+B-D+1)+ (32*A+32)*nat(-A+B-D+1)+nat(-A+B+E)*68+nat(-2*A+B+2)*34*nat(-A+B-D+1)+nat(-2*A+2*B+2)*54*nat(-A+B-D+1)+nat(-A+B-D+1)*103+nat(-A+B-D+1)*26*A+27/2*nat(-A+B-D+1)*nat(-2*A+2*B+2)+nat(-A+B-D+1)*10*nat(B-2*D)])+3
O(n^2) Time:0m9.667s
Inf Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n^3) Time:4m33.250s
echelon_form echelon_form (abs_file)
O(n^2) Time:0m9.667s
Inf Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
O(n^3) Time:4m33.250s
echelon_form echelon_helper_old (abs_file)
O(n^2) Time:0m9.667s
Inf Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
Inf Time:4m33.250s
echelon_form echelon_form_old (abs_file)
O(n^2) Time:0m9.667s
Inf Time:0m43.010s Expressions [J] lost in CE 109 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 112 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 107 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 110 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 115 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 118 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 113 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 116 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 126 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 129 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 120 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 123 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Expressions [J] lost in CE 127 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(4))] Expressions [J] lost in CE 130 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(5))] Expressions [J] lost in CE 121 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(2))] Expressions [J] lost in CE 124 in terms of the output [ (split(A,B,C,D,E,F,G,H,I,J,K,L,M,N),external_pattern(3))] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 113: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of -D+B'-2 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 114: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-1 in 116: echelon_helper(A,B,C,D,E,F,G,H,I,J) -> [echelon_helper(A',B',C',D',E',F',G',H',I',J')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 132: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-D'-1 in 133: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Failed max/minimization of B'-1 in 135: echelon_helper_old(A,B,C,D,E,F,G) -> [echelon_helper_old(A',B',C',D',E',F',G')] Expressions [G] lost in CE 181 in terms of the output [ (hd_helper(A,B,C,D,E,F,G),external_pattern(2))]
Inf Time:4m33.250s
eratosthenes filter (abs_file)
O(n) Time:0m4.799s
O(n) Time:0m11.868s
O(n) Time:0m0.161s
eratosthenes eratos (abs_file)
O(n^2) Time:0m4.799s
O(n^2) Time:0m11.868s
O(n^2) Time:0m0.161s
lcs firstline (abs_file)
O(n) Time:0m11.969s
O(n) Time:0m13.167s
O(n) Time:0m0.716s
lcs rightL (abs_file)
O(1) Time:0m11.969s
O(1) Time:0m13.167s
O(1) Time:0m0.716s
lcs maxL (abs_file)
O(1) Time:0m11.969s
O(1) Time:0m13.167s
O(1) Time:0m0.716s
lcs newline (abs_file)
O(n) Time:0m11.969s
O(n) Time:0m13.167s
O(n) Time:0m0.716s
lcs lcstable (abs_file)
O(n^2) Time:0m11.969s
O(n^2) Time:0m13.167s
O(n^2) Time:0m0.716s
lcs lcs (abs_file)
O(n^2) Time:0m11.969s
O(n^2) Time:0m13.167s
O(n^2) Time:0m0.716s
LogicAndCodes eval2 (abs_file)
O(n) Time:0m18.718s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 66 Failed max/minimization of -3*I+L+3*I'2-L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -3*I'2+L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:0m17.901s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 88 Failed max/minimization of -E+L'+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -E+L'2+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:4m59.036s
LogicAndCodes table2 (abs_file)
O(n) Time:0m18.718s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 66 Failed max/minimization of -3*I+L+3*I'2-L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -3*I'2+L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:0m17.901s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 88 Failed max/minimization of -E+L'+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -E+L'2+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:4m59.036s
LogicAndCodes rev (abs_file)
O(n) Time:0m18.718s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 66 Failed max/minimization of -3*I+L+3*I'2-L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -3*I'2+L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:0m17.901s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 88 Failed max/minimization of -E+L'+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -E+L'2+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:4m59.036s
LogicAndCodes concat (abs_file)
O(n) Time:0m18.718s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 66 Failed max/minimization of -3*I+L+3*I'2-L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -3*I'2+L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:0m17.901s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 88 Failed max/minimization of -E+L'+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -E+L'2+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:4m59.036s
LogicAndCodes assoc (abs_file)
O(n) Time:0m18.718s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 66 Failed max/minimization of -3*I+L+3*I'2-L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -3*I'2+L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:0m17.901s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 88 Failed max/minimization of -E+L'+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -E+L'2+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n) Time:4m59.036s
LogicAndCodes eval (abs_file)
O(n^2) Time:0m18.718s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 66 Failed max/minimization of -3*I+L+3*I'2-L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -3*I'2+L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n^2) Time:0m17.901s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 88 Failed max/minimization of -E+L'+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -E+L'2+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O(n^2) Time:4m59.036s
LogicAndCodes table_make (abs_file)
Inf Time:0m18.718s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 66 Failed max/minimization of -3*I+L+3*I'2-L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -3*I'2+L'2+4 in 66: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
Inf Time:0m17.901s No candidate for multiple recursion table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) in 88 Failed max/minimization of -E+L'+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)] Failed max/minimization of -E+L'2+3 in 88: table_make(A,B,C,D,E,F,G,H,I,J,K,L,M,N) -> [table_make(A',B',C',D',E',F',G',H',I',J',K',L',M',N'),table_make(A'2,B'2,C'2,D'2,E'2,F'2,G'2,H'2,I'2,J'2,K'2,L'2,M'2,N'2)]
O() Time:4m59.036s
matrix size (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix check_lists (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix check_mat (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix check_matrix (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix construct_matrix (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix get_elemL (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix get_elemMat (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix op (abs_file)
O(1) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(1) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(1) Time:1m21.924s
matrix rec_list (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix rec_mat (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix check_sanity (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix plus (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix minus (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix append (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix append_row (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix transpose_helper (abs_file)
O(n^2) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^3) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^3) Time:1m21.924s
matrix transpose (abs_file)
O(n^2) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^3) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^3) Time:1m21.924s
matrix reverse_helper (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix reverseL (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix reverse_rows_helper (abs_file)
O(n^2) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix reverse_rows (abs_file)
O(n^2) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix append_start (abs_file)
O(n^2) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix new_transpose_helper (abs_file)
O(n^3) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
Inf Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^3) Time:1m21.924s
matrix new_transpose (abs_file)
O(n^3) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
Inf Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^3) Time:1m21.924s
matrix prod (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix prod_mat (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix mat_mult (abs_file)
O(n^3) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
Inf Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^4) Time:1m21.924s
matrix lineMult (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix computeLine (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix mat_mult_jan (abs_file)
O(n^2) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^3) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^3) Time:1m21.924s
matrix check_mult_sanity (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix mult (abs_file)
Inf Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^3) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^3) Time:1m21.924s
matrix evaluate (abs_file)
Inf Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
Inf Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
Inf Time:1m21.924s
matrix del (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n) Time:1m21.924s
matrix submat (abs_file)
O(n) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(n^2) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(n^2) Time:1m21.924s
matrix remFirstRow (abs_file)
O(1) Time:1m41.978s Expressions [H,H+1,H] lost in CE 297 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [H/2-1/2,H] lost in CE 299 in terms of the output [ (mat_mult_jan(A,B,C,D,E,F,G,H,I),external_pattern(2))]
O(1) Time:0m58.713s Failed max/minimization of E' in 113: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Failed max/minimization of E'-1 in 114: reverse_rows_helper(A,B,C,D,E,F,G,H,I) -> [reverse_rows_helper(A',B',C',D',E',F',G',H',I')] Expressions [H] lost in CE 120 in terms of the output [ (reverse_rows_helper(A,B,C,D,E,F,G,H,I),external_pattern(2))] Expressions [D] lost in CE 394 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 398 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 395 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Expressions [D] lost in CE 399 in terms of the output [ (transpose(A,B,C,D,E,F),external_pattern(2))] Failed max/minimization of E'-1 in 310: new_transpose_helper(A,B,C,D,E,F,G,H,I) -> [new_transpose_helper(A',B',C',D',E',F',G',H',I')] Expressions [G+1,H,G] lost in CE 413 in terms of the output [ (new_transpose_helper(A,B,C,D,E,F,G,H,I),external_pattern(5))]
O(1) Time:1m21.924s
minsort findMin (abs_file)
O(n) Time:0m4.886s
O(n) Time:0m3.809s
O(n) Time:0m0.458s
minsort minSort (abs_file)
O(n^2) Time:0m4.886s
O(n^2) Time:0m3.809s
O(n^2) Time:0m0.458s
power_radio send_msg (abs_file)
O(n) Time:0m22.210s
O(n) Time:0m21.129s
O(n) Time:0m14.271s
power_radio main1 (abs_file)
O(n) Time:0m22.210s
O(n^2) Time:0m21.129s
O(n^3) Time:0m14.271s
power_radio append (abs_file)
O(n) Time:0m22.210s
O(n) Time:0m21.129s
O(n) Time:0m14.271s
power_radio main2 (abs_file)
O(n) Time:0m22.210s
O(n^2) Time:0m21.129s
O(n^3) Time:0m14.271s
power_radio main3 (abs_file)
O(n^2) Time:0m22.210s
Inf Time:0m21.129s
O(n^4) Time:0m14.271s
power_radio main4 (abs_file)
O(n^2) Time:0m22.210s
Inf Time:0m21.129s
O(n^3) Time:0m14.271s
power_radio main5 (abs_file)
O(n) Time:0m22.210s
O(n^3) Time:0m21.129s
O(n^3) Time:0m14.271s
quicksort_mutual append (abs_file)
O(n) Time:0m6.864s
O(n) Time:0m6.481s
O(n) Time:0m0.586s
quicksort_mutual part (abs_file)
Inf Time:0m6.864s
Inf Time:0m6.481s
O(n^2) Time:0m0.586s
quicksort_mutual qs (abs_file)
Inf Time:0m6.864s
Inf Time:0m6.481s
O(n^2) Time:0m0.586s
raml1_append_all append (abs_file)
O(n) Time:0m13.652s
O(n) Time:0m11.635s Expressions [D] lost in CE 22 in terms of the output [ (append_all(A,B,C,D,E),external_pattern(2))] Expressions [E] lost in CE 26 in terms of the output [ (append_all2(A,B,C,D,E,F),external_pattern(2))]
O(n) Time:0m3.545s
raml1_append_all append_all (abs_file)
O(n) Time:0m13.652s
O(n^2) Time:0m11.635s Expressions [D] lost in CE 22 in terms of the output [ (append_all(A,B,C,D,E),external_pattern(2))] Expressions [E] lost in CE 26 in terms of the output [ (append_all2(A,B,C,D,E,F),external_pattern(2))]
O(n^2) Time:0m3.545s
raml1_append_all append_all2 (abs_file)
O(n) Time:0m13.652s
Inf Time:0m11.635s Expressions [D] lost in CE 22 in terms of the output [ (append_all(A,B,C,D,E),external_pattern(2))] Expressions [E] lost in CE 26 in terms of the output [ (append_all2(A,B,C,D,E,F),external_pattern(2))]
O(n^3) Time:0m3.545s
raml1_append_all append_all3 (abs_file)
O(n) Time:0m13.652s
Inf Time:0m11.635s Expressions [D] lost in CE 22 in terms of the output [ (append_all(A,B,C,D,E),external_pattern(2))] Expressions [E] lost in CE 26 in terms of the output [ (append_all2(A,B,C,D,E,F),external_pattern(2))]
O(n^4) Time:0m3.545s
raml1_bfs dfs (abs_file)
O(n) Time:0m11.864s
Inf Time:0m9.715s Failed max/minimization of C' in 36: bfs_aux(A,B,C,D,E,F,G,H,I) -> [bfs_aux(A',B',C',D',E',F',G',H',I')]
O(n) Time:0m0.561s
raml1_bfs make_btree (abs_file)
O(n^2) Time:0m11.864s
O(n^2) Time:0m9.715s Failed max/minimization of C' in 36: bfs_aux(A,B,C,D,E,F,G,H,I) -> [bfs_aux(A',B',C',D',E',F',G',H',I')]
O(n^2) Time:0m0.561s
raml1_bfs append_rev (abs_file)
O(n) Time:0m11.864s
O(n) Time:0m9.715s Failed max/minimization of C' in 36: bfs_aux(A,B,C,D,E,F,G,H,I) -> [bfs_aux(A',B',C',D',E',F',G',H',I')]
O(n) Time:0m0.561s
raml1_bfs revL (abs_file)
O(n) Time:0m11.864s
O(n) Time:0m9.715s Failed max/minimization of C' in 36: bfs_aux(A,B,C,D,E,F,G,H,I) -> [bfs_aux(A',B',C',D',E',F',G',H',I')]
O(n) Time:0m0.561s
raml1_bfs bfs (abs_file)
O(n) Time:0m11.864s
Inf Time:0m9.715s Failed max/minimization of C' in 36: bfs_aux(A,B,C,D,E,F,G,H,I) -> [bfs_aux(A',B',C',D',E',F',G',H',I')]
O(n) Time:0m0.561s
raml1_dyade mult (abs_file)
O(n) Time:0m11.843s
O(n) Time:0m4.830s
O(n) Time:0m0.291s
raml1_dyade dyade (abs_file)
O(n^2) Time:0m11.843s
O(n^2) Time:0m4.830s
O(n^2) Time:0m0.291s
raml1_flatten appendL (abs_file)
O(n) Time:0m7.593s Expressions [E] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n) Time:0m14.231s Expressions [D] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n) Time:0m11.938s
raml1_flatten flatten (abs_file)
O(n^2) Time:0m7.593s Expressions [E] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
Inf Time:0m14.231s Expressions [D] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n^3) Time:0m11.938s
raml1_flatten insertL (abs_file)
O(n) Time:0m7.593s Expressions [E] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n) Time:0m14.231s Expressions [D] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n) Time:0m11.938s
raml1_flatten insertionsort (abs_file)
O(n^2) Time:0m7.593s Expressions [E] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n^2) Time:0m14.231s Expressions [D] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n^2) Time:0m11.938s
raml1_flatten flattensort (abs_file)
O(n^2) Time:0m7.593s Expressions [E] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
Inf Time:0m14.231s Expressions [D] lost in CE 28 in terms of the output [ (flatten(A,B,C,D,E),external_pattern(2))]
O(n^4) Time:0m11.938s
raml1_listsort leqL (abs_file)
O(n) Time:0m13.155s
O(n) Time:0m5.597s
O(n) Time:0m3.106s
raml1_listsort insertL (abs_file)
O(n) Time:0m13.155s
O(n^2) Time:0m5.597s
O(n^2) Time:0m3.106s
raml1_listsort isortlist (abs_file)
O(n^2) Time:0m13.155s
O(n^3) Time:0m5.597s
O(n^3) Time:0m3.106s
raml1_mergesort msplit (abs_file)
O(n) Time:0m5.338s
O(n) Time:0m13.758s No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 39 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 40 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 41
O(n) Time:0m32.575s
raml1_mergesort merge (abs_file)
O(n) Time:0m5.338s
O(n) Time:0m13.758s No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 39 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 40 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 41
O(n) Time:0m32.575s
raml1_mergesort mergesortBuggy (abs_file)
Inf Time:0m5.338s
Inf Time:0m13.758s No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 39 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 40 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 41
Inf Time:0m32.575s
raml1_mergesort mergesort (abs_file)
Inf Time:0m5.338s
Inf Time:0m13.758s No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 39 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 40 No candidate for multiple recursion mergesortBuggy(A,B,C,D) in 41
O(n^2) Time:0m32.575s
raml1_subtrees append (abs_file)
O(n) Time:0m12.848s
O(n) Time:0m10.759s
O(n) Time:0m0.255s
raml1_subtrees subtrees (abs_file)
O(n^2) Time:0m12.848s
O(n^2) Time:0m10.759s
O(n^2) Time:0m0.255s
raml1_tuples attach (abs_file)
O(n) Time:0m13.813s Expressions [U] lost in CE 33 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [D] lost in CE 33 in terms of the output [ (pairs(A,B,C,D,E),external_pattern(3))] Expressions [B1] lost in CE 38 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [E] lost in CE 38 in terms of the output [ (triples(A,B,C,D,E,F),external_pattern(4))]
O() Time:5m0.0s
O(n) Time:0m13.302s
raml1_tuples append (abs_file)
O(n) Time:0m13.813s Expressions [U] lost in CE 33 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [D] lost in CE 33 in terms of the output [ (pairs(A,B,C,D,E),external_pattern(3))] Expressions [B1] lost in CE 38 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [E] lost in CE 38 in terms of the output [ (triples(A,B,C,D,E,F),external_pattern(4))]
O() Time:5m0.0s
O(n) Time:0m13.302s
raml1_tuples pairs (abs_file)
O(n^2) Time:0m13.813s Expressions [U] lost in CE 33 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [D] lost in CE 33 in terms of the output [ (pairs(A,B,C,D,E),external_pattern(3))] Expressions [B1] lost in CE 38 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [E] lost in CE 38 in terms of the output [ (triples(A,B,C,D,E,F),external_pattern(4))]
O() Time:5m0.0s
O(n^2) Time:0m13.302s
raml1_tuples pairsAux (abs_file)
O(n^2) Time:0m13.813s Expressions [U] lost in CE 33 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [D] lost in CE 33 in terms of the output [ (pairs(A,B,C,D,E),external_pattern(3))] Expressions [B1] lost in CE 38 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [E] lost in CE 38 in terms of the output [ (triples(A,B,C,D,E,F),external_pattern(4))]
O() Time:5m0.0s
O(n^2) Time:0m13.302s
raml1_tuples pairsp (abs_file)
Inf Time:0m13.813s Expressions [U] lost in CE 33 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [D] lost in CE 33 in terms of the output [ (pairs(A,B,C,D,E),external_pattern(3))] Expressions [B1] lost in CE 38 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [E] lost in CE 38 in terms of the output [ (triples(A,B,C,D,E,F),external_pattern(4))]
O() Time:5m0.0s
O(n^3) Time:0m13.302s
raml1_tuples triples (abs_file)
Inf Time:0m13.813s Expressions [U] lost in CE 33 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [D] lost in CE 33 in terms of the output [ (pairs(A,B,C,D,E),external_pattern(3))] Expressions [B1] lost in CE 38 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [E] lost in CE 38 in terms of the output [ (triples(A,B,C,D,E,F),external_pattern(4))]
O() Time:5m0.0s
O(n^3) Time:0m13.302s
raml1_tuples quadruples (abs_file)
Inf Time:0m13.813s Expressions [U] lost in CE 33 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [D] lost in CE 33 in terms of the output [ (pairs(A,B,C,D,E),external_pattern(3))] Expressions [B1] lost in CE 38 in terms of the output [ (attach(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1),external_pattern(2))] Expressions [E] lost in CE 38 in terms of the output [ (triples(A,B,C,D,E,F),external_pattern(4))]
O() Time:5m0.0s
O(n^4) Time:0m13.302s
rationalPotential zip3 (abs_file)
O(n) Time:0m5.150s
O(n) Time:0m5.787s
O(n) Time:0m0.121s
rationalPotential group3 (abs_file)
O(n) Time:0m5.150s
O(n) Time:0m5.787s
O(n) Time:0m0.121s
sizechange r1 (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
sizechange rev (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
sizechange append (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
sizechange f (abs_file)
O(n^3) Time:0m14.146s
O(n^3) Time:0m19.233s
O(n^3) Time:0m1.483s
sizechange g (abs_file)
O(n^3) Time:0m14.146s
O(n^3) Time:0m19.233s
O(n^3) Time:0m1.483s
sizechange p (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
sizechange f2 (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
Inf Time:0m1.483s
sizechange last (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
sizechange f2p (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
sizechange g3 (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
sizechange f3 (abs_file)
O(n) Time:0m14.146s
O(n) Time:0m19.233s
O(n) Time:0m1.483s
splitandsort insertL (abs_file)
O(n) Time:0m16.513s Failed max/minimization of B'+B'2 in 28: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)] Failed max/minimization of B'+B'2 in 29: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)]
O(n) Time:0m9.603s No candidate for multiple recursion quicksort(A,B,C,D) in 37 No candidate for multiple recursion quicksort(A,B,C,D) in 38
O(n) Time:0m2.701s
splitandsort split (abs_file)
O(n^2) Time:0m16.513s Failed max/minimization of B'+B'2 in 28: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)] Failed max/minimization of B'+B'2 in 29: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)]
O(n^2) Time:0m9.603s No candidate for multiple recursion quicksort(A,B,C,D) in 37 No candidate for multiple recursion quicksort(A,B,C,D) in 38
O(n^2) Time:0m2.701s
splitandsort splitqs (abs_file)
O(n) Time:0m16.513s Failed max/minimization of B'+B'2 in 28: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)] Failed max/minimization of B'+B'2 in 29: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)]
O(n) Time:0m9.603s No candidate for multiple recursion quicksort(A,B,C,D) in 37 No candidate for multiple recursion quicksort(A,B,C,D) in 38
O(n) Time:0m2.701s
splitandsort append (abs_file)
O(n) Time:0m16.513s Failed max/minimization of B'+B'2 in 28: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)] Failed max/minimization of B'+B'2 in 29: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)]
O(n) Time:0m9.603s No candidate for multiple recursion quicksort(A,B,C,D) in 37 No candidate for multiple recursion quicksort(A,B,C,D) in 38
O(n) Time:0m2.701s
splitandsort quicksort (abs_file)
O(n^2) Time:0m16.513s Failed max/minimization of B'+B'2 in 28: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)] Failed max/minimization of B'+B'2 in 29: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)]
Inf Time:0m9.603s No candidate for multiple recursion quicksort(A,B,C,D) in 37 No candidate for multiple recursion quicksort(A,B,C,D) in 38
O(n^2) Time:0m2.701s
splitandsort sortAll (abs_file)
O(n^2) Time:0m16.513s Failed max/minimization of B'+B'2 in 28: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)] Failed max/minimization of B'+B'2 in 29: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)]
Inf Time:0m9.603s No candidate for multiple recursion quicksort(A,B,C,D) in 37 No candidate for multiple recursion quicksort(A,B,C,D) in 38
O(n^3) Time:0m2.701s
splitandsort splitAndSort (abs_file)
O(n^2) Time:0m16.513s Failed max/minimization of B'+B'2 in 28: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)] Failed max/minimization of B'+B'2 in 29: quicksort(A,B,C,D) -> [quicksort(A',B',C',D'),quicksort(A'2,B'2,C'2,D'2)]
Inf Time:0m9.603s No candidate for multiple recursion quicksort(A,B,C,D) in 37 No candidate for multiple recursion quicksort(A,B,C,D) in 38
O(n^2) Time:0m2.701s
subsequence firstline (abs_file)
O(n) Time:0m9.944s
O(n) Time:0m17.398s
O(n) Time:0m0.898s
subsequence newline (abs_file)
O(n) Time:0m9.944s
O(n) Time:0m17.398s
O(n) Time:0m0.898s
subsequence lcstable (abs_file)
O(n^2) Time:0m9.944s
O(n^2) Time:0m17.398s
O(n^2) Time:0m0.898s
subsequence lcs (abs_file)
O(n^2) Time:0m9.944s
O(n^2) Time:0m17.398s
O(n^2) Time:0m0.898s
workingwithlists last (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists last_two (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists at (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists lengthL (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists rev (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists eq_lists (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists is_palindrome (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists compress (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists pack (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists encode (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists duplicate (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists replicate (abs_file)
O(n^2) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n^2) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
Inf Time:0m21.954s
workingwithlists drop (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists split (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists slice (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists concat (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists rotate (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists removeAt (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists insertAt (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.954s
workingwithlists minusminus (abs_file)
O(n) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
Inf Time:0m21.954s
workingwithlists randomL (abs_file)
O(1) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(1) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(1) Time:0m21.954s
workingwithlists minL (abs_file)
O(1) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(1) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(1) Time:0m21.954s
workingwithlists rand_select (abs_file)
O(n^2) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n^2) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n^2) Time:0m21.954s
workingwithlists lotto_select (abs_file)
O(n^2) Time:0m14.966s Expressions [F] lost in CE 139 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
O(n^2) Time:0m21.492s Expressions [H] lost in CE 226 in terms of the output [ (rev(A,B,C,D,E,F,G,H),external_pattern(2))]
Inf Time:0m21.954s