/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 7 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 = Arctic, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 8, 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 [a, a, b, b, a, b, a, b, a] -> [ a , b , a , b , a , b , a , a , b , b , a , a , b ] {- Input 0 -} reason DP property Termination has value Just True for SRS [a, a, b, b, a, b, a, b, a] ->= [ a , b , a , b , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [a#, a, b] {- DP (Top 10) (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [ a# , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [a#, b] {- DP (Top 11) (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [ a# , b , a , a , b , b , a , a , b ] {- DP (Top 4) (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [ a# , b , a , b , a , a , b , b , a , a , b ] {- DP (Top 2) (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , a , b , b , a , a , b ] {- DP (Top 0) (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [a#, b, b, a, a, b] {- DP (Top 7) (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, a, b, b, a, b, a, b, a] |-> [a#, a, b] {- DP (Top 10) (Input 0) -} [a#, a, b, b, a, b, a, b, a] |-> [ a# , a , b , b , a , a , b ] {- DP (Top 6) (Input 0) -} [a, a, b, b, a, b, a, b, a] ->= [ a , b , a , b , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / - - - - 0A - - 0A \ | - - - 0A - - - - | | 0A - - 0A - - - 0A | | 0A - - - 0A 2A - - | | - - - - 0A - - - | | - - - - - - 0A - | | 0A - - - 0A - - - | \ - - - - - - - 0A / ) ( b , Wk / - 0A - - - - - 0A \ | - - - - 0A - - - | | - - - - - - - - | | 0A - - - 0A - 0A - | | - - - 0A - 0A - - | | - - - - - - - - | | - - 1A - - 0A - - | \ - - - - - - - 0A / ) ( a# , Wk / - - - - 0A - - 0A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [a, a, b, b, a, b, a, b, a] ->= [ a , b , a , b , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee(7/1,3)\EDG(2/1,3)\Matrix{\Arctic}{8}(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 2 max duration 63.039627112000 min duration 61.299698890000 total durat. 124.339326002000 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 = 22} , self = 678 , parent = Just 3 , duration = 61.299698890000 , status = Fail , start = 2021-07-13 23:54:09.57120597 UTC , finish = 2021-07-13 23:55:10.87090486 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' ] , 2 , True )} 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 = 22} , self = 685 , parent = Just 0 , duration = 63.039627112000 , status = Fail , start = 2021-07-13 23:54:09.571228689 UTC , finish = 2021-07-13 23:55:12.610855801 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' ] , 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 2 max duration 5.297045759000 min duration 4.298228103000 total durat. 9.595273862000 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 = 50} , self = 201 , parent = Just 13 , duration = 4.298228103000 , status = Fail , start = 2021-07-13 23:54:09.574818104 UTC , finish = 2021-07-13 23:54:13.873046207 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 343 , parent = Just 217 , duration = 5.297045759000 , status = Fail , start = 2021-07-13 23:54:14.654726938 UTC , finish = 2021-07-13 23:54:19.951772697 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '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 1 max duration 5.073087040000 min duration 5.073087040000 total durat. 5.073087040000 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 = 81} , self = 218 , parent = Just 14 , duration = 5.073087040000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:09.576665163 UTC , finish = 2021-07-13 23:54:14.649752203 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '2' ] , 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 42.521155350000 min duration 42.521155350000 total durat. 42.521155350000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 50} , self = 1049 , parent = Just 13 , duration = 42.521155350000 , status = Success , start = 2021-07-13 23:55:33.993898615 UTC , finish = 2021-07-13 23:56:16.515053965 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '3' , '9' ] , 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 56.534479978000 min duration 50.021864021000 total durat. 106.556343999000 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 = 50} , self = 909 , parent = Just 13 , duration = 50.021864021000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:43.959837386 UTC , finish = 2021-07-13 23:55:33.981701407 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '5' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 959 , parent = Just 217 , duration = 56.534479978000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:50.023792262 UTC , finish = 2021-07-13 23:55:46.55827224 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '9' ] , 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 2 max duration 30.072084893000 min duration 30.062890429000 total durat. 60.134975322000 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 = 64} , self = 498 , parent = Just 217 , duration = 30.062890429000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:19.952120253 UTC , finish = 2021-07-13 23:54:50.015010682 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '1' ] , 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 = 50} , self = 470 , parent = Just 13 , duration = 30.072084893000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:13.873378753 UTC , finish = 2021-07-13 23:54:43.945463646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '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 = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 59.740160786000 min duration 50.002690422000 total durat. 109.742851208000 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 = 50} , self = 862 , parent = Just 13 , duration = 50.002690422000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:40.366817606 UTC , finish = 2021-07-13 23:55:30.369508028 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '8' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 955 , parent = Just 217 , duration = 59.740160786000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:45.317138391 UTC , finish = 2021-07-13 23:55:45.057299177 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '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 = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 30.064026679000 min duration 4.167940124000 total durat. 64.270452398000 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 = 81} , self = 219 , parent = Just 14 , duration = 4.167940124000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:10.484157708 UTC , finish = 2021-07-13 23:54:14.652097832 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '2' ] , 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 = 64} , self = 475 , parent = Just 217 , duration = 30.038485595000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:15.274846937 UTC , finish = 2021-07-13 23:54:45.313332532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '8' ] , 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 = 50} , self = 456 , parent = Just 13 , duration = 30.064026679000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:10.293254475 UTC , finish = 2021-07-13 23:54:40.357281154 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '8' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 0.906229181000 min duration 0.619927609000 total durat. 2.244577252000 Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 0.689392373000 min duration 0.517436181000 total durat. 1.727714315000 Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 4.376253213000 min duration 4.376253213000 total durat. 4.376253213000 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 = 81} , self = 215 , parent = Just 14 , duration = 4.376253213000 , status = Success , start = 2021-07-13 23:54:10.266282118 UTC , finish = 2021-07-13 23:54:14.642535331 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '9' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 4.239273802000 min duration 3.496086465000 total durat. 7.735360267000 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 = 50} , self = 198 , parent = Just 13 , duration = 3.496086465000 , status = Fail , start = 2021-07-13 23:54:10.092160337 UTC , finish = 2021-07-13 23:54:13.588246802 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '0' ] , 0 , True )} 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 = 64} , self = 326 , parent = Just 217 , duration = 4.239273802000 , status = Fail , start = 2021-07-13 23:54:15.175763163 UTC , finish = 2021-07-13 23:54:19.415036965 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '2' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 51.092447191000 min duration 36.084134494000 total durat. 87.176581685000 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 = 64} , self = 511 , parent = Just 217 , duration = 36.084134494000 , status = Fail , start = 2021-07-13 23:54:19.415686362 UTC , finish = 2021-07-13 23:54:55.499820856 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '5' ] , 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 = 50} , self = 624 , parent = Just 13 , duration = 51.092447191000 , status = Fail , start = 2021-07-13 23:54:13.588655161 UTC , finish = 2021-07-13 23:55:04.681102352 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '5' ] , 0 , 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 10.094669804000 min duration 10.094669804000 total durat. 10.094669804000 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 = 22} , self = 338 , parent = Just 0 , duration = 10.094669804000 , status = Success , start = 2021-07-13 23:54:09.574960958 UTC , finish = 2021-07-13 23:54:19.669630762 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' ] , 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 24 max duration 16.597396908000 min duration 0.033235191000 total durat. 91.755747765000 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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 300} , self = 876 , parent = Just 834 , duration = 1.032457083000 , status = Success , start = 2021-07-13 23:55:30.54603611 UTC , finish = 2021-07-13 23:55:31.578493193 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '0' , '3' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 360} , self = 374 , parent = Just 359 , duration = 1.201012075000 , status = Success , start = 2021-07-13 23:54:20.823982608 UTC , finish = 2021-07-13 23:54:22.024994683 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '7' ] , 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 = 17 , total_length = 720} , self = 358 , parent = Just 246 , duration = 1.209939260000 , status = Success , start = 2021-07-13 23:54:19.456302292 UTC , finish = 2021-07-13 23:54:20.666241552 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 840} , self = 160 , parent = Just 74 , duration = 1.576943972000 , status = Success , start = 2021-07-13 23:54:11.031728865 UTC , finish = 2021-07-13 23:54:12.608672837 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 504} , self = 239 , parent = Just 161 , duration = 1.746574649000 , status = Success , start = 2021-07-13 23:54:13.38705212 UTC , finish = 2021-07-13 23:54:15.133626769 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '3' ] , 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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 603 , parent = Just 563 , duration = 2.003021007000 , status = Success , start = 2021-07-13 23:55:00.584338759 UTC , finish = 2021-07-13 23:55:02.587359766 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '7' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 504} , self = 295 , parent = Just 161 , duration = 2.406112654000 , status = Success , start = 2021-07-13 23:54:15.395039822 UTC , finish = 2021-07-13 23:54:17.801152476 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 1280} , self = 578 , parent = Just 375 , duration = 3.053156924000 , status = Success , start = 2021-07-13 23:54:57.210361407 UTC , finish = 2021-07-13 23:55:00.263518331 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1020} , self = 926 , parent = Just 824 , duration = 3.811157426000 , status = Success , start = 2021-07-13 23:55:31.907182414 UTC , finish = 2021-07-13 23:55:35.71833984 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '1' , '7' ] , 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 = 45 , num_strict_rules = 45 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 26 , total_length = 1530} , self = 664 , parent = Just 267 , duration = 4.903256546000 , status = Success , start = 2021-07-13 23:55:04.90870442 UTC , finish = 2021-07-13 23:55:09.811960966 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '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 = 35 , num_strict_rules = 35 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1190} , self = 719 , parent = Just 665 , duration = 4.946353983000 , status = Success , start = 2021-07-13 23:55:10.37979174 UTC , finish = 2021-07-13 23:55:15.326145723 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '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 = 55 , num_strict_rules = 55 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 1870} , self = 857 , parent = Just 602 , duration = 6.854172950000 , status = Success , start = 2021-07-13 23:55:23.254723846 UTC , finish = 2021-07-13 23:55:30.108896796 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '7' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1008} , self = 532 , parent = Just 97 , duration = 8.508061128000 , status = Success , start = 2021-07-13 23:54:48.518143446 UTC , finish = 2021-07-13 23:54:57.026204574 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 512} , self = 1018 , parent = Just 975 , duration = 8.641067147000 , status = Success , start = 2021-07-13 23:55:54.096191361 UTC , finish = 2021-07-13 23:56:02.737258508 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '7' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 960} , self = 444 , parent = Just 194 , duration = 10.036822644000 , status = Success , start = 2021-07-13 23:54:23.318950844 UTC , finish = 2021-07-13 23:54:33.355773488 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 473 , parent = Just 445 , duration = 11.160077754000 , status = Success , start = 2021-07-13 23:54:34.11300498 UTC , finish = 2021-07-13 23:54:45.273082734 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '7' ] , 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 = 32 , num_strict_rules = 32 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 1024} , self = 992 , parent = Just 865 , duration = 16.597396908000 , status = Success , start = 2021-07-13 23:55:40.241289121 UTC , finish = 2021-07-13 23:55:56.838686029 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '0' , '9' ] , 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 13 max duration 15.899698725000 min duration 0.169742319000 total durat. 54.757082128000 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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 168} , self = 261 , parent = Just 212 , duration = 1.029855511000 , status = Success , start = 2021-07-13 23:54:14.664712412 UTC , finish = 2021-07-13 23:54:15.694567923 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 560} , self = 321 , parent = Just 177 , duration = 1.961468448000 , status = Success , start = 2021-07-13 23:54:16.844013753 UTC , finish = 2021-07-13 23:54:18.805482201 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 720} , self = 381 , parent = Just 246 , duration = 3.139394476000 , status = Success , start = 2021-07-13 23:54:19.452300297 UTC , finish = 2021-07-13 23:54:22.591694773 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 300} , self = 884 , parent = Just 834 , duration = 4.097731350000 , status = Success , start = 2021-07-13 23:55:27.957099432 UTC , finish = 2021-07-13 23:55:32.054830782 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '7' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 691 , parent = Just 563 , duration = 7.579507104000 , status = Success , start = 2021-07-13 23:55:06.100449051 UTC , finish = 2021-07-13 23:55:13.679956155 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 35 , num_strict_rules = 35 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1190} , self = 882 , parent = Just 665 , duration = 8.751336112000 , status = Success , start = 2021-07-13 23:55:23.290795631 UTC , finish = 2021-07-13 23:55:32.042131743 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 360} , self = 439 , parent = Just 359 , duration = 9.379724002000 , status = Success , start = 2021-07-13 23:54:21.267278361 UTC , finish = 2021-07-13 23:54:30.647002363 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '0' ] , 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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 550 , parent = Just 445 , duration = 15.899698725000 , status = Success , start = 2021-07-13 23:54:42.574561005 UTC , finish = 2021-07-13 23:54:58.47425973 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '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 6 max duration 41.135003151000 min duration 1.255502895000 total durat. 69.736451674000 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 = 22} , self = 94 , parent = Just 0 , duration = 1.255502895000 , status = Success , start = 2021-07-13 23:54:09.574842628 UTC , finish = 2021-07-13 23:54:10.830345523 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' ] , 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 = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 48} , self = 209 , parent = Just 42 , duration = 2.016415027000 , status = Success , start = 2021-07-13 23:54:12.204529619 UTC , finish = 2021-07-13 23:54:14.220944646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '4' ] , 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 = 6 , total_length = 104} , self = 410 , parent = Just 165 , duration = 7.272972007000 , status = Success , start = 2021-07-13 23:54:18.117122458 UTC , finish = 2021-07-13 23:54:25.390094465 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '4' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 360} , self = 868 , parent = Just 359 , duration = 7.418380008000 , status = Success , start = 2021-07-13 23:55:23.291093105 UTC , finish = 2021-07-13 23:55:30.709473113 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '8' ] , 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 = 10 , total_length = 168} , self = 620 , parent = Just 212 , duration = 10.638178586000 , status = Success , start = 2021-07-13 23:54:52.638755945 UTC , finish = 2021-07-13 23:55:03.276934531 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 300} , self = 1042 , parent = Just 834 , duration = 41.135003151000 , status = Success , start = 2021-07-13 23:55:27.952016919 UTC , finish = 2021-07-13 23:56:09.08702007 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '7' , '5' ] , 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 8.973959881000 min duration 8.973959881000 total durat. 8.973959881000 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 = 22} , self = 313 , parent = Just 0 , duration = 8.973959881000 , status = Success , start = 2021-07-13 23:54:09.574757699 UTC , finish = 2021-07-13 23:54:18.54871758 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' ] , 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 26 max duration 19.698044526000 min duration 0.048969403000 total durat. 108.367612558000 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 = 17 , total_length = 720} , self = 368 , parent = Just 246 , duration = 1.006400680000 , status = Success , start = 2021-07-13 23:54:20.10692238 UTC , finish = 2021-07-13 23:54:21.11332306 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '6' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 360} , self = 376 , parent = Just 359 , duration = 1.114385494000 , status = Success , start = 2021-07-13 23:54:21.084146907 UTC , finish = 2021-07-13 23:54:22.198532401 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 840} , self = 202 , parent = Just 74 , duration = 1.868374308000 , status = Success , start = 2021-07-13 23:54:12.162161729 UTC , finish = 2021-07-13 23:54:14.030536037 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 601 , parent = Just 563 , duration = 2.018059343000 , status = Success , start = 2021-07-13 23:55:00.444740047 UTC , finish = 2021-07-13 23:55:02.46279939 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 17 , total_length = 720} , self = 415 , parent = Just 246 , duration = 2.219465667000 , status = Success , start = 2021-07-13 23:54:23.415159904 UTC , finish = 2021-07-13 23:54:25.634625571 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 1280} , self = 562 , parent = Just 375 , duration = 2.223270416000 , status = Success , start = 2021-07-13 23:54:57.554644554 UTC , finish = 2021-07-13 23:54:59.77791497 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 300} , self = 864 , parent = Just 834 , duration = 2.373174592000 , status = Success , start = 2021-07-13 23:55:28.09288783 UTC , finish = 2021-07-13 23:55:30.466062422 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 504} , self = 271 , parent = Just 161 , duration = 3.413369547000 , status = Success , start = 2021-07-13 23:54:13.467681357 UTC , finish = 2021-07-13 23:54:16.881050904 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 504} , self = 336 , parent = Just 161 , duration = 4.175139720000 , status = Success , start = 2021-07-13 23:54:15.395132216 UTC , finish = 2021-07-13 23:54:19.570271936 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1020} , self = 928 , parent = Just 824 , duration = 5.036809936000 , status = Success , start = 2021-07-13 23:55:31.221721562 UTC , finish = 2021-07-13 23:55:36.258531498 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '1' , '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 = 45 , num_strict_rules = 45 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 26 , total_length = 1530} , self = 851 , parent = Just 267 , duration = 5.406581618000 , status = Success , start = 2021-07-13 23:55:23.290242049 UTC , finish = 2021-07-13 23:55:28.696823667 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '0' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 45 , num_strict_rules = 45 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 26 , total_length = 1530} , self = 675 , parent = Just 267 , duration = 5.652573319000 , status = Success , start = 2021-07-13 23:55:04.915212243 UTC , finish = 2021-07-13 23:55:10.567785562 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 35 , num_strict_rules = 35 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1190} , self = 729 , parent = Just 665 , duration = 7.300019444000 , status = Success , start = 2021-07-13 23:55:10.788934818 UTC , finish = 2021-07-13 23:55:18.088954262 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '6' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 840} , self = 544 , parent = Just 74 , duration = 8.456569463000 , status = Success , start = 2021-07-13 23:54:48.958137325 UTC , finish = 2021-07-13 23:54:57.414706788 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 512} , self = 1013 , parent = Just 975 , duration = 8.749320348000 , status = Success , start = 2021-07-13 23:55:53.907878396 UTC , finish = 2021-07-13 23:56:02.657198744 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '6' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 479 , parent = Just 445 , duration = 11.496876611000 , status = Success , start = 2021-07-13 23:54:34.350730996 UTC , finish = 2021-07-13 23:54:45.847607607 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 32 , num_strict_rules = 32 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 1024} , self = 974 , parent = Just 865 , duration = 13.064277856000 , status = Success , start = 2021-07-13 23:55:40.330947624 UTC , finish = 2021-07-13 23:55:53.39522548 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '1' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 840} , self = 476 , parent = Just 74 , duration = 19.698044526000 , status = Success , start = 2021-07-13 23:54:25.780104528 UTC , finish = 2021-07-13 23:54:45.478149054 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '5' ] , 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 15 max duration 37.248790208000 min duration 0.223795074000 total durat. 95.789742464000 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 = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 48} , self = 127 , parent = Just 42 , duration = 1.309896917000 , status = Success , start = 2021-07-13 23:54:10.265649083 UTC , finish = 2021-07-13 23:54:11.575546 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '5' ] , 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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 168} , self = 265 , parent = Just 212 , duration = 1.312933118000 , status = Success , start = 2021-07-13 23:54:14.766923126 UTC , finish = 2021-07-13 23:54:16.079856244 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 504} , self = 241 , parent = Just 161 , duration = 1.591920045000 , status = Success , start = 2021-07-13 23:54:13.566812806 UTC , finish = 2021-07-13 23:54:15.158732851 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '2' ] , 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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 720} , self = 371 , parent = Just 246 , duration = 2.094524810000 , status = Success , start = 2021-07-13 23:54:19.482928918 UTC , finish = 2021-07-13 23:54:21.577453728 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '0' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 504} , self = 328 , parent = Just 161 , duration = 2.279578188000 , status = Success , start = 2021-07-13 23:54:17.175846542 UTC , finish = 2021-07-13 23:54:19.45542473 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '7' ] , 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 = 14 , total_length = 300} , self = 889 , parent = Just 834 , duration = 3.466984073000 , status = Success , start = 2021-07-13 23:55:28.725668276 UTC , finish = 2021-07-13 23:55:32.192652349 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '9' , '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 = 35 , num_strict_rules = 35 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1190} , self = 823 , parent = Just 665 , duration = 5.544892648000 , status = Success , start = 2021-07-13 23:55:21.201309852 UTC , finish = 2021-07-13 23:55:26.7462025 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '2' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 360} , self = 423 , parent = Just 359 , duration = 5.640595931000 , status = Success , start = 2021-07-13 23:54:20.916530635 UTC , finish = 2021-07-13 23:54:26.557126566 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 697 , parent = Just 563 , duration = 7.762681041000 , status = Success , start = 2021-07-13 23:55:06.100204678 UTC , finish = 2021-07-13 23:55:13.862885719 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '5' ] , 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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1020} , self = 933 , parent = Just 824 , duration = 10.024519748000 , status = Success , start = 2021-07-13 23:55:27.222906946 UTC , finish = 2021-07-13 23:55:37.247426694 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 640} , self = 552 , parent = Just 445 , duration = 16.324265251000 , status = Success , start = 2021-07-13 23:54:42.183003662 UTC , finish = 2021-07-13 23:54:58.507268913 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '5' ] , 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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 1020} , self = 1046 , parent = Just 824 , duration = 37.248790208000 , status = Success , start = 2021-07-13 23:55:34.924750452 UTC , finish = 2021-07-13 23:56:12.17354066 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '7' , '1' ] , 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 6 max duration 29.808572752000 min duration 0.993376872000 total durat. 53.856611346000 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 = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 48} , self = 205 , parent = Just 42 , duration = 1.899104806000 , status = Success , start = 2021-07-13 23:54:12.159842183 UTC , finish = 2021-07-13 23:54:14.058946989 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '6' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 360} , self = 833 , parent = Just 359 , duration = 4.294518203000 , status = Success , start = 2021-07-13 23:55:23.291352322 UTC , finish = 2021-07-13 23:55:27.585870525 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '2' ] , 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 = 6 , total_length = 104} , self = 401 , parent = Just 165 , duration = 6.187479591000 , status = Success , start = 2021-07-13 23:54:18.117219495 UTC , finish = 2021-07-13 23:54:24.304699086 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '6' ] , 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 = 10 , total_length = 168} , self = 622 , parent = Just 212 , duration = 10.673559122000 , status = Success , start = 2021-07-13 23:54:52.638779436 UTC , finish = 2021-07-13 23:55:03.312338558 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '6' ] , 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 = 10 , num_strict_rules = 10 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 300} , self = 995 , parent = Just 834 , duration = 29.808572752000 , status = Success , start = 2021-07-13 23:55:27.747842141 UTC , finish = 2021-07-13 23:55:57.556414893 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '6' , '1' ] , 3 , True )} Success : Tiling { method = Overlap , 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 4 max duration 71.325687837000 min duration 49.207982901000 total durat. 246.257175266000 Info { what = Tiling { method = Overlap , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 50} , self = 554 , parent = Just 13 , duration = 49.207982901000 , status = Success , start = 2021-07-13 23:54:09.586583681 UTC , finish = 2021-07-13 23:54:58.794566582 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 776 , parent = Just 347 , duration = 62.398893581000 , status = Success , start = 2021-07-13 23:54:20.301561028 UTC , finish = 2021-07-13 23:55:22.700454609 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 727 , parent = Just 217 , duration = 63.324610947000 , status = Success , start = 2021-07-13 23:54:14.667997841 UTC , finish = 2021-07-13 23:55:17.992608788 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 81} , self = 760 , parent = Just 14 , duration = 71.325687837000 , status = Success , start = 2021-07-13 23:54:09.596043358 UTC , finish = 2021-07-13 23:55:20.921731195 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '1' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 55 max duration 28.838774255000 min duration 0.210486000000 total durat. 371.703415014000 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 = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 98} , self = 317 , parent = Just 290 , duration = 1.057220441000 , status = Success , start = 2021-07-13 23:54:17.668684165 UTC , finish = 2021-07-13 23:54:18.725904606 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 256} , self = 102 , parent = Just 38 , duration = 1.088508950000 , status = Success , start = 2021-07-13 23:54:09.860027552 UTC , finish = 2021-07-13 23:54:10.948536502 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 140} , self = 778 , parent = Just 764 , duration = 1.495162516000 , status = Success , start = 2021-07-13 23:55:21.223848214 UTC , finish = 2021-07-13 23:55:22.71901073 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 417} , self = 120 , parent = Just 54 , duration = 1.635064206000 , status = Success , start = 2021-07-13 23:54:09.913439279 UTC , finish = 2021-07-13 23:54:11.548503485 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '0' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 212} , self = 559 , parent = Just 529 , duration = 1.951742532000 , status = Success , start = 2021-07-13 23:54:57.684051839 UTC , finish = 2021-07-13 23:54:59.635794371 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '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 = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 288} , self = 279 , parent = Just 228 , duration = 2.144205908000 , status = Success , start = 2021-07-13 23:54:15.031782976 UTC , finish = 2021-07-13 23:54:17.175988884 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 96} , self = 421 , parent = Just 388 , duration = 2.354399863000 , status = Success , start = 2021-07-13 23:54:24.186737626 UTC , finish = 2021-07-13 23:54:26.541137489 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '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 = 4 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 80} , self = 629 , parent = Just 616 , duration = 2.494130887000 , status = Success , start = 2021-07-13 23:55:03.15491779 UTC , finish = 2021-07-13 23:55:05.649048677 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 14 , total_length = 270} , self = 806 , parent = Just 770 , duration = 2.561269464000 , status = Success , start = 2021-07-13 23:55:21.965832434 UTC , finish = 2021-07-13 23:55:24.527101898 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '5' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 176} , self = 655 , parent = Just 569 , duration = 2.894005836000 , status = Success , start = 2021-07-13 23:55:05.795615748 UTC , finish = 2021-07-13 23:55:08.689621584 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 342} , self = 229 , parent = Just 134 , duration = 3.153188809000 , status = Success , start = 2021-07-13 23:54:11.834621863 UTC , finish = 2021-07-13 23:54:14.987810672 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 196} , self = 627 , parent = Just 592 , duration = 3.252649224000 , status = Success , start = 2021-07-13 23:55:02.36028854 UTC , finish = 2021-07-13 23:55:05.612937764 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '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 = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 288} , self = 387 , parent = Just 357 , duration = 3.346524011000 , status = Success , start = 2021-07-13 23:54:20.739861851 UTC , finish = 2021-07-13 23:54:24.086385862 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 212} , self = 874 , parent = Just 842 , duration = 3.597385398000 , status = Success , start = 2021-07-13 23:55:27.908112262 UTC , finish = 2021-07-13 23:55:31.50549766 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 196} , self = 936 , parent = Just 912 , duration = 3.710214803000 , status = Success , start = 2021-07-13 23:55:34.496434192 UTC , finish = 2021-07-13 23:55:38.206648995 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '5' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 176} , self = 641 , parent = Just 569 , duration = 3.777763933000 , status = Success , start = 2021-07-13 23:55:02.693115713 UTC , finish = 2021-07-13 23:55:06.470879646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 572 , parent = Just 433 , duration = 3.861925382000 , status = Success , start = 2021-07-13 23:54:56.075602928 UTC , finish = 2021-07-13 23:54:59.93752831 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 396} , self = 800 , parent = Just 425 , duration = 4.104144976000 , status = Success , start = 2021-07-13 23:55:20.029008328 UTC , finish = 2021-07-13 23:55:24.133153304 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 813 , parent = Just 433 , duration = 4.180417947000 , status = Success , start = 2021-07-13 23:55:20.663967406 UTC , finish = 2021-07-13 23:55:24.844385353 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 930 , parent = Just 801 , duration = 4.279972760000 , status = Success , start = 2021-07-13 23:55:32.077959393 UTC , finish = 2021-07-13 23:55:36.357932153 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '2' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 853 , parent = Just 801 , duration = 4.486753627000 , status = Success , start = 2021-07-13 23:55:24.232372714 UTC , finish = 2021-07-13 23:55:28.719126341 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '2' , '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 = 13 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 8 , alphabet_size = 14 , total_length = 326} , self = 739 , parent = Just 703 , duration = 4.841197826000 , status = Success , start = 2021-07-13 23:55:14.22168966 UTC , finish = 2021-07-13 23:55:19.062887486 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '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 = 12 , total_length = 358} , self = 598 , parent = Just 312 , duration = 4.917845058000 , status = Success , start = 2021-07-13 23:54:57.122197278 UTC , finish = 2021-07-13 23:55:02.040042336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 344 , parent = Just 230 , duration = 4.917958212000 , status = Success , start = 2021-07-13 23:54:15.046036391 UTC , finish = 2021-07-13 23:54:19.963994603 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 847 , parent = Just 433 , duration = 4.935030003000 , status = Success , start = 2021-07-13 23:55:23.043933061 UTC , finish = 2021-07-13 23:55:27.978963064 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '7' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 710 , parent = Just 433 , duration = 5.350922123000 , status = Success , start = 2021-07-13 23:55:09.145026611 UTC , finish = 2021-07-13 23:55:14.495948734 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 24 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 12 , alphabet_size = 13 , total_length = 537} , self = 311 , parent = Just 156 , duration = 5.405026649000 , status = Success , start = 2021-07-13 23:54:13.143645103 UTC , finish = 2021-07-13 23:54:18.548671752 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 755 , parent = Just 433 , duration = 5.489188421000 , status = Success , start = 2021-07-13 23:55:14.825143312 UTC , finish = 2021-07-13 23:55:20.314331733 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 913 , parent = Just 433 , duration = 5.714821160000 , status = Success , start = 2021-07-13 23:55:28.428798862 UTC , finish = 2021-07-13 23:55:34.143620022 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 11 , total_length = 396} , self = 390 , parent = Just 302 , duration = 5.932779238000 , status = Success , start = 2021-07-13 23:54:18.161949263 UTC , finish = 2021-07-13 23:54:24.094728501 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 35 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 860} , self = 820 , parent = Just 560 , duration = 6.382673136000 , status = Success , start = 2021-07-13 23:55:19.829032021 UTC , finish = 2021-07-13 23:55:26.211705157 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '2' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 12 , total_length = 358} , self = 743 , parent = Just 312 , duration = 7.171829011000 , status = Success , start = 2021-07-13 23:55:12.082308027 UTC , finish = 2021-07-13 23:55:19.254137038 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 427 , parent = Just 230 , duration = 7.330061405000 , status = Success , start = 2021-07-13 23:54:19.483317431 UTC , finish = 2021-07-13 23:54:26.813378836 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 = 33 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 824} , self = 702 , parent = Just 628 , duration = 7.969507171000 , status = Success , start = 2021-07-13 23:55:06.071887923 UTC , finish = 2021-07-13 23:55:14.041395094 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 12 , total_length = 358} , self = 681 , parent = Just 312 , duration = 8.122389707000 , status = Success , start = 2021-07-13 23:55:03.061754451 UTC , finish = 2021-07-13 23:55:11.184144158 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 35 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 860} , self = 657 , parent = Just 560 , duration = 8.287573272000 , status = Success , start = 2021-07-13 23:55:00.532691235 UTC , finish = 2021-07-13 23:55:08.820264507 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 176} , self = 1007 , parent = Just 980 , duration = 8.388694331000 , status = Success , start = 2021-07-13 23:55:54.08285801 UTC , finish = 2021-07-13 23:56:02.471552341 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 35 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 860} , self = 904 , parent = Just 560 , duration = 8.491921472000 , status = Success , start = 2021-07-13 23:55:25.157444811 UTC , finish = 2021-07-13 23:55:33.649366283 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '3' , '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 = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 160} , self = 512 , parent = Just 482 , duration = 9.461570462000 , status = Success , start = 2021-07-13 23:54:46.27359485 UTC , finish = 2021-07-13 23:54:55.735165312 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 12 , total_length = 358} , self = 437 , parent = Just 312 , duration = 10.794725576000 , status = Success , start = 2021-07-13 23:54:18.810868232 UTC , finish = 2021-07-13 23:54:29.605593808 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '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 = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 14 , total_length = 344} , self = 953 , parent = Just 905 , duration = 10.898242473000 , status = Success , start = 2021-07-13 23:55:34.071667762 UTC , finish = 2021-07-13 23:55:44.969910235 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '4' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 466 , parent = Just 391 , duration = 18.669076420000 , status = Success , start = 2021-07-13 23:54:24.241961202 UTC , finish = 2021-07-13 23:54:42.911037622 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 1001 , parent = Just 801 , duration = 21.064655890000 , status = Success , start = 2021-07-13 23:55:39.377987903 UTC , finish = 2021-07-13 23:56:00.442643793 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 503 , parent = Just 433 , duration = 23.321174416000 , status = Success , start = 2021-07-13 23:54:29.159902912 UTC , finish = 2021-07-13 23:54:52.481077328 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '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 = 14 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 326} , self = 507 , parent = Just 318 , duration = 24.068977473000 , status = Success , start = 2021-07-13 23:54:29.019879811 UTC , finish = 2021-07-13 23:54:53.088857284 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 1026 , parent = Just 433 , duration = 24.738765244000 , status = Success , start = 2021-07-13 23:55:38.941065159 UTC , finish = 2021-07-13 23:56:03.679830403 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '9' , '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 = 45 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 30 , alphabet_size = 18 , total_length = 1140} , self = 666 , parent = Just 294 , duration = 25.354656040000 , status = Success , start = 2021-07-13 23:54:44.504849026 UTC , finish = 2021-07-13 23:55:09.859505066 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 12 , total_length = 358} , self = 515 , parent = Just 312 , duration = 28.838774255000 , status = Success , start = 2021-07-13 23:54:26.958819551 UTC , finish = 2021-07-13 23:54:55.797593806 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '0' ] , 3 , True )} Success : Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 35 max duration 36.794509277000 min duration 1.324053700000 total durat. 340.439293773000 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 = 50} , self = 98 , parent = Just 13 , duration = 1.324053700000 , status = Success , start = 2021-07-13 23:54:09.586526802 UTC , finish = 2021-07-13 23:54:10.910580502 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '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 = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 140} , self = 782 , parent = Just 764 , duration = 1.850661013000 , status = Success , start = 2021-07-13 23:55:21.158288539 UTC , finish = 2021-07-13 23:55:23.008949552 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '8' ] , 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 = 81} , self = 129 , parent = Just 14 , duration = 1.986909677000 , status = Success , start = 2021-07-13 23:54:09.596111707 UTC , finish = 2021-07-13 23:54:11.583021384 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '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 = 13 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 306} , self = 763 , parent = Just 630 , duration = 2.362969859000 , status = Success , start = 2021-07-13 23:55:18.736161775 UTC , finish = 2021-07-13 23:55:21.099131634 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 568 , parent = Just 230 , duration = 2.599636213000 , status = Success , start = 2021-07-13 23:54:57.287250409 UTC , finish = 2021-07-13 23:54:59.886886622 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 287 , parent = Just 217 , duration = 2.636463593000 , status = Success , start = 2021-07-13 23:54:14.667975805 UTC , finish = 2021-07-13 23:54:17.304439398 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 351 , parent = Just 230 , duration = 2.770118254000 , status = Success , start = 2021-07-13 23:54:17.596004075 UTC , finish = 2021-07-13 23:54:20.366122329 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 212} , self = 574 , parent = Just 529 , duration = 2.844204567000 , status = Success , start = 2021-07-13 23:54:57.106801816 UTC , finish = 2021-07-13 23:54:59.951006383 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 841 , parent = Just 801 , duration = 3.412670717000 , status = Success , start = 2021-07-13 23:55:24.320596034 UTC , finish = 2021-07-13 23:55:27.733266751 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '2' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 326} , self = 829 , parent = Just 318 , duration = 3.441209725000 , status = Success , start = 2021-07-13 23:55:23.82882495 UTC , finish = 2021-07-13 23:55:27.270034675 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '1' , '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 = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 112} , self = 249 , parent = Just 103 , duration = 3.802979264000 , status = Success , start = 2021-07-13 23:54:11.4579695 UTC , finish = 2021-07-13 23:54:15.260948764 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 395 , parent = Just 347 , duration = 3.817066405000 , status = Success , start = 2021-07-13 23:54:20.301652095 UTC , finish = 2021-07-13 23:54:24.1187185 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 176} , self = 644 , parent = Just 569 , duration = 4.128453317000 , status = Success , start = 2021-07-13 23:55:02.671044822 UTC , finish = 2021-07-13 23:55:06.799498139 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 176} , self = 723 , parent = Just 569 , duration = 4.184137482000 , status = Success , start = 2021-07-13 23:55:13.694296352 UTC , finish = 2021-07-13 23:55:17.878433834 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '8' ] , 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 = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 196} , self = 646 , parent = Just 592 , duration = 4.486848328000 , status = Success , start = 2021-07-13 23:55:02.575171542 UTC , finish = 2021-07-13 23:55:07.06201987 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '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 = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 212} , self = 896 , parent = Just 842 , duration = 4.614997072000 , status = Success , start = 2021-07-13 23:55:27.849311706 UTC , finish = 2021-07-13 23:55:32.464308778 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '6' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 14 , total_length = 270} , self = 835 , parent = Just 770 , duration = 6.221774291000 , status = Success , start = 2021-07-13 23:55:21.376969513 UTC , finish = 2021-07-13 23:55:27.598743804 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 13 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 8 , alphabet_size = 14 , total_length = 326} , self = 769 , parent = Just 703 , duration = 6.870064342000 , status = Success , start = 2021-07-13 23:55:14.385300234 UTC , finish = 2021-07-13 23:55:21.255364576 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 264} , self = 528 , parent = Just 391 , duration = 6.917285452000 , status = Success , start = 2021-07-13 23:54:49.972702381 UTC , finish = 2021-07-13 23:54:56.889987833 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '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 = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 98} , self = 403 , parent = Just 290 , duration = 7.156276658000 , status = Success , start = 2021-07-13 23:54:17.673203482 UTC , finish = 2021-07-13 23:54:24.82948014 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 4 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 80} , self = 679 , parent = Just 616 , duration = 7.941421521000 , status = Success , start = 2021-07-13 23:55:03.136813751 UTC , finish = 2021-07-13 23:55:11.078235272 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 12 , total_length = 358} , self = 893 , parent = Just 312 , duration = 8.834938739000 , status = Success , start = 2021-07-13 23:55:23.482354367 UTC , finish = 2021-07-13 23:55:32.317293106 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 196} , self = 951 , parent = Just 912 , duration = 8.866431371000 , status = Success , start = 2021-07-13 23:55:34.583576406 UTC , finish = 2021-07-13 23:55:43.450007777 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '6' , '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 = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 160} , self = 519 , parent = Just 482 , duration = 9.879798207000 , status = Success , start = 2021-07-13 23:54:46.144565871 UTC , finish = 2021-07-13 23:54:56.024364078 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '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 = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 7 , total_length = 139} , self = 405 , parent = Just 121 , duration = 11.920630807000 , status = Success , start = 2021-07-13 23:54:13.143728092 UTC , finish = 2021-07-13 23:54:25.064358899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 248} , self = 481 , parent = Just 433 , duration = 12.470049370000 , status = Success , start = 2021-07-13 23:54:33.481042952 UTC , finish = 2021-07-13 23:54:45.951092322 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 176} , self = 1036 , parent = Just 980 , duration = 14.533574146000 , status = Success , start = 2021-07-13 23:55:54.020640565 UTC , finish = 2021-07-13 23:56:08.554214711 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 33 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 824} , self = 793 , parent = Just 628 , duration = 15.766886777000 , status = Success , start = 2021-07-13 23:55:07.926959143 UTC , finish = 2021-07-13 23:55:23.69384592 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '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 = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 7 , total_length = 139} , self = 721 , parent = Just 121 , duration = 15.947001398000 , status = Success , start = 2021-07-13 23:55:01.833807383 UTC , finish = 2021-07-13 23:55:17.780808781 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 14 , total_length = 344} , self = 970 , parent = Just 905 , duration = 18.422454411000 , status = Success , start = 2021-07-13 23:55:34.749530438 UTC , finish = 2021-07-13 23:55:53.171984849 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '6' , '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 = 35 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 860} , self = 752 , parent = Just 560 , duration = 18.519742571000 , status = Success , start = 2021-07-13 23:55:01.622044197 UTC , finish = 2021-07-13 23:55:20.141786768 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 96} , self = 458 , parent = Just 280 , duration = 22.832270103000 , status = Success , start = 2021-07-13 23:54:18.036809149 UTC , finish = 2021-07-13 23:54:40.869079252 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 12 , total_length = 358} , self = 1005 , parent = Just 312 , duration = 28.320384988000 , status = Success , start = 2021-07-13 23:55:34.137669218 UTC , finish = 2021-07-13 23:56:02.458054206 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '5' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 96} , self = 542 , parent = Just 388 , duration = 31.960420158000 , status = Success , start = 2021-07-13 23:54:25.438786979 UTC , finish = 2021-07-13 23:54:57.399207137 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 24 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 640} , self = 1030 , parent = Just 779 , duration = 36.794509277000 , status = Success , start = 2021-07-13 23:55:27.32682618 UTC , finish = 2021-07-13 23:56:04.121335457 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '5' , '0' ] , 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 14 max duration 40.894039698000 min duration 2.795700493000 total durat. 232.751258984000 Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 50} , self = 153 , parent = Just 13 , duration = 2.795700493000 , status = Success , start = 2021-07-13 23:54:09.586550917 UTC , finish = 2021-07-13 23:54:12.38225141 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 81} , self = 207 , parent = Just 14 , duration = 4.549832093000 , status = Success , start = 2021-07-13 23:54:09.595974288 UTC , finish = 2021-07-13 23:54:14.145806381 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 354 , parent = Just 217 , duration = 5.841523805000 , status = Success , start = 2021-07-13 23:54:14.668101107 UTC , finish = 2021-07-13 23:54:20.509624912 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 96} , self = 652 , parent = Just 388 , duration = 10.623028883000 , status = Success , start = 2021-07-13 23:54:57.325934592 UTC , finish = 2021-07-13 23:55:07.948963475 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 80} , self = 699 , parent = Just 616 , duration = 10.764364897000 , status = Success , start = 2021-07-13 23:55:03.14083216 UTC , finish = 2021-07-13 23:55:13.905197057 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 112} , self = 717 , parent = Just 103 , duration = 12.561011030000 , status = Success , start = 2021-07-13 23:55:02.697492075 UTC , finish = 2021-07-13 23:55:15.258503105 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 140} , self = 924 , parent = Just 764 , duration = 13.059890137000 , status = Success , start = 2021-07-13 23:55:22.252235998 UTC , finish = 2021-07-13 23:55:35.312126135 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 9 , total_length = 196} , self = 818 , parent = Just 592 , duration = 15.481164205000 , status = Success , start = 2021-07-13 23:55:10.175993183 UTC , finish = 2021-07-13 23:55:25.657157388 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 7 , total_length = 139} , self = 920 , parent = Just 121 , duration = 16.970622644000 , status = Success , start = 2021-07-13 23:55:18.09379215 UTC , finish = 2021-07-13 23:55:35.064414794 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 64} , self = 460 , parent = Just 347 , duration = 20.996655228000 , status = Success , start = 2021-07-13 23:54:20.301664115 UTC , finish = 2021-07-13 23:54:41.298319343 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 98} , self = 453 , parent = Just 290 , duration = 22.310654468000 , status = Success , start = 2021-07-13 23:54:17.654667057 UTC , finish = 2021-07-13 23:54:39.965321525 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 112} , self = 450 , parent = Just 103 , duration = 22.956822537000 , status = Success , start = 2021-07-13 23:54:16.020983548 UTC , finish = 2021-07-13 23:54:38.977806085 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 96} , self = 556 , parent = Just 280 , duration = 32.945948866000 , status = Success , start = 2021-07-13 23:54:26.027891571 UTC , finish = 2021-07-13 23:54:58.973840437 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 7 , total_length = 139} , self = 588 , parent = Just 121 , duration = 40.894039698000 , status = Success , start = 2021-07-13 23:54:20.266181129 UTC , finish = 2021-07-13 23:55:01.160220827 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '2' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 84 max duration 54.588138827000 min duration 0.035514007000 total durat. 566.629990746000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 73 , num_strict_rules = 73 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 41 , total_length = 2628} , self = 902 , parent = Just 890 , duration = 1.153663451000 , status = Success , start = 2021-07-13 23:55:32.192919438 UTC , finish = 2021-07-13 23:55:33.346582889 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '2' , '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 = 73 , num_strict_rules = 73 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 41 , total_length = 2628} , self = 901 , parent = Just 885 , duration = 1.168424843000 , status = Success , start = 2021-07-13 23:55:32.055021354 UTC , finish = 2021-07-13 23:55:33.223446197 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '2' , '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 = 168 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 147 , alphabet_size = 49 , total_length = 4872} , self = 558 , parent = Just 543 , duration = 1.659767795000 , status = Success , start = 2021-07-13 23:54:57.402280905 UTC , finish = 2021-07-13 23:54:59.0620487 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '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 = 150 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 128 , alphabet_size = 42 , total_length = 4324} , self = 686 , parent = Just 680 , duration = 1.701569753000 , status = Success , start = 2021-07-13 23:55:11.081475779 UTC , finish = 2021-07-13 23:55:12.783045532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '6' , '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 = 160 , num_strict_rules = 32 , num_top_rules = 32 , num_weak_rules = 128 , alphabet_size = 44 , total_length = 4544} , self = 274 , parent = Just 250 , duration = 1.741882258000 , status = Success , start = 2021-07-13 23:54:15.261194175 UTC , finish = 2021-07-13 23:54:17.003076433 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 = 54 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 42 , alphabet_size = 20 , total_length = 1416} , self = 431 , parent = Just 428 , duration = 1.779862985000 , status = Success , start = 2021-07-13 23:54:26.833197508 UTC , finish = 2021-07-13 23:54:28.613060493 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 316 , num_strict_rules = 316 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 94 , total_length = 13904} , self = 1044 , parent = Just 1043 , duration = 1.792140493000 , status = Success , start = 2021-07-13 23:56:09.129428359 UTC , finish = 2021-07-13 23:56:10.921568852 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '5' , '7' ] , 2 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 316 , num_strict_rules = 316 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 94 , total_length = 13904} , self = 997 , parent = Just 996 , duration = 1.995702321000 , status = Success , start = 2021-07-13 23:55:57.570439967 UTC , finish = 2021-07-13 23:55:59.566142288 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '0' , '0' ] , 2 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 114 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 90 , alphabet_size = 42 , total_length = 3690} , self = 863 , parent = Just 836 , duration = 2.770662743000 , status = Success , start = 2021-07-13 23:55:27.598906094 UTC , finish = 2021-07-13 23:55:30.369568837 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '5' , '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 = 54 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 36 , alphabet_size = 23 , total_length = 1476} , self = 963 , parent = Just 954 , duration = 2.807925602000 , status = Success , start = 2021-07-13 23:55:44.97017354 UTC , finish = 2021-07-13 23:55:47.778099142 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '1' , '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 = 143 , num_strict_rules = 143 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 5434} , self = 275 , parent = Just 206 , duration = 2.978300015000 , status = Success , start = 2021-07-13 23:54:14.059111163 UTC , finish = 2021-07-13 23:54:17.037411178 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 143 , num_strict_rules = 143 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 5434} , self = 286 , parent = Just 210 , duration = 3.058986656000 , status = Success , start = 2021-07-13 23:54:14.22104159 UTC , finish = 2021-07-13 23:54:17.280028246 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 130 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 110 , alphabet_size = 55 , total_length = 4520} , self = 258 , parent = Just 154 , duration = 3.069869162000 , status = Success , start = 2021-07-13 23:54:12.382409169 UTC , finish = 2021-07-13 23:54:15.452278331 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '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 = 192 , num_strict_rules = 192 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 7296} , self = 591 , parent = Just 553 , duration = 3.103469320000 , status = Success , start = 2021-07-13 23:54:58.510220142 UTC , finish = 2021-07-13 23:55:01.613689462 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 192 , num_strict_rules = 192 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 7296} , self = 590 , parent = Just 551 , duration = 3.112590844000 , status = Success , start = 2021-07-13 23:54:58.474471846 UTC , finish = 2021-07-13 23:55:01.58706269 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '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 = 224 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 196 , alphabet_size = 64 , total_length = 6517} , self = 762 , parent = Just 722 , duration = 3.266311810000 , status = Success , start = 2021-07-13 23:55:17.781032249 UTC , finish = 2021-07-13 23:55:21.047344059 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 = 78 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 54 , alphabet_size = 24 , total_length = 2010} , self = 443 , parent = Just 438 , duration = 3.713090892000 , status = Success , start = 2021-07-13 23:54:29.60613985 UTC , finish = 2021-07-13 23:54:33.319230742 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '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 = 210 , num_strict_rules = 210 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 61 , total_length = 8400} , self = 1048 , parent = Just 1047 , duration = 3.744161866000 , status = Success , start = 2021-07-13 23:56:12.173706318 UTC , finish = 2021-07-13 23:56:15.917868184 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '6' , '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 = 58 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 42 , alphabet_size = 31 , total_length = 1732} , self = 961 , parent = Just 952 , duration = 4.177884545000 , status = Success , start = 2021-07-13 23:55:43.450305131 UTC , finish = 2021-07-13 23:55:47.628189676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '1' , '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 = 192 , num_strict_rules = 32 , num_top_rules = 32 , num_weak_rules = 160 , alphabet_size = 81 , total_length = 6680} , self = 310 , parent = Just 208 , duration = 4.375176006000 , status = Success , start = 2021-07-13 23:54:14.145975443 UTC , finish = 2021-07-13 23:54:18.521151449 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '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 = 192 , num_strict_rules = 192 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 7296} , self = 734 , parent = Just 698 , duration = 4.504621208000 , status = Success , start = 2021-07-13 23:55:13.866142888 UTC , finish = 2021-07-13 23:55:18.370764096 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 = 192 , num_strict_rules = 192 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 7296} , self = 733 , parent = Just 692 , duration = 4.530637423000 , status = Success , start = 2021-07-13 23:55:13.680141759 UTC , finish = 2021-07-13 23:55:18.210779182 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '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 = 136 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 112 , alphabet_size = 58 , total_length = 4704} , self = 408 , parent = Just 355 , duration = 4.652495010000 , status = Success , start = 2021-07-13 23:54:20.509836504 UTC , finish = 2021-07-13 23:54:25.162331514 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 286 , num_strict_rules = 39 , num_top_rules = 39 , num_weak_rules = 247 , alphabet_size = 78 , total_length = 10556} , self = 696 , parent = Just 653 , duration = 5.805530118000 , status = Success , start = 2021-07-13 23:55:07.952303552 UTC , finish = 2021-07-13 23:55:13.75783367 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '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 = 197 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 187 , alphabet_size = 62 , total_length = 7406} , self = 751 , parent = Just 700 , duration = 6.061810928000 , status = Success , start = 2021-07-13 23:55:13.905302974 UTC , finish = 2021-07-13 23:55:19.967113902 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 168 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 147 , alphabet_size = 49 , total_length = 4872} , self = 489 , parent = Just 459 , duration = 6.869984356000 , status = Success , start = 2021-07-13 23:54:40.86932875 UTC , finish = 2021-07-13 23:54:47.739313106 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 = 155 , num_strict_rules = 27 , num_top_rules = 27 , num_weak_rules = 128 , alphabet_size = 42 , total_length = 4444} , self = 441 , parent = Just 404 , duration = 7.672539456000 , status = Success , start = 2021-07-13 23:54:24.829835763 UTC , finish = 2021-07-13 23:54:32.502375219 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 231 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 209 , alphabet_size = 72 , total_length = 8602} , self = 786 , parent = Just 718 , duration = 7.785940302000 , status = Success , start = 2021-07-13 23:55:15.258621968 UTC , finish = 2021-07-13 23:55:23.04456227 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 = 286 , num_strict_rules = 39 , num_top_rules = 39 , num_weak_rules = 247 , alphabet_size = 78 , total_length = 10556} , self = 650 , parent = Just 557 , duration = 8.782748533000 , status = Success , start = 2021-07-13 23:54:58.977138151 UTC , finish = 2021-07-13 23:55:07.759886684 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 121 , num_strict_rules = 121 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 41 , total_length = 4356} , self = 457 , parent = Just 440 , duration = 10.077078421000 , status = Success , start = 2021-07-13 23:54:30.647318179 UTC , finish = 2021-07-13 23:54:40.7243966 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 690 , parent = Just 623 , duration = 10.341136964000 , status = Success , start = 2021-07-13 23:55:03.312585307 UTC , finish = 2021-07-13 23:55:13.653722271 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 689 , parent = Just 621 , duration = 10.365328513000 , status = Success , start = 2021-07-13 23:55:03.277176519 UTC , finish = 2021-07-13 23:55:13.642505032 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '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 = 390 , num_strict_rules = 52 , num_top_rules = 52 , num_weak_rules = 338 , alphabet_size = 110 , total_length = 14443} , self = 693 , parent = Just 589 , duration = 12.524803734000 , status = Success , start = 2021-07-13 23:55:01.160337523 UTC , finish = 2021-07-13 23:55:13.685141257 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '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 = 121 , num_strict_rules = 121 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 41 , total_length = 4356} , self = 452 , parent = Just 424 , duration = 12.849472790000 , status = Success , start = 2021-07-13 23:54:26.557317857 UTC , finish = 2021-07-13 23:54:39.406790647 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 231 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 209 , alphabet_size = 72 , total_length = 8602} , self = 502 , parent = Just 451 , duration = 13.099661276000 , status = Success , start = 2021-07-13 23:54:38.978131214 UTC , finish = 2021-07-13 23:54:52.07779249 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 136 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 112 , alphabet_size = 58 , total_length = 4704} , self = 514 , parent = Just 461 , duration = 14.464412968000 , status = Success , start = 2021-07-13 23:54:41.298563073 UTC , finish = 2021-07-13 23:54:55.762976041 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 = 603 , num_strict_rules = 54 , num_top_rules = 54 , num_weak_rules = 549 , alphabet_size = 182 , total_length = 26100} , self = 898 , parent = Just 728 , duration = 14.871277947000 , status = Success , start = 2021-07-13 23:55:17.992794809 UTC , finish = 2021-07-13 23:55:32.864072756 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 210 , num_strict_rules = 210 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 61 , total_length = 8400} , self = 969 , parent = Just 934 , duration = 15.462943548000 , status = Success , start = 2021-07-13 23:55:37.247677797 UTC , finish = 2021-07-13 23:55:52.710621345 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '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 = 203 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 187 , alphabet_size = 64 , total_length = 7598} , self = 548 , parent = Just 454 , duration = 17.702706941000 , status = Success , start = 2021-07-13 23:54:39.965532797 UTC , finish = 2021-07-13 23:54:57.668239738 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 224 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 196 , alphabet_size = 64 , total_length = 6517} , self = 465 , parent = Just 406 , duration = 17.839752187000 , status = Success , start = 2021-07-13 23:54:25.066320633 UTC , finish = 2021-07-13 23:54:42.90607282 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 390 , num_strict_rules = 52 , num_top_rules = 52 , num_weak_rules = 338 , alphabet_size = 110 , total_length = 14443} , self = 986 , parent = Just 921 , duration = 19.286060494000 , status = Success , start = 2021-07-13 23:55:35.064593031 UTC , finish = 2021-07-13 23:55:54.350653525 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '7' , '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 = 256 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 240 , alphabet_size = 79 , total_length = 10112} , self = 987 , parent = Just 925 , duration = 19.580330664000 , status = Success , start = 2021-07-13 23:55:35.317158572 UTC , finish = 2021-07-13 23:55:54.897489236 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '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 = 819 , num_strict_rules = 72 , num_top_rules = 72 , num_weak_rules = 747 , alphabet_size = 243 , total_length = 35514} , self = 950 , parent = Just 761 , duration = 20.889481369000 , status = Success , start = 2021-07-13 23:55:20.921876444 UTC , finish = 2021-07-13 23:55:41.811357813 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '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 = 603 , num_strict_rules = 54 , num_top_rules = 54 , num_weak_rules = 549 , alphabet_size = 182 , total_length = 26100} , self = 956 , parent = Just 777 , duration = 22.558640383000 , status = Success , start = 2021-07-13 23:55:22.700565018 UTC , finish = 2021-07-13 23:55:45.259205401 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '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 = 259 , num_strict_rules = 31 , num_top_rules = 31 , num_weak_rules = 228 , alphabet_size = 83 , total_length = 10122} , self = 967 , parent = Just 819 , duration = 24.272214882000 , status = Success , start = 2021-07-13 23:55:25.657362004 UTC , finish = 2021-07-13 23:55:49.929576886 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '3' , '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 = 180 , num_strict_rules = 180 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 59 , total_length = 7200} , self = 500 , parent = Just 411 , duration = 25.061261615000 , status = Success , start = 2021-07-13 23:54:25.395680277 UTC , finish = 2021-07-13 23:54:50.456941892 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 180 , num_strict_rules = 180 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 59 , total_length = 7200} , self = 495 , parent = Just 402 , duration = 25.577110041000 , status = Success , start = 2021-07-13 23:54:24.306800856 UTC , finish = 2021-07-13 23:54:49.883910897 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 590 , num_strict_rules = 48 , num_top_rules = 48 , num_weak_rules = 542 , alphabet_size = 170 , total_length = 25576} , self = 810 , parent = Just 555 , duration = 25.977459872000 , status = Success , start = 2021-07-13 23:54:58.794781936 UTC , finish = 2021-07-13 23:55:24.772241808 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 342 , num_strict_rules = 342 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 108 , total_length = 15048} , self = 701 , parent = Just 339 , duration = 54.275444158000 , status = Success , start = 2021-07-13 23:54:19.672037821 UTC , finish = 2021-07-13 23:55:13.947481979 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 342 , num_strict_rules = 342 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 108 , total_length = 15048} , self = 688 , parent = Just 314 , duration = 54.588138827000 , status = Success , start = 2021-07-13 23:54:18.550928519 UTC , finish = 2021-07-13 23:55:13.139067346 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '5' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 124 max duration 3.226879613000 min duration 0.000169979000 total durat. 29.489338791000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 126 , num_strict_rules = 126 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 40 , total_length = 4536} , self = 741 , parent = Just 730 , duration = 1.071715463000 , status = Fail , start = 2021-07-13 23:55:18.089161049 UTC , finish = 2021-07-13 23:55:19.160876512 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 54 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 36 , alphabet_size = 19 , total_length = 1368} , self = 859 , parent = Just 854 , duration = 1.415184651000 , status = Fail , start = 2021-07-13 23:55:28.719474252 UTC , finish = 2021-07-13 23:55:30.134658903 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '9' , '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 = 54 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 36 , alphabet_size = 19 , total_length = 1368} , self = 1003 , parent = Just 1002 , duration = 1.721676504000 , status = Fail , start = 2021-07-13 23:56:00.443026279 UTC , finish = 2021-07-13 23:56:02.164702783 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '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 = 55 , num_strict_rules = 55 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 1870} , self = 487 , parent = Just 474 , duration = 2.178202143000 , status = Fail , start = 2021-07-13 23:54:45.273352738 UTC , finish = 2021-07-13 23:54:47.451554881 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '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 = 108 , num_strict_rules = 108 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 3888} , self = 935 , parent = Just 927 , duration = 2.477555007000 , status = Fail , start = 2021-07-13 23:55:35.718586418 UTC , finish = 2021-07-13 23:55:38.196141425 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '8' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 126 , num_strict_rules = 126 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 40 , total_length = 4536} , self = 725 , parent = Just 720 , duration = 2.576750831000 , status = Fail , start = 2021-07-13 23:55:15.326354231 UTC , finish = 2021-07-13 23:55:17.903105062 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 55 , num_strict_rules = 55 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 1870} , self = 492 , parent = Just 480 , duration = 2.703774431000 , status = Fail , start = 2021-07-13 23:54:45.847974602 UTC , finish = 2021-07-13 23:54:48.551749033 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 108 , num_strict_rules = 108 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 3888} , self = 945 , parent = Just 929 , duration = 3.226879613000 , status = Fail , start = 2021-07-13 23:55:36.258826085 UTC , finish = 2021-07-13 23:55:39.485705698 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '8' , '3' ] , 3 , False )} **************************************************