/export/starexec/sandbox2/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 1 rules on 3 letters DP SRS with 8 strict rules and 1 weak rules on 4 letters EDG SRS with 8 strict rules and 1 weak rules on 4 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 2, solver = Minisatapi, verbose = False, tracing = False} SRS with 2 strict rules and 1 weak rules on 4 letters EDG SRS with 2 strict rules and 1 weak rules on 4 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 6, solver = Minisatapi, verbose = False, tracing = False} SRS with 0 strict rules and 1 weak rules on 3 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [a, b, c, b, a, a, a, a, a] -> [ a , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- Input 0 -} reason DP property Termination has value Just True for SRS [a, b, c, b, a, a, a, a, a] ->= [ a , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP Nontop (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 0) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 1) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 2) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 3) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [a#, a, b, c, b] {- DP (Top 9) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , b , c , b , a , a , b , c , b ] {- DP (Top 4) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [a#, b, c, b] {- DP (Top 10) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , b , c , b , a , a , b , c , b ] {- DP (Top 5) (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 0) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , b , c , b , a , a , b , c , b ] {- DP (Top 5) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [a#, b, c, b] {- DP (Top 10) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , b , c , b , a , a , b , c , b ] {- DP (Top 4) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [a#, a, b, c, b] {- DP (Top 9) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 3) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 2) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [ a# , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP (Top 1) (Input 0) -} [a, b, c, b, a, a, a, a, a] ->= [ a , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A 0A \ \ -2A -2A / ) ( b , Wk / 0A 0A \ \ 0A 0A / ) ( c , Wk / 0A 0A \ \ -2A -2A / ) ( a# , Wk / 8A 10A \ \ 8A 10A / ) property Termination has value Just True for SRS [a#, b, c, b, a, a, a, a, a] |-> [ a# , b , c , b , a , a , b , c , b ] {- DP (Top 5) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [a#, b, c, b] {- DP (Top 10) (Input 0) -} [a, b, c, b, a, a, a, a, a] ->= [ a , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, c, b, a, a, a, a, a] |-> [ a# , b , c , b , a , a , b , c , b ] {- DP (Top 5) (Input 0) -} [a#, b, c, b, a, a, a, a, a] |-> [a#, b, c, b] {- DP (Top 10) (Input 0) -} [a, b, c, b, a, a, a, a, a] ->= [ a , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A 0A 0A 0A 6A 6A \ | 0A 0A 0A 0A 0A 6A | | 0A 0A 0A 0A 0A 6A | | 0A 0A 0A 0A 0A 0A | | -6A -6A 0A 0A 0A 0A | \ -6A -6A -6A 0A 0A 0A / ) ( b , Wk / 0A 0A 0A 0A 0A 0A \ | -6A -6A -6A -6A 0A 0A | | -6A -6A -6A -6A -6A 0A | | -6A -6A -6A -6A -6A 0A | | -6A -6A -6A -6A -6A 0A | \ -6A -6A -6A -6A -6A 0A / ) ( c , Wk / 0A 0A 0A 0A 0A 0A \ | 0A 0A 0A 0A 0A 0A | | 0A 0A 0A 0A 0A 0A | | 0A 0A 0A 0A 0A 0A | | -6A 0A 0A 0A 0A 0A | \ -6A -6A -6A -6A -6A -6A / ) ( a# , Wk / 1A 1A 1A 1A 1A 1A \ | 1A 1A 1A 1A 1A 1A | | 1A 1A 1A 1A 1A 1A | | 1A 1A 1A 1A 1A 1A | | 1A 1A 1A 1A 1A 1A | \ 1A 1A 1A 1A 1A 1A / ) property Termination has value Just True for SRS [a, b, c, b, a, a, a, a, a] ->= [ a , a , a , a , a , a , b , c , b , a , a , b , c , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,3)\Deepee\EDG(8/1,4)\Matrix{\Arctic}{2}\EDG(2/1,4)\Matrix{\Arctic}{6}(0/1,3)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 3.739293227000 min duration 3.364809886000 total durat. 7.104103113000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 54} , self = 210 , parent = Just 98 , duration = 3.364809886000 , status = Fail , start = 2021-07-13 23:51:20.668027868 UTC , finish = 2021-07-13 23:51:24.032837754 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '4' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 88} , self = 205 , parent = Just 12 , duration = 3.739293227000 , status = Fail , start = 2021-07-13 23:51:19.611429491 UTC , finish = 2021-07-13 23:51:23.350722718 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 1.516735321000 min duration 1.051556809000 total durat. 2.568292130000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 173} , self = 97 , parent = Just 16 , duration = 1.051556809000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:19.612226228 UTC , finish = 2021-07-13 23:51:20.663783037 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 77} , self = 354 , parent = Just 337 , duration = 1.516735321000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:36.585161501 UTC , finish = 2021-07-13 23:51:38.101896822 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '3' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 13.233680916000 min duration 13.233680916000 total durat. 13.233680916000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 88} , self = 336 , parent = Just 12 , duration = 13.233680916000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:23.350988451 UTC , finish = 2021-07-13 23:51:36.584669367 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '9' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 15.853188160000 min duration 15.853188160000 total durat. 15.853188160000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 88} , self = 331 , parent = Just 12 , duration = 15.853188160000 , status = Fail , start = 2021-07-13 23:51:20.413113571 UTC , finish = 2021-07-13 23:51:36.266301731 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '2' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 0.818732807000 min duration 0.794788294000 total durat. 2.415012960000 Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.348431533000 min duration 1.348431533000 total durat. 1.348431533000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 173} , self = 116 , parent = Just 16 , duration = 1.348431533000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:19.612894473 UTC , finish = 2021-07-13 23:51:20.961326006 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' ] , 0 , True )} Success : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 1.047082425000 min duration 1.047082425000 total durat. 1.047082425000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 173} , self = 95 , parent = Just 16 , duration = 1.047082425000 , status = Success , start = 2021-07-13 23:51:19.612202017 UTC , finish = 2021-07-13 23:51:20.659284442 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 0.682260545000 min duration 0.627091690000 total durat. 1.976314713000 Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 3.027481305000 min duration 0.849349677000 total durat. 6.751660658000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 54} , self = 213 , parent = Just 98 , duration = 2.874829676000 , status = Fail , start = 2021-07-13 23:51:21.35049341 UTC , finish = 2021-07-13 23:51:24.225323086 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '4' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 88} , self = 194 , parent = Just 12 , duration = 3.027481305000 , status = Fail , start = 2021-07-13 23:51:20.238710968 UTC , finish = 2021-07-13 23:51:23.266192273 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '2' ] , 0 , True )} Success : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 13.850753110000 min duration 13.309528975000 total durat. 27.160282085000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 88} , self = 334 , parent = Just 12 , duration = 13.309528975000 , status = Success , start = 2021-07-13 23:51:23.266634329 UTC , finish = 2021-07-13 23:51:36.576163304 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '3' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 54} , self = 350 , parent = Just 98 , duration = 13.850753110000 , status = Success , start = 2021-07-13 23:51:24.225814598 UTC , finish = 2021-07-13 23:51:38.076567708 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '4' ] , 0 , True )} Success : Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 9 max duration 3.672891693000 min duration 0.048534352000 total durat. 9.745105033000 Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 405} , self = 180 , parent = Just 57 , duration = 1.037601242000 , status = Success , start = 2021-07-13 23:51:21.892949393 UTC , finish = 2021-07-13 23:51:22.930550635 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 405} , self = 137 , parent = Just 57 , duration = 1.082781027000 , status = Success , start = 2021-07-13 23:51:20.459065034 UTC , finish = 2021-07-13 23:51:21.541846061 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 464} , self = 234 , parent = Just 168 , duration = 2.328672531000 , status = Success , start = 2021-07-13 23:51:22.964259698 UTC , finish = 2021-07-13 23:51:25.292932229 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 28 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 812} , self = 281 , parent = Just 124 , duration = 3.672891693000 , status = Success , start = 2021-07-13 23:51:25.775676046 UTC , finish = 2021-07-13 23:51:29.448567739 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '1' ] , 3 , True )} Success : Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 5 max duration 6.615988872000 min duration 0.153174698000 total durat. 9.594958978000 Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 243} , self = 163 , parent = Just 88 , duration = 1.975759199000 , status = Success , start = 2021-07-13 23:51:20.589000803 UTC , finish = 2021-07-13 23:51:22.564760002 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 464} , self = 291 , parent = Just 168 , duration = 6.615988872000 , status = Success , start = 2021-07-13 23:51:23.468286804 UTC , finish = 2021-07-13 23:51:30.084275676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '1' ] , 3 , True )} Success : Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 3.234412156000 min duration 3.234412156000 total durat. 3.234412156000 Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 23} , self = 178 , parent = Just 0 , duration = 3.234412156000 , status = Success , start = 2021-07-13 23:51:19.613013361 UTC , finish = 2021-07-13 23:51:22.847425517 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '1' ] , 3 , True )} Success : Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 9 max duration 8.654283794000 min duration 0.050353268000 total durat. 14.954579934000 Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 580} , self = 167 , parent = Just 38 , duration = 1.169397739000 , status = Success , start = 2021-07-13 23:51:21.450169843 UTC , finish = 2021-07-13 23:51:22.619567582 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 464} , self = 214 , parent = Just 168 , duration = 1.568436635000 , status = Success , start = 2021-07-13 23:51:22.6663848 UTC , finish = 2021-07-13 23:51:24.234821435 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 28 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 812} , self = 253 , parent = Just 124 , duration = 1.943095822000 , status = Success , start = 2021-07-13 23:51:24.572041103 UTC , finish = 2021-07-13 23:51:26.515136925 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '0' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 48 , num_strict_rules = 48 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1488} , self = 322 , parent = Just 77 , duration = 8.654283794000 , status = Success , start = 2021-07-13 23:51:26.567622081 UTC , finish = 2021-07-13 23:51:35.221905875 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '6' ] , 3 , True )} Success : Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 4 max duration 6.590568718000 min duration 0.159610165000 total durat. 9.269628399000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 243} , self = 176 , parent = Just 88 , duration = 1.964464541000 , status = Success , start = 2021-07-13 23:51:20.838167362 UTC , finish = 2021-07-13 23:51:22.802631903 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 464} , self = 306 , parent = Just 168 , duration = 6.590568718000 , status = Success , start = 2021-07-13 23:51:24.057396401 UTC , finish = 2021-07-13 23:51:30.647965119 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '0' ] , 3 , True )} Success : Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 2.967873667000 min duration 2.967873667000 total durat. 2.967873667000 Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 23} , self = 165 , parent = Just 0 , duration = 2.967873667000 , status = Success , start = 2021-07-13 23:51:19.612939584 UTC , finish = 2021-07-13 23:51:22.580813251 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 16 max duration 9.874930463000 min duration 0.604651054000 total durat. 38.109346788000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 220} , self = 184 , parent = Just 127 , duration = 1.516666114000 , status = Success , start = 2021-07-13 23:51:21.430926784 UTC , finish = 2021-07-13 23:51:22.947592898 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 220} , self = 197 , parent = Just 136 , duration = 1.706501723000 , status = Success , start = 2021-07-13 23:51:21.599611627 UTC , finish = 2021-07-13 23:51:23.30611335 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 170} , self = 228 , parent = Just 198 , duration = 1.819362031000 , status = Success , start = 2021-07-13 23:51:23.347990563 UTC , finish = 2021-07-13 23:51:25.167352594 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 10 , total_length = 270} , self = 173 , parent = Just 106 , duration = 1.888835748000 , status = Success , start = 2021-07-13 23:51:20.849680209 UTC , finish = 2021-07-13 23:51:22.738515957 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 170} , self = 222 , parent = Just 185 , duration = 2.000254371000 , status = Success , start = 2021-07-13 23:51:22.993203246 UTC , finish = 2021-07-13 23:51:24.993457617 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 155} , self = 293 , parent = Just 267 , duration = 2.225947297000 , status = Success , start = 2021-07-13 23:51:27.958930608 UTC , finish = 2021-07-13 23:51:30.184877905 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 155} , self = 299 , parent = Just 271 , duration = 2.259131267000 , status = Success , start = 2021-07-13 23:51:28.18386038 UTC , finish = 2021-07-13 23:51:30.442991647 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 375} , self = 188 , parent = Just 72 , duration = 2.691813260000 , status = Success , start = 2021-07-13 23:51:20.30109154 UTC , finish = 2021-07-13 23:51:22.9929048 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 250} , self = 240 , parent = Just 189 , duration = 2.703363261000 , status = Success , start = 2021-07-13 23:51:23.303300924 UTC , finish = 2021-07-13 23:51:26.006664185 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 10 , total_length = 270} , self = 275 , parent = Just 106 , duration = 2.779064196000 , status = Success , start = 2021-07-13 23:51:25.352789444 UTC , finish = 2021-07-13 23:51:28.13185364 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 13 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 237} , self = 295 , parent = Just 248 , duration = 3.750134754000 , status = Success , start = 2021-07-13 23:51:26.447506221 UTC , finish = 2021-07-13 23:51:30.197640975 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 15 , alphabet_size = 14 , total_length = 522} , self = 319 , parent = Just 223 , duration = 9.874930463000 , status = Success , start = 2021-07-13 23:51:25.19168069 UTC , finish = 2021-07-13 23:51:35.066611153 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '0' ] , 3 , True )} Success : Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 14 max duration 7.110055782000 min duration 0.793753777000 total durat. 52.116863558000 Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 88} , self = 102 , parent = Just 12 , duration = 1.054444835000 , status = Success , start = 2021-07-13 23:51:19.62075452 UTC , finish = 2021-07-13 23:51:20.675199355 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 173} , self = 119 , parent = Just 16 , duration = 1.451236428000 , status = Success , start = 2021-07-13 23:51:19.629240972 UTC , finish = 2021-07-13 23:51:21.0804774 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 173} , self = 211 , parent = Just 16 , duration = 2.021833855000 , status = Success , start = 2021-07-13 23:51:22.14436628 UTC , finish = 2021-07-13 23:51:24.166200135 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 220} , self = 216 , parent = Just 127 , duration = 2.468175259000 , status = Success , start = 2021-07-13 23:51:21.829894985 UTC , finish = 2021-07-13 23:51:24.298070244 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 170} , self = 246 , parent = Just 198 , duration = 2.895893946000 , status = Success , start = 2021-07-13 23:51:23.361015595 UTC , finish = 2021-07-13 23:51:26.256909541 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 170} , self = 242 , parent = Just 185 , duration = 3.093113369000 , status = Success , start = 2021-07-13 23:51:23.021762153 UTC , finish = 2021-07-13 23:51:26.114875522 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 173} , self = 312 , parent = Just 16 , duration = 5.439640695000 , status = Success , start = 2021-07-13 23:51:27.993466401 UTC , finish = 2021-07-13 23:51:33.433107096 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 375} , self = 258 , parent = Just 72 , duration = 5.515755232000 , status = Success , start = 2021-07-13 23:51:21.14170503 UTC , finish = 2021-07-13 23:51:26.657460262 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 250} , self = 283 , parent = Just 189 , duration = 6.110391653000 , status = Success , start = 2021-07-13 23:51:23.35848253 UTC , finish = 2021-07-13 23:51:29.468874183 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 220} , self = 314 , parent = Just 127 , duration = 6.487902148000 , status = Success , start = 2021-07-13 23:51:27.755881107 UTC , finish = 2021-07-13 23:51:34.243783255 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 155} , self = 317 , parent = Just 267 , duration = 6.801311436000 , status = Success , start = 2021-07-13 23:51:27.840580737 UTC , finish = 2021-07-13 23:51:34.641892173 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 155} , self = 324 , parent = Just 271 , duration = 7.110055782000 , status = Success , start = 2021-07-13 23:51:28.131573166 UTC , finish = 2021-07-13 23:51:35.241628948 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '6' ] , 3 , True )} Success : Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 2 max duration 9.013180607000 min duration 8.970877835000 total durat. 17.984058442000 Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 54} , self = 289 , parent = Just 110 , duration = 8.970877835000 , status = Success , start = 2021-07-13 23:51:20.878210773 UTC , finish = 2021-07-13 23:51:29.849088608 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 54} , self = 287 , parent = Just 98 , duration = 9.013180607000 , status = Success , start = 2021-07-13 23:51:20.679691214 UTC , finish = 2021-07-13 23:51:29.692871821 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '9' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 13 max duration 3.874982614000 min duration 0.032549135000 total durat. 15.514670692000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 64 , num_strict_rules = 32 , num_top_rules = 32 , num_weak_rules = 32 , alphabet_size = 24 , total_length = 1720} , self = 329 , parent = Just 313 , duration = 2.373496139000 , status = Success , start = 2021-07-13 23:51:33.443736313 UTC , finish = 2021-07-13 23:51:35.817232452 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 112 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 72 , alphabet_size = 32 , total_length = 3072} , self = 311 , parent = Just 284 , duration = 2.597185257000 , status = Success , start = 2021-07-13 23:51:29.46920871 UTC , finish = 2021-07-13 23:51:32.066393967 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 176 , num_strict_rules = 176 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 46 , total_length = 6512} , self = 252 , parent = Just 166 , duration = 3.776012539000 , status = Success , start = 2021-07-13 23:51:22.582609086 UTC , finish = 2021-07-13 23:51:26.358621625 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 176 , num_strict_rules = 176 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 46 , total_length = 6512} , self = 262 , parent = Just 179 , duration = 3.874982614000 , status = Success , start = 2021-07-13 23:51:22.847614252 UTC , finish = 2021-07-13 23:51:26.722596866 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '2' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 56 max duration 6.595817766000 min duration 0.000139003000 total durat. 21.056827410000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 64 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 54 , alphabet_size = 26 , total_length = 1914} , self = 332 , parent = Just 318 , duration = 1.898195571000 , status = Fail , start = 2021-07-13 23:51:34.651109798 UTC , finish = 2021-07-13 23:51:36.549305369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 64 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 54 , alphabet_size = 26 , total_length = 1914} , self = 348 , parent = Just 325 , duration = 2.532707406000 , status = Fail , start = 2021-07-13 23:51:35.241779283 UTC , finish = 2021-07-13 23:51:37.774486689 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 170 , num_strict_rules = 170 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 5950} , self = 326 , parent = Just 292 , duration = 5.275623476000 , status = Fail , start = 2021-07-13 23:51:30.084601433 UTC , finish = 2021-07-13 23:51:35.360224909 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 170 , num_strict_rules = 170 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 5950} , self = 344 , parent = Just 307 , duration = 6.595817766000 , status = Fail , start = 2021-07-13 23:51:30.652651603 UTC , finish = 2021-07-13 23:51:37.248469369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '6' ] , 3 , False )} **************************************************