/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 6 strict rules and 1 weak rules on 3 letters EDG SRS with 3 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 4, solver = Minisatapi, verbose = False, tracing = False} SRS with 2 strict rules and 1 weak rules on 3 letters EDG SRS with 2 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 8, solver = Minisatapi, verbose = True, tracing = False} SRS with 1 strict rules and 1 weak rules on 3 letters EDG SRS with 1 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 1, 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, a, b, a] -> [a, 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, a, b, a] ->= [ a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [a#, a, b] {- DP (Top 7) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [ a# , a , b , a , a , b , b , a , a , b ] {- DP (Top 0) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [a#, a, b, b, a, a, b] {- DP (Top 3) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [a#, b] {- DP (Top 8) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [ a# , b , a , a , b , b , a , a , b ] {- DP (Top 1) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [a#, b, b, a, a, b] {- DP (Top 4) (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, a, b, b, a, a, b, a] |-> [a#, a, b] {- DP (Top 7) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [a#, a, b, b, a, a, b] {- DP (Top 3) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [ a# , a , b , a , a , b , b , a , a , b ] {- DP (Top 0) (Input 0) -} [a, a, b, b, a, a, b, a] ->= [ a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A 0A 0A 0A \ | -4A -4A 0A 0A | | -4A -4A -4A 0A | \ -4A -4A -4A 0A / ) ( b , Wk / 0A 0A 0A 0A \ | 0A 0A 0A 0A | | -4A 0A 0A 0A | \ -4A -4A -4A -4A / ) ( a# , Wk / 6A 10A 10A 10A \ | 6A 10A 10A 10A | | 6A 10A 10A 10A | \ 6A 10A 10A 10A / ) property Termination has value Just True for SRS [a#, a, b, b, a, a, b, a] |-> [a#, a, b] {- DP (Top 7) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [a#, a, b, b, a, a, b] {- DP (Top 3) (Input 0) -} [a, a, b, b, a, a, b, a] ->= [ a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, a, b, b, a, a, b, a] |-> [a#, a, b] {- DP (Top 7) (Input 0) -} [a#, a, b, b, a, a, b, a] |-> [a#, a, b, b, a, a, b] {- DP (Top 3) (Input 0) -} [a, a, b, b, a, a, b, a] ->= [ a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / - - 0A 0A 0A - 0A 0A \ | - - - 0A 0A - - 0A | | 0A 0A - - - - - - | | - - 0A - - 0A - - | | 0A - - - - 0A - 0A | | - - - 0A 1A - 0A 1A | | - - - - - - - - | \ - - - - - - - 0A / ) ( b , Wk / - - - - - - - 0A \ | 0A - - - - 0A - - | | - - - - 0A - - 0A | | 1A - - - 0A 0A 1A - | | 0A - - - - - - - | | - - - - - - - - | | - 0A - - - - 1A - | \ - - - - - - - 0A / ) ( a# , Wk / - - - 0A - - - 0A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [a#, a, b, b, a, a, b, a] |-> [a#, a, b, b, a, a, b] {- DP (Top 3) (Input 0) -} [a, a, b, b, a, a, b, a] ->= [ a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, a, b, b, a, a, b, a] |-> [a#, a, b, b, a, a, b] {- DP (Top 3) (Input 0) -} [a, a, b, b, a, a, b, a] ->= [ a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0 0 0 0 0 0 1 0 \ | 0 0 0 0 0 1 0 0 | | 0 0 0 0 1 0 0 0 | | 1 0 0 0 1 0 0 0 | | 0 0 1 0 1 0 0 0 | | 0 1 0 0 0 0 0 1 | | 1 0 0 0 0 0 0 0 | \ 0 0 0 0 0 0 0 1 / ) ( b , Wk / 0 1 0 0 0 0 0 0 \ | 0 0 0 1 0 0 0 0 | | 0 0 0 0 0 1 0 0 | | 1 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 | | 0 0 0 1 0 0 0 0 | | 0 0 0 0 0 0 0 0 | \ 0 0 0 0 0 0 0 1 / ) ( a# , Wk / 1 1 0 0 1 0 0 0 \ | 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 | | 0 0 0 0 0 0 0 0 | \ 0 0 0 0 0 0 0 1 / ) property Termination has value Just True for SRS [a, a, b, b, a, a, b, a] ->= [ a , a , b , a , a , b , b , a , a , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee(6/1,3)\EDG(3/1,3)\Matrix{\Arctic}{4}\EDG(2/1,3)\Matrix{\Arctic}{8}\EDG(1/1,3)\Matrix{\Natural}{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 83.494172790000 min duration 72.216476508000 total durat. 155.710649298000 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 = 18} , self = 517 , parent = Just 0 , duration = 72.216476508000 , status = Fail , start = 2021-07-13 23:55:37.094404168 UTC , finish = 2021-07-13 23:56:49.310880676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' ] , 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 = 18} , self = 525 , parent = Just 6 , duration = 83.494172790000 , status = Fail , start = 2021-07-13 23:55:37.094421171 UTC , finish = 2021-07-13 23:57:00.588593961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' ] , 2 , True )} Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 2.795925466000 min duration 2.366125110000 total durat. 7.721888445000 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 = 43} , self = 127 , parent = Just 11 , duration = 2.366125110000 , status = Fail , start = 2021-07-13 23:55:37.095027308 UTC , finish = 2021-07-13 23:55:39.461152418 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 608 , parent = Just 592 , duration = 2.559837869000 , status = Fail , start = 2021-07-13 23:57:25.021225539 UTC , finish = 2021-07-13 23:57:27.581063408 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 190 , parent = Just 138 , duration = 2.795925466000 , status = Fail , start = 2021-07-13 23:55:39.720092993 UTC , finish = 2021-07-13 23:55:42.516018459 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '2' ] , 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 2.926694807000 min duration 2.926694807000 total durat. 2.926694807000 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 = 62} , self = 154 , parent = Just 19 , duration = 2.926694807000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:37.101811114 UTC , finish = 2021-07-13 23:55:40.028505921 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '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 22.384845285000 min duration 22.384845285000 total durat. 22.384845285000 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 = 44} , self = 590 , parent = Just 138 , duration = 22.384845285000 , status = Success , start = 2021-07-13 23:57:02.60095395 UTC , finish = 2021-07-13 23:57:24.985799235 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '8' ] , 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 3 max duration 50.051032822000 min duration 50.022537075000 total durat. 150.101295409000 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 = 44} , self = 536 , parent = Just 138 , duration = 50.022537075000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:12.556657967 UTC , finish = 2021-07-13 23:57:02.579195042 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '2' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 43} , self = 523 , parent = Just 11 , duration = 50.027725512000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:10.091466524 UTC , finish = 2021-07-13 23:57:00.119192036 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '0' ] , 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 791 , parent = Just 592 , duration = 50.051032822000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:57.675425959 UTC , finish = 2021-07-13 23:58:47.726458781 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 3 max duration 30.622085163000 min duration 30.035836915000 total durat. 90.713228460000 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 = 44} , self = 312 , parent = Just 138 , duration = 30.035836915000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:42.518010635 UTC , finish = 2021-07-13 23:56:12.55384755 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '2' ] , 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 668 , parent = Just 592 , duration = 30.055306382000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:27.600453678 UTC , finish = 2021-07-13 23:57:57.65576006 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '8' ] , 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 = 43} , self = 307 , parent = Just 11 , duration = 30.622085163000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:39.462465667 UTC , finish = 2021-07-13 23:56:10.08455083 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '7' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 34.268442047000 min duration 34.268442047000 total durat. 34.268442047000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 850 , parent = Just 592 , duration = 34.268442047000 , status = Success , start = 2021-07-13 23:58:45.875452295 UTC , finish = 2021-07-13 23:59:20.143894342 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '0' , '1' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 24.757752914000 min duration 24.757752914000 total durat. 24.757752914000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 599 , parent = Just 138 , duration = 24.757752914000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:00.337437716 UTC , finish = 2021-07-13 23:57:25.09519063 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '9' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 50.047817619000 min duration 50.014960243000 total durat. 150.086639235000 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 = 43} , self = 520 , parent = Just 11 , duration = 50.014960243000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:07.589449861 UTC , finish = 2021-07-13 23:56:57.604410104 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 524 , parent = Just 138 , duration = 50.023861373000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:10.30841369 UTC , finish = 2021-07-13 23:57:00.332275063 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '4' ] , 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 784 , parent = Just 592 , duration = 50.047817619000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:55.818614138 UTC , finish = 2021-07-13 23:58:45.866431757 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '5' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 30.155026150000 min duration 2.441606762000 total durat. 92.725966704000 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 = 62} , self = 155 , parent = Just 19 , duration = 2.441606762000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:37.589069732 UTC , finish = 2021-07-13 23:55:40.030676494 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 43} , self = 306 , parent = Just 11 , duration = 30.062542587000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:37.517909228 UTC , finish = 2021-07-13 23:56:07.580451815 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '5' ] , 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 = 44} , self = 308 , parent = Just 138 , duration = 30.066791205000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:40.235705748 UTC , finish = 2021-07-13 23:56:10.302496953 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 667 , parent = Just 592 , duration = 30.155026150000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:25.642417919 UTC , finish = 2021-07-13 23:57:55.797444069 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '6' ] , 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 4 max duration 0.620440171000 min duration 0.422592884000 total durat. 2.047697076000 Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 0.523258905000 min duration 0.341818788000 total durat. 1.732534303000 Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 2.194001349000 min duration 2.194001349000 total durat. 2.194001349000 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 = 62} , self = 136 , parent = Just 19 , duration = 2.194001349000 , status = Success , start = 2021-07-13 23:55:37.517757435 UTC , finish = 2021-07-13 23:55:39.711758784 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '2' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 2.458114456000 min duration 1.857746578000 total durat. 6.443109513000 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 = 43} , self = 116 , parent = Just 11 , duration = 1.857746578000 , status = Fail , start = 2021-07-13 23:55:37.437061227 UTC , finish = 2021-07-13 23:55:39.294807805 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '0' , '7' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 185 , parent = Just 138 , duration = 2.127248479000 , status = Fail , start = 2021-07-13 23:55:40.169627593 UTC , finish = 2021-07-13 23:55:42.296876072 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '6' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 613 , parent = Just 592 , duration = 2.458114456000 , status = Fail , start = 2021-07-13 23:57:25.551960368 UTC , finish = 2021-07-13 23:57:28.010074824 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '2' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 50.115505408000 min duration 32.447392376000 total durat. 126.453271256000 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 = 43} , self = 311 , parent = Just 11 , duration = 32.447392376000 , status = Fail , start = 2021-07-13 23:55:39.295029515 UTC , finish = 2021-07-13 23:56:11.742421891 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '8' ] , 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 = 44} , self = 452 , parent = Just 138 , duration = 43.890373472000 , status = Fail , start = 2021-07-13 23:55:42.297340668 UTC , finish = 2021-07-13 23:56:26.18771414 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '3' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 716 , parent = Just 592 , duration = 50.115505408000 , status = Fail , start = 2021-07-13 23:57:28.238455263 UTC , finish = 2021-07-13 23:58:18.353960671 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '3' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 61.887384131000 min duration 58.877280514000 total durat. 120.764664645000 Info { what = QPI { dim = 8 , 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 = 44} , self = 598 , parent = Just 138 , duration = 58.877280514000 , status = Fail , start = 2021-07-13 23:56:26.188235839 UTC , finish = 2021-07-13 23:57:25.065516353 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '3' ] , 0 , True )} Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 853 , parent = Just 592 , duration = 61.887384131000 , status = Fail , start = 2021-07-13 23:58:18.354042721 UTC , finish = 2021-07-13 23:59:20.241426852 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '0' , '9' ] , 0 , True )} Success : Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 19 max duration 34.553776752000 min duration 0.027685209000 total durat. 185.195007084000 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 = 11 , total_length = 384} , self = 415 , parent = Just 399 , duration = 1.657222497000 , status = Success , start = 2021-07-13 23:56:21.391002866 UTC , finish = 2021-07-13 23:56:23.048225363 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 528} , self = 121 , parent = Just 58 , duration = 1.795983204000 , status = Success , start = 2021-07-13 23:55:37.620001073 UTC , finish = 2021-07-13 23:55:39.415984277 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 528} , self = 180 , parent = Just 58 , duration = 2.773589845000 , status = Success , start = 2021-07-13 23:55:39.463381353 UTC , finish = 2021-07-13 23:55:42.236971198 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 576} , self = 358 , parent = Just 326 , duration = 3.130527765000 , status = Success , start = 2021-07-13 23:56:13.74845077 UTC , finish = 2021-07-13 23:56:16.878978535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 528} , self = 257 , parent = Just 58 , duration = 3.511156122000 , status = Success , start = 2021-07-13 23:55:45.854980188 UTC , finish = 2021-07-13 23:55:49.36613631 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 433 , parent = Just 225 , duration = 4.951353958000 , status = Success , start = 2021-07-13 23:56:19.696668779 UTC , finish = 2021-07-13 23:56:24.648022737 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 470 , parent = Just 225 , duration = 6.152878847000 , status = Success , start = 2021-07-13 23:56:23.805244607 UTC , finish = 2021-07-13 23:56:29.958123454 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 520} , self = 672 , parent = Just 644 , duration = 8.563229843000 , status = Success , start = 2021-07-13 23:57:50.392681442 UTC , finish = 2021-07-13 23:57:58.955911285 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 528} , self = 319 , parent = Just 58 , duration = 14.943863337000 , status = Success , start = 2021-07-13 23:55:58.167339921 UTC , finish = 2021-07-13 23:56:13.111203258 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 1008} , self = 573 , parent = Just 107 , duration = 16.019239526000 , status = Success , start = 2021-07-13 23:57:00.653501563 UTC , finish = 2021-07-13 23:57:16.672741089 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 521 , parent = Just 225 , duration = 25.907521762000 , status = Success , start = 2021-07-13 23:56:32.164457215 UTC , finish = 2021-07-13 23:56:58.071978977 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '2' ] , 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 = 25 , total_length = 1540} , self = 804 , parent = Just 673 , duration = 27.203039595000 , status = Success , start = 2021-07-13 23:58:32.032064206 UTC , finish = 2021-07-13 23:58:59.235103801 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' , '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 = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 742 , parent = Just 416 , duration = 32.234024853000 , status = Success , start = 2021-07-13 23:57:59.306407619 UTC , finish = 2021-07-13 23:58:31.540432472 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '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 = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 669 , parent = Just 416 , duration = 34.553776752000 , status = Success , start = 2021-07-13 23:57:23.288262606 UTC , finish = 2021-07-13 23:57:57.842039358 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '1' ] , 3 , True )} Success : Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 13 max duration 48.214895326000 min duration 0.313410137000 total durat. 209.537232107000 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 = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 40} , self = 132 , parent = Just 78 , duration = 1.095149576000 , status = Success , start = 2021-07-13 23:55:38.409279906 UTC , finish = 2021-07-13 23:55:39.504429482 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 198} , self = 206 , parent = Just 87 , duration = 2.344987658000 , status = Success , start = 2021-07-13 23:55:41.417455597 UTC , finish = 2021-07-13 23:55:43.762443255 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 13 , total_length = 576} , self = 398 , parent = Just 326 , duration = 4.593386269000 , status = Success , start = 2021-07-13 23:56:16.475245485 UTC , finish = 2021-07-13 23:56:21.068631754 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 384} , self = 443 , parent = Just 399 , duration = 4.623067389000 , status = Success , start = 2021-07-13 23:56:21.223453654 UTC , finish = 2021-07-13 23:56:25.846521043 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 500 , parent = Just 225 , duration = 7.672906790000 , status = Success , start = 2021-07-13 23:56:29.452210541 UTC , finish = 2021-07-13 23:56:37.125117331 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 528} , self = 350 , parent = Just 58 , duration = 10.992093755000 , status = Success , start = 2021-07-13 23:56:05.433466225 UTC , finish = 2021-07-13 23:56:16.42555998 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 132} , self = 288 , parent = Just 207 , duration = 19.520804584000 , status = Success , start = 2021-07-13 23:55:44.431365904 UTC , finish = 2021-07-13 23:56:03.952170488 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 1008} , self = 553 , parent = Just 107 , duration = 28.555777489000 , status = Success , start = 2021-07-13 23:56:37.296049624 UTC , finish = 2021-07-13 23:57:05.851827113 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '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 = 15 , total_length = 520} , self = 728 , parent = Just 644 , duration = 36.647324960000 , status = Success , start = 2021-07-13 23:57:50.29600875 UTC , finish = 2021-07-13 23:58:26.94333371 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '6' ] , 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 = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 643 , parent = Just 416 , duration = 44.326062270000 , status = Success , start = 2021-07-13 23:57:05.893596915 UTC , finish = 2021-07-13 23:57:50.219659185 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '6' ] , 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 = 55 , num_strict_rules = 55 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1540} , self = 834 , parent = Just 673 , duration = 48.214895326000 , status = Success , start = 2021-07-13 23:58:28.705675158 UTC , finish = 2021-07-13 23:59:16.920570484 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '2' , '4' ] , 3 , True )} Success : Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 3 max duration 80.756566443000 min duration 2.349164126000 total durat. 111.819554962000 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 = 18} , self = 125 , parent = Just 0 , duration = 2.349164126000 , status = Success , start = 2021-07-13 23:55:37.096666505 UTC , finish = 2021-07-13 23:55:39.445830631 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' ] , 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 = 40} , self = 321 , parent = Just 78 , duration = 28.713824393000 , status = Success , start = 2021-07-13 23:55:44.442742836 UTC , finish = 2021-07-13 23:56:13.156567229 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '6' ] , 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 = 7 , total_length = 132} , self = 639 , parent = Just 207 , duration = 80.756566443000 , status = Success , start = 2021-07-13 23:56:26.6597814 UTC , finish = 2021-07-13 23:57:47.416347843 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '8' ] , 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 19 max duration 37.569773217000 min duration 0.032314846000 total durat. 206.102087367000 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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 132} , self = 228 , parent = Just 207 , duration = 1.083160087000 , status = Success , start = 2021-07-13 23:55:44.434551345 UTC , finish = 2021-07-13 23:55:45.517711432 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '4' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 528} , self = 130 , parent = Just 58 , duration = 1.731360519000 , status = Success , start = 2021-07-13 23:55:37.75907917 UTC , finish = 2021-07-13 23:55:39.490439689 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 384} , self = 421 , parent = Just 399 , duration = 2.003299752000 , status = Success , start = 2021-07-13 23:56:21.390810663 UTC , finish = 2021-07-13 23:56:23.394110415 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 12 , total_length = 528} , self = 182 , parent = Just 58 , duration = 2.737089444000 , status = Success , start = 2021-07-13 23:55:39.509618573 UTC , finish = 2021-07-13 23:55:42.246708017 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '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 = 12 , total_length = 528} , self = 255 , parent = Just 58 , duration = 3.428032527000 , status = Success , start = 2021-07-13 23:55:45.929158756 UTC , finish = 2021-07-13 23:55:49.357191283 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 576} , self = 370 , parent = Just 326 , duration = 5.409638931000 , status = Success , start = 2021-07-13 23:56:13.658293185 UTC , finish = 2021-07-13 23:56:19.067932116 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 453 , parent = Just 225 , duration = 6.083863497000 , status = Success , start = 2021-07-13 23:56:20.278010915 UTC , finish = 2021-07-13 23:56:26.361874412 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '2' ] , 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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 478 , parent = Just 225 , duration = 7.012862755000 , status = Success , start = 2021-07-13 23:56:23.925254839 UTC , finish = 2021-07-13 23:56:30.938117594 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 520} , self = 678 , parent = Just 644 , duration = 10.091959451000 , status = Success , start = 2021-07-13 23:57:50.880086904 UTC , finish = 2021-07-13 23:58:00.972046355 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '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 = 16 , total_length = 720} , self = 325 , parent = Just 60 , duration = 15.340186223000 , status = Success , start = 2021-07-13 23:55:58.167001638 UTC , finish = 2021-07-13 23:56:13.507187861 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 1008} , self = 586 , parent = Just 107 , duration = 21.625805509000 , status = Success , start = 2021-07-13 23:57:02.490575674 UTC , finish = 2021-07-13 23:57:24.116381183 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '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 = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 811 , parent = Just 416 , duration = 23.570440101000 , status = Success , start = 2021-07-13 23:58:38.742634043 UTC , finish = 2021-07-13 23:59:02.313074144 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '6' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 532 , parent = Just 225 , duration = 29.862537776000 , status = Success , start = 2021-07-13 23:56:32.536275861 UTC , finish = 2021-07-13 23:57:02.398813637 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '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 = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 682 , parent = Just 416 , duration = 37.264777772000 , status = Success , start = 2021-07-13 23:57:24.283250596 UTC , finish = 2021-07-13 23:58:01.548028368 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 756 , parent = Just 416 , duration = 37.569773217000 , status = Success , start = 2021-07-13 23:58:01.023673899 UTC , finish = 2021-07-13 23:58:38.593447116 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '5' , '2' ] , 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 13 max duration 45.196032794000 min duration 0.320855849000 total durat. 216.994947042000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 120} , self = 196 , parent = Just 28 , duration = 1.228558984000 , status = Success , start = 2021-07-13 23:55:41.423470813 UTC , finish = 2021-07-13 23:55:42.652029797 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 40} , self = 144 , parent = Just 78 , duration = 1.495847264000 , status = Success , start = 2021-07-13 23:55:38.424630956 UTC , finish = 2021-07-13 23:55:39.92047822 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 198} , self = 234 , parent = Just 87 , duration = 3.285584355000 , status = Success , start = 2021-07-13 23:55:42.666916792 UTC , finish = 2021-07-13 23:55:45.952501147 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 198} , self = 445 , parent = Just 87 , duration = 3.402028277000 , status = Success , start = 2021-07-13 23:56:22.44917723 UTC , finish = 2021-07-13 23:56:25.851205507 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 384} , self = 484 , parent = Just 399 , duration = 5.518608848000 , status = Success , start = 2021-07-13 23:56:26.681298417 UTC , finish = 2021-07-13 23:56:32.199907265 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 1008} , self = 616 , parent = Just 107 , duration = 25.687596980000 , status = Success , start = 2021-07-13 23:57:04.513134966 UTC , finish = 2021-07-13 23:57:30.200731946 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 132} , self = 309 , parent = Just 207 , duration = 26.076885307000 , status = Success , start = 2021-07-13 23:55:44.472582789 UTC , finish = 2021-07-13 23:56:10.549468096 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 864} , self = 543 , parent = Just 225 , duration = 27.779370735000 , status = Success , start = 2021-07-13 23:56:36.655679172 UTC , finish = 2021-07-13 23:57:04.435049907 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 822 , parent = Just 416 , duration = 35.357296567000 , status = Success , start = 2021-07-13 23:58:32.449371079 UTC , finish = 2021-07-13 23:59:07.806667646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 520} , self = 740 , parent = Just 644 , duration = 40.859206706000 , status = Success , start = 2021-07-13 23:57:50.458943082 UTC , finish = 2021-07-13 23:58:31.318149788 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '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 = 54 , num_strict_rules = 54 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 1404} , self = 707 , parent = Just 416 , duration = 45.196032794000 , status = Success , start = 2021-07-13 23:57:30.299150916 UTC , finish = 2021-07-13 23:58:15.49518371 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '6' , '4' ] , 3 , True )} Success : Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 3 max duration 74.510534659000 min duration 2.222532801000 total durat. 105.464403149000 Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 18} , self = 117 , parent = Just 0 , duration = 2.222532801000 , status = Success , start = 2021-07-13 23:55:37.096519927 UTC , finish = 2021-07-13 23:55:39.319052728 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' ] , 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 = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 40} , self = 323 , parent = Just 78 , duration = 28.731335689000 , status = Success , start = 2021-07-13 23:55:44.440516641 UTC , finish = 2021-07-13 23:56:13.17185233 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 132} , self = 633 , parent = Just 207 , duration = 74.510534659000 , status = Success , start = 2021-07-13 23:56:26.761469362 UTC , finish = 2021-07-13 23:57:41.272004021 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '8' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 45 max duration 95.177288832000 min duration 0.128417341000 total durat. 883.165525845000 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 602 , parent = Just 592 , duration = 1.267040512000 , status = Success , start = 2021-07-13 23:57:24.997135523 UTC , finish = 2021-07-13 23:57:26.264176035 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 87} , self = 392 , parent = Just 366 , duration = 1.571393149000 , status = Success , start = 2021-07-13 23:56:19.100740296 UTC , finish = 2021-07-13 23:56:20.672133445 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 267} , self = 134 , parent = Just 38 , duration = 2.401458261000 , status = Success , start = 2021-07-13 23:55:37.282920406 UTC , finish = 2021-07-13 23:55:39.684378667 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '9' , '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 = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 87} , self = 376 , parent = Just 353 , duration = 2.670915507000 , status = Success , start = 2021-07-13 23:56:16.713066234 UTC , finish = 2021-07-13 23:56:19.383981741 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 158 , parent = Just 44 , duration = 2.760316689000 , status = Success , start = 2021-07-13 23:55:37.333337513 UTC , finish = 2021-07-13 23:55:40.093654202 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 220} , self = 200 , parent = Just 109 , duration = 3.401883555000 , status = Success , start = 2021-07-13 23:55:39.271435932 UTC , finish = 2021-07-13 23:55:42.673319487 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 220} , self = 210 , parent = Just 149 , duration = 3.874520205000 , status = Success , start = 2021-07-13 23:55:40.054026903 UTC , finish = 2021-07-13 23:55:43.928547108 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 14 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 285} , self = 425 , parent = Just 377 , duration = 4.234201867000 , status = Success , start = 2021-07-13 23:56:19.570422084 UTC , finish = 2021-07-13 23:56:23.804623951 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 246 , parent = Just 44 , duration = 4.349641234000 , status = Success , start = 2021-07-13 23:55:43.547154016 UTC , finish = 2021-07-13 23:55:47.89679525 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 285} , self = 437 , parent = Just 393 , duration = 4.402773795000 , status = Success , start = 2021-07-13 23:56:20.830766436 UTC , finish = 2021-07-13 23:56:25.233540231 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 100} , self = 291 , parent = Just 264 , duration = 4.849817806000 , status = Success , start = 2021-07-13 23:55:59.545320066 UTC , finish = 2021-07-13 23:56:04.395137872 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 74} , self = 710 , parent = Just 698 , duration = 5.921066740000 , status = Success , start = 2021-07-13 23:58:12.15375194 UTC , finish = 2021-07-13 23:58:18.07481868 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 18 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 12 , alphabet_size = 13 , total_length = 363} , self = 372 , parent = Just 315 , duration = 6.065526644000 , status = Success , start = 2021-07-13 23:56:13.043263348 UTC , finish = 2021-07-13 23:56:19.108789992 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 486 , parent = Just 44 , duration = 6.391067727000 , status = Success , start = 2021-07-13 23:56:25.963969436 UTC , finish = 2021-07-13 23:56:32.355037163 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 410 , parent = Just 44 , duration = 6.517763588000 , status = Success , start = 2021-07-13 23:56:16.195595713 UTC , finish = 2021-07-13 23:56:22.713359301 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 3 , alphabet_size = 7 , total_length = 89} , self = 313 , parent = Just 299 , duration = 6.679413185000 , status = Success , start = 2021-07-13 23:56:06.159226149 UTC , finish = 2021-07-13 23:56:12.838639334 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 300} , self = 337 , parent = Just 292 , duration = 10.056180263000 , status = Success , start = 2021-07-13 23:56:05.565216106 UTC , finish = 2021-07-13 23:56:15.621396369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 100} , self = 275 , parent = Just 249 , duration = 12.257317128000 , status = Success , start = 2021-07-13 23:55:48.172422865 UTC , finish = 2021-07-13 23:56:00.429739993 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 339 , parent = Just 44 , duration = 12.731113696000 , status = Success , start = 2021-07-13 23:56:02.898308052 UTC , finish = 2021-07-13 23:56:15.629421748 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 219} , self = 798 , parent = Just 767 , duration = 13.858126377000 , status = Success , start = 2021-07-13 23:58:42.786849721 UTC , finish = 2021-07-13 23:58:56.644976098 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '8' , '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 = 300} , self = 571 , parent = Just 276 , duration = 13.979714852000 , status = Success , start = 2021-07-13 23:57:02.199090375 UTC , finish = 2021-07-13 23:57:16.178805227 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 219} , self = 578 , parent = Just 548 , duration = 15.525554929000 , status = Success , start = 2021-07-13 23:57:05.62860946 UTC , finish = 2021-07-13 23:57:21.154164389 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 204} , self = 785 , parent = Just 736 , duration = 15.961007231000 , status = Success , start = 2021-07-13 23:58:30.732505802 UTC , finish = 2021-07-13 23:58:46.693513033 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 300} , self = 818 , parent = Just 276 , duration = 18.347268001000 , status = Success , start = 2021-07-13 23:58:46.856678596 UTC , finish = 2021-07-13 23:59:05.203946597 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '0' , '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 = 39 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 33 , alphabet_size = 17 , total_length = 828} , self = 496 , parent = Just 212 , duration = 19.332155162000 , status = Success , start = 2021-07-13 23:56:16.43794764 UTC , finish = 2021-07-13 23:56:35.770102802 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 = 11 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 207} , self = 609 , parent = Just 561 , duration = 21.045535736000 , status = Success , start = 2021-07-13 23:57:06.776888084 UTC , finish = 2021-07-13 23:57:27.82242382 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 300} , self = 703 , parent = Just 276 , duration = 22.656619557000 , status = Success , start = 2021-07-13 23:57:50.685676137 UTC , finish = 2021-07-13 23:58:13.342295694 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 12 , total_length = 242} , self = 750 , parent = Just 692 , duration = 23.441136689000 , status = Success , start = 2021-07-13 23:58:10.593711616 UTC , finish = 2021-07-13 23:58:34.034848305 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 3 , num_top_rules = 3 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 255} , self = 775 , parent = Just 711 , duration = 25.178779252000 , status = Success , start = 2021-07-13 23:58:18.122612428 UTC , finish = 2021-07-13 23:58:43.30139168 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 300} , self = 646 , parent = Just 276 , duration = 26.674211385000 , status = Success , start = 2021-07-13 23:57:23.566584178 UTC , finish = 2021-07-13 23:57:50.240795563 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 10 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 194} , self = 657 , parent = Just 603 , duration = 26.854559455000 , status = Success , start = 2021-07-13 23:57:26.298809043 UTC , finish = 2021-07-13 23:57:53.153368498 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 300} , self = 763 , parent = Just 276 , duration = 28.822075611000 , status = Success , start = 2021-07-13 23:58:13.429489759 UTC , finish = 2021-07-13 23:58:42.25156537 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 528 , parent = Just 44 , duration = 29.192327115000 , status = Success , start = 2021-07-13 23:56:32.831550694 UTC , finish = 2021-07-13 23:57:02.023877809 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '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 = 39 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 33 , alphabet_size = 17 , total_length = 828} , self = 374 , parent = Just 212 , duration = 34.745100882000 , status = Success , start = 2021-07-13 23:55:44.388044554 UTC , finish = 2021-07-13 23:56:19.133145436 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 48 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 32 , alphabet_size = 17 , total_length = 968} , self = 341 , parent = Just 147 , duration = 35.475848354000 , status = Success , start = 2021-07-13 23:55:40.153651954 UTC , finish = 2021-07-13 23:56:15.629500308 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 39 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 33 , alphabet_size = 17 , total_length = 828} , self = 557 , parent = Just 212 , duration = 41.919152172000 , status = Success , start = 2021-07-13 23:56:24.438168103 UTC , finish = 2021-07-13 23:57:06.357320275 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 48 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 32 , alphabet_size = 17 , total_length = 968} , self = 537 , parent = Just 147 , duration = 43.412838276000 , status = Success , start = 2021-07-13 23:56:20.405769305 UTC , finish = 2021-07-13 23:57:03.818607581 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 33 , alphabet_size = 17 , total_length = 783} , self = 815 , parent = Just 659 , duration = 70.515948026000 , status = Success , start = 2021-07-13 23:57:53.205640366 UTC , finish = 2021-07-13 23:59:03.721588392 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 39 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 33 , alphabet_size = 17 , total_length = 828} , self = 719 , parent = Just 212 , duration = 77.723855967000 , status = Success , start = 2021-07-13 23:57:06.646669982 UTC , finish = 2021-07-13 23:58:24.370525949 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '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 = 38 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 33 , alphabet_size = 17 , total_length = 813} , self = 792 , parent = Just 611 , duration = 80.211648171000 , status = Success , start = 2021-07-13 23:57:28.288685649 UTC , finish = 2021-07-13 23:58:48.50033382 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 48 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 32 , alphabet_size = 17 , total_length = 968} , self = 760 , parent = Just 147 , duration = 95.177288832000 , status = Success , start = 2021-07-13 23:57:04.168279951 UTC , finish = 2021-07-13 23:58:39.345568783 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '5' ] , 3 , True )} Success : Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 25 max duration 100.267498203000 min duration 1.006289119000 total durat. 656.728203967000 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 = 43} , self = 73 , parent = Just 11 , duration = 1.006289119000 , status = Success , start = 2021-07-13 23:55:37.098934456 UTC , finish = 2021-07-13 23:55:38.105223575 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 62} , self = 75 , parent = Just 19 , duration = 1.279252046000 , status = Success , start = 2021-07-13 23:55:37.109758538 UTC , finish = 2021-07-13 23:55:38.389010584 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 167 , parent = Just 100 , duration = 1.689948790000 , status = Success , start = 2021-07-13 23:55:39.057482598 UTC , finish = 2021-07-13 23:55:40.747431388 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 176 , parent = Just 138 , duration = 1.996835434000 , status = Success , start = 2021-07-13 23:55:39.73206009 UTC , finish = 2021-07-13 23:55:41.728895524 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 87} , self = 435 , parent = Just 366 , duration = 5.877538605000 , status = Success , start = 2021-07-13 23:56:19.117480056 UTC , finish = 2021-07-13 23:56:24.995018661 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 220} , self = 248 , parent = Just 109 , duration = 6.665528191000 , status = Success , start = 2021-07-13 23:55:41.35362476 UTC , finish = 2021-07-13 23:55:48.019152951 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 87} , self = 419 , parent = Just 353 , duration = 6.845881486000 , status = Success , start = 2021-07-13 23:56:16.504938001 UTC , finish = 2021-07-13 23:56:23.350819487 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 237 , parent = Just 44 , duration = 7.020541828000 , status = Success , start = 2021-07-13 23:55:39.029508717 UTC , finish = 2021-07-13 23:55:46.050050545 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '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 = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 100} , self = 504 , parent = Just 264 , duration = 9.040654733000 , status = Success , start = 2021-07-13 23:56:28.28621435 UTC , finish = 2021-07-13 23:56:37.326869083 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 623 , parent = Just 592 , duration = 12.286713833000 , status = Success , start = 2021-07-13 23:57:24.997252455 UTC , finish = 2021-07-13 23:57:37.283966288 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '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 = 2 , num_top_rules = 2 , num_weak_rules = 3 , alphabet_size = 7 , total_length = 89} , self = 400 , parent = Just 299 , duration = 15.147872003000 , status = Success , start = 2021-07-13 23:56:05.924424131 UTC , finish = 2021-07-13 23:56:21.072296134 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 220} , self = 263 , parent = Just 149 , duration = 15.524179901000 , status = Success , start = 2021-07-13 23:55:42.355647984 UTC , finish = 2021-07-13 23:55:57.879827885 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 100} , self = 335 , parent = Just 264 , duration = 17.448814078000 , status = Success , start = 2021-07-13 23:55:58.033378385 UTC , finish = 2021-07-13 23:56:15.482192463 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 100} , self = 333 , parent = Just 249 , duration = 26.230487098000 , status = Success , start = 2021-07-13 23:55:48.094058755 UTC , finish = 2021-07-13 23:56:14.324545853 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 267} , self = 298 , parent = Just 38 , duration = 26.494395404000 , status = Success , start = 2021-07-13 23:55:39.10438379 UTC , finish = 2021-07-13 23:56:05.598779194 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '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 = 4 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 74} , self = 772 , parent = Just 698 , duration = 30.991822211000 , status = Success , start = 2021-07-13 23:58:12.114039693 UTC , finish = 2021-07-13 23:58:43.105861904 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '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 = 11 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 207} , self = 629 , parent = Just 561 , duration = 33.563855222000 , status = Success , start = 2021-07-13 23:57:06.762729363 UTC , finish = 2021-07-13 23:57:40.326584585 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '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 = 10 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 194} , self = 697 , parent = Just 603 , duration = 34.599963564000 , status = Success , start = 2021-07-13 23:57:37.487707088 UTC , finish = 2021-07-13 23:58:12.087670652 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 12 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 255} , self = 844 , parent = Just 711 , duration = 35.481906273000 , status = Success , start = 2021-07-13 23:58:43.83958581 UTC , finish = 2021-07-13 23:59:19.321492083 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 14 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 285} , self = 547 , parent = Just 393 , duration = 35.818502176000 , status = Success , start = 2021-07-13 23:56:29.764620477 UTC , finish = 2021-07-13 23:57:05.583122653 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 260} , self = 829 , parent = Just 44 , duration = 37.613604327000 , status = Success , start = 2021-07-13 23:58:30.416654632 UTC , finish = 2021-07-13 23:59:08.030258959 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '3' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 285} , self = 620 , parent = Just 377 , duration = 50.155546299000 , status = Success , start = 2021-07-13 23:56:43.089950534 UTC , finish = 2021-07-13 23:57:33.245496833 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '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 = 5 , num_top_rules = 5 , num_weak_rules = 9 , alphabet_size = 11 , total_length = 285} , self = 766 , parent = Just 377 , duration = 62.350072661000 , status = Success , start = 2021-07-13 23:57:40.356616451 UTC , finish = 2021-07-13 23:58:42.706689112 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 10 , total_length = 219} , self = 726 , parent = Just 548 , duration = 81.330500482000 , status = Success , start = 2021-07-13 23:57:05.612511431 UTC , finish = 2021-07-13 23:58:26.943011913 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 12 , alphabet_size = 13 , total_length = 363} , self = 691 , parent = Just 315 , duration = 100.267498203000 , status = Success , start = 2021-07-13 23:56:30.217347376 UTC , finish = 2021-07-13 23:58:10.484845579 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '3' ] , 3 , True )} Success : Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 15 max duration 114.124293128000 min duration 7.063726599000 total durat. 628.034227142000 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 = 62} , self = 213 , parent = Just 19 , duration = 7.063726599000 , status = Success , start = 2021-07-13 23:55:37.10983689 UTC , finish = 2021-07-13 23:55:44.173563489 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 244 , parent = Just 138 , duration = 7.743930992000 , status = Success , start = 2021-07-13 23:55:39.73206462 UTC , finish = 2021-07-13 23:55:47.475995612 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 44} , self = 240 , parent = Just 100 , duration = 7.845176012000 , status = Success , start = 2021-07-13 23:55:39.050032956 UTC , finish = 2021-07-13 23:55:46.895208968 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 43} , self = 242 , parent = Just 11 , duration = 9.966087865000 , status = Success , start = 2021-07-13 23:55:37.098946278 UTC , finish = 2021-07-13 23:55:47.065034143 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 87} , self = 498 , parent = Just 353 , duration = 20.392875754000 , status = Success , start = 2021-07-13 23:56:16.509164864 UTC , finish = 2021-07-13 23:56:36.902040618 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 = 62} , self = 406 , parent = Just 19 , duration = 20.605778495000 , status = Success , start = 2021-07-13 23:56:01.147922655 UTC , finish = 2021-07-13 23:56:21.75370115 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 100} , self = 474 , parent = Just 264 , duration = 29.611936848000 , status = Success , start = 2021-07-13 23:56:01.111931536 UTC , finish = 2021-07-13 23:56:30.723868384 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 267} , self = 507 , parent = Just 38 , duration = 37.510852545000 , status = Success , start = 2021-07-13 23:56:03.455304959 UTC , finish = 2021-07-13 23:56:40.966157504 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 33} , self = 685 , parent = Just 592 , duration = 40.754554039000 , status = Success , start = 2021-07-13 23:57:24.997167207 UTC , finish = 2021-07-13 23:58:05.751721246 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '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 = 10 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 194} , self = 795 , parent = Just 603 , duration = 41.897999352000 , status = Success , start = 2021-07-13 23:58:06.977194106 UTC , finish = 2021-07-13 23:58:48.875193458 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 = 5 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 3 , alphabet_size = 7 , total_length = 89} , self = 565 , parent = Just 299 , duration = 61.047570429000 , status = Success , start = 2021-07-13 23:56:06.060598753 UTC , finish = 2021-07-13 23:57:07.108169182 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '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 = 4 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 74} , self = 832 , parent = Just 698 , duration = 62.200966086000 , status = Success , start = 2021-07-13 23:58:12.153717469 UTC , finish = 2021-07-13 23:59:14.354683555 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '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 = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 87} , self = 653 , parent = Just 366 , duration = 75.325483709000 , status = Success , start = 2021-07-13 23:56:35.273300625 UTC , finish = 2021-07-13 23:57:50.598784334 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '9' ] , 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 = 100} , self = 717 , parent = Just 264 , duration = 91.942995289000 , status = Success , start = 2021-07-13 23:56:49.562752578 UTC , finish = 2021-07-13 23:58:21.505747867 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '4' ] , 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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 267} , self = 826 , parent = Just 38 , duration = 114.124293128000 , status = Success , start = 2021-07-13 23:57:13.79452221 UTC , finish = 2021-07-13 23:59:07.918815338 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '8' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 70 max duration 17.346389801000 min duration 0.008387423000 total durat. 194.972755408000 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 = 136 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 3536} , self = 170 , parent = Just 145 , duration = 1.046137497000 , status = Success , start = 2021-07-13 23:55:39.922643956 UTC , finish = 2021-07-13 23:55:40.968781453 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 136 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 3536} , self = 166 , parent = Just 133 , duration = 1.210369021000 , status = Success , start = 2021-07-13 23:55:39.504567981 UTC , finish = 2021-07-13 23:55:40.714937002 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 180 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 168 , alphabet_size = 41 , total_length = 4260} , self = 391 , parent = Just 375 , duration = 1.297355302000 , status = Success , start = 2021-07-13 23:56:19.133485046 UTC , finish = 2021-07-13 23:56:20.430840348 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 648 , num_strict_rules = 648 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 94 , total_length = 23328} , self = 635 , parent = Just 634 , duration = 1.848186310000 , status = Success , start = 2021-07-13 23:57:41.285879797 UTC , finish = 2021-07-13 23:57:43.134066107 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '1' ] , 0 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 204 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 170 , alphabet_size = 48 , total_length = 5134} , self = 349 , parent = Just 334 , duration = 2.066832809000 , status = Success , start = 2021-07-13 23:56:14.324695149 UTC , finish = 2021-07-13 23:56:16.391527958 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '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 = 648 , num_strict_rules = 648 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 94 , total_length = 23328} , self = 641 , parent = Just 640 , duration = 2.124729817000 , status = Success , start = 2021-07-13 23:57:47.416714947 UTC , finish = 2021-07-13 23:57:49.541444764 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '8' ] , 0 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 541 , num_strict_rules = 48 , num_top_rules = 48 , num_weak_rules = 493 , alphabet_size = 78 , total_length = 14928} , self = 734 , parent = Just 727 , duration = 2.139707085000 , status = Success , start = 2021-07-13 23:58:26.943066122 UTC , finish = 2021-07-13 23:58:29.082773207 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '2' , '0' ] , 0 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 181 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 153 , alphabet_size = 45 , total_length = 4578} , self = 442 , parent = Just 420 , duration = 2.359705933000 , status = Success , start = 2021-07-13 23:56:23.350963444 UTC , finish = 2021-07-13 23:56:25.710669377 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '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 = 60 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 48 , alphabet_size = 22 , total_length = 1380} , self = 575 , parent = Just 572 , duration = 2.364634197000 , status = Success , start = 2021-07-13 23:57:16.179120596 UTC , finish = 2021-07-13 23:57:18.543754793 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '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 = 117 , num_strict_rules = 117 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 44 , total_length = 3510} , self = 462 , parent = Just 444 , duration = 2.786171311000 , status = Success , start = 2021-07-13 23:56:25.846786793 UTC , finish = 2021-07-13 23:56:28.632958104 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 = 117 , num_strict_rules = 117 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 44 , total_length = 3510} , self = 492 , parent = Just 485 , duration = 2.809970385000 , status = Success , start = 2021-07-13 23:56:32.200211386 UTC , finish = 2021-07-13 23:56:35.010181771 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 220 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 180 , alphabet_size = 38 , total_length = 5060} , self = 362 , parent = Just 342 , duration = 2.886732395000 , status = Success , start = 2021-07-13 23:56:15.632471096 UTC , finish = 2021-07-13 23:56:18.519203491 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 168 , num_strict_rules = 168 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 5376} , self = 184 , parent = Just 118 , duration = 2.932466764000 , status = Success , start = 2021-07-13 23:55:39.319185058 UTC , finish = 2021-07-13 23:55:42.251651822 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '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 = 168 , num_strict_rules = 168 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 5376} , self = 188 , parent = Just 126 , duration = 2.950609784000 , status = Success , start = 2021-07-13 23:55:39.447271279 UTC , finish = 2021-07-13 23:55:42.397881063 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 442 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 414 , alphabet_size = 85 , total_length = 14904} , self = 663 , parent = Just 654 , duration = 3.029671782000 , status = Success , start = 2021-07-13 23:57:50.598961374 UTC , finish = 2021-07-13 23:57:53.628633156 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 522 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 486 , alphabet_size = 99 , total_length = 17568} , self = 722 , parent = Just 718 , duration = 3.282693721000 , status = Success , start = 2021-07-13 23:58:21.520233387 UTC , finish = 2021-07-13 23:58:24.802927108 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '1' , '2' ] , 2 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 204 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 170 , alphabet_size = 48 , total_length = 5134} , self = 365 , parent = Just 336 , duration = 3.326435224000 , status = Success , start = 2021-07-13 23:56:15.485660267 UTC , finish = 2021-07-13 23:56:18.812095491 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 181 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 153 , alphabet_size = 45 , total_length = 4578} , self = 461 , parent = Just 436 , duration = 3.563795730000 , status = Success , start = 2021-07-13 23:56:24.998973061 UTC , finish = 2021-07-13 23:56:28.562768791 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 396 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 378 , alphabet_size = 79 , total_length = 13410} , self = 840 , parent = Just 833 , duration = 3.605911041000 , status = Success , start = 2021-07-13 23:59:14.354876847 UTC , finish = 2021-07-13 23:59:17.960787888 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '5' , '4' ] , 0 , 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 = 12 , num_top_rules = 12 , num_weak_rules = 168 , alphabet_size = 41 , total_length = 4260} , self = 506 , parent = Just 497 , duration = 4.274849884000 , status = Success , start = 2021-07-13 23:56:35.770410864 UTC , finish = 2021-07-13 23:56:40.045260748 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '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 = 204 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 170 , alphabet_size = 48 , total_length = 5134} , self = 510 , parent = Just 505 , duration = 4.836917860000 , status = Success , start = 2021-07-13 23:56:37.32713615 UTC , finish = 2021-07-13 23:56:42.16405401 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '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 = 720 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 684 , alphabet_size = 139 , total_length = 24282} , self = 567 , parent = Just 566 , duration = 5.323443179000 , status = Success , start = 2021-07-13 23:57:07.206383229 UTC , finish = 2021-07-13 23:57:12.529826408 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '5' ] , 2 , 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 = 68 , total_length = 6568} , self = 459 , parent = Just 401 , duration = 7.318125638000 , status = Success , start = 2021-07-13 23:56:21.075645053 UTC , finish = 2021-07-13 23:56:28.393770691 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 435 , num_strict_rules = 435 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 68 , total_length = 12180} , self = 361 , parent = Just 310 , duration = 7.687294394000 , status = Success , start = 2021-07-13 23:56:10.549749892 UTC , finish = 2021-07-13 23:56:18.237044286 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 324 , num_strict_rules = 324 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 66 , total_length = 11016} , self = 408 , parent = Just 322 , duration = 9.022171878000 , status = Success , start = 2021-07-13 23:56:13.156830902 UTC , finish = 2021-07-13 23:56:22.17900278 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 324 , num_strict_rules = 324 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 66 , total_length = 11016} , self = 409 , parent = Just 324 , duration = 9.025560723000 , status = Success , start = 2021-07-13 23:56:13.17200557 UTC , finish = 2021-07-13 23:56:22.197566293 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '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 = 442 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 414 , alphabet_size = 85 , total_length = 14904} , self = 514 , parent = Just 499 , duration = 10.629264384000 , status = Success , start = 2021-07-13 23:56:36.902258498 UTC , finish = 2021-07-13 23:56:47.531522882 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 300 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 264 , alphabet_size = 74 , total_length = 9480} , self = 490 , parent = Just 407 , duration = 11.447839585000 , status = Success , start = 2021-07-13 23:56:21.754011021 UTC , finish = 2021-07-13 23:56:33.201850606 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 252 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 228 , alphabet_size = 68 , total_length = 7944} , self = 271 , parent = Just 245 , duration = 12.004934578000 , status = Success , start = 2021-07-13 23:55:47.476109351 UTC , finish = 2021-07-13 23:55:59.481043929 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 252 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 228 , alphabet_size = 68 , total_length = 7944} , self = 270 , parent = Just 241 , duration = 12.483215642000 , status = Success , start = 2021-07-13 23:55:46.896887412 UTC , finish = 2021-07-13 23:55:59.380103054 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 378 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 350 , alphabet_size = 96 , total_length = 11942} , self = 272 , parent = Just 243 , duration = 13.189914165000 , status = Success , start = 2021-07-13 23:55:47.065240808 UTC , finish = 2021-07-13 23:56:00.255154973 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 300 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 264 , alphabet_size = 74 , total_length = 9480} , self = 269 , parent = Just 214 , duration = 14.991224786000 , status = Success , start = 2021-07-13 23:55:44.173859108 UTC , finish = 2021-07-13 23:55:59.165083894 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 522 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 486 , alphabet_size = 99 , total_length = 17568} , self = 516 , parent = Just 475 , duration = 17.346389801000 , status = Success , start = 2021-07-13 23:56:30.724034169 UTC , finish = 2021-07-13 23:56:48.07042397 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '5' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 95 max duration 8.480358741000 min duration 0.000082129000 total durat. 39.505192712000 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 = 136 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 38 , total_length = 3808} , self = 684 , parent = Just 683 , duration = 1.327930784000 , status = Fail , start = 2021-07-13 23:58:01.559371877 UTC , finish = 2021-07-13 23:58:02.887302661 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 140 , num_strict_rules = 140 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 43 , total_length = 4200} , self = 806 , parent = Just 805 , duration = 1.380316733000 , status = Fail , start = 2021-07-13 23:58:59.23530088 UTC , finish = 2021-07-13 23:59:00.615617613 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '2' , '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 = 121 , num_strict_rules = 121 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 3146} , self = 363 , parent = Just 359 , duration = 1.796612857000 , status = Fail , start = 2021-07-13 23:56:16.87932021 UTC , finish = 2021-07-13 23:56:18.675933067 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 143 , num_strict_rules = 143 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 3718} , self = 460 , parent = Just 454 , duration = 2.185981617000 , status = Fail , start = 2021-07-13 23:56:26.362177555 UTC , finish = 2021-07-13 23:56:28.548159172 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 143 , num_strict_rules = 143 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 3718} , self = 526 , parent = Just 522 , duration = 2.538166036000 , status = Fail , start = 2021-07-13 23:56:58.072205756 UTC , finish = 2021-07-13 23:57:00.610371792 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 154 , num_strict_rules = 154 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 35 , total_length = 4004} , self = 576 , parent = Just 574 , duration = 3.194703518000 , status = Fail , start = 2021-07-13 23:57:16.681826287 UTC , finish = 2021-07-13 23:57:19.876529805 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 120 , num_strict_rules = 120 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 29 , total_length = 2880} , self = 259 , parent = Just 256 , duration = 8.475133671000 , status = Fail , start = 2021-07-13 23:55:49.357495924 UTC , finish = 2021-07-13 23:55:57.832629595 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 120 , num_strict_rules = 120 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 29 , total_length = 2880} , self = 261 , parent = Just 258 , duration = 8.480358741000 , status = Fail , start = 2021-07-13 23:55:49.366272592 UTC , finish = 2021-07-13 23:55:57.846631333 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '8' ] , 3 , False )} **************************************************