/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 2 letters DP SRS with 4 strict rules and 1 weak rules on 3 letters EDG SRS with 4 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 4, solver = Minisatapi, verbose = False, tracing = False} SRS with 3 strict rules and 1 weak rules on 3 letters EDG SRS with 3 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 8, solver = Minisatapi, verbose = True, tracing = False} SRS with 2 strict rules and 1 weak rules on 3 letters EDG SRS with 2 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 3, encoding = Ersatz_Binary, dim = 4, solver = Minisatapi, verbose = True, tracing = False} SRS with 0 strict rules and 1 weak rules on 2 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [b, a, a, b, b, a, a, b, a, a, b] -> [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- Input 0 -} reason DP property Termination has value Just True for SRS [b, a, a, b, b, a, a, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b ] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b , a , a , b ] {- DP (Top 2) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , a , a , b , b , a , a , b ] {- DP (Top 3) (Input 0) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b ] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , a , a , b , b , a , a , b ] {- DP (Top 3) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b , a , a , b ] {- DP (Top 2) (Input 0) -} [b, a, a, b, b, a, a, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason ( b , Wk / 0A 0A 0A 4A \ | 0A 0A 0A 0A | | 0A 0A 0A 0A | \ -4A -4A 0A 0A / ) ( a , Wk / 0A 0A 0A 0A \ | -4A -4A 0A 0A | | -4A -4A -4A 0A | \ -4A -4A -4A -4A / ) ( b# , Wk / 3A 4A 4A 7A \ | 3A 4A 4A 7A | | 3A 4A 4A 7A | \ 3A 4A 4A 7A / ) property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b ] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b , a , a , b ] {- DP (Top 2) (Input 0) -} [b, a, a, b, b, a, a, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b ] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b , a , a , b ] {- DP (Top 2) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [b, a, a, b, b, a, a, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason ( b , Wk / 0A - 0A - 0A - 0A - \ | - - 0A - 2A - - 1A | | - - - 0A - - - - | | - - - - - - 0A - | | - - - 0A 0A - - - | | 0A - - 0A - - - - | | - - - - - 0A - 1A | \ - - - - - - - 0A / ) ( a , Wk / 0A - - - - - 0A - \ | - - 0A - - 0A - - | | - - - 0A - - - - | | - - - - 0A - - - | | - - 0A - - - - - | | - 0A - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) ( b# , Wk / - - 0A - 0A - - 0A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b ] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [b, a, a, b, b, a, a, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , b , a , a , b ] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b, a, a, b] |-> [ b# , a , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [b, a, a, b, b, a, a, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason ( b , Wk / 2 0 0 0 \ | 0 0 0 1 | | 1 1 0 0 | \ 0 0 0 1 / ) ( a , Wk / 0 1 0 0 \ | 0 0 1 0 | | 0 0 0 1 | \ 0 0 0 1 / ) ( b# , Wk / 2 0 0 0 \ | 0 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) property Termination has value Just True for SRS [b, a, a, b, b, a, a, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee\EDG(4/1,3)\Matrix{\Arctic}{4}\EDG(3/1,3)\Matrix{\Arctic}{8}\EDG(2/1,3)\Matrix{\Natural}{4}(0/1,2)\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 : Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} total number 1 max duration 133.104969560000 min duration 133.104969560000 total durat. 133.104969560000 Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 25} , self = 699 , parent = Just 3 , duration = 133.104969560000 , status = Fail , start = 2021-07-14 00:00:51.764318098 UTC , finish = 2021-07-14 00:03:04.869287658 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' ] , 2 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} total number 1 max duration 133.122427835000 min duration 133.122427835000 total durat. 133.122427835000 Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 25} , self = 702 , parent = Just 0 , duration = 133.122427835000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:51.76425745 UTC , finish = 2021-07-14 00:03:04.886685285 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' ] , 2 , True )} Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 4.628449847000 min duration 4.004169790000 total durat. 12.748564189000 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 273 , parent = Just 184 , duration = 4.004169790000 , status = Fail , start = 2021-07-14 00:00:55.638142755 UTC , finish = 2021-07-14 00:00:59.642312545 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '8' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 310 , parent = Just 238 , duration = 4.115944552000 , status = Fail , start = 2021-07-14 00:00:57.916044995 UTC , finish = 2021-07-14 00:01:02.031989547 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 103} , self = 213 , parent = Just 86 , duration = 4.628449847000 , status = Fail , start = 2021-07-14 00:00:52.584851463 UTC , finish = 2021-07-14 00:00:57.21330131 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '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 = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 10.331986137000 min duration 0.810824361000 total durat. 15.007064110000 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 = 3 , total_length = 105} , self = 183 , parent = Just 12 , duration = 3.864253612000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:51.771137948 UTC , finish = 2021-07-14 00:00:55.63539156 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 671 , parent = Just 605 , duration = 10.331986137000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:46.707518314 UTC , finish = 2021-07-14 00:02:57.039504451 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '6' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 26.957599742000 min duration 26.957599742000 total durat. 26.957599742000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 603 , parent = Just 184 , duration = 26.957599742000 , status = Success , start = 2021-07-14 00:02:19.733188496 UTC , finish = 2021-07-14 00:02:46.690788238 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '1' ] , 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 = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.065347921000 min duration 50.027458579000 total durat. 100.092806500000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 583 , parent = Just 184 , duration = 50.027458579000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:01:29.694434188 UTC , finish = 2021-07-14 00:02:19.721892767 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , 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 = 3 , total_length = 60} , self = 585 , parent = Just 238 , duration = 50.065347921000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:01:32.295432983 UTC , finish = 2021-07-14 00:02:22.360780904 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '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 4 max duration 30.217864274000 min duration 0.696499006000 total durat. 68.786567217000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 701 , parent = Just 605 , duration = 7.836937247000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:57.039700841 UTC , finish = 2021-07-14 00:03:04.876638088 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '3' , '0' ] , 0 , True )} 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 441 , parent = Just 184 , duration = 30.035266690000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:59.642488997 UTC , finish = 2021-07-14 00:01:29.677755687 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '4' ] , 0 , True )} 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 442 , parent = Just 238 , duration = 30.217864274000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:01:02.052122538 UTC , finish = 2021-07-14 00:01:32.269986812 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '4' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 39.687408379000 min duration 39.687408379000 total durat. 39.687408379000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 670 , parent = Just 184 , duration = 39.687408379000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:16.550329937 UTC , finish = 2021-07-14 00:02:56.237738316 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '6' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.088989338000 min duration 50.043213379000 total durat. 100.132202717000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 572 , parent = Just 184 , duration = 50.043213379000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:01:26.502355514 UTC , finish = 2021-07-14 00:02:16.545568893 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , 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 = 3 , total_length = 60} , self = 582 , parent = Just 238 , duration = 50.088989338000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:01:28.930318235 UTC , finish = 2021-07-14 00:02:19.019307573 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '5' ] , 0 , True )} Success : 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 16.126802074000 min duration 16.126802074000 total durat. 16.126802074000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 696 , parent = Just 605 , duration = 16.126802074000 , status = Success , start = 2021-07-14 00:02:48.718703753 UTC , finish = 2021-07-14 00:03:04.845505827 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '9' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 30.070821075000 min duration 3.181077160000 total durat. 67.782952834000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 105} , self = 185 , parent = Just 12 , duration = 3.181077160000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:52.45657277 UTC , finish = 2021-07-14 00:00:55.63764993 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '7' ] , 0 , True )} 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 103} , self = 239 , parent = Just 86 , duration = 4.471746723000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:53.444013401 UTC , finish = 2021-07-14 00:00:57.915760124 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '4' ] , 0 , True )} 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 440 , parent = Just 238 , duration = 30.059307876000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:58.863117764 UTC , finish = 2021-07-14 00:01:28.92242564 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '9' ] , 0 , True )} 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 425 , parent = Just 184 , duration = 30.070821075000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:56.423183458 UTC , finish = 2021-07-14 00:01:26.494004533 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '7' ] , 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 5 max duration 2.010892141000 min duration 0.685174317000 total durat. 5.285184869000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 621 , parent = Just 605 , duration = 2.010892141000 , status = Fail , start = 2021-07-14 00:02:46.70752978 UTC , finish = 2021-07-14 00:02:48.718421921 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '8' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 5 max duration 1.675794657000 min duration 0.513970438000 total durat. 4.306682097000 Info { what = QPI { dim = 2 , 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 = 3 , total_length = 60} , self = 620 , parent = Just 605 , duration = 1.675794657000 , status = Fail , start = 2021-07-14 00:02:46.707438051 UTC , finish = 2021-07-14 00:02:48.383232708 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '2' , '8' ] , 0 , True )} Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 4.615641766000 min duration 3.346247734000 total durat. 7.961889500000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 105} , self = 181 , parent = Just 12 , duration = 3.346247734000 , status = Success , start = 2021-07-14 00:00:52.285300353 UTC , finish = 2021-07-14 00:00:55.631548087 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' , '2' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 103} , self = 235 , parent = Just 86 , duration = 4.615641766000 , status = Success , start = 2021-07-14 00:00:53.29699457 UTC , finish = 2021-07-14 00:00:57.912636336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '8' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 8.765271776000 min duration 3.595159575000 total durat. 16.588799805000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 282 , parent = Just 184 , duration = 3.595159575000 , status = Fail , start = 2021-07-14 00:00:56.246066877 UTC , finish = 2021-07-14 00:00:59.841226452 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '3' ] , 0 , True )} 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 = 3 , total_length = 60} , self = 323 , parent = Just 238 , duration = 4.228368454000 , status = Fail , start = 2021-07-14 00:00:58.713235865 UTC , finish = 2021-07-14 00:01:02.941604319 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '5' ] , 0 , True )} 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 = 3 , total_length = 60} , self = 672 , parent = Just 605 , duration = 8.765271776000 , status = Fail , start = 2021-07-14 00:02:48.390370046 UTC , finish = 2021-07-14 00:02:57.155641822 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '5' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 50.063494683000 min duration 7.715776805000 total durat. 107.830998734000 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 = 3 , total_length = 60} , self = 700 , parent = Just 605 , duration = 7.715776805000 , status = Fail , start = 2021-07-14 00:02:57.160682148 UTC , finish = 2021-07-14 00:03:04.876458953 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 3 , total_length = 60} , self = 521 , parent = Just 238 , duration = 50.051727246000 , status = Fail , start = 2021-07-14 00:01:02.9417838 UTC , finish = 2021-07-14 00:01:52.993511046 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '1' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 516 , parent = Just 184 , duration = 50.063494683000 , status = Fail , start = 2021-07-14 00:00:59.841475839 UTC , finish = 2021-07-14 00:01:49.904970522 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '3' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 56.801669652000 min duration 56.801669652000 total durat. 56.801669652000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 606 , parent = Just 184 , duration = 56.801669652000 , status = Fail , start = 2021-07-14 00:01:49.905217477 UTC , finish = 2021-07-14 00:02:46.706887129 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '1' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Simple (Config { tracing = False , verbose = False , closure = Forward , max_closure_length = Nothing , max_closure_width = Nothing , intermediates = All , priority = (Linear [ (1, Log2 Steps) , (-1, Width_lhs) , (-2, Log2 Width_rhs) ])}) total number 1 max duration 133.122382701000 min duration 133.122382701000 total durat. 133.122382701000 Info { what = Simple (Config { tracing = False , verbose = False , closure = Forward , max_closure_length = Nothing , max_closure_width = Nothing , intermediates = All , priority = (Linear [ (1, Log2 Steps) , (-1, Width_lhs) , (-2, Log2 Width_rhs) ])}) , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 25} , self = 703 , parent = Just 0 , duration = 133.122382701000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:51.764344856 UTC , finish = 2021-07-14 00:03:04.886727557 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' ] , 1 , True )} Success : Tiling { method = Backward , width = 12 , 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 115.858524274000 min duration 115.858524274000 total durat. 115.858524274000 Info { what = Tiling { method = Backward , width = 12 , 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 = 2 , total_length = 25} , self = 616 , parent = Just 0 , duration = 115.858524274000 , status = Success , start = 2021-07-14 00:00:51.771021963 UTC , finish = 2021-07-14 00:02:47.629546237 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' ] , 3 , 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 17 max duration 28.694383052000 min duration 0.018782380000 total durat. 112.675393922000 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 175 , parent = Just 64 , duration = 1.954189858000 , status = Success , start = 2021-07-14 00:00:53.600950103 UTC , finish = 2021-07-14 00:00:55.555139961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '0' ] , 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 = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 651} , self = 214 , parent = Just 164 , duration = 2.098832761000 , status = Success , start = 2021-07-14 00:00:55.123329831 UTC , finish = 2021-07-14 00:00:57.222162592 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 283 , parent = Just 64 , duration = 2.406686002000 , status = Success , start = 2021-07-14 00:00:57.680201502 UTC , finish = 2021-07-14 00:01:00.086887504 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 335 , parent = Just 64 , duration = 2.633782195000 , status = Success , start = 2021-07-14 00:01:02.029082899 UTC , finish = 2021-07-14 00:01:04.662865094 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 108} , self = 495 , parent = Just 483 , duration = 2.899425783000 , status = Success , start = 2021-07-14 00:01:39.883230546 UTC , finish = 2021-07-14 00:01:42.782656329 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '6' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 382 , parent = Just 64 , duration = 5.430616653000 , status = Success , start = 2021-07-14 00:01:05.30892464 UTC , finish = 2021-07-14 00:01:10.739541293 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '5' ] , 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 = 465} , self = 503 , parent = Just 448 , duration = 13.689109679000 , status = Success , start = 2021-07-14 00:01:33.767524871 UTC , finish = 2021-07-14 00:01:47.45663455 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '4' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 644 , parent = Just 64 , duration = 14.734187509000 , status = Success , start = 2021-07-14 00:02:36.300612949 UTC , finish = 2021-07-14 00:02:51.034800458 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 455 , parent = Just 64 , duration = 16.893147429000 , status = Success , start = 2021-07-14 00:01:16.670109665 UTC , finish = 2021-07-14 00:01:33.563257094 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 465} , self = 543 , parent = Just 448 , duration = 18.506347331000 , status = Success , start = 2021-07-14 00:01:43.132806691 UTC , finish = 2021-07-14 00:02:01.639154022 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '4' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 592 , parent = Just 64 , duration = 28.694383052000 , status = Success , start = 2021-07-14 00:02:03.999743131 UTC , finish = 2021-07-14 00:02:32.694126183 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '5' ] , 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 10 max duration 58.850773268000 min duration 0.100164942000 total durat. 159.265915700000 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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 290} , self = 148 , parent = Just 44 , duration = 1.136163591000 , status = Success , start = 2021-07-14 00:00:53.393333997 UTC , finish = 2021-07-14 00:00:54.529497588 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '1' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 372} , self = 285 , parent = Just 41 , duration = 1.978747698000 , status = Success , start = 2021-07-14 00:00:58.640896605 UTC , finish = 2021-07-14 00:01:00.619644303 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '1' ] , 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 = 8 , num_strict_rules = 8 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 232} , self = 211 , parent = Just 149 , duration = 2.401957910000 , status = Success , start = 2021-07-14 00:00:54.556828334 UTC , finish = 2021-07-14 00:00:56.958786244 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '2' ] , 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 279} , self = 337 , parent = Just 286 , duration = 4.087119457000 , status = Success , start = 2021-07-14 00:01:00.665068037 UTC , finish = 2021-07-14 00:01:04.752187494 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '9' ] , 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 108} , self = 522 , parent = Just 483 , duration = 13.415460939000 , status = Success , start = 2021-07-14 00:01:39.822565321 UTC , finish = 2021-07-14 00:01:53.23802626 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '2' ] , 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 = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 651} , self = 447 , parent = Just 164 , duration = 24.838567369000 , status = Success , start = 2021-07-14 00:01:08.341873856 UTC , finish = 2021-07-14 00:01:33.180441225 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '5' ] , 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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 465} , self = 647 , parent = Just 448 , duration = 51.636695101000 , status = Success , start = 2021-07-14 00:01:59.642819106 UTC , finish = 2021-07-14 00:02:51.279514207 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '4' ] , 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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 465} , self = 588 , parent = Just 448 , duration = 58.850773268000 , status = Success , start = 2021-07-14 00:01:33.400037944 UTC , finish = 2021-07-14 00:02:32.250811212 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '0' ] , 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 3 max duration 73.638913311000 min duration 9.089124625000 total durat. 102.333602460000 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 = 2 , total_length = 25} , self = 291 , parent = Just 0 , duration = 9.089124625000 , status = Success , start = 2021-07-14 00:00:51.771134274 UTC , finish = 2021-07-14 00:01:00.860258899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' ] , 3 , True )} 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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 162} , self = 482 , parent = Just 30 , duration = 19.605564524000 , status = Success , start = 2021-07-14 00:01:20.0767943 UTC , finish = 2021-07-14 00:01:39.682358824 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '0' ] , 3 , True )} 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 108} , self = 651 , parent = Just 483 , duration = 73.638913311000 , status = Success , start = 2021-07-14 00:01:39.807594238 UTC , finish = 2021-07-14 00:02:53.446507549 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '4' ] , 3 , True )} Success : Tiling { method = Forward , width = 12 , 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 112.038741214000 min duration 112.038741214000 total durat. 112.038741214000 Info { what = Tiling { method = Forward , width = 12 , 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 = 2 , total_length = 25} , self = 601 , parent = Just 0 , duration = 112.038741214000 , status = Success , start = 2021-07-14 00:00:51.77096023 UTC , finish = 2021-07-14 00:02:43.809701444 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' ] , 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 15 max duration 34.931831972000 min duration 0.018971046000 total durat. 127.226655434000 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 279} , self = 311 , parent = Just 286 , duration = 1.331463385000 , status = Success , start = 2021-07-14 00:01:00.714790271 UTC , finish = 2021-07-14 00:01:02.046253656 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '3' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 372} , self = 134 , parent = Just 41 , duration = 1.387750408000 , status = Success , start = 2021-07-14 00:00:52.5982867 UTC , finish = 2021-07-14 00:00:53.986037108 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '7' ] , 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 108} , self = 491 , parent = Just 483 , duration = 2.091264506000 , status = Success , start = 2021-07-14 00:01:39.866197646 UTC , finish = 2021-07-14 00:01:41.957462152 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '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 = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 651} , self = 247 , parent = Just 164 , duration = 3.064692677000 , status = Success , start = 2021-07-14 00:00:55.529625866 UTC , finish = 2021-07-14 00:00:58.594318543 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '7' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 220 , parent = Just 64 , duration = 3.142732269000 , status = Success , start = 2021-07-14 00:00:54.220380266 UTC , finish = 2021-07-14 00:00:57.363112535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '1' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 326 , parent = Just 64 , duration = 3.997583115000 , status = Success , start = 2021-07-14 00:00:59.083330133 UTC , finish = 2021-07-14 00:01:03.080913248 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '1' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 351 , parent = Just 64 , duration = 4.341093282000 , status = Success , start = 2021-07-14 00:01:02.342066993 UTC , finish = 2021-07-14 00:01:06.683160275 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '4' ] , 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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 465} , self = 519 , parent = Just 448 , duration = 17.787468422000 , status = Success , start = 2021-07-14 00:01:33.497869668 UTC , finish = 2021-07-14 00:01:51.28533809 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '4' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 443 , parent = Just 64 , duration = 25.457790022000 , status = Success , start = 2021-07-14 00:01:07.320786857 UTC , finish = 2021-07-14 00:01:32.778576879 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '8' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 744} , self = 614 , parent = Just 64 , duration = 28.472617272000 , status = Success , start = 2021-07-14 00:02:18.81012348 UTC , finish = 2021-07-14 00:02:47.282740752 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '3' ] , 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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 465} , self = 573 , parent = Just 448 , duration = 34.931831972000 , status = Success , start = 2021-07-14 00:01:42.471730581 UTC , finish = 2021-07-14 00:02:17.403562553 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '9' ] , 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 9 max duration 75.181543313000 min duration 0.112470849000 total durat. 125.420378960000 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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 162} , self = 99 , parent = Just 30 , duration = 1.133459013000 , status = Success , start = 2021-07-14 00:00:51.953261949 UTC , finish = 2021-07-14 00:00:53.086720962 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '9' , '6' ] , 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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 290} , self = 198 , parent = Just 44 , duration = 2.293337154000 , status = Success , start = 2021-07-14 00:00:53.633423307 UTC , finish = 2021-07-14 00:00:55.926760461 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '4' ] , 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 = 8 , num_strict_rules = 8 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 232} , self = 233 , parent = Just 149 , duration = 3.299397433000 , status = Success , start = 2021-07-14 00:00:54.566369205 UTC , finish = 2021-07-14 00:00:57.865766638 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '6' ] , 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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 290} , self = 331 , parent = Just 44 , duration = 3.511613919000 , status = Success , start = 2021-07-14 00:00:59.665418295 UTC , finish = 2021-07-14 00:01:03.177032214 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '8' ] , 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 279} , self = 353 , parent = Just 286 , duration = 6.008350932000 , status = Success , start = 2021-07-14 00:01:00.681929818 UTC , finish = 2021-07-14 00:01:06.69028075 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '3' ] , 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 108} , self = 531 , parent = Just 483 , duration = 15.647125799000 , status = Success , start = 2021-07-14 00:01:39.851245658 UTC , finish = 2021-07-14 00:01:55.498371457 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '4' ] , 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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 290} , self = 469 , parent = Just 44 , duration = 18.233080548000 , status = Success , start = 2021-07-14 00:01:17.624891326 UTC , finish = 2021-07-14 00:01:35.857971874 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '8' ] , 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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 465} , self = 649 , parent = Just 448 , duration = 75.181543313000 , status = Success , start = 2021-07-14 00:01:36.105124084 UTC , finish = 2021-07-14 00:02:51.286667397 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '8' ] , 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 3 max duration 71.140379490000 min duration 9.214374370000 total durat. 97.270257017000 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 = 2 , total_length = 25} , self = 294 , parent = Just 0 , duration = 9.214374370000 , status = Success , start = 2021-07-14 00:00:51.76481192 UTC , finish = 2021-07-14 00:01:00.97918629 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' ] , 3 , True )} 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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 162} , self = 486 , parent = Just 30 , duration = 16.915503157000 , status = Success , start = 2021-07-14 00:01:22.853308987 UTC , finish = 2021-07-14 00:01:39.768812144 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '4' ] , 3 , True )} 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 108} , self = 642 , parent = Just 483 , duration = 71.140379490000 , status = Success , start = 2021-07-14 00:01:39.821917822 UTC , finish = 2021-07-14 00:02:50.962297312 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '8' ] , 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 39 max duration 95.062121126000 min duration 0.390055029000 total durat. 691.651034334000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 623 , parent = Just 605 , duration = 2.151580008000 , status = Success , start = 2021-07-14 00:02:46.754180251 UTC , finish = 2021-07-14 00:02:48.905760259 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 334} , self = 191 , parent = Just 111 , duration = 2.318213509000 , status = Success , start = 2021-07-14 00:00:53.35400945 UTC , finish = 2021-07-14 00:00:55.672222959 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 240} , self = 296 , parent = Just 252 , duration = 2.331752073000 , status = Success , start = 2021-07-14 00:00:58.980076859 UTC , finish = 2021-07-14 00:01:01.311828932 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 334} , self = 173 , parent = Just 102 , duration = 2.389027075000 , status = Success , start = 2021-07-14 00:00:53.134352351 UTC , finish = 2021-07-14 00:00:55.523379426 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '8' ] , 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 = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 507} , self = 154 , parent = Just 58 , duration = 2.436028266000 , status = Success , start = 2021-07-14 00:00:52.241244571 UTC , finish = 2021-07-14 00:00:54.677272837 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 388} , self = 158 , parent = Just 70 , duration = 2.462137397000 , status = Success , start = 2021-07-14 00:00:52.414827126 UTC , finish = 2021-07-14 00:00:54.876964523 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '2' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 473 , parent = Just 457 , duration = 2.926707127000 , status = Success , start = 2021-07-14 00:01:33.714536404 UTC , finish = 2021-07-14 00:01:36.641243531 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '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 = 13 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 318} , self = 343 , parent = Just 317 , duration = 3.078462490000 , status = Success , start = 2021-07-14 00:01:02.364383455 UTC , finish = 2021-07-14 00:01:05.442845945 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '8' ] , 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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 435} , self = 269 , parent = Just 203 , duration = 3.101415993000 , status = Success , start = 2021-07-14 00:00:56.460120531 UTC , finish = 2021-07-14 00:00:59.561536524 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '3' ] , 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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 388} , self = 259 , parent = Just 70 , duration = 3.448517115000 , status = Success , start = 2021-07-14 00:00:55.611490238 UTC , finish = 2021-07-14 00:00:59.060007353 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 388} , self = 324 , parent = Just 70 , duration = 3.901835649000 , status = Success , start = 2021-07-14 00:00:59.170036819 UTC , finish = 2021-07-14 00:01:03.071872468 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '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 = 14 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 376} , self = 363 , parent = Just 297 , duration = 5.700566943000 , status = Success , start = 2021-07-14 00:01:01.393499266 UTC , finish = 2021-07-14 00:01:07.094066209 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '2' ] , 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 = 18 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 478} , self = 306 , parent = Just 192 , duration = 6.026105202000 , status = Success , start = 2021-07-14 00:00:55.763737795 UTC , finish = 2021-07-14 00:01:01.789842997 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '5' ] , 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 = 9 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 682 , parent = Just 636 , duration = 8.646953909000 , status = Success , start = 2021-07-14 00:02:50.802642765 UTC , finish = 2021-07-14 00:02:59.449596674 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '8' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 426 , parent = Just 404 , duration = 8.940569344000 , status = Success , start = 2021-07-14 00:01:18.62057662 UTC , finish = 2021-07-14 00:01:27.561145964 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '8' ] , 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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 360} , self = 680 , parent = Just 625 , duration = 10.116252970000 , status = Success , start = 2021-07-14 00:02:49.314784976 UTC , finish = 2021-07-14 00:02:59.431037946 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '7' , '8' ] , 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 = 9 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 419 , parent = Just 370 , duration = 17.456063195000 , status = Success , start = 2021-07-14 00:01:07.626327396 UTC , finish = 2021-07-14 00:01:25.082390591 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 240} , self = 432 , parent = Just 377 , duration = 20.036522408000 , status = Success , start = 2021-07-14 00:01:07.990531478 UTC , finish = 2021-07-14 00:01:28.027053886 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 435} , self = 511 , parent = Just 427 , duration = 20.490492856000 , status = Success , start = 2021-07-14 00:01:28.11229463 UTC , finish = 2021-07-14 00:01:48.602787486 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '5' ] , 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 = 18 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 478} , self = 416 , parent = Just 174 , duration = 20.643885511000 , status = Success , start = 2021-07-14 00:01:03.167740926 UTC , finish = 2021-07-14 00:01:23.811626437 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 32 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 16 , alphabet_size = 19 , total_length = 912} , self = 396 , parent = Just 97 , duration = 21.629523338000 , status = Success , start = 2021-07-14 00:00:54.915367997 UTC , finish = 2021-07-14 00:01:16.544891335 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '2' ] , 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 = 9 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 590 , parent = Just 568 , duration = 22.451896114000 , status = Success , start = 2021-07-14 00:02:09.923397849 UTC , finish = 2021-07-14 00:02:32.375293963 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '6' , '8' ] , 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 = 3 , num_top_rules = 3 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 358} , self = 676 , parent = Just 591 , duration = 25.682150838000 , status = Success , start = 2021-07-14 00:02:33.120828163 UTC , finish = 2021-07-14 00:02:58.802979001 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '5' ] , 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 = 7 , total_length = 240} , self = 547 , parent = Just 474 , duration = 25.852033420000 , status = Success , start = 2021-07-14 00:01:36.904603369 UTC , finish = 2021-07-14 00:02:02.756636789 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '5' ] , 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 = 17 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 460} , self = 467 , parent = Just 344 , duration = 29.490676645000 , status = Success , start = 2021-07-14 00:01:06.16391453 UTC , finish = 2021-07-14 00:01:35.654591175 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '3' ] , 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 = 3 , num_top_rules = 3 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 358} , self = 555 , parent = Just 420 , duration = 38.437530734000 , status = Success , start = 2021-07-14 00:01:25.116857752 UTC , finish = 2021-07-14 00:02:03.554388486 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '0' ] , 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 = 28 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 16 , alphabet_size = 19 , total_length = 800} , self = 499 , parent = Just 226 , duration = 45.565144966000 , status = Success , start = 2021-07-14 00:00:59.796673189 UTC , finish = 2021-07-14 00:01:45.361818155 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 14 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 376} , self = 630 , parent = Just 548 , duration = 46.067697336000 , status = Success , start = 2021-07-14 00:02:03.488713343 UTC , finish = 2021-07-14 00:02:49.556410679 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '0' ] , 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 = 4 , num_top_rules = 4 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 376} , self = 578 , parent = Just 433 , duration = 50.092036478000 , status = Success , start = 2021-07-14 00:01:28.452390394 UTC , finish = 2021-07-14 00:02:18.544426872 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 16 , total_length = 731} , self = 535 , parent = Just 144 , duration = 56.565002983000 , status = Success , start = 2021-07-14 00:01:02.242915554 UTC , finish = 2021-07-14 00:01:58.807918537 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 = 19 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 15 , alphabet_size = 16 , total_length = 566} , self = 586 , parent = Just 276 , duration = 81.390919438000 , status = Success , start = 2021-07-14 00:01:07.444332436 UTC , finish = 2021-07-14 00:02:28.835251874 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '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 = 35 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 15 , alphabet_size = 15 , total_length = 915} , self = 655 , parent = Just 155 , duration = 95.062121126000 , status = Success , start = 2021-07-14 00:01:18.552946929 UTC , finish = 2021-07-14 00:02:53.615068055 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '4' ] , 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 25 max duration 73.403458269000 min duration 0.941139702000 total durat. 604.395307668000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 103} , self = 136 , parent = Just 86 , duration = 1.542885201000 , status = Success , start = 2021-07-14 00:00:52.589574093 UTC , finish = 2021-07-14 00:00:54.132459294 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '9' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 103} , self = 132 , parent = Just 72 , duration = 1.558156559000 , status = Success , start = 2021-07-14 00:00:52.427722618 UTC , finish = 2021-07-14 00:00:53.985879177 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 140} , self = 120 , parent = Just 18 , duration = 1.599607970000 , status = Success , start = 2021-07-14 00:00:51.77952558 UTC , finish = 2021-07-14 00:00:53.37913355 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 271 , parent = Just 238 , duration = 1.678180093000 , status = Success , start = 2021-07-14 00:00:57.921771432 UTC , finish = 2021-07-14 00:00:59.599951525 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 222 , parent = Just 184 , duration = 1.718169767000 , status = Success , start = 2021-07-14 00:00:55.650713956 UTC , finish = 2021-07-14 00:00:57.368883723 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 140} , self = 209 , parent = Just 18 , duration = 2.700659120000 , status = Success , start = 2021-07-14 00:00:54.188149782 UTC , finish = 2021-07-14 00:00:56.888808902 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 653 , parent = Just 605 , duration = 6.804500190000 , status = Success , start = 2021-07-14 00:02:46.754162785 UTC , finish = 2021-07-14 00:02:53.558662975 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 240} , self = 355 , parent = Just 252 , duration = 6.869074501000 , status = Success , start = 2021-07-14 00:00:59.840424494 UTC , finish = 2021-07-14 00:01:06.709498995 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 334} , self = 302 , parent = Just 111 , duration = 7.088120948000 , status = Success , start = 2021-07-14 00:00:54.526486223 UTC , finish = 2021-07-14 00:01:01.614607171 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 334} , self = 339 , parent = Just 102 , duration = 7.754674273000 , status = Success , start = 2021-07-14 00:00:57.339049949 UTC , finish = 2021-07-14 00:01:05.093724222 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '5' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 386 , parent = Just 359 , duration = 8.200524384000 , status = Success , start = 2021-07-14 00:01:07.043934803 UTC , finish = 2021-07-14 00:01:15.244459187 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '9' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 60} , self = 501 , parent = Just 457 , duration = 13.177420471000 , status = Success , start = 2021-07-14 00:01:33.704658195 UTC , finish = 2021-07-14 00:01:46.882078666 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 449 , parent = Just 404 , duration = 14.266696914000 , status = Success , start = 2021-07-14 00:01:18.943888549 UTC , finish = 2021-07-14 00:01:33.210585463 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 507} , self = 384 , parent = Just 58 , duration = 19.218834381000 , status = Success , start = 2021-07-14 00:00:53.153853509 UTC , finish = 2021-07-14 00:01:12.37268789 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '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 = 13 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 318} , self = 428 , parent = Just 317 , duration = 25.291083375000 , status = Success , start = 2021-07-14 00:01:02.290004757 UTC , finish = 2021-07-14 00:01:27.581088132 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '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 = 3 , num_top_rules = 3 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 505 , parent = Just 370 , duration = 39.982532572000 , status = Success , start = 2021-07-14 00:01:07.584569327 UTC , finish = 2021-07-14 00:01:47.567101899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 435} , self = 480 , parent = Just 203 , duration = 40.236315572000 , status = Success , start = 2021-07-14 00:00:57.830922525 UTC , finish = 2021-07-14 00:01:38.067238097 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 9 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 657 , parent = Just 568 , duration = 43.735831479000 , status = Success , start = 2021-07-14 00:02:09.94233876 UTC , finish = 2021-07-14 00:02:53.678170239 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '2' ] , 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 = 4 , num_top_rules = 4 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 376} , self = 673 , parent = Just 433 , duration = 48.094722850000 , status = Success , start = 2021-07-14 00:02:09.430081433 UTC , finish = 2021-07-14 00:02:57.524804283 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '6' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 240} , self = 564 , parent = Just 377 , duration = 52.179410026000 , status = Success , start = 2021-07-14 00:01:16.965341503 UTC , finish = 2021-07-14 00:02:09.144751529 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 240} , self = 632 , parent = Just 252 , duration = 56.478768130000 , status = Success , start = 2021-07-14 00:01:53.790242362 UTC , finish = 2021-07-14 00:02:50.269010492 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 240} , self = 618 , parent = Just 474 , duration = 59.361840241000 , status = Success , start = 2021-07-14 00:01:48.541675421 UTC , finish = 2021-07-14 00:02:47.903515662 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '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 = 18 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 10 , alphabet_size = 13 , total_length = 478} , self = 575 , parent = Just 174 , duration = 70.512700680000 , status = Success , start = 2021-07-14 00:01:07.009417162 UTC , finish = 2021-07-14 00:02:17.522117842 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '5' ] , 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 = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 334} , self = 612 , parent = Just 111 , duration = 73.403458269000 , status = Success , start = 2021-07-14 00:01:33.607292052 UTC , finish = 2021-07-14 00:02:47.010750321 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '3' ] , 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 1 max duration 129.029450408000 min duration 129.029450408000 total durat. 129.029450408000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 105} , self = 694 , parent = Just 12 , duration = 129.029450408000 , status = Success , start = 2021-07-14 00:00:51.78154556 UTC , finish = 2021-07-14 00:03:00.810995968 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '3' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 46 max duration 23.036150235000 min duration 0.015197694000 total durat. 167.436367818000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 117 , num_strict_rules = 117 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 4095} , self = 245 , parent = Just 212 , duration = 1.136495082000 , status = Success , start = 2021-07-14 00:00:56.959040962 UTC , finish = 2021-07-14 00:00:58.095536044 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '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 = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 19 , total_length = 808} , self = 391 , parent = Just 387 , duration = 1.173487890000 , status = Success , start = 2021-07-14 00:01:15.244908446 UTC , finish = 2021-07-14 00:01:16.418396336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 72 , num_strict_rules = 32 , num_top_rules = 32 , num_weak_rules = 40 , alphabet_size = 26 , total_length = 2072} , self = 667 , parent = Just 656 , duration = 1.282399513000 , status = Success , start = 2021-07-14 00:02:53.615544473 UTC , finish = 2021-07-14 00:02:54.897943986 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 19 , total_length = 808} , self = 507 , parent = Just 502 , duration = 1.357990139000 , status = Success , start = 2021-07-14 00:01:46.968766844 UTC , finish = 2021-07-14 00:01:48.326756983 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 120 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 80 , alphabet_size = 32 , total_length = 3760} , self = 400 , parent = Just 397 , duration = 1.399746107000 , status = Success , start = 2021-07-14 00:01:16.585169743 UTC , finish = 2021-07-14 00:01:17.98491585 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 33 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 27 , alphabet_size = 23 , total_length = 978} , self = 584 , parent = Just 579 , duration = 1.446325879000 , status = Success , start = 2021-07-14 00:02:18.544978687 UTC , finish = 2021-07-14 00:02:19.991304566 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 105 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 77 , alphabet_size = 36 , total_length = 3311} , self = 328 , parent = Just 303 , duration = 1.501703183000 , status = Success , start = 2021-07-14 00:01:01.614906173 UTC , finish = 2021-07-14 00:01:03.116609356 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 117 , num_strict_rules = 117 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 4095} , self = 267 , parent = Just 234 , duration = 1.551124246000 , status = Success , start = 2021-07-14 00:00:57.868411363 UTC , finish = 2021-07-14 00:00:59.419535609 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 105 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 77 , alphabet_size = 36 , total_length = 3311} , self = 357 , parent = Just 340 , duration = 1.664025124000 , status = Success , start = 2021-07-14 00:01:05.094064851 UTC , finish = 2021-07-14 00:01:06.758089975 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 79 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 70 , alphabet_size = 33 , total_length = 2557} , self = 668 , parent = Just 658 , duration = 2.024078172000 , status = Success , start = 2021-07-14 00:02:53.678695577 UTC , finish = 2021-07-14 00:02:55.702773749 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '0' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 169 , num_strict_rules = 169 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 46 , total_length = 6253} , self = 369 , parent = Just 338 , duration = 2.653564781000 , status = Success , start = 2021-07-14 00:01:04.752528932 UTC , finish = 2021-07-14 00:01:07.406093713 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 84 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 70 , alphabet_size = 35 , total_length = 2667} , self = 641 , parent = Just 619 , duration = 2.914569163000 , status = Success , start = 2021-07-14 00:02:47.904161054 UTC , finish = 2021-07-14 00:02:50.818730217 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 105 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 77 , alphabet_size = 36 , total_length = 3311} , self = 638 , parent = Just 613 , duration = 3.669741848000 , status = Success , start = 2021-07-14 00:02:47.017304567 UTC , finish = 2021-07-14 00:02:50.687046415 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '5' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 84 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 70 , alphabet_size = 35 , total_length = 2667} , self = 661 , parent = Just 633 , duration = 4.162814523000 , status = Success , start = 2021-07-14 00:02:50.275416055 UTC , finish = 2021-07-14 00:02:54.438230578 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 82 , num_strict_rules = 17 , num_top_rules = 17 , num_weak_rules = 65 , alphabet_size = 28 , total_length = 2629} , self = 560 , parent = Just 536 , duration = 4.864810046000 , status = Success , start = 2021-07-14 00:01:58.842440211 UTC , finish = 2021-07-14 00:02:03.707250257 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '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 = 100 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 77 , alphabet_size = 34 , total_length = 3201} , self = 445 , parent = Just 429 , duration = 5.502738651000 , status = Success , start = 2021-07-14 00:01:27.581562882 UTC , finish = 2021-07-14 00:01:33.084301533 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '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 = 79 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 70 , alphabet_size = 33 , total_length = 2557} , self = 524 , parent = Just 506 , duration = 5.713036629000 , status = Success , start = 2021-07-14 00:01:47.575048783 UTC , finish = 2021-07-14 00:01:53.288085412 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 144 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 108 , alphabet_size = 43 , total_length = 4572} , self = 402 , parent = Just 385 , duration = 5.740109810000 , status = Success , start = 2021-07-14 00:01:12.40520698 UTC , finish = 2021-07-14 00:01:18.14531679 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 49 , num_strict_rules = 49 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1617} , self = 537 , parent = Just 523 , duration = 5.883942385000 , status = Success , start = 2021-07-14 00:01:53.24337892 UTC , finish = 2021-07-14 00:01:59.127321305 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 49 , num_strict_rules = 49 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1617} , self = 551 , parent = Just 532 , duration = 7.944193102000 , status = Success , start = 2021-07-14 00:01:55.498961748 UTC , finish = 2021-07-14 00:02:03.44315485 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '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 = 169 , num_strict_rules = 169 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 46 , total_length = 6253} , self = 388 , parent = Just 354 , duration = 9.308867161000 , status = Success , start = 2021-07-14 00:01:06.690586241 UTC , finish = 2021-07-14 00:01:15.999453402 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 110 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 80 , alphabet_size = 32 , total_length = 3460} , self = 529 , parent = Just 500 , duration = 9.405983812000 , status = Success , start = 2021-07-14 00:01:45.362083359 UTC , finish = 2021-07-14 00:01:54.768067171 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '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 = 368 , num_strict_rules = 368 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 73 , total_length = 14352} , self = 409 , parent = Just 295 , duration = 17.880599285000 , status = Success , start = 2021-07-14 00:01:00.98162155 UTC , finish = 2021-07-14 00:01:18.862220835 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 368 , num_strict_rules = 368 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 73 , total_length = 14352} , self = 408 , parent = Just 292 , duration = 17.960874248000 , status = Success , start = 2021-07-14 00:01:00.860601585 UTC , finish = 2021-07-14 00:01:18.821475833 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '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 = 221 , num_strict_rules = 221 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 54 , total_length = 8177} , self = 646 , parent = Just 589 , duration = 18.827221355000 , status = Success , start = 2021-07-14 00:02:32.251200374 UTC , finish = 2021-07-14 00:02:51.078421729 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 135 , num_strict_rules = 27 , num_top_rules = 27 , num_weak_rules = 108 , alphabet_size = 43 , total_length = 4302} , self = 541 , parent = Just 481 , duration = 23.036150235000 , status = Success , start = 2021-07-14 00:01:38.077972125 UTC , finish = 2021-07-14 00:02:01.11412236 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '7' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 85 max duration 5.408014391000 min duration 0.000073941000 total durat. 42.469782389000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 15 , total_length = 650} , self = 690 , parent = Just 681 , duration = 1.010636905000 , status = Fail , start = 2021-07-14 00:02:59.431571781 UTC , finish = 2021-07-14 00:03:00.442208686 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '3' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 15 , alphabet_size = 15 , total_length = 785} , self = 514 , parent = Just 512 , duration = 1.072258702000 , status = Fail , start = 2021-07-14 00:01:48.603049098 UTC , finish = 2021-07-14 00:01:49.6753078 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 37 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 27 , alphabet_size = 22 , total_length = 1103} , self = 479 , parent = Just 468 , duration = 1.283514161000 , status = Fail , start = 2021-07-14 00:01:35.658098073 UTC , finish = 2021-07-14 00:01:36.941612234 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1650} , self = 580 , parent = Just 574 , duration = 1.350339428000 , status = Fail , start = 2021-07-14 00:02:17.404006808 UTC , finish = 2021-07-14 00:02:18.754346236 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 70 , num_strict_rules = 70 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 2310} , self = 466 , parent = Just 456 , duration = 1.519762662000 , status = Fail , start = 2021-07-14 00:01:33.563678753 UTC , finish = 2021-07-14 00:01:35.083441415 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 70 , num_strict_rules = 70 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 2310} , self = 622 , parent = Just 615 , duration = 1.609108132000 , status = Fail , start = 2021-07-14 00:02:47.288930631 UTC , finish = 2021-07-14 00:02:48.898038763 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '5' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1650} , self = 557 , parent = Just 544 , duration = 1.965823607000 , status = Fail , start = 2021-07-14 00:02:01.713872161 UTC , finish = 2021-07-14 00:02:03.679695768 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1650} , self = 513 , parent = Just 504 , duration = 2.014852752000 , status = Fail , start = 2021-07-14 00:01:47.457124319 UTC , finish = 2021-07-14 00:01:49.471977071 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1650} , self = 525 , parent = Just 520 , duration = 2.032315545000 , status = Fail , start = 2021-07-14 00:01:51.29197111 UTC , finish = 2021-07-14 00:01:53.324286655 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '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 = 70 , num_strict_rules = 70 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 2310} , self = 659 , parent = Just 645 , duration = 3.053153301000 , status = Fail , start = 2021-07-14 00:02:51.035082594 UTC , finish = 2021-07-14 00:02:54.088235895 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '0' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 70 , num_strict_rules = 70 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 2310} , self = 599 , parent = Just 593 , duration = 3.430325724000 , status = Fail , start = 2021-07-14 00:02:32.694578849 UTC , finish = 2021-07-14 00:02:36.124904573 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 67 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 60 , alphabet_size = 27 , total_length = 2169} , self = 598 , parent = Just 587 , duration = 4.690288244000 , status = Fail , start = 2021-07-14 00:02:28.835753378 UTC , finish = 2021-07-14 00:02:33.526041622 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 70 , num_strict_rules = 70 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 2310} , self = 389 , parent = Just 383 , duration = 5.408014391000 , status = Fail , start = 2021-07-14 00:01:10.740013978 UTC , finish = 2021-07-14 00:01:16.148028369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '8' ] , 3 , False )} **************************************************