/export/starexec/sandbox/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO ************************************************** summary ************************************************** SRS with 1 rules on 3 letters admits a non-terminating transport system with pivot [a, a, a, a, a, a, a] alphabet [[b, c, b], [a]] pivot represented as [[a], [a], [a], [a], [a], [a], [a]] derivations for transport system [a] [a] pivot ->^0 pivot [[a]] because of derivation [a, a, a, a, a, a, a, a] ->^0 [a, a, a, a, a, a, a, a] via steps [b, c, b] [b, c, b] pivot ->^1 pivot [[b, c, b], [b, c, b], [a]] because of derivation [b, c, b, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, c, b, b, c, b, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, c, b], [b, c, b]] pivot ^ 10 ************************************************** proof ************************************************** property Termination has value Just False for SRS [b, c, b, a, a, a, a, a, a, a] -> [ a , a , a , a , a , a , a , b , c , b , b , c , b , a ] {- Input 0 -} reason admits a non-terminating transport system with pivot [a, a, a, a, a, a, a] alphabet [[b, c, b], [a]] pivot represented as [[a], [a], [a], [a], [a], [a], [a]] derivations for transport system [a] [a] pivot ->^0 pivot [[a]] because of derivation [a, a, a, a, a, a, a, a] ->^0 [a, a, a, a, a, a, a, a] via steps [b, c, b] [b, c, b] pivot ->^1 pivot [[b, c, b], [b, c, b], [a]] because of derivation [b, c, b, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, c, b, b, c, b, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, c, b], [b, c, b]] pivot ^ 10 ************************************************** skeleton: (1,3)\Transport{}[] ************************************************** 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 96.538558235000 min duration 81.162035370000 total durat. 177.700593605000 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 = 3 , total_length = 24} , self = 456 , parent = Just 8 , duration = 81.162035370000 , status = Fail , start = 2021-07-13 23:54:53.654968903 UTC , finish = 2021-07-13 23:56:14.817004273 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' ] , 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 = 3 , total_length = 24} , self = 477 , parent = Just 0 , duration = 96.538558235000 , status = Fail , start = 2021-07-13 23:54:53.654911481 UTC , finish = 2021-07-13 23:56:30.193469716 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' ] , 2 , True )} Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 5.286610216000 min duration 4.085410607000 total durat. 9.372020823000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 219 , parent = Just 72 , duration = 4.085410607000 , status = Fail , start = 2021-07-13 23:54:54.19370056 UTC , finish = 2021-07-13 23:54:58.279111167 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '6' ] , 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 235 , parent = Just 19 , duration = 5.286610216000 , status = Fail , start = 2021-07-13 23:54:53.662006404 UTC , finish = 2021-07-13 23:54:58.94861662 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '4' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 57.360295038000 min duration 50.024426697000 total durat. 107.384721735000 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 = 4 , total_length = 55} , self = 465 , parent = Just 72 , duration = 50.024426697000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:28.339738979 UTC , finish = 2021-07-13 23:56:18.364165676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '8' ] , 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 470 , parent = Just 19 , duration = 57.360295038000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:28.977439784 UTC , finish = 2021-07-13 23:56:26.337734822 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 30.047158103000 min duration 30.021330829000 total durat. 60.068488932000 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 350 , parent = Just 19 , duration = 30.021330829000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:58.948831924 UTC , finish = 2021-07-13 23:55:28.970162753 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '9' ] , 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 = 4 , total_length = 55} , self = 349 , parent = Just 72 , duration = 30.047158103000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:58.279384971 UTC , finish = 2021-07-13 23:55:28.326543074 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.028362629000 min duration 50.018642982000 total durat. 100.047005611000 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 = 4 , total_length = 55} , self = 409 , parent = Just 72 , duration = 50.018642982000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:13.586497184 UTC , finish = 2021-07-13 23:56:03.605140166 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '5' ] , 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 452 , parent = Just 19 , duration = 50.028362629000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:24.277527176 UTC , finish = 2021-07-13 23:56:14.305889805 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '9' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 29.643267198000 min duration 18.685687360000 total durat. 48.328954558000 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 = 4 , total_length = 55} , self = 333 , parent = Just 72 , duration = 18.685687360000 , status = Fail , start = 2021-07-13 23:54:54.900598239 UTC , finish = 2021-07-13 23:55:13.586285599 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '1' ] , 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 345 , parent = Just 19 , duration = 29.643267198000 , status = Fail , start = 2021-07-13 23:54:54.634040306 UTC , finish = 2021-07-13 23:55:24.277307504 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '4' ] , 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 2 max duration 0.971871648000 min duration 0.706711337000 total durat. 1.678582985000 Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 0.786050966000 min duration 0.577427919000 total durat. 1.363478885000 Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 4.948183192000 min duration 2.613818445000 total durat. 7.562001637000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 207 , parent = Just 72 , duration = 2.613818445000 , status = Fail , start = 2021-07-13 23:54:54.771262152 UTC , finish = 2021-07-13 23:54:57.385080597 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '3' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 242 , parent = Just 19 , duration = 4.948183192000 , status = Fail , start = 2021-07-13 23:54:54.448229363 UTC , finish = 2021-07-13 23:54:59.396412555 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '9' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 49.744866940000 min duration 45.632573345000 total durat. 95.377440285000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 362 , parent = Just 19 , duration = 45.632573345000 , status = Fail , start = 2021-07-13 23:54:59.396688375 UTC , finish = 2021-07-13 23:55:45.02926172 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '3' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 365 , parent = Just 72 , duration = 49.744866940000 , status = Fail , start = 2021-07-13 23:54:57.385418896 UTC , finish = 2021-07-13 23:55:47.130285836 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '6' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Simple (Config { tracing = False , verbose = False , closure = Forward , max_closure_length = Nothing , max_closure_width = Nothing , intermediates = All , priority = (Linear [ (1, Log2 Steps) , (-1, Width_lhs) , (-2, Log2 Width_rhs) ])}) total number 1 max duration 108.183357793000 min duration 108.183357793000 total durat. 108.183357793000 Info { what = Simple (Config { tracing = False , verbose = False , closure = Forward , max_closure_length = Nothing , max_closure_width = Nothing , intermediates = All , priority = (Linear [ (1, Log2 Steps) , (-1, Width_lhs) , (-2, Log2 Width_rhs) ])}) , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 509 , parent = Just 0 , duration = 108.183357793000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:53.654882029 UTC , finish = 2021-07-13 23:56:41.838239822 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' ] , 1 , True )} Success : Tiling { method = Backward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 107.249788931000 min duration 107.249788931000 total durat. 107.249788931000 Info { what = Tiling { method = Backward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 506 , parent = Just 0 , duration = 107.249788931000 , status = Success , start = 2021-07-13 23:54:53.655772703 UTC , finish = 2021-07-13 23:56:40.905561634 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' ] , 3 , True )} Success : Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 10 max duration 32.215393698000 min duration 0.048409576000 total durat. 62.374228856000 Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 204 , parent = Just 38 , duration = 1.767201989000 , status = Success , start = 2021-07-13 23:54:55.438848109 UTC , finish = 2021-07-13 23:54:57.206050098 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 28 , num_strict_rules = 28 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 840} , self = 245 , parent = Just 131 , duration = 1.907745845000 , status = Success , start = 2021-07-13 23:54:58.056643304 UTC , finish = 2021-07-13 23:54:59.964389149 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 303 , parent = Just 79 , duration = 4.184645417000 , status = Success , start = 2021-07-13 23:55:00.37405566 UTC , finish = 2021-07-13 23:55:04.558701077 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 410 , parent = Just 160 , duration = 21.048156406000 , status = Success , start = 2021-07-13 23:55:43.954055457 UTC , finish = 2021-07-13 23:56:05.002211863 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 356 , parent = Just 205 , duration = 32.215393698000 , status = Success , start = 2021-07-13 23:55:08.243404879 UTC , finish = 2021-07-13 23:55:40.458798577 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '3' ] , 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 7 max duration 27.811710574000 min duration 0.114789285000 total durat. 53.813417229000 Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 178 , parent = Just 99 , duration = 1.724246537000 , status = Success , start = 2021-07-13 23:54:54.830341483 UTC , finish = 2021-07-13 23:54:56.55458802 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 259 , parent = Just 38 , duration = 3.364026668000 , status = Success , start = 2021-07-13 23:54:57.051095552 UTC , finish = 2021-07-13 23:55:00.41512222 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 341 , parent = Just 79 , duration = 19.279174101000 , status = Success , start = 2021-07-13 23:55:02.210438921 UTC , finish = 2021-07-13 23:55:21.489613022 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '3' ] , 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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 457 , parent = Just 160 , duration = 27.811710574000 , status = Success , start = 2021-07-13 23:55:47.630333056 UTC , finish = 2021-07-13 23:56:15.44204363 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '2' ] , 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 30.721702125000 min duration 2.999505778000 total durat. 47.746205481000 Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 182 , parent = Just 0 , duration = 2.999505778000 , status = Success , start = 2021-07-13 23:54:53.655542782 UTC , finish = 2021-07-13 23:54:56.65504856 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 104} , self = 336 , parent = Just 48 , duration = 14.024997578000 , status = Success , start = 2021-07-13 23:55:00.397248906 UTC , finish = 2021-07-13 23:55:14.422246484 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '4' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 471 , parent = Just 99 , duration = 30.721702125000 , status = Success , start = 2021-07-13 23:55:55.817050969 UTC , finish = 2021-07-13 23:56:26.538753094 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '8' ] , 3 , True )} Success : Tiling { method = Forward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 103.007675904000 min duration 103.007675904000 total durat. 103.007675904000 Info { what = Tiling { method = Forward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 500 , parent = Just 0 , duration = 103.007675904000 , status = Success , start = 2021-07-13 23:54:53.655505919 UTC , finish = 2021-07-13 23:56:36.663181823 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' ] , 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 12 max duration 40.949225550000 min duration 0.085731971000 total durat. 71.139872678000 Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 209 , parent = Just 38 , duration = 1.456510937000 , status = Success , start = 2021-07-13 23:54:56.049365583 UTC , finish = 2021-07-13 23:54:57.50587652 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 28 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 840} , self = 253 , parent = Just 131 , duration = 2.137003344000 , status = Success , start = 2021-07-13 23:54:58.159655005 UTC , finish = 2021-07-13 23:55:00.296658349 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 18 , total_length = 960} , self = 301 , parent = Just 79 , duration = 4.153476234000 , status = Success , start = 2021-07-13 23:55:00.371342925 UTC , finish = 2021-07-13 23:55:04.524819159 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 424 , parent = Just 160 , duration = 19.910286003000 , status = Success , start = 2021-07-13 23:55:47.9585751 UTC , finish = 2021-07-13 23:56:07.868861103 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 368 , parent = Just 205 , duration = 40.949225550000 , status = Success , start = 2021-07-13 23:55:06.593502237 UTC , finish = 2021-07-13 23:55:47.542727787 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '6' ] , 3 , True )} Success : Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 10 max duration 24.991204694000 min duration 0.109418672000 total durat. 54.523751473000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 159 , parent = Just 99 , duration = 1.031370337000 , status = Success , start = 2021-07-13 23:54:54.673909256 UTC , finish = 2021-07-13 23:54:55.705279593 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '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 = 28 , num_strict_rules = 28 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 840} , self = 275 , parent = Just 131 , duration = 1.552264467000 , status = Success , start = 2021-07-13 23:54:59.967649952 UTC , finish = 2021-07-13 23:55:01.519914419 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 221 , parent = Just 38 , duration = 2.130658462000 , status = Success , start = 2021-07-13 23:54:56.199727069 UTC , finish = 2021-07-13 23:54:58.330385531 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 319 , parent = Just 79 , duration = 5.860660093000 , status = Success , start = 2021-07-13 23:55:01.587429502 UTC , finish = 2021-07-13 23:55:07.448089595 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '9' ] , 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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 414 , parent = Just 160 , duration = 17.372181731000 , status = Success , start = 2021-07-13 23:55:49.699507578 UTC , finish = 2021-07-13 23:56:07.071689309 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '9' ] , 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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 384 , parent = Just 205 , duration = 24.991204694000 , status = Success , start = 2021-07-13 23:55:24.444500446 UTC , finish = 2021-07-13 23:55:49.43570514 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '3' ] , 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 21.042173382000 min duration 2.184128241000 total durat. 28.389228153000 Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 163 , parent = Just 0 , duration = 2.184128241000 , status = Success , start = 2021-07-13 23:54:53.655487624 UTC , finish = 2021-07-13 23:54:55.839615865 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 104} , self = 317 , parent = Just 48 , duration = 5.162926530000 , status = Success , start = 2021-07-13 23:55:00.394879146 UTC , finish = 2021-07-13 23:55:05.557805676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '0' ] , 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 459 , parent = Just 99 , duration = 21.042173382000 , status = Success , start = 2021-07-13 23:55:54.680489215 UTC , finish = 2021-07-13 23:56:15.722662597 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '4' ] , 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 22 max duration 55.673855084000 min duration 0.709827380000 total durat. 298.888858500000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 215 , parent = Just 187 , duration = 1.319185703000 , status = Success , start = 2021-07-13 23:54:56.790779633 UTC , finish = 2021-07-13 23:54:58.109965336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 226 , parent = Just 197 , duration = 1.334180080000 , status = Success , start = 2021-07-13 23:54:57.139681017 UTC , finish = 2021-07-13 23:54:58.473861097 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 339} , self = 173 , parent = Just 92 , duration = 1.535958005000 , status = Success , start = 2021-07-13 23:54:54.513777276 UTC , finish = 2021-07-13 23:54:56.049735281 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 339} , self = 196 , parent = Just 92 , duration = 1.649826936000 , status = Success , start = 2021-07-13 23:54:55.433715549 UTC , finish = 2021-07-13 23:54:57.083542485 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 339} , self = 186 , parent = Just 118 , duration = 1.661233048000 , status = Success , start = 2021-07-13 23:54:55.089898804 UTC , finish = 2021-07-13 23:54:56.751131852 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 143 , parent = Just 19 , duration = 1.677263031000 , status = Success , start = 2021-07-13 23:54:53.678418692 UTC , finish = 2021-07-13 23:54:55.355681723 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 305 , parent = Just 262 , duration = 4.146762007000 , status = Success , start = 2021-07-13 23:55:00.497511863 UTC , finish = 2021-07-13 23:55:04.64427387 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 14 , total_length = 615} , self = 279 , parent = Just 216 , duration = 4.416741908000 , status = Success , start = 2021-07-13 23:54:58.327790893 UTC , finish = 2021-07-13 23:55:02.744532801 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 14 , total_length = 615} , self = 287 , parent = Just 227 , duration = 4.533166188000 , status = Success , start = 2021-07-13 23:54:58.657442416 UTC , finish = 2021-07-13 23:55:03.190608604 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 31 , num_strict_rules = 19 , num_top_rules = 19 , num_weak_rules = 12 , alphabet_size = 10 , total_length = 622} , self = 261 , parent = Just 153 , duration = 4.769961815000 , status = Success , start = 2021-07-13 23:54:55.662649154 UTC , finish = 2021-07-13 23:55:00.432610969 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 12 , total_length = 369} , self = 323 , parent = Just 280 , duration = 5.954440154000 , status = Success , start = 2021-07-13 23:55:02.847647599 UTC , finish = 2021-07-13 23:55:08.802087753 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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 12 , total_length = 369} , self = 329 , parent = Just 288 , duration = 8.221628797000 , status = Success , start = 2021-07-13 23:55:03.315232684 UTC , finish = 2021-07-13 23:55:11.536861481 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 270} , self = 427 , parent = Just 401 , duration = 13.922622552000 , status = Success , start = 2021-07-13 23:55:54.146113526 UTC , finish = 2021-07-13 23:56:08.068736078 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 = 18 , num_top_rules = 18 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 836} , self = 437 , parent = Just 307 , duration = 19.882813324000 , status = Success , start = 2021-07-13 23:55:49.161571309 UTC , finish = 2021-07-13 23:56:09.044384633 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 34 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 801} , self = 478 , parent = Just 429 , duration = 21.146201535000 , status = Success , start = 2021-07-13 23:56:09.211518875 UTC , finish = 2021-07-13 23:56:30.35772041 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 301} , self = 376 , parent = Just 313 , duration = 43.172223882000 , status = Success , start = 2021-07-13 23:55:05.426507109 UTC , finish = 2021-07-13 23:55:48.598730991 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 836} , self = 394 , parent = Just 307 , duration = 47.923897425000 , status = Success , start = 2021-07-13 23:55:05.129780806 UTC , finish = 2021-07-13 23:55:53.053678231 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 422 , parent = Just 146 , duration = 53.708391805000 , status = Success , start = 2021-07-13 23:55:13.67291226 UTC , finish = 2021-07-13 23:56:07.381304065 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 412 , parent = Just 120 , duration = 55.673855084000 , status = Success , start = 2021-07-13 23:55:10.583480432 UTC , finish = 2021-07-13 23:56:06.257335516 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '1' ] , 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 21 max duration 45.722202651000 min duration 0.727910246000 total durat. 358.548440094000 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 = 4 , total_length = 70} , self = 192 , parent = Just 13 , duration = 1.191435013000 , status = Success , start = 2021-07-13 23:54:55.72518018 UTC , finish = 2021-07-13 23:54:56.916615193 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 165 , parent = Just 19 , duration = 2.327330328000 , status = Success , start = 2021-07-13 23:54:53.678478609 UTC , finish = 2021-07-13 23:54:56.005808937 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 240 , parent = Just 187 , duration = 2.412360672000 , status = Success , start = 2021-07-13 23:54:56.819533997 UTC , finish = 2021-07-13 23:54:59.231894669 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 251 , parent = Just 197 , duration = 2.900919631000 , status = Success , start = 2021-07-13 23:54:57.243517462 UTC , finish = 2021-07-13 23:55:00.144437093 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 339} , self = 230 , parent = Just 118 , duration = 3.350800391000 , status = Success , start = 2021-07-13 23:54:55.215569581 UTC , finish = 2021-07-13 23:54:58.566369972 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 339} , self = 295 , parent = Just 118 , duration = 3.847217144000 , status = Success , start = 2021-07-13 23:55:00.091306155 UTC , finish = 2021-07-13 23:55:03.938523299 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 270} , self = 442 , parent = Just 401 , duration = 16.204459488000 , status = Success , start = 2021-07-13 23:55:54.064454702 UTC , finish = 2021-07-13 23:56:10.26891419 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 14 , total_length = 615} , self = 416 , parent = Just 227 , duration = 18.779409538000 , status = Success , start = 2021-07-13 23:55:48.361876006 UTC , finish = 2021-07-13 23:56:07.141285544 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 488 , parent = Just 262 , duration = 20.132189405000 , status = Success , start = 2021-07-13 23:56:12.612144171 UTC , finish = 2021-07-13 23:56:32.744333576 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 453 , parent = Just 262 , duration = 20.912584085000 , status = Success , start = 2021-07-13 23:55:53.792935485 UTC , finish = 2021-07-13 23:56:14.70551957 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '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 = 31 , num_strict_rules = 19 , num_top_rules = 19 , num_weak_rules = 12 , alphabet_size = 10 , total_length = 622} , self = 338 , parent = Just 153 , duration = 21.329439424000 , status = Success , start = 2021-07-13 23:54:56.675776794 UTC , finish = 2021-07-13 23:55:18.005216218 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 14 , total_length = 615} , self = 346 , parent = Just 227 , duration = 26.105314207000 , status = Success , start = 2021-07-13 23:55:00.667114468 UTC , finish = 2021-07-13 23:55:26.772428675 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 502 , parent = Just 146 , duration = 29.526403981000 , status = Success , start = 2021-07-13 23:56:07.335869385 UTC , finish = 2021-07-13 23:56:36.862273366 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 351 , parent = Just 262 , duration = 32.565273472000 , status = Success , start = 2021-07-13 23:55:00.55769685 UTC , finish = 2021-07-13 23:55:33.122970322 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 468 , parent = Just 120 , duration = 32.966937621000 , status = Success , start = 2021-07-13 23:55:49.580057968 UTC , finish = 2021-07-13 23:56:22.546995589 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 12 , total_length = 369} , self = 353 , parent = Just 288 , duration = 34.918951260000 , status = Success , start = 2021-07-13 23:55:03.381954108 UTC , finish = 2021-07-13 23:55:38.300905368 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 12 , total_length = 369} , self = 360 , parent = Just 280 , duration = 41.012986353000 , status = Success , start = 2021-07-13 23:55:03.980487182 UTC , finish = 2021-07-13 23:55:44.993473535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 301} , self = 390 , parent = Just 313 , duration = 45.722202651000 , status = Success , start = 2021-07-13 23:55:05.327253528 UTC , finish = 2021-07-13 23:55:51.049456179 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '7' ] , 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 5 max duration 55.539430502000 min duration 8.613018209000 total durat. 122.931148277000 Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 283 , parent = Just 72 , duration = 8.613018209000 , status = Success , start = 2021-07-13 23:54:54.200305875 UTC , finish = 2021-07-13 23:55:02.813324084 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 291 , parent = Just 94 , duration = 8.715026671000 , status = Success , start = 2021-07-13 23:54:54.526519449 UTC , finish = 2021-07-13 23:55:03.24154612 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 70} , self = 299 , parent = Just 13 , duration = 10.721075504000 , status = Success , start = 2021-07-13 23:54:53.663949226 UTC , finish = 2021-07-13 23:55:04.38502473 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 504 , parent = Just 187 , duration = 39.342597391000 , status = Success , start = 2021-07-13 23:55:58.923715818 UTC , finish = 2021-07-13 23:56:38.266313209 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 382 , parent = Just 19 , duration = 55.539430502000 , status = Success , start = 2021-07-13 23:54:53.678593672 UTC , finish = 2021-07-13 23:55:49.218024174 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '3' ] , 3 , True )} Success : Transport { mode = Standard, max_derivation_length = Nothing} total number 1 max duration 108.167344521000 min duration 108.167344521000 total durat. 108.167344521000 Info { what = Transport { mode = Standard, max_derivation_length = Nothing} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 508 , parent = Just 0 , duration = 108.167344521000 , status = Success , start = 2021-07-13 23:54:53.654904773 UTC , finish = 2021-07-13 23:56:41.822249294 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' ] , 1 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 15 max duration 63.496887941000 min duration 0.053147766000 total durat. 103.854914462000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 76 , num_strict_rules = 31 , num_top_rules = 31 , num_weak_rules = 45 , alphabet_size = 29 , total_length = 2128} , self = 448 , parent = Just 443 , duration = 1.740063183000 , status = Success , start = 2021-07-13 23:56:10.275024308 UTC , finish = 2021-07-13 23:56:12.015087491 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 84 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 50 , alphabet_size = 29 , total_length = 2351} , self = 462 , parent = Just 454 , duration = 1.809253131000 , status = Success , start = 2021-07-13 23:56:14.705797558 UTC , finish = 2021-07-13 23:56:16.515050689 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 78 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 45 , alphabet_size = 29 , total_length = 2171} , self = 392 , parent = Just 391 , duration = 1.833298040000 , status = Success , start = 2021-07-13 23:55:51.049614428 UTC , finish = 2021-07-13 23:55:52.882912468 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 84 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 50 , alphabet_size = 29 , total_length = 2351} , self = 355 , parent = Just 352 , duration = 6.549514360000 , status = Success , start = 2021-07-13 23:55:33.123371071 UTC , finish = 2021-07-13 23:55:39.672885431 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 396 , num_strict_rules = 77 , num_top_rules = 77 , num_weak_rules = 319 , alphabet_size = 97 , total_length = 14278} , self = 455 , parent = Just 383 , duration = 25.487409432000 , status = Success , start = 2021-07-13 23:55:49.218210395 UTC , finish = 2021-07-13 23:56:14.705619827 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '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 = 300 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 264 , alphabet_size = 90 , total_length = 11088} , self = 426 , parent = Just 300 , duration = 63.496887941000 , status = Success , start = 2021-07-13 23:55:04.385177977 UTC , finish = 2021-07-13 23:56:07.882065918 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '3' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 83 max duration 87.838247314000 min duration 0.000131714000 total durat. 351.724289749000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 90 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 70 , alphabet_size = 30 , total_length = 2710} , self = 420 , parent = Just 413 , duration = 1.001470596000 , status = Fail , start = 2021-07-13 23:56:06.257487535 UTC , finish = 2021-07-13 23:56:07.258958131 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 90 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 70 , alphabet_size = 30 , total_length = 2710} , self = 430 , parent = Just 423 , duration = 1.023395462000 , status = Fail , start = 2021-07-13 23:56:07.381574514 UTC , finish = 2021-07-13 23:56:08.404969976 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 49 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 35 , alphabet_size = 21 , total_length = 1351} , self = 325 , parent = Just 324 , duration = 1.295062907000 , status = Fail , start = 2021-07-13 23:55:08.80966436 UTC , finish = 2021-07-13 23:55:10.104727267 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 49 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 35 , alphabet_size = 21 , total_length = 1351} , self = 331 , parent = Just 330 , duration = 1.673883190000 , status = Fail , start = 2021-07-13 23:55:11.537182342 UTC , finish = 2021-07-13 23:55:13.211065532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 236 , parent = Just 183 , duration = 2.328195251000 , status = Fail , start = 2021-07-13 23:54:56.65524252 UTC , finish = 2021-07-13 23:54:58.983437771 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 224 , parent = Just 164 , duration = 2.574806421000 , status = Fail , start = 2021-07-13 23:54:55.839838657 UTC , finish = 2021-07-13 23:54:58.414645078 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 5832} , self = 432 , parent = Just 411 , duration = 3.470345158000 , status = Fail , start = 2021-07-13 23:56:05.007544476 UTC , finish = 2021-07-13 23:56:08.477889634 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 96 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 80 , alphabet_size = 37 , total_length = 3128} , self = 374 , parent = Just 361 , duration = 3.556142461000 , status = Fail , start = 2021-07-13 23:55:45.009420762 UTC , finish = 2021-07-13 23:55:48.565563223 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 5832} , self = 446 , parent = Just 425 , duration = 3.818083685000 , status = Fail , start = 2021-07-13 23:56:07.869169155 UTC , finish = 2021-07-13 23:56:11.68725284 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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 493 , parent = Just 472 , duration = 7.157363142000 , status = Fail , start = 2021-07-13 23:56:26.543581026 UTC , finish = 2021-07-13 23:56:33.700944168 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 150 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 130 , alphabet_size = 51 , total_length = 5230} , self = 475 , parent = Just 469 , duration = 7.599944035000 , status = Fail , start = 2021-07-13 23:56:22.55302577 UTC , finish = 2021-07-13 23:56:30.152969805 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '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 = 96 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 80 , alphabet_size = 37 , total_length = 3128} , self = 366 , parent = Just 354 , duration = 8.901952604000 , status = Fail , start = 2021-07-13 23:55:38.346548627 UTC , finish = 2021-07-13 23:55:47.248501231 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 463 , parent = Just 415 , duration = 10.204209405000 , status = Fail , start = 2021-07-13 23:56:07.071859381 UTC , finish = 2021-07-13 23:56:17.276068786 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 = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 473 , parent = Just 458 , duration = 11.658740002000 , status = Fail , start = 2021-07-13 23:56:15.442297593 UTC , finish = 2021-07-13 23:56:27.101037595 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 343 , parent = Just 320 , duration = 14.676737309000 , status = Fail , start = 2021-07-13 23:55:07.448250496 UTC , finish = 2021-07-13 23:55:22.124987805 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 490 , parent = Just 460 , duration = 17.581197958000 , status = Fail , start = 2021-07-13 23:56:15.728106173 UTC , finish = 2021-07-13 23:56:33.309304131 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 363 , parent = Just 342 , duration = 23.855068053000 , status = Fail , start = 2021-07-13 23:55:21.489862505 UTC , finish = 2021-07-13 23:55:45.344930558 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 397 , parent = Just 337 , duration = 38.898732570000 , status = Fail , start = 2021-07-13 23:55:14.422572857 UTC , finish = 2021-07-13 23:55:53.321305427 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 = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 380 , parent = Just 318 , duration = 43.547626417000 , status = Fail , start = 2021-07-13 23:55:05.557996526 UTC , finish = 2021-07-13 23:55:49.105622943 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 240 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 216 , alphabet_size = 70 , total_length = 8916} , self = 399 , parent = Just 284 , duration = 50.590495334000 , status = Fail , start = 2021-07-13 23:55:02.813430576 UTC , finish = 2021-07-13 23:55:53.40392591 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 240 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 216 , alphabet_size = 70 , total_length = 8916} , self = 484 , parent = Just 292 , duration = 87.838247314000 , status = Fail , start = 2021-07-13 23:55:03.241661438 UTC , finish = 2021-07-13 23:56:31.079908752 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '6' ] , 3 , False )} **************************************************