/export/starexec/sandbox2/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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, a, c], [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, a, c] [b, a, c] pivot ->^1 pivot [[b, a, c], [b, a, c], [a]] because of derivation [b, a, c, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, a, c, b, a, c, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, a, c], [b, a, c]] pivot ^ 10 ************************************************** proof ************************************************** property Termination has value Just False for SRS [b, a, c, a, a, a, a, a, a, a] -> [ a , a , a , a , a , a , a , b , a , c , b , a , c , a ] {- Input 0 -} reason admits a non-terminating transport system with pivot [a, a, a, a, a, a, a] alphabet [[b, a, c], [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, a, c] [b, a, c] pivot ->^1 pivot [[b, a, c], [b, a, c], [a]] because of derivation [b, a, c, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, a, c, b, a, c, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, a, c], [b, a, c]] 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 108.517942700000 min duration 94.982789329000 total durat. 203.500732029000 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 = 418 , parent = Just 4 , duration = 94.982789329000 , status = Fail , start = 2021-07-13 23:54:53.514067374 UTC , finish = 2021-07-13 23:56:28.496856703 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' ] , 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 = 431 , parent = Just 0 , duration = 108.517942700000 , status = Fail , start = 2021-07-13 23:54:53.514029423 UTC , finish = 2021-07-13 23:56:42.031972123 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' ] , 2 , True )} Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 5.771614843000 min duration 3.889317549000 total durat. 9.660932392000 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 = 185 , parent = Just 17 , duration = 3.889317549000 , status = Fail , start = 2021-07-13 23:54:53.518237578 UTC , finish = 2021-07-13 23:54:57.407555127 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '4' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 217 , parent = Just 11 , duration = 5.771614843000 , status = Fail , start = 2021-07-13 23:54:53.515755596 UTC , finish = 2021-07-13 23:54:59.287370439 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.756232643000 min duration 50.075337468000 total durat. 100.831570111000 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 = 385 , parent = Just 11 , duration = 50.075337468000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:29.336481299 UTC , finish = 2021-07-13 23:56:19.411818767 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 383 , parent = Just 17 , duration = 50.756232643000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:27.44258597 UTC , finish = 2021-07-13 23:56:18.198818613 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '5' ] , 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.043779591000 min duration 30.021743346000 total durat. 60.065522937000 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 = 312 , parent = Just 17 , duration = 30.021743346000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:57.407901197 UTC , finish = 2021-07-13 23:55:27.429644543 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '3' ] , 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 313 , parent = Just 11 , duration = 30.043779591000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:59.28770068 UTC , finish = 2021-07-13 23:55:29.331480271 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '4' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.202424367000 min duration 50.091091118000 total durat. 100.293515485000 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 = 376 , parent = Just 17 , duration = 50.091091118000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:12.067559555 UTC , finish = 2021-07-13 23:56:02.158650673 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 381 , parent = Just 11 , duration = 50.202424367000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:24.680161344 UTC , finish = 2021-07-13 23:56:14.882585711 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '1' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 17.845279994000 min duration 17.845279994000 total durat. 17.845279994000 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 = 277 , parent = Just 17 , duration = 17.845279994000 , status = Fail , start = 2021-07-13 23:54:54.221891901 UTC , finish = 2021-07-13 23:55:12.067171895 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '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 = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 30.125203641000 min duration 30.125203641000 total durat. 30.125203641000 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 = 311 , parent = Just 11 , duration = 30.125203641000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:54.54935519 UTC , finish = 2021-07-13 23:55:24.674558831 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '9' ] , 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 1.033258251000 min duration 0.703427485000 total durat. 1.736685736000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 101 , parent = Just 11 , duration = 1.033258251000 , status = Fail , start = 2021-07-13 23:54:53.515786671 UTC , finish = 2021-07-13 23:54:54.549044922 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 0.836686146000 min duration 0.499322775000 total durat. 1.336008921000 Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 4.916440034000 min duration 2.626487525000 total durat. 7.542927559000 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 = 170 , parent = Just 17 , duration = 2.626487525000 , status = Fail , start = 2021-07-13 23:54:54.017639425 UTC , finish = 2021-07-13 23:54:56.64412695 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '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 = 216 , parent = Just 11 , duration = 4.916440034000 , status = Fail , start = 2021-07-13 23:54:54.352630377 UTC , finish = 2021-07-13 23:54:59.269070411 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '6' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 50.031827043000 min duration 40.981319910000 total durat. 91.013146953000 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 = 322 , parent = Just 17 , duration = 40.981319910000 , status = Fail , start = 2021-07-13 23:54:56.646016154 UTC , finish = 2021-07-13 23:55:37.627336064 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '7' ] , 0 , True )} 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 = 342 , parent = Just 11 , duration = 50.031827043000 , status = Fail , start = 2021-07-13 23:54:59.269384871 UTC , finish = 2021-07-13 23:55:49.301211914 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '1' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Simple (Config { tracing = False , verbose = False , closure = Backward , 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 113.919131248000 min duration 113.919131248000 total durat. 113.919131248000 Info { what = Simple (Config { tracing = False , verbose = False , closure = Backward , 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 = 441 , parent = Just 0 , duration = 113.919131248000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:53.514058087 UTC , finish = 2021-07-13 23:56:47.433189335 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' ] , 1 , 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 113.918830735000 min duration 113.918830735000 total durat. 113.918830735000 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 = 440 , parent = Just 0 , duration = 113.918830735000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:53.514029109 UTC , finish = 2021-07-13 23:56:47.432859844 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' ] , 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 90.703621582000 min duration 90.703621582000 total durat. 90.703621582000 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 = 402 , parent = Just 0 , duration = 90.703621582000 , status = Success , start = 2021-07-13 23:54:53.517652747 UTC , finish = 2021-07-13 23:56:24.221274329 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' ] , 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 11 max duration 34.602320819000 min duration 0.039697608000 total durat. 77.146923768000 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 = 186 , parent = Just 106 , duration = 1.204429864000 , status = Success , start = 2021-07-13 23:54:56.351431035 UTC , finish = 2021-07-13 23:54:57.555860899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 157 , parent = Just 38 , duration = 1.256909671000 , status = Success , start = 2021-07-13 23:54:54.752936863 UTC , finish = 2021-07-13 23:54:56.009846534 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 237 , parent = Just 76 , duration = 2.685639351000 , status = Success , start = 2021-07-13 23:54:58.411315285 UTC , finish = 2021-07-13 23:55:01.096954636 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 271 , parent = Just 158 , duration = 4.603214865000 , status = Success , start = 2021-07-13 23:55:01.83030855 UTC , finish = 2021-07-13 23:55:06.433523415 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 325 , parent = Just 116 , duration = 31.958380980000 , status = Success , start = 2021-07-13 23:55:06.926032757 UTC , finish = 2021-07-13 23:55:38.884413737 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 90 , num_strict_rules = 90 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 3240} , self = 400 , parent = Just 176 , duration = 34.602320819000 , status = Success , start = 2021-07-13 23:55:49.167205998 UTC , finish = 2021-07-13 23:56:23.769526817 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '2' ] , 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 28.449130927000 min duration 0.115877946000 total durat. 62.079517809000 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 = 190 , parent = Just 38 , duration = 1.812758314000 , status = Success , start = 2021-07-13 23:54:55.831582342 UTC , finish = 2021-07-13 23:54:57.644340656 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '7' ] , 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 = 254 , parent = Just 76 , duration = 4.899982534000 , status = Success , start = 2021-07-13 23:54:58.669463059 UTC , finish = 2021-07-13 23:55:03.569445593 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 314 , parent = Just 158 , duration = 25.367738641000 , status = Success , start = 2021-07-13 23:55:05.736631826 UTC , finish = 2021-07-13 23:55:31.104370467 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 368 , parent = Just 116 , duration = 28.449130927000 , status = Success , start = 2021-07-13 23:55:31.445508132 UTC , finish = 2021-07-13 23:55:59.894639059 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 39.723893581000 min duration 2.104474492000 total durat. 46.971953451000 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 = 144 , parent = Just 0 , duration = 2.104474492000 , status = Success , start = 2021-07-13 23:54:53.517939865 UTC , finish = 2021-07-13 23:54:55.622414357 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 104} , self = 256 , parent = Just 44 , duration = 5.143585378000 , status = Success , start = 2021-07-13 23:54:58.428314229 UTC , finish = 2021-07-13 23:55:03.571899607 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 362 , parent = Just 91 , duration = 39.723893581000 , status = Success , start = 2021-07-13 23:55:15.811033821 UTC , finish = 2021-07-13 23:55:55.534927402 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '2' ] , 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 87.519217581000 min duration 87.519217581000 total durat. 87.519217581000 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 = 392 , parent = Just 0 , duration = 87.519217581000 , status = Success , start = 2021-07-13 23:54:53.517573823 UTC , finish = 2021-07-13 23:56:21.036791404 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' ] , 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 13 max duration 36.928243976000 min duration 0.006231690000 total durat. 88.875292836000 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 = 192 , parent = Just 106 , duration = 1.060096932000 , status = Success , start = 2021-07-13 23:54:56.650983725 UTC , finish = 2021-07-13 23:54:57.711080657 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 223 , parent = Just 76 , duration = 2.545759532000 , status = Success , start = 2021-07-13 23:54:58.246793496 UTC , finish = 2021-07-13 23:55:00.792553028 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 280 , parent = Just 158 , duration = 10.398825537000 , status = Success , start = 2021-07-13 23:55:01.779452643 UTC , finish = 2021-07-13 23:55:12.17827818 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 347 , parent = Just 116 , duration = 35.270985441000 , status = Success , start = 2021-07-13 23:55:14.586123224 UTC , finish = 2021-07-13 23:55:49.857108665 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 90 , num_strict_rules = 90 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 3240} , self = 419 , parent = Just 176 , duration = 36.928243976000 , status = Success , start = 2021-07-13 23:55:53.098377108 UTC , finish = 2021-07-13 23:56:30.026621084 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '0' ] , 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 8 max duration 38.355346832000 min duration 0.107113178000 total durat. 81.643619477000 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 = 175 , parent = Just 38 , duration = 1.234929474000 , status = Success , start = 2021-07-13 23:54:55.610929862 UTC , finish = 2021-07-13 23:54:56.845859336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 231 , parent = Just 76 , duration = 2.587076180000 , status = Success , start = 2021-07-13 23:54:58.424638465 UTC , finish = 2021-07-13 23:55:01.011714645 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 288 , parent = Just 158 , duration = 9.091912076000 , status = Success , start = 2021-07-13 23:55:04.069336204 UTC , finish = 2021-07-13 23:55:13.16124828 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 327 , parent = Just 116 , duration = 29.338793008000 , status = Success , start = 2021-07-13 23:55:13.563149323 UTC , finish = 2021-07-13 23:55:42.901942331 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '3' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 90 , num_strict_rules = 90 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 3240} , self = 427 , parent = Just 176 , duration = 38.355346832000 , status = Success , start = 2021-07-13 23:55:55.175332211 UTC , finish = 2021-07-13 23:56:33.530679043 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 36.822096950000 min duration 1.524158360000 total durat. 41.621263466000 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 = 125 , parent = Just 0 , duration = 1.524158360000 , status = Success , start = 2021-07-13 23:54:53.517526236 UTC , finish = 2021-07-13 23:54:55.041684596 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 104} , self = 248 , parent = Just 44 , duration = 3.275008156000 , status = Success , start = 2021-07-13 23:54:58.42786433 UTC , finish = 2021-07-13 23:55:01.702872486 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 345 , parent = Just 91 , duration = 36.822096950000 , status = Success , start = 2021-07-13 23:55:12.786371938 UTC , finish = 2021-07-13 23:55:49.608468888 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 17 max duration 45.549614818000 min duration 0.267755095000 total durat. 234.364867553000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 9 , total_length = 348} , self = 117 , parent = Just 57 , duration = 1.158058003000 , status = Success , start = 2021-07-13 23:54:53.840668477 UTC , finish = 2021-07-13 23:54:54.99872648 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 123 , parent = Just 11 , duration = 1.511707114000 , status = Success , start = 2021-07-13 23:54:53.523691282 UTC , finish = 2021-07-13 23:54:55.035398396 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 12 , total_length = 369} , self = 227 , parent = Just 207 , duration = 2.258932453000 , status = Success , start = 2021-07-13 23:54:58.583058203 UTC , finish = 2021-07-13 23:55:00.841990656 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 14 , total_length = 615} , self = 206 , parent = Just 152 , duration = 2.493692974000 , status = Success , start = 2021-07-13 23:54:55.997054987 UTC , finish = 2021-07-13 23:54:58.490747961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 221 , parent = Just 197 , duration = 2.508134962000 , status = Success , start = 2021-07-13 23:54:58.17696011 UTC , finish = 2021-07-13 23:55:00.685095072 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 23 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 10 , alphabet_size = 9 , total_length = 471} , self = 196 , parent = Just 127 , duration = 2.631325303000 , status = Success , start = 2021-07-13 23:54:55.146418644 UTC , finish = 2021-07-13 23:54:57.777743947 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 301} , self = 278 , parent = Just 229 , duration = 10.838709453000 , status = Success , start = 2021-07-13 23:55:01.249471623 UTC , finish = 2021-07-13 23:55:12.088181076 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 34 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 801} , self = 370 , parent = Just 331 , duration = 14.201502676000 , status = Success , start = 2021-07-13 23:55:46.294404689 UTC , finish = 2021-07-13 23:56:00.495907365 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 836} , self = 432 , parent = Just 224 , duration = 15.212087027000 , status = Success , start = 2021-07-13 23:56:26.884882091 UTC , finish = 2021-07-13 23:56:42.096969118 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 36 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 836} , self = 298 , parent = Just 224 , duration = 17.159569790000 , status = Success , start = 2021-07-13 23:55:00.961572852 UTC , finish = 2021-07-13 23:55:18.121142642 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 270} , self = 329 , parent = Just 303 , duration = 23.746217435000 , status = Success , start = 2021-07-13 23:55:20.255749646 UTC , finish = 2021-07-13 23:55:44.001967081 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 12 , alphabet_size = 12 , total_length = 633} , self = 404 , parent = Just 371 , duration = 24.923824150000 , status = Success , start = 2021-07-13 23:56:00.878185271 UTC , finish = 2021-07-13 23:56:25.802009421 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '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 = 337 , parent = Just 224 , duration = 34.174558854000 , status = Success , start = 2021-07-13 23:55:12.575738376 UTC , finish = 2021-07-13 23:55:46.75029723 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 318 , parent = Just 73 , duration = 34.858718984000 , status = Success , start = 2021-07-13 23:55:01.176905641 UTC , finish = 2021-07-13 23:55:36.035624625 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 49 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 35 , alphabet_size = 21 , total_length = 1351} , self = 396 , parent = Just 228 , duration = 45.549614818000 , status = Success , start = 2021-07-13 23:55:37.983040249 UTC , finish = 2021-07-13 23:56:23.532655067 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 15 max duration 38.426251763000 min duration 0.476825920000 total durat. 182.515585793000 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 = 171 , parent = Just 118 , duration = 1.734484121000 , status = Success , start = 2021-07-13 23:54:55.043582416 UTC , finish = 2021-07-13 23:54:56.778066537 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 137 , parent = Just 11 , duration = 1.753049328000 , status = Success , start = 2021-07-13 23:54:53.525450523 UTC , finish = 2021-07-13 23:54:55.278499851 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 9 , total_length = 348} , self = 161 , parent = Just 57 , duration = 1.997056314000 , status = Success , start = 2021-07-13 23:54:54.202952078 UTC , finish = 2021-07-13 23:54:56.200008392 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 9 , total_length = 348} , self = 218 , parent = Just 57 , duration = 2.129404456000 , status = Success , start = 2021-07-13 23:54:57.204357006 UTC , finish = 2021-07-13 23:54:59.333761462 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 12 , total_length = 369} , self = 258 , parent = Just 207 , duration = 5.091504238000 , status = Success , start = 2021-07-13 23:54:58.62592069 UTC , finish = 2021-07-13 23:55:03.717424928 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 = 23 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 10 , alphabet_size = 9 , total_length = 471} , self = 243 , parent = Just 127 , duration = 5.495570949000 , status = Success , start = 2021-07-13 23:54:55.796351081 UTC , finish = 2021-07-13 23:55:01.29192203 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 262 , parent = Just 197 , duration = 6.292720122000 , status = Success , start = 2021-07-13 23:54:58.220326062 UTC , finish = 2021-07-13 23:55:04.513046184 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 421 , parent = Just 197 , duration = 11.700665294000 , status = Success , start = 2021-07-13 23:56:19.576113386 UTC , finish = 2021-07-13 23:56:31.27677868 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 301} , self = 292 , parent = Just 229 , duration = 12.714856975000 , status = Success , start = 2021-07-13 23:55:01.058814946 UTC , finish = 2021-07-13 23:55:13.773671921 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 9 , total_length = 348} , self = 307 , parent = Just 57 , duration = 14.695297182000 , status = Success , start = 2021-07-13 23:55:06.097424436 UTC , finish = 2021-07-13 23:55:20.792721618 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 379 , parent = Just 197 , duration = 18.504366417000 , status = Success , start = 2021-07-13 23:55:50.796536709 UTC , finish = 2021-07-13 23:56:09.300903126 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 270} , self = 343 , parent = Just 303 , duration = 29.328680538000 , status = Success , start = 2021-07-13 23:55:20.117633225 UTC , finish = 2021-07-13 23:55:49.446313763 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 197 , duration = 32.174852176000 , status = Success , start = 2021-07-13 23:55:19.778784129 UTC , finish = 2021-07-13 23:55:51.953636305 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 366 , parent = Just 73 , duration = 38.426251763000 , status = Success , start = 2021-07-13 23:55:20.908563371 UTC , finish = 2021-07-13 23:55:59.334815134 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 3 max duration 41.412552455000 min duration 5.097496765000 total durat. 71.135653146000 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 = 212 , parent = Just 17 , duration = 5.097496765000 , status = Success , start = 2021-07-13 23:54:53.525944996 UTC , finish = 2021-07-13 23:54:58.623441761 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 300 , parent = Just 11 , duration = 24.625603926000 , status = Success , start = 2021-07-13 23:54:53.523774751 UTC , finish = 2021-07-13 23:55:18.149378677 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 435 , parent = Just 118 , duration = 41.412552455000 , status = Success , start = 2021-07-13 23:56:01.288010847 UTC , finish = 2021-07-13 23:56:42.700563302 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '4' ] , 3 , True )} Success : Transport { mode = Standard, max_derivation_length = Nothing} total number 1 max duration 113.912383271000 min duration 113.912383271000 total durat. 113.912383271000 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 = 439 , parent = Just 0 , duration = 113.912383271000 , status = Success , start = 2021-07-13 23:54:53.514080666 UTC , finish = 2021-07-13 23:56:47.426463937 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' ] , 1 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 13 max duration 36.139964629000 min duration 0.043605492000 total durat. 54.587075262000 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 = 1.150468069000 , status = Success , start = 2021-07-13 23:55:51.953914851 UTC , finish = 2021-07-13 23:55:53.10438292 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 = 84 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 50 , alphabet_size = 29 , total_length = 2351} , self = 423 , parent = Just 422 , duration = 1.169653158000 , status = Success , start = 2021-07-13 23:56:31.276995811 UTC , finish = 2021-07-13 23:56:32.446648969 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 78 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 45 , alphabet_size = 29 , total_length = 2171} , self = 296 , parent = Just 293 , duration = 3.677950309000 , status = Success , start = 2021-07-13 23:55:13.773905706 UTC , finish = 2021-07-13 23:55:17.451856015 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 84 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 50 , alphabet_size = 29 , total_length = 2351} , self = 382 , parent = Just 380 , duration = 8.809984355000 , status = Success , start = 2021-07-13 23:56:09.301109227 UTC , finish = 2021-07-13 23:56:18.111093582 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 396 , num_strict_rules = 77 , num_top_rules = 77 , num_weak_rules = 319 , alphabet_size = 97 , total_length = 14278} , self = 360 , parent = Just 301 , duration = 36.139964629000 , status = Success , start = 2021-07-13 23:55:18.149611486 UTC , finish = 2021-07-13 23:55:54.289576115 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '6' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 71 max duration 55.185204017000 min duration 0.000091669000 total durat. 233.787047340000 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 = 320 , parent = Just 319 , duration = 1.363369294000 , status = Fail , start = 2021-07-13 23:55:36.046500549 UTC , finish = 2021-07-13 23:55:37.409869843 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 252 , parent = Just 232 , duration = 1.388983801000 , status = Fail , start = 2021-07-13 23:55:01.011956525 UTC , finish = 2021-07-13 23:55:02.400940326 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 181 , parent = Just 145 , duration = 1.601010111000 , status = Fail , start = 2021-07-13 23:54:55.623960388 UTC , finish = 2021-07-13 23:54:57.224970499 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 96 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 80 , alphabet_size = 37 , total_length = 3128} , self = 266 , parent = Just 259 , duration = 1.611446350000 , status = Fail , start = 2021-07-13 23:55:03.717637993 UTC , finish = 2021-07-13 23:55:05.329084343 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 264 , parent = Just 255 , duration = 1.741280740000 , status = Fail , start = 2021-07-13 23:55:03.571799533 UTC , finish = 2021-07-13 23:55:05.313080273 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 173 , parent = Just 126 , duration = 1.758994103000 , status = Fail , start = 2021-07-13 23:54:55.04183328 UTC , finish = 2021-07-13 23:54:56.800827383 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 30 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 12 , alphabet_size = 12 , total_length = 668} , self = 339 , parent = Just 338 , duration = 1.882041018000 , status = Fail , start = 2021-07-13 23:55:46.750656008 UTC , finish = 2021-07-13 23:55:48.632697026 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 5832} , self = 353 , parent = Just 348 , duration = 2.169337569000 , status = Fail , start = 2021-07-13 23:55:49.857378626 UTC , finish = 2021-07-13 23:55:52.026716195 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 242 , num_strict_rules = 242 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 55 , total_length = 9196} , self = 416 , parent = Just 401 , duration = 4.680434503000 , status = Fail , start = 2021-07-13 23:56:23.769752753 UTC , finish = 2021-07-13 23:56:28.450187256 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 242 , num_strict_rules = 242 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 55 , total_length = 9196} , self = 429 , parent = Just 420 , duration = 5.566749272000 , status = Fail , start = 2021-07-13 23:56:30.026817172 UTC , finish = 2021-07-13 23:56:35.593566444 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 5832} , self = 333 , parent = Just 326 , duration = 6.704019156000 , status = Fail , start = 2021-07-13 23:55:38.884535912 UTC , finish = 2021-07-13 23:55:45.588555068 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 275 , parent = Just 249 , duration = 7.000417606000 , status = Fail , start = 2021-07-13 23:55:01.703056583 UTC , finish = 2021-07-13 23:55:08.703474189 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 437 , parent = Just 428 , duration = 9.465193553000 , status = Fail , start = 2021-07-13 23:56:33.530890099 UTC , finish = 2021-07-13 23:56:42.996083652 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '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 = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 356 , parent = Just 328 , duration = 10.409342420000 , status = Fail , start = 2021-07-13 23:55:42.90870839 UTC , finish = 2021-07-13 23:55:53.31805081 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 294 , parent = Just 257 , duration = 11.601710346000 , status = Fail , start = 2021-07-13 23:55:03.572084293 UTC , finish = 2021-07-13 23:55:15.173794639 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 386 , parent = Just 369 , duration = 20.019356796000 , status = Fail , start = 2021-07-13 23:55:59.900225445 UTC , finish = 2021-07-13 23:56:19.919582241 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 150 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 130 , alphabet_size = 51 , total_length = 5230} , self = 388 , parent = Just 367 , duration = 21.425443594000 , status = Fail , start = 2021-07-13 23:55:59.340199461 UTC , finish = 2021-07-13 23:56:20.765643055 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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 408 , parent = Just 363 , duration = 30.700023878000 , status = Fail , start = 2021-07-13 23:55:55.535135962 UTC , finish = 2021-07-13 23:56:26.23515984 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 390 , parent = Just 346 , duration = 31.329911635000 , status = Fail , start = 2021-07-13 23:55:49.608605816 UTC , finish = 2021-07-13 23:56:20.938517451 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 240 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 216 , alphabet_size = 70 , total_length = 8916} , self = 358 , parent = Just 213 , duration = 55.185204017000 , status = Fail , start = 2021-07-13 23:54:58.623578924 UTC , finish = 2021-07-13 23:55:53.808782941 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '9' ] , 3 , False )} **************************************************